Page 5
Page 5
Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety
Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
Deep Learning-Based Face Analytics
Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the authors present methods based on autoencoders, restricted Boltzmann machines, and deep convolutional neural networks for face detection, localization, tracking, recognition, etc. The authors also discuss merits and drawbacks of available approaches and identifies promising avenues of research in this rapidly evolving field.
Critique de la valeur fondamentale = Critique of fundamental value
This work takes stock of the different conceptions of fundamental value in finance, the methods of its calculation and the ongoing debates in financial theory as in professional practices. The book reports on the alternatives offered by mathematical modeling.
Creep Mechanics ; 3rd ed.
The third edition of “Creep Mechanics” provides a short survey of recent advances in the mathematical modelling of the mechanical behavior of anisotropic solids under creep conditions, including principles, methods, and applications of tensor functions.
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course: Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects in greater depth. It covers all the themes of a traditional optics course, from geometric optics to holography, interference, diffraction, coherence and the use of the Fourier transform for spectroscopy. The presentation is developed from mathematical models deriving from typical situations and fundamental examples which are presented in the form of computer programs ready to be implemented. These programs are also available on the CD accompanying the book, for each of the following scientific programming environments: Matlab, Maple, Mathematica and Mathcad. Thus, the reader will be able to modify the parameters of the examples proposed to adapt them to new situations.
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.
Constraint Theory : Multidimensional Mathematical Model Management
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. As the model's dimensionality increases from hundreds to thousands of variables, and as submodels constructed by diverse technical teams are integrated into the total model, the model is likely to become inconsistent and even more likely, the computational requests on the model become unallowable. This text analyzes the way constraint theory employs bipartite graphs and constraint matrices to detect and correct these well-posed problems. It also presents the process of locating the "kernel of constraint", literally trillions of times faster than a random search, determining consistency and compatibility within seconds.
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The book gives an introduction to the most important models of the field, followed by a detailed description of numerical techniques for the models. Particular focus is on efficient numerical methods for large scale simulations on both scalar and parallel computers.
Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry.
Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking.
Computer Algebra in Scientific Computing ; 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.
Computational Science and High Performance Computing II ; The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in March 2005 at Stuttgart, Germany. The workshop was organized jointly by the High Performance Computing Center Stuttgart (HLRS) and the Russian Institute for Computational Technologies (ICT SB RAS) The contributions range from computer science, mathematics and high performance computing to applications in mechanical and aerospace engineering. They show a wealth of theoretical work and simulation experience with a potential of bringing together theoretical mathematical modelling and usage of high performance computing systems presenting the state of the art of computational technologies.
Computational Fluid Dynamics for Wind Engineering
Covers topics such as: Fluid mechanics, turbulence in fluid mechanics, turbulence modelling, and mathematical modelling of wind engineering problems The finite difference method for CFD, solutions to the incompressible Navier-Stokes equations, visualization, and animation in CFD, and the application of CFD to building and bridge aerodynamics How to compare CFD analysis with wind tunnel measurements, field measurements, and the ASCE-7 pressure coefficients Wind effects and strain on large structures
Collective Consciousness and its Discontents: Institutional distributed cognition, racial policy, and public health in the United States
This book expands a recent mathematical treatment of the Baars model of individual consciousness to an institutional venue in which multiple ‘Global Workspaces’ cooperate, communicate, and compete. The result is an expansion of Dretske’s necessary conditions communications theory approach to high level cognition.
Closed-Loop Control of Blood Glucose
Introduces the ?eld of closed-loop blood g- cose control, in a simple manner, to the reader. This includes the hardware and software components that make up the control system (see Chapter 2). The hardware components involved the di?erent types of glucose sensor (- vasive, minimally-invasive and non-invasive) and the di?erent types of insulin.
Mathematical Models for Registration and Applications to Medical Imaging
Image registration is an emerging topic in image processing with many applications in medical imaging, picture and movie processing. The classical problem of image registration is concerned with ?nding an appropriate transformation between two data sets. This fuzzy de?nition of registration requires a mathematical modeling and in particular a mathematical speci?cation of the terms appropriate transformations and correlation between data sets. Depending on the type of application, typically Euler, rigid, plastic, elastic deformations are considered. The variety of similarity p measures ranges from a simpleL distance between the pixel values of the data to mutual information or entropy distances. This goal of this book is to highlight by some experts in industry and medicine relevant and emerging image registration applications and to show new emerging mathematical technologies in these areas. Currently, many registration application are solved based on variational prin- ple requiring sophisticated analysis, such as calculus of variations and the theory of partial differential equations, to name but a few. Due to the numerical compl- ity of registration problems ef?cient numerical realization are required. Concepts like multi-level solver for partial differential equations, non-convex optimization, and so on play an important role. Mathematical and numerical issues in the area of registration are discussed by some of the experts in this volume.
Mathematical Modelling of Biosystems
This volume is an interdisciplinary book, which introduces, in a very readable way, state of the art research in the fundamental topics of mathematical modelling of Biosystems. These topics include: the study of Biological Growth and its mechanisms, the coupling of pattern to form via theorems of Differential Geometry, the human immunodeficiency virus dynamics, the inverse folding problem and the possibility of analysing true protein backbone flexibility, the Biclustering techniques for the organization of microarray data, the analytical approach to the modelling of biomolecular structure via Steiner trees, the action of biocides on resistance mechanisms of mutated and phenotypic bacteria strains, a description of the fundamental processes for the distribution and abundances of species towards a unified theory of Ecology, and a special introduction to Protein Physics aiming to explain the all-or-none first order phase transitions from native to denatured states.
Mathematical Modelling for Sustainable Development
Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised as contributing to the disclosure of God’s divine creation. The conflicts that emerged became well known as a result of the clash between Galileo and the Church. Science found a new legitimacy through recognition that it was a powerful force against superstition. In the Enlightenment the argument was pushed forward by attributing Progress to the advancement of science: science could produce a better world by promoting rationality. In our modern society, science has become intimately linked to technology. Science for its own sake unfortunately rarely has positive outcomes in terms of research grant applications. Meanwhile, science and technology, and the progress they are supposed to produce, meet with wide scale scepticism. We all know of the current global problems: climate change, resource depletion, a thinning ozone layer, space debris, declining biodiversity, malnutrition, dying ecosystems, global inequity, and the risk of unprecedented nuclear wars
Mathematical Modeling, Simulation, Visualization and e-Learning ; Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006
This book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles from young and promising scientists from Africa, Asia and Europe. The common objective of these articles is to present an important issue which is currently widely discussed in scientific investigation with major human, economic or ecological implications. One main feature of the series, which the current book exemplifies, is that each article is as deep as an expert lecture but is also self-contained, so that even isolated scientists with limited resources can profit greatly from it. Another feature of this book is that each article is meant to present a collection of open questions which can fuel undergraduate or graduate research activities even in smaller or more isolated scientific communities.
Mathematical modeling of the human brain : From magnetic resonance images to finite element simulation
This book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating their first FEniCS brain meshes from T1-weighted images.
