Page 23
Page 23
Advances in Mechanics of Materials for Environmental and Civil Engineering
Deals with both mathematical modeling and experimental studies related to systems relevant for various civil engineering fields. The book addresses several key topics, including artificial intelligence applied to the control and monitoring of construction site personnel, finite element models for endplate beam-to-column connections under various load conditions, random functionally graded micropolar beams, and many others. The book explores the design and study of microstructures aimed at increasing the toughness and durability of novel materials in building and construction, based also on the re-utilization of residues and wastes of metallurgical industry produces.
Advances in Mathematical and Statistical Modeling
Enrique Castillo is a leading figure in several mathematical, statistical, and engineering fields, having contributed seminal work in such areas as statistical modeling, extreme value analysis, multivariate distribution theory, Bayesian networks, neural networks, functional equations, artificial intelligence, linear algebra, optimization methods, numerical methods, reliability engineering, as well as sensitivity analysis and its applications. Organized to honor Castillo's significant contributions, this volume is an outgrowth of the International Conference on Mathematical and Statistical Modeling and covers recent advances in the field. Also presented are applications to safety, reliability and life-testing, financial modeling, quality control, general inference, as well as neural networks and computational techniques.
Advances in Functional and Reparative Neurosurgery
The fourth official scientific meeting of the Neurorehabilitation and Reconstructive Neurosurgery Committee of the World Federation of Neurosurgical Societies (WFNS) was held in Seoul. This volume is the fourth in a new series of proceedings covering the most important advancements in this field.
Advances in Fracture Research : Honour and plenary lectures presented at the 11th International Conference on Fracture (ICF11), held in Turin, Italy, on March 20-25, 2005
Biological materials are bottom-up designed systems formed from billions of years of natural evolution. In the long course of Darwinian competition for survival, nature has evolved a huge variety of hierarchical and multifunctional systems from nucleic acids, proteins, cells, tissues, organs, organisms, animal communities to ecological s- tems. Multilevel hierarchy a rule of nature. The complexities of biology provide an opportunity to study the basic principles of hierarchical and multifunctional s- tems design, a subject of potential interest not only to biomedical and life sciences, but also to nanosciences and nanotechnology. Systematic studies of how hierarchical structures in biology are related to their functions and properties can lead to better understanding of the effects of aging, diseases and drugs on tissues and organs, and may help developing a scienti?c basis for tissue engineering to improve the standard of living.
Advances and technical standards in neurosurgery : Vol. 32
This volume of Advances and Technical Standards in Neurosurgery covers some important new developments in functional neurosurgery and endovascular therapy. In the Technical Standards section a variety of topics are considered, including optic pathway gliomas, pineal lesions, cavernous sinus meningiomas, and the eternal problem of minor and repetitive head injury. Endovascular treatment of a variety of lesions is now common practice, and the state of the art in endovascular treatment for acute ischemic stroke is reviewed. An appraisal of the evidence on whether there is a place for microsurgical vascular decompression for essential hypertension raises interesting questions.
Advanced Real Analysis
Basic Real Analysis and Advanced Real Analysis (available separately or together as a Set) systematically develop those concepts and tools in real analysis that are vital to every mathematician, whether pure or applied, aspiring or established. These works present a comprehensive treatment with a global view of the subject, emphasizing the connections between real analysis and other branches of mathematics.
Advanced Peripheral Nerve Surgery and Minimal Invasive Spinal Surgery
A summary of the most recent and effective techniques for treating difficult functional problems and painful situations using minimally invasive spinal surgery techniques. Including an up-to-date review of the physiopathology of the diseases.
Advanced Materials and Structures for Extreme Operating Conditions
The present monograph deals with new advanced materials, including composites, functionally graded materials, materials for high temperature service, advanced approaches to local and non-local analysis of localized damage, new description of crack deactivation, and many more.
Advanced functional programming ; 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International School on Advanced Functional Programming, AFP 2004, held in Tartu, Estonia, August 14–21, 2004. The goal of the AFP schools is to inform the wide international communitiesof computer science students and software production professionals about thenew and important developments in the area of functional programming. The schools put a special emphasis on practical applications of advanced techniques.
AdvancED DOM Scripting : Dynamic Web Design Techniques
As a web designer or developer, you know how powerful DOM scripting is for enhancing web pages and applications, adding dynamic functionality and improving the user experience. You've got a reasonable understanding of JavaScript and the DOM, but now you want to take your skills further. This book is all you need—it shows you how to add essential functionality to your web pages.
AdvancED ActionScript Components : Mastering the Flash Component Architecture
Macromedia's architecture is like a chest filled with precious jewels, and this book is quite simply the key to open it! One of the most important tools provided with Flash is the Macromedia Component Architecture: a framework of components written in ActionScript 2, based on established design patterns, that provides a wealth of functionality you can just bolt on to your Flash applications when desired. This can save you an enormous amount of time during application development and help you improve the quality of your code. What's more, the source code is included, so if you can't find the component you need within the component architecture, you can just modify existing components to create your own!
Addition Reactions with Unsaturated Hydrocarbons
Addition Reactions with Unsaturated Hydrocarbons presents an up-to-date overview of modern methods that utilize reactions of unsaturated hydrocarbons as building blocks of organic synthesis, covering the conceptual and practical knowledge required for designing atom-efficient reactions to synthesize functionalized molecules. This authoritative volume discusses homo-dimerization and cross-dimerization of alkynes and/or alkenes, synthesis of carbonyl compounds from the hydration of alkynes, cycloadditions of alkynes and alkenes for the synthesis of carbocycles and heterocycles.
Adaptronics and Smart Structures : Basics, Materials, Design, and Applications
Adaptronic structures and systems can adapt automatically to variable operating and environmental conditions through the use of feedback control. But in contrast to conventional control loops, in which each function is fulfilled by a separate component, adaptronics is characterized by multifunctional components that are preferably integrated into the structure or the system. The goal is a lightweight and simple construction for conserving material and energy resources. The authors of this book have taken on the task of displaying the current state of the art in this highly modern and strongly interdisciplinary field. Selected application examples are also presented and current development trends demonstrated.
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and functionality optimization. Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice includes chapter contributions that explore promising approaches and present the supporting data.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
Absolute Stability of Nonlinear Control Systems
Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor Pei Yu, has created a second edition of his seminal work on the subject. Liao begins with an introduction to the Lurie problem and the Lurie control system, before moving on to the simple algebraic sufficient conditions for the absolute stability of autonomous and non-autonomous ODE systems, as well as several special classes of Lurie-type systems. The focus of the book then shifts toward the new results and research that have appeared in the decade since the first edition was published. This includes nonlinear control systems with multiple controls, interval control systems, time-delay and neutral Lurie control systems, systems described by functional differential equations, the absolute stability for neural networks, as well as applications to chaos control and chaos synchronization.
Aalto in Detail : A Catalogue of Components
Celebrates the rich detail in the work of Aino, Elissa, and Alvar Aalto. Every support, railing, and handle is the result of intensive formal and functional research. The authors document 50 Aalto buildings - some well-known and others less so - and arrange their photographs by component into 20 chapters. The result is a rich photographic record that will serve as a source of inspiration for every architect. From door handles to skylights: Aalto's infinite wealth of components Inspiring documentation with 400 systematically arranged photos Unconventionally detailed solutions with special attention paid to technical feasibility
A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus
Based on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human material. Gaining insight in the consequences of longitudinal damage to the human spinal cord is necessary before reimplantation of the avulsed rootlets or an autologous transplant can be performed in man.
A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
This book develops a far-reaching generalization of Bohr-Mollerup's theorem to higher order convex functions, along lines initiated by Wolfgang Krull, Roger Webster, and some others but going considerably further than past work. In particular, this generalization shows using elementary techniques that a very rich spectrum of functions satisfy analogues of several classical properties of the gamma function, including Bohr-Mollerup's theorem itself, Euler's reflection formula, Gauss' multiplication theorem, Stirling's formula, and Weierstrass' canonical factorization.
