Filter by
The Convergence Problem for Dissipative Autonomous Systems: Classical Methods…
The book investigates classical and more recent methods of study for the asymptotic behavior of dissipative continuous dynamical systems with applications to ordinary and partial differential equations, the main question being convergence (or not) of the solutions to an equilibrium. After reviewing the basic concepts of topological dynamics and the definition of gradient-like systems on a metri…
- Edition
- -
- ISBN/ISSN
- 978-3319234069
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Proof Theory
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday o…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-29198-7
- Collation
- XII, 425
- Series Title
- Progress in Computer Science and Applied Logic
- Call Number
- 511.3 ADV a
Uncertainty The Soul of Modeling, Probability & Statistics
This book presents a philosophical approach to probability and probabilistic thinking, considering the underpinnings of probabilistic reasoning and modeling, which effectively underlie everything in data science. The ultimate goal is to call into question many standard tenets and lay the philosophical and probabilistic groundwork and infrastructure for statistical modeling. It is the first book…
- Edition
- -
- ISBN/ISSN
- 978-3-319-39756-6
- Collation
- 23 b/w illustrations
- Series Title
- -
- Call Number
- -
Uncertain Differential Equations
This book introduces readers to the basic concepts of and latest findings in the area of differential equations with uncertain factors. It covers the analytic method and numerical method for solving uncertain differential equations, as well as their applications in the field of finance. Furthermore, the book provides a number of new potential research directions for uncertain differential equat…
- Edition
- -
- ISBN/ISSN
- 978-3-662-52729-0
- Collation
- XIII, 158
- Series Title
- -
- Call Number
- -
Ultrafast Phenomena XIX Proceedings of the 19th International Conference, Ok…
This book presents the latest advances in ultrafast science, including both ultrafast optical technology and the study of ultrafast phenomena. It covers picosecond, femtosecond, and attosecond processes relevant to applications in physics, chemistry, biology, and engineering. Ultrafast technology has a profound impact in a wide range of applications, amongst them biomedical imaging, chemical dy…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13242-6
- Collation
- 75 b/w illustrations, 302 illustrations in colour
- Series Title
- -
- Call Number
- -
How to Count: An Introduction to Combinatorics and Its Applications
Providing a self-contained resource for upper undergraduate courses in combinatorics, this text emphasizes computation, problem solving, and proof technique. In particular, the book places special emphasis the Principle of Inclusion and Exclusion and the Multiplication Principle. To this end, exercise sets are included at the end of every section, ranging from simple computations (evaluate a fo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13843-5
- Collation
- XV, 361
- Series Title
- -
- Call Number
- 510 BEE h
UK Success Stories in Industrial Mathematics
This publication showcases the work of UK mathematicians and statisticians by describing industrial problems that have been successfully solved, together with a summary of the financial and/or societal impact that arose from the work. The articles are grouped by sector, and include contributions to climate modelling, engineering and health. The articles are based on Impact Case Studies that wer…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25454-8
- Collation
- 81 b/w illustrations
- Series Title
- -
- Call Number
- -
Turning Points in the History of Mathematics
This book explores some of the major turning points in the history of mathematics, ranging from ancient Greece to the present, demonstrating the drama that has often been a part of its evolution. Studying these breakthroughs, transitions, and revolutions, their stumbling-blocks and their triumphs, can help illuminate the importance of the history of mathematics for its teaching, learning, and …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3264-1
- Collation
- 38 b/w illustrations, 13 illustrations in colour
- Series Title
- -
- Call Number
- -
Turing’s Revolution The Impact of His Ideas about Computability
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22156-4
- Collation
- 17 b/w illustrations, 1 illustrations in colour
- Series Title
- -
- Call Number
- -
Turbulence
This book covers the major problems of turbulence and turbulent processes, including physical phenomena, their modeling and their simulation. After a general introduction in Chapter 1 illustrating many aspects dealing with turbulent flows, averaged equations and kinetic energy budgets are provided in Chapter 2. The concept of turbulent viscosity as a closure of the Reynolds stress is also i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16160-0
- Collation
- Original French edition published by CNRS Éditions, Paris, 2003
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography