Linked e-resources
Details
Table of Contents
Preface; Organizing Committee; Chief Patrons; Patrons; Conference Chairperson; Program Technical Committee; Invited Speakers; Local Organization Committee; Contribution as Reviewer; Contents; About the Editors; On Approximation Properties of Generalized Durrmeyer Operators; 1 Introduction; 2 Construction of Ibragimov
Gadjiev
Durrmeyer Operators; 3 Pointwise Convergence Results; 4 Voronovskaya-Type Results; References; Regression-Based Neural Network Simulation for Vibration Frequencies of the Rotating Blade; 1 Introduction; 2 Transverse Vibrations Analysis
3 Identification of the RBNN Model: Solution Technique4 Numerical Results; 4.1 The Experiment 1; 4.2 The Experiment 2; 5 Conclusion; References; Approximation by a New Sequence of Operators Involving Charlier Polynomials with a Certain Parameter; 1 Introduction; 2 Auxiliary Results ; 3 Direct Result and Asymptotic Formula; 4 Weighted Approximation; References; Identities of Symmetry for the Generalized Degenerate Euler Polynomials; 1 Introduction and Preliminaries; 2 Identities of Symmetry for the Generalized Degenerate Euler Polynomials; References
Using MathLang to Check the Correctness of Specifications in Object-Z1 Introduction; 1.1 Why Formally Prove Software Correctness?; 1.2 The Difficulties of Formally Proving Correctness; 1.3 Related Work; 1.4 Overview; 2 Adapting MathLang to Include Object-Z; 2.1 A Formalisation of These Typing Rules; 2.2 An Example of an Object-Z Class with Weak Types Labelled; 3 Implementation of the OZCGa; 3.1 Expansion of Existing Functional Software; 3.2 The Style File; 3.3 The Code Structure; 3.4 Problems Encountered; 4 Conclusion; References
Ultimate Numerical Bound Estimation of Chaotic Dynamical Finance Model1 Introduction; 2 Dynamic Finance Model; 3 Dynamical Behaviors of the Financial Chaotic System; 3.1 Symmetry and Invariance; 3.2 Dissipativity and Existence of Attractor; 4 Main Result; 4.1 Langrange Multiplier Method; 4.2 Optimization Method Using Matrix Analysis; 5 Conclusion; References; Basic Results on Crisp Boolean Petri Nets; 1 Introduction; 2 Preliminaries; 3 Results on Crisp Boolean Petri Nets; 4 Conclusions and Scope; References; The Properties of Multiple Orthogonal Polynomials with Mathematica; 1 Introduction
2 Multiple Orthogonal Polynomials3 Recurrence Relations for Multiple Orthogonal Polynomials; 4 Linear Ordinary Differential Equations for Multiple Orthogonal Polynomials ; 5 Wronskians with Multiple Orthogonal Polynomials; 6 Multiple Orthogonal Polynomials Associated with an Exponential Cubic Weight; 7 The Painlevé Analysis of the Differential Equation Related to Multiple Hermite Polynomials; References; The Problem of Soliton Collision for Non-integrable Equations; 1 Introduction; 1.1 Statement of the Problem; 1.2 Weak Asymptotics Method: The Main Idea; 2 Asymptotics Construction
Gadjiev
Durrmeyer Operators; 3 Pointwise Convergence Results; 4 Voronovskaya-Type Results; References; Regression-Based Neural Network Simulation for Vibration Frequencies of the Rotating Blade; 1 Introduction; 2 Transverse Vibrations Analysis
3 Identification of the RBNN Model: Solution Technique4 Numerical Results; 4.1 The Experiment 1; 4.2 The Experiment 2; 5 Conclusion; References; Approximation by a New Sequence of Operators Involving Charlier Polynomials with a Certain Parameter; 1 Introduction; 2 Auxiliary Results ; 3 Direct Result and Asymptotic Formula; 4 Weighted Approximation; References; Identities of Symmetry for the Generalized Degenerate Euler Polynomials; 1 Introduction and Preliminaries; 2 Identities of Symmetry for the Generalized Degenerate Euler Polynomials; References
Using MathLang to Check the Correctness of Specifications in Object-Z1 Introduction; 1.1 Why Formally Prove Software Correctness?; 1.2 The Difficulties of Formally Proving Correctness; 1.3 Related Work; 1.4 Overview; 2 Adapting MathLang to Include Object-Z; 2.1 A Formalisation of These Typing Rules; 2.2 An Example of an Object-Z Class with Weak Types Labelled; 3 Implementation of the OZCGa; 3.1 Expansion of Existing Functional Software; 3.2 The Style File; 3.3 The Code Structure; 3.4 Problems Encountered; 4 Conclusion; References
Ultimate Numerical Bound Estimation of Chaotic Dynamical Finance Model1 Introduction; 2 Dynamic Finance Model; 3 Dynamical Behaviors of the Financial Chaotic System; 3.1 Symmetry and Invariance; 3.2 Dissipativity and Existence of Attractor; 4 Main Result; 4.1 Langrange Multiplier Method; 4.2 Optimization Method Using Matrix Analysis; 5 Conclusion; References; Basic Results on Crisp Boolean Petri Nets; 1 Introduction; 2 Preliminaries; 3 Results on Crisp Boolean Petri Nets; 4 Conclusions and Scope; References; The Properties of Multiple Orthogonal Polynomials with Mathematica; 1 Introduction
2 Multiple Orthogonal Polynomials3 Recurrence Relations for Multiple Orthogonal Polynomials; 4 Linear Ordinary Differential Equations for Multiple Orthogonal Polynomials ; 5 Wronskians with Multiple Orthogonal Polynomials; 6 Multiple Orthogonal Polynomials Associated with an Exponential Cubic Weight; 7 The Painlevé Analysis of the Differential Equation Related to Multiple Hermite Polynomials; References; The Problem of Soliton Collision for Non-integrable Equations; 1 Introduction; 1.1 Statement of the Problem; 1.2 Weak Asymptotics Method: The Main Idea; 2 Asymptotics Construction