Mathematical foundations Books

This book focuses on Krylov subspace methods for solving linear systems, which are known as one of the top 10 algorithms in the twentieth century, such as Fast Fourier Transform and Quick Sort (SIAM News, 2000). Theoretical aspects of Krylov subspace...

The content of the book collects some contributions related to the talks presented during the INdAM Workshop "Fractional Differential Equations: Modelling, Discretization, and Numerical Solvers", held in Rome, Italy, on July 12-14, 2021. All...

This book contains select papers on mathematical analysis and modeling, discrete mathematics, fuzzy sets, and soft computing. All the papers were presented at the international conference on FIM28-SCMSPS20 virtually held at Sri Sivasubramaniya Nadar...

This book serves as a textbook in real analysis. It focuses on the fundamentals of the structural properties of metric spaces and analytical properties of functions defined between such spaces. Topics include sets, functions and cardinality, real...

This book collects select papers presented at the International Conference on Applications of Basic Sciences, held at Tiruchirappalli, Tamil Nadu, India, from 19-21 November 2019. The book discusses topics on singular perturbation problems, differential...

This book is intended for researchers active in the field of (blind) system identification and aims to provide new identification ideas/insights for dealing with challenging system identification problems. It presents a comprehensive overview of the...

This book highlights latest advancement in Mathematics, Physics and Chemistry. With the theme of "Innovative Science towards Sustainability and Industrial Revolution 4.0", ICFAS 2020 brings together leading experts, scientific communities...

​Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May...

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and...

This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic and complex decision-making problems. It discusses a wide range of theoretical and practical information to the latest research on...

The idea of structure-preserving algorithms appeared in the 1980's. The new paradigm brought many innovative changes. The new paradigm wanted to identify the long-time behaviour of the solutions or the existence of conservation laws or some other...

This book addresses recent developments in mathematical analysis and computational methods for solving direct and inverse problems for Maxwell's equations in periodic structures. The fundamental importance of the fields is clear, since they are related...

This book introduces the theory of graded consequence (GCT) and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in...

This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on multi-aspect anomaly detection in sensor networks; several...

This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas...

This book constitutes the refereed proceedings of the Third China Conference on Knowledge Graph and Semantic Computing, CCKS 2018, held in Tianjin, China, in August 2018.The 27 revised full papers and 2 revised short papers presented were carefully...

This book gathers outstanding papers on numerical modeling in Mechanical Engineering (Volume 2) as part of the proceedings of the 1st International Conference on Numerical Modeling in Engineering (NME 2018), which was held in Ghent, Belgium. The overall...

This book introduces the use of the distinct element method (DEM) in modeling crowd behavior and simulating evacuation processes. Focusing on the mathematical computation of the uncertain behavior of evacuees, which is switching action behavior, it...

This book begins with the fundamentals of the generalized inverses, then moves to more advanced topics.It presents a theoretical study of the generalization of Cramer's rule, determinant representations of the generalized inverses, reverse order law of...

This book focuses on mathematical theory and numerical simulation related to various aspects of continuum mechanics, such as fracture mechanics, elasticity, plasticity, pattern dynamics, inverse problems, optimal shape design, material design, and...

This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from...

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is...

Introduction.- Fundamental Mathematics.- Solving Linear Systems of Equations.- Solving Nonlinear Systems of Equations.- Convergence Theory.- Power System Analysis.- Traditional Power Flow Solvers.- Newton-Krylov Power Flow Solver.- Contingency Analysis.-...

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his  seminal  research...

The volume analyses and develops David Makinson's efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson's work and chapters that develop themes emerging...

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with...

This volume provides universal methodologies accompanied by Matlab software to manipulate numerous signal and image processing applications. It is done with discrete and polynomial periodic splines. Various contributions of...

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its...

This book contains the results in numerical analysis and optimization presented at the ECCOMAS thematic conference "Computational Analysis and Optimization" (CAO 2011) held in Jyväskylä, Finland, June 9-11, 2011. Both the conference and this volume are...

The investigation of multiscale problems in multibody system contacts is an interesting and timely topic which has been the subject of intensive research. This IUTAM Symposium facilitated discussions between researchers active in the field. This...

Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber...

In recent years, an impetuous development of new, unconventional theories, methods, techniques and technologies in computer and information sciences, systems analysis, decision-making and control, expert systems, data ...

One of the attractions of fuzzy logic is its utility in solving many real engineering problems. As many have realised, the major obstacles in building a real intelligent machine involve dealing with random disturbances,...

The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with...

Relevance logics came of age with the one and only International Conference on relevant logics in 1974. They did not however become accepted, or easy to promulgate. In March 1981 we received most of the typescript of IN...

In September 1989, a NATO Advanced Research Workshop on "Continuation and BIfurcations: NumerIcal TechnIques and Applications" was held at the Katholieke Unlversiteit Leuven, Belgium. Participants came from 10 countries in...

This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the...

th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields...

Nonstandard methods of analysis consist generally in comparative study of two interpretations of a mathematical claim or construction given as a formal symbolic expression by means of two different set-theoretic models: one, a...

This book, written by our distinguished colleague and friend, Professor Han-Lin Chen of the Institute of Mathematics, Academia Sinica, Beijing, presents, for the first time in book form, his extensive work on complex harmonic...