تحسين النتائح
ترتيب حسب
من
الى
الصفحة 8
الصفحة 8
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.
Analysis and Numerics for Conservation Laws
The physical and chemical mechanisms as well as the sizes of these processes are quite different. So are the motivations for studying them scientifically.The super- 8 nova is a thermo-nuclear explosion on a scale of 10 cm. Astrophysicists try to understand them in order to get insight into fundamental properties of the universe. In hows around airfoils of commercial airliners at the scale of 3 10 cm shock waves occur that influence the stability of the wings as well as fuel consumption in ight. This requires appropriate design of the shape and structure of airfoils by engineers. Knocking occurs in combustion, a chemical 1 process, and must be avoided since it damages motors. The scale is 10 cm and these processes must be optimized for efficiency and environmental conside- tions. The common thread is that the underlying ?uid ?ows may at a certain scale of observation be described by basically the same type of hyperbolic s- tems of partial differential equations in divergence form, called conservation laws. Astrophysicists, engineers and mathematicians share a common interest in scientific progress on theory for these equations and the development of computational methods for solutions of the equations. Due to their wide applicability in modeling of continua. A substantial portion of mathematical research is related to the analysis and numerical approximation of solutions to such equations. Hyperbolic conservation laws in two or more space dimensions still poseone of the main challenges to modern mathematics.
Analisi matematica I : Teoria ed esercizi con complementi in rete = Mathematical analysis I : Theory and exercises with online complements
Intends to support a first teaching of Mathematical Analysis according to the principles of the new Didactic Regulations. It is especially designed for Engineering, Computer Science, Physics. The text has three different levels of reading. An essential level allows the student to grasp the essential concepts of the subject and to familiarize himself with the related calculation techniques. An intermediate level provides justifications for the main findings and enriches the presentation with useful observations and complements. A third level of reading, based on numerous references to a virtual text available online, allows the more motivated and interested student to deepen his or her preparation on the subject. Numerous examples and exercises with solutions complete the text. The captivating 2-color graphics make this text a fundamental point of reference for the study of the discipline.
An Introduction to Scientific Computing : Twelve Computational Projects Solved with MATLAB
This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts.
An Introduction to Programming and Numerical Methods in MATLAB
The book covers numerical methods for solving a wide range of problems, from integration to the numerical solution of differential equations or the stimulation of random processes. Examples of programmes that solve problems directly, as well as those that use MATLAB’s high-level commands are given. Each chapter includes extensive examples and tasks, at varying levels of complexity. For practice, the early chapters include programmes that require debugging by the reader, while full solutions are given for all the tasks. The book also includes: A glossary of MATLAB commands / Aappendices of mathematical techniques used in numerical methods / Designed as a text for a first course in programming and algorithm design, as well as in numerical methods courses, the book will be of benefit to a wide range of students from mathematics and engineering, to commerce."
An Introduction to Fluid Mechanics and Transport Phenomena
This book presents the foundations of fluid mechanics and transport phenomena in a concise way. It is suitable as an introduction to the subject as it contains many examples, proposed problems and a chapter for self-evaluation. The solutions to all problems are displayed in the corresponding appendix.
An Introduction to Difference Equations
The book integrates both classical and modern treatments of difference equations. It contains the most updated and comprehensive material, yet the presentation is simple enough for the book to be used by advanced undergraduate and beginning graduate students. This third edition includes more proofs, more graphs, and more applications. The author has also updated the contents by adding a new chapter on Higher Order Scalar Difference Equations, along with recent results on local and global stability of one-dimensional maps, a new section on the various notions of asymptoticity of solutions, a detailed proof of Levin-May Theorem, and the latest results on the LPA flour-beetle model
Algorithms in Real Algebraic Geometry
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing.
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem of rational curves – and uses these problems to introduce the fundamental tools of modern algebraic geometry: dimension; singularities; sheaves; varieties; and cohomology. The treatment uses as little commutative algebra as possible by quoting without proof (or proving only in special cases) theorems whose proof is not necessary in practice, the priority being to develop an understanding of the phenomena rather than a mastery of the technique. A range of exercises is provided for each topic discussed, and a selection of problems and exam papers are collected in an appendix to provide material for further study.
Algebraic Combinatorics : Lectures at a Summer School in Nordfjordeid, Norway, June 2003
This book is based on two series of lectures given at a summer school on algebraic combinatorics at the Sophus Lie Centre in Nordfjordeid, Norway, in June 2003, one by Peter Orlik on hyperplane arrangements, and the other one by Volkmar Welker on free resolutions.
Agent-Based Modeling Meets Gaming Simulation
Provides a good example of the diverse scope and standard of research achieved in simulation and gaming today. The theme of the special session at ISAGA2003 was Agent-Based Modeling Meets Gaming Simulation. Nowadays, agent-based simulation is becoming very popular for modeling and solving complex social phenomena. It is also used to arrive at practical solutions to social problems. At the same time, however, the validity of simulation does not exist in the magni?cence of the model. R. Axelrod stresses the simplicity of the agent-based simulation model through the “Keep it simple, stupid” (KISS) principle: As an ideal, simple modeling is essential.
Advances in Dynamic Games : Applications to Economics, Management Science, Engineering, and Environmental Management
This book—an outgrowth of the 10th International Symposium on Dynamic Games—presents current developments of the theory of dynamic games and its applications to various domains, in particular energy-environment economics and management sciences.The volume uses dynamic game models of various sorts to approach and solve several problems pertaining to pursuit-evasion, marketing, finance, climate and environmental economics, resource exploitation, as well as auditing and tax evasions. In addition, it includes some chapters on cooperative games, which are increasingly drawing dynamic approaches to their classical solutions.
Advanced Visual Quantum Mechanics
Investigate and to teach quantum mechanics with the aid of computer-generated animations. It is a self-contained textbook that combines selected topics from atomic physics (spherical symmetry, the hydrogen atom, and particles with spin) with an introduction to quantum information theory (qubits, EPR paradox, teleportation, quantum computers). It explores relativistic quantum mechanics and the strange behavior of Dirac equation solutions. A series of appendices covers important topics from perturbation and scattering theory. The book places an emphasis on ideas and concepts, with a fair to moderate amount of mathematical rigor. Though this book stands alone, it can also be paired with Thaller Visual Quantum Mechanics to form a comprehensive course in quantum mechanics. The software for the first book earned the European Academic Software Award 2000 for outstanding innovation in its field.
Advanced Stress and Stability Analysis : Worked Examples
This book is a collection of problems for advanced students in the area of Strength of Materials. It draws the reader´s attention also to problems that are often overlooked and answers questions that are far beyond a training course and require more fundamental understanding. All problems are provided with detailed solutions to enable the reader to either learn about the problem-solving process or just to check his/her own way of solution. The research and educational Work of V.I. Feodosiev was carried out in the Bauman Moscow State technical University where he held the course on Strength of Materials for 50 years. Deep insight into engineering problems, clearness of concepts and elegance of solutions accompanied by pedagogical talent are the main features of his style.
Advanced Quantum Mechanics
Advanced Quantum Mechanics, the second volume on quantum mechanics by Franz Schwabl, discusses nonrelativistic multi-particle systems, relativistic wave equations and relativistic fields. Characteristic of Schwabl’s work, this volume features a compelling mathematical presentation in which all intermediate steps are derived and where numerous examples for application and exercises help the reader to gain a thorough working knowledge of the subject. The treatment of relativistic wave equations and their symmetries and the fundamentals of quantum field theory lay the foundations for advanced studies in solid-state physics, nuclear and elementary particle physics. This text extends and complements Schwabl’s introductory Quantum Mechanics, which covers nonrelativistic quantum mechanics and offers a short treatment of the quantization of the radiation field. New material has been added to this third edition of Advanced Quantum Mechanics on Bose gases, the Lorentz covariance of the Dirac equation, and the ‘hole theory’ in the chapter "Physical Interpretation of the Solutions to the Dirac Equation."
Advanced Physicochemical Treatment Processes
Leading pollution control educators and practicing professionals describe how various combinations of different physicochemical treatment processes can be arranged to solve air, noise, and thermal pollution problems. In Advanced Physicochemical Treatment Processes, the authors discuss strategies for abating pollution by converting it into a less noxious form, using the most feasible technologies. Each chapter discusses in detail a variety of process combinations, along with technical and economic evaluations, and presents explanations of the principles behind the designs, as well as numerous variant designs useful to practicing engineers. The emphasis throughout is on developing the necessary engineering solutions from fundamental principles of chemistry, physics, and mathematics.
Advanced Air and Noise Pollution Control ; Vol.2
Handbook of Environmental Engineering, Volume 2, leading pollution control educators and practicing professionals describe how various combinations of different cutting-edge process systems can be arranged to solve air, noise, and thermal pollution problems. Each chapter discusses in detail a variety of process combinations, along with technical and economic evaluations, and presents explanations of the principles behind the designs, as well as numerous variant designs useful to practicing engineers. The emphasis throughout is on developing the necessary engineering solutions from fundamental principles of chemistry, physics, and mathematics. The authors also include extensive references, cost data, design methods, guidance on the installation and operation of various air pollution control process equipment and systems, and Best Available Technologies (BAT) for air, thermal, and noise pollution control. A companion volume, Air Pollution Control Engineering: Handbook of Environmental Engineering, Volume 1 critically surveys the principles and practices involved in basic air pollution control processes.
Adaptive Multi-Standard RF Front-Ends
Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation of RF front-ends and their adaptivity to variable radio environments. Next, it highlights the optimization of RF front-ends that allow achieving of maximal performance with a certain power budget while targeting full integration. Also, it investigates possibilities for low-voltage low-power circuit topologies in CMOS technology.
A New Foundation of Physical Theories
Written in the tradition of G. Ludwig’s groundbreaking works, this book aims to clarify and formulate more precisely the fundamental ideas of physical theories. By introducing a basic descriptive language of simple form, in which it is possible to formulate recorded facts, ambiguities of physical theories are avoided as much as possible. In this approach the field of physics that should be described by a theory is determined by basic concepts only, i.e. concepts that can be explained without a theory.In this context the authors introduce a new concept of idealization and review the process of discovering new concepts. They believe that, when the theories are formulated within an axiomatic basis, solutions can be found to many difficult problems such as the interpretation of physical theories, the relations between theories as well as the introduction of physical concepts. The book addresses both physicists and philosophers of science and should encourage the reader to contribute to the understanding of the lasting core of physical knowledge about the real structures of the world.
A Modern Introduction to Probability and Statistics : Understanding Why and How
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. In addition the book contains over 350 exercises, half of which have answers, of which half have full solutions. A website at www.springeronline.com/1-85233-896-2 gives access to the data files used in the text, and, for instructors, the remaining solutions. The only pre-requisite for the book is a first course in calculus; the text covers standard statistics and probability material, and develops beyond traditional parametric models to the Poisson process, and on to useful modern methods such as the bootstrap.
