Page 29
Page 29
Controlled Nanoscale Motion : Nobel Symposium 131
This volume provides an introduction to the state-of-the-art of controlled nanoscale motion in biological and artificial systems. Topics include the control and function of protein motors, the physics of non-equilibrium Brownian motion, and the physics and fabrication of synthetic molecular motors.
Controlled Markov Processes and Viscosity Solutions
This book is intended as an introduction to optimal stochastic control for continuous time Markov processes and to the theory of viscosity solutions. Stochastic control problems are treated using the dynamic programming approach. It approachs stochastic control problems by the method of dynamic programming. The fundamental equation of dynamic programming is a nonlinear evolution equation for the value function. For controlled Markov diffusion processes, this becomes a nonlinear partial differential equation of second order, called a Hamilton-Jacobi-Bellman (HJB) equation. Typically, the value function is not smooth enough to satisfy the HJB equation in a classical sense. Viscosity solutions provide framework in which to study HJB equations, and to prove continuous dependence of solutions on problem data. The theory is illustrated by applications from engineering, management science, and financial economics.
Control Theory in Physics and other Fields of Science : Concepts, Tools, and Applications
This book covers systematically and in a simple language the mathematical and physical foundations of controlling deterministic and stochastic evolutionary processes in systems with a high degree of complexity. Strong emphasis is placed on concepts, methods and techniques for modelling, assessment and the solution or estimation of control problems in an attempt to understand the large variability of these problems in several branches of physics, chemistry and biology as well as in technology and economics. The main focus of the book is on a clear physical and mathematical understanding of the dynamics and kinetics behind several kinds of control problems and their relation to self-organizing principles in complex systems. The book is a modern introduction and a helpful tool for researchers, engineers as well as post-docs and graduate students interested in an application oriented control theory and related topics.
Control of Nonlinear Dynamical Systems : Methods and Applications
This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having several degrees of freedom, subjected to unknown disturbances, and containing uncertain parameters. Various constraints are imposed on control inputs and state variables or their combinations. The book contains an introduction to the theory of optimal control and the theory of stability of motion, and also a description of some known methods based on these theories.
Contributions to the Science of Text and Language : Word Length Studies and Related Issues
This volume contains a collection of contributions to the science of language, focusing on the study of word length in particular. Within a synergetic framework, the word turns out to be a central linguistic unit, as is clearly outlined in the Editorâs preface. The bookâs first chapter is an extensive introduction to the history and state of the art of word length studies.The studies included unify contributions from three important linguistic fields, namely, linguistics and text analysis, mathematics and statistics, and corpus and data base design, which together give a comprehensive approach to the quantitative study of text and language and word length studies.
Continuum Mechanics
This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics introduces into the Foundations using tensors in Cartesian coordinate systems, classical theory of elasticity, and fluid mechanics. PART II: Mechanics of Materials has chapters on viscoelasticity, plasticity, principles of constitutive modelling, and thermodynamics. PART III presents Tensor Analysis and fundamental equations of Continuum Mechanics in curvilinear coordinates.
Contextualisms in Epistemology
This comprehensive anthology collects twenty original essays and critical commentaries on different aspects of contextualism, written by leading philosophers on the topic. The editors’ introduction sketches the historical development of the contextualist movement and provides a survey and analysis of its arguments and major positions. The papers explore, inter alia, the central problems and prospects of semantic (or conversational) contextualism and its main alternative approaches such as inferential (or issue) contextualism, epistemic contextualism, and virtue contextualism. They also investigate the connections between contextualism and epistemic particularism, and between contextualism and stability accounts of knowledge.
Construction and Building Automation : From Concepts to Implementation
Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, electrical and computer science topics that are needed for civil and construction engineers to collaborate in inter-disciplinary automation projects. Introduces hardware and software needed for automating engineering tasks ; Presents examples of applications in the control of building systems ; Illustrates of the use of automation for improving construction processes ; Provides a lucid introduction to advanced computing concepts, machine learning, artificial intelligence, and control algorithms to construction and engineering students.
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Conics and Cubics : A Concrete Introduction to Algebraic Curves
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from high school algebra and two key ideas: homogenous coordinates and intersection multiplicities. By classifying irreducible cubics over the real numbers and proving that their points form Abelian groups, the book gives readers easy access to the study of elliptic curves. It includes a simple proof of Bezout's Theorem on the number of intersections of two curves.The book is a text for a one-semester course on algebraic curves for junior-senior mathematics majors. The only prerequisite is first-year calculus.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
Concepts and Results in Chaotic Dynamics : A Short Course
The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and applications. In particular, the relations both with real experiments with numerical simulations are discussed. The book contains many figures that really help the understanding of the text. The book can be used as a text for an introductory course in dynamical systems
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.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.2
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1, published as LNP 703 (ISBN 3-540-35270-8) is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. The present volume is a state-of-the-art survey on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology, such as supercooled liquids, spin glasses, colloids, polymers, liquid crystals, biological membranes and folding proteins.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.1
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1 is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. Volume 2 published as LNP 704 (ISBN 3-540-35283-X) is a collection of state-of-the-art surveys on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology.
Computer Graphics for Artists : An Introduction
Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in inefficiency and a lower quality of work. This book addresses these issues by providing fundamental information in a university course format, with theoretical material, detailed illustrations, and projects to test the reader’s understanding of the concepts covered.
Computational Welding Mechanics
Provides readers with an introduction to the principles and applications of computational welding. This book instructs the reader how to relate Computational Welding Mechanics (CWM) to the processes of design, build, inspect, regulate, operate and maintain welded structures. It is suited for practicing engineers and engineering students.
Computational Many-Particle Physics
Complicated many-particle problems abound in nature and in research alike. Plasma physics, statistical physics and condensed matter physics, as primary examples, are all heavily dependent on efficient methods for solving such problems. Addressing graduate students and young researchers, this book presents an overview and introduction to state-of-the-art numerical methods for studying interacting classical and quantum many-particle systems. A broad range of techniques and algorithms are covered, and emphasis is placed on their implementation on modern high-performance computers.
Computational intelligence ; Vol. 174 : Engineering of hybrid systems
Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science and engineering. This book offers a gentle introduction to the engineering aspects of hybrid intelligent systems, also emphasizing the interrelation with the main intelligent technologies such as genetic algorithms? evolutionary computation, neural networks, fuzzy systems, evolvable hardware, DNA computing, artificial immune systems. A unitary whole of theory and application, the book provides readers with the fundamentals, background information, and practical methods.
