Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.
The book Control of Nonlinear Systems-Stability and Performance fills a crucial gap in the field of nonlinear control systems by providing a comprehensive yet accessible treatment of the subject.
Nonparametric Regression and Generalized Linear Models focuses on the roughness penalty method of nonparametric smoothing and shows how this technique provides a unifying approach to a wide range of smoothing problems.
The book is an excellent text as well as a practical reference for civil, mechanical and aerospace engineers and has been identified as a work that is admirable in its lucidity and complete in itself.
This book, developed during 20 years of the author teaching differential equations courses at his home university, is designed to serve as a text for a graduate level course focused on the central theory of the subject with attention paid to applications and connections to other advanced topics in mathematics.
This textbook introduces the widely used numerical technique FEM in various engineering disciplines for the analysis of structures, heat transfer, fluid dynamics, and other physical phenomena.
Gaussian Integrals form an integral part of many subfields of applied mathematics and physics, especially in topics such as probability theory, statistics, statistical mechanics, quantum mechanics and so on.
This textbook introduces the widely used numerical technique FEM in various engineering disciplines for the analysis of structures, heat transfer, fluid dynamics, and other physical phenomena.
The second edition covers the introduction to the main mathematical tools of nonlinear functional analysis, which are also used in the study of concrete problems in economics, engineering, and physics.
In its second installment, Innovative Integrals and Their Applications II explores multidimensional integral identities, unveiling powerful techniques for attacking otherwise intractable integrals, thus demanding ingenuity and novel approaches.
Computational Methods in Finance is a book developed from the author's courses at Columbia University and the Courant Institute of New York University.
Being that pharmacokinetics (PK) is the study of how the body handles various substances, it is not surprising that PK plays an important role in the early development of new drugs.
The book Control of Nonlinear Systems-Stability and Performance fills a crucial gap in the field of nonlinear control systems by providing a comprehensive yet accessible treatment of the subject.
This book aims to solve the discrete implementation problems of continuous-time neural network models while improving the performance of neural networks by using various Zhang Time Discretization (ZTD) formulas.
The second edition covers the introduction to the main mathematical tools of nonlinear functional analysis, which are also used in the study of concrete problems in economics, engineering, and physics.
This is an updated version of what is still the only text to address basic questions about how to model uncertainty in mathematical programming, including how to reformulate a deterministic model so that it can be analyzed in a stochastic setting.
This book highlights recent developments in the representation theory of finite solvable groups, which seeks to connect group theory to linear algebra in ways that allow for better study of the groups in question.
Dieses 6-bändige Werk befasst sich mit den Anwendung von Differentialgleichungen in diversen Bereichen der Physik, Ingenieurwesen, Mathematik, Biologie und Soziologie.
This monograph is centered on mathematical modeling, innovative numerical algorithms and adaptive concepts to deal with fracture phenomena in multiphysics.
