Coverart for item
The Resource Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015, Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors

Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015, Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors

Label
Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015
Title
Modern mathematical methods and high performance computing in science and technology
Title remainder
M3HPCST, Ghaziabad, India, December 2015
Statement of responsibility
Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors
Title variation
M3HPCST
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
The book discusses important results in modern mathematical models and high performance computing, such as applied operations research, simulation of operations, statistical modeling and applications, invisibility regions and regular meta-materials, unmanned vehicles, modern radar techniques/SAR imaging, satellite remote sensing, coding, and robotic systems. Furthermore, it is valuable as a reference work and as a basis for further study and research. All contributing authors are respected academicians, scientists and researchers from around the globe. All the papers were presented at the international conference on Modern Mathematical Methods and High Performance Computing in Science & Technology (M3HPCST 2015), held at Raj Kumar Goel Institute of Technology, Ghaziabad, India, from 27-29 December 2015, and peer-reviewed by international experts. The conference provided an exceptional platform for leading researchers, academicians, developers, engineers and technocrats from a broad range of disciplines to meet and discuss state-of-the-art mathematical methods and high performance computing in science & technology solutions. This has brought new prospects for collaboration across disciplines and ideas that facilitate novel breakthroughs
Member of
Cataloging source
N$T
Dewey number
510
Illustrations
illustrations
Index
no index present
LC call number
QA1
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2015
http://bibfra.me/vocab/lite/meetingName
International Conference on Modern Mathematical Methods and High Performance Computing in Science & Technology
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Singh, Vinai K.
  • Srivastava, H. M.
  • Venturino, Ezio
  • Resch, Michael
  • Gupta, Vijay
Series statement
Springer proceedings in mathematics & statistics,
Series volume
volume 171
http://library.link/vocab/subjectName
  • Mathematics
  • Computer science
  • High performance computing
  • MATHEMATICS
  • MATHEMATICS
  • MATHEMATICS
  • Computer science
  • High performance computing
  • Mathematics
  • Mathematics
  • Computational Mathematics and Numerical Analysis
  • Functional Analysis
  • Approximations and Expansions
  • Mathematical and Computational Biology
  • Operator Theory
  • Number Theory
  • Functional analysis & transforms
  • Differential calculus & equations
  • Maths for scientists
  • Number theory
  • Numerical analysis
Label
Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015, Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-981-10-1454-3
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
unknown
Extent
1 online resource (xxi, 309 pages)
File format
unknown
Form of item
online
Isbn
9789811014543
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-981-10-1454-3
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)956376282
  • (OCoLC)ocn956376282
Label
Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015, Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-981-10-1454-3
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
unknown
Extent
1 online resource (xxi, 309 pages)
File format
unknown
Form of item
online
Isbn
9789811014543
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-981-10-1454-3
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)956376282
  • (OCoLC)ocn956376282

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...