Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015 /: M3HPCST, Ghaziabad, India, December 2015. (2016)

• Record Type: Book
• Other Titles: M3HPCST
• Further Information: Note: Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors.
• Editors: Singh, Vinai K; Srivastava, H. M; Venturino, Ezio; Resch, Michael; Gupta, Vijay
• Other Names: International Conference on Modern Mathematical Methods and High Performance Computing in Science & Technology, 1st
• 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.
• Publisher Details: Singapore : Springer
• Publication Date: 2016
• Extent: 1 online resource (xxi, 309 pages), illustrations (some color)
• Subjects: 510; Mathematics; Mathematics -- Congresses; Computer science -- Mathematics -- Congresses; High performance computing -- Congresses; MATHEMATICS -- Essays; MATHEMATICS -- Pre-Calculus; MATHEMATICS -- Reference; Computer science -- Mathematics; High performance computing; Mathematics; Mathematics -- Functional Analysis; Mathematics -- Mathematical Analysis; Mathematics -- Applied; Mathematics -- Number Theory; Functional analysis & transforms; Differential calculus & equations; Maths for scientists; Number theory; Computer science_xMathematics; Functional analysis; Operator theory; Number theory; Mathematics -- Counting & Numeration; Numerical analysis; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9789811014543; 9811014531; 9789811014536
• Related ISBNs: 981101454X; 9789811014536
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 12, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.