الصفحة 27
الصفحة 27
Automatic Differentiation : Applications, Theory, and Implementations
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students will learn about advances in automatic differentiation techniques and strategies for the implementation of robust and powerful tools. Computational scientists and engineers will benefit from the discussion of applications, which provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification.
Atomic structure theory : Lectures on atomic physics
This is a textbook for students with a background in quantum mechanics. The text is designed to give hands-on experience with atomic structure calculations. Material covered includes angular momentum methods, the central field Schrödinger and Dirac equations, Hartree-Fock and Dirac-Hartree-Fock equations, multiplet structure, hyperfine structure, the isotope shift, dipole and multipole transitions, basic many-body perturbation theory, configuration interaction, and correlation corrections to matrix elements.
Atlas of confocal laser scanning in-vivo microscopy in ophthalmology : principles and applications in diagnostic and therapeutic
Confocal microscopy with laser scanning technology yields in-vivo images of ocular and ocular adnexal surfaces that are so brilliant that they rival histology in terms of quality.This unique atlas and textbook demonstrates normal in-vivo anatomy of the cornea, limbus and conjunctiva, quantifies various cellular structures using cell-density calculations and establishes correlations between novel optical sections of various diseases of the ocular surface and clinical findings.
Asymptotic Analysis and Boundary Layers
Presents a new method of asymptotic analysis of boundary-layer problems, the Successive Complementary Expansion Method (SCEM). The first part is devoted to a general comprehensive presentation of the tools of asymptotic analysis. It gives the keys to understand a boundary-layer problem and explains the methods to construct an approximation. The second part is devoted to SCEM and its applications in fluid mechanics, including external and internal flows. The advantages of SCEM are discussed in comparison with the standard Method of Matched Asymptotic Expansions. In particular, for the first time, the theory of Interactive Boundary Layer is fully justified. With its chapter summaries, detailed derivations of results, discussed examples and fully worked out problems and solutions, the book is self-contained.
Aspects of mathematical modelling : Applications in science, medicine, economics and management
The construction of mathematical models is an essential scientific activity. Mathematics has long been associated with developments in the exact sciences and engineering, but more recently mathematical modelling has been used to investigate complex systems that arise in many other fields. The contributors to this book demonstrate the application of mathematics to modern research topics in ecology and environmental science, health and medicine, phylogenetics and neural networks, theoretical chemistry, economics and management. The reader will find some review papers outlining current research directions in hot topics such as pattern formation and applications to medicine, and more targeted research papers on current developments in the various disciplines included.
Aspects of Mathematical Finance
Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical methodology, especially probabilistic methodology, it was a very natural idea for the French "Académie des Sciences" to propose a series of public lectures, accessible to an educated audience, to promote a wider understanding for some of the fundamental ideas, techniques and new tools of the financial industries. These lectures were given at the "Académie des Sciences" in Paris by internationally renowned experts in mathematical finance, and later written up for this volume which develops, in simple yet rigorous terms, some challenging topics such as risk measures, the notion of arbitrage, dynamic models involving fundamental stochastic processes like Brownian motion and Lévy processes.
Aspects of Brownian motion
Stochastic calculus and excursion theory are very efficient tools to obtain either exact or asymptotic results about Brownian motion and related processes. The emphasis of this book is on special classes of such Brownian functionals as: - Gaussian subspaces of the Gaussian space of Brownian motion; - Brownian quadratic funtionals; - Brownian local times, - Exponential functionals of Brownian motion with drift; - Winding number of one or several Brownian motions around one or several points or a straight line, or curves; - Time spent by Brownian motion below a multiple of its one-sided supremum.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Artificial neural network-based optimized design of reinforced concrete structures
Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures while conforming to codes of practice. It shows how objective functions including cost, CO2 emissions, and structural weight of concrete structures are optimized either separately or simultaneously while satisfying constraining design conditions using an ANN-based Lagrange algorithm. Any design target can be adopted as an objective function. Many optimized design examples are verified by both conventional structural calculations and big datasets. Uniquely applies the new powerful tools of AI to concrete structural design and optimization Multi-objective functions of concrete structures optimized either separately or simultaneously Design requirements imposed by codes are automatically satisfied by constraining conditions Heavily illustrated in color with practical design examples
Artificial Market Experiments with the U-Mart System
Economics went through great development in the 20th century. This development, which was based mainly on mathematical methods, is not an appropriate method of analyzing markets that change every hour and every day. In a stock market, prices constantly change depending on speculation. U-Mart, a manmade market, has been proposed in order to study such instantly moving markets. Although the U-Mart system is internationally acclaimed for being at the forefront of market research, its use is by no means limited to a small number of researchers on the fringe. The whole system, including its source code, is open and is distributed without charge, testifying to a philosophy of creating and providing a common testbed for research into financial markets.
Artificial intelligence and knowledge engineering applications : A bioinspired approach ; 1st international work-Conference on the interplay between natural and artificial computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
The computational paradigm considered here is a conceptual, theoretical andformal framework situated above machines and living creatures (two instantia-tions), sufficiently solid, and still non-exclusive, that allows us:1. to help neuroscientists to formulate intentions, questions, experiments, meth-ods and explanation mechanisms assuming that neural circuits are the psy-chological support of calculus;2. to help scientists and engineers from the fields of artificial intelligence (AI)and knowledge engineering (KE) to model, formalize and program the com-putable part of human knowledge;3. to establish an interaction framework between natural system computation(NSC) and artificial system computation (ASC) in both directions, fromASC to NSC (in computational neuroscience), and from NSC to ASC (inbioinspired computation).
Argumentation in Science Education : Perspectives from Classroom-Based Research
This book brings together the work of leading experts in argumentation in science education. It presents research combining theoretical and empirical perspectives relevant for secondary science classrooms. Since the 1990s, argumentation studies have increased at a rapid pace, from stray papers to a wealth of research exploring ever more sophisticated issues. This volume constitutes a unique collection and covers fundamental issues in argumentation such as cognitive, methodological and epistemological aspects; classroom-based research in teaching and learning of argumentation in science classrooms; and argumentation in context such as in socio-scientific and moral contexts. The book’s underlying premise is that argumentation is a significant aspect of scientific inquiry and plays an important role in teaching and learning of science.
Approximation and Online Algorithms ; 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications
Applied Stochastic Control of Jump Diffusions
The main purpose of the book is to give a rigorous, yet mostly nontechnical, introduction to the most important and useful solution methods of various types of stochastic control problems for jump diffusions and its applications.
Applied Stochastic Control of Jump Diffusions
The main purpose of the book is to give a rigorous, yet mostly nontechnical, introduction to the most important and useful solution methods of various types of stochastic control problems for jump diffusionsThe types of control problems covered include classical stochastic control, optimal stopping, impulse control and singular control. Both the dynamic programming method and the maximum principle method are discussed, as well as the relation between them. Corresponding verification theorems involving the Hamilton-Jacobi Bellman equation and/or (quasi-)variational inequalities are formulated. There are also chapters on the viscosity solution formulation and numerical methods.The text emphasises applications, mostly to finance. All the main results are illustrated by examples and exercises appear at the end of each chapter with complete solutions. This will help the reader understand the theory and see how to apply it.The book assumes some basic knowledge of stochastic analysis, measure theory and partial differential equations.
Applied Statistics Using SPSS, STATISTICA, MATLAB and R
The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such as data description, statistical inference, classification and regression, factor analysis, survival data and directional statistics.
Applied Spatial Data Analysis with R
Applied Spatial Data Analysis with R is divided into two basic parts, the first presenting R packages, functions, classes and methods for handling spatial data, The second part showcases more specialised kinds of spatial data analysis, including spatial point pattern analysis, interpolation and geostatistics, areal data analysis and disease mapping.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied Probability and Statistics
This text is designed for a one-semester course on Probability and Statistics. The exposition unfolds systematically from an introductory chapter to such topics as random variables and vectors, stochastic processes, estimation, testing and regression. The topics are well chosen and the presentation is enriched by many examples from real life. Following every chapter, the reader will find many original, solved and unsolved problems and hundreds of multiple choice questions, enabling those unfamiliar with the topics to master them. Additionally appealing are the interesting historical notes on the mathematicians mentioned throughout and a useful bibliography. A distinguishing character of the book is the thorough and succinct handling of the various topics.
Applied Pattern Recognition
The main goal of this book is to cover some of the latest application domains of pattern recognition while presenting novel techniques that have been developed or customized in those domains.
