الصفحة 30
الصفحة 30
Feasibility and Infeasibility in Optimization : Algorithms and Computational Methods
Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical and recent algorithms related to feasibility and infeasibility in optimization, with a focus on practical methods. All model forms are covered, including linear, nonlinear, and mixed-integer programs. Connections to related work in constraint programming are shown. Part I of the book addresses algorithms for seeking feasibility quickly, including new methods for the difficult cases of nonlinear and mixed-integer programs. Part II provides algorithms for analyzing infeasibility by isolating minimal infeasible (or maximum feasible) subsets of constraints, or by finding the best repair for the infeasibility. Infeasibility analysis algorithms have arisen primarily over the last two decades, and the book covers these in depth and detail. Part III describes applications in numerous areas outside of direct infeasibility analysis such as finding decision trees for data classification, analyzing protein folding, radiation treatment planning, automated test assembly, etc.
Fault-Diagnosis Systems : An Introduction from Fault Detection to Fault Tolerance
This book gives an introduction into the field of fault detection, fault diagnosis and fault-tolerant systems with methods which have proven their performance in practical applications. It guides the reader in a structured tutorial style: supervision methods, reliability, safety, system integrity and related terminology; fault detection with signal-based methods for periodic and stochastic signals; fault detection with process model-based methods like parameter estimation, state estimation, parity equations and principal component analysis; fault diagnosis with classification and inference methods; fault-tolerant systems with hardware and analytical redundancy; many practical simulation examples and experimental results for processes like electrical motors, pumps, actuators, sensors and automotive components; end-of-chapter exercises for self testing or for practice.
Fast Motions in Biomechanics and Robotics : Optimization and Feedback Control
In the past decades, much progress has been made in the field of walking robots. The current state of technology makes it possible to create humanoid robots that nearly walk like a human being, climb stairs, or avoid small - stacles. However, the dream of a robot running as fast and as elegantly as a human is still far from becoming reality. Control of such fast motions is still a big technological issue in robotics, and the maximum running speed of contemporary robots is still much smaller than that of human track runners. The conventional control approach that most of these robots are based on does not seem to be suitable to increase the running speeds up to a biological level.
Farming for Health : Green-Care Farming Across Europe and the United States of America
Farming for Health describes the utilization of agricultural farms, farm animals, plants and landscapes as a base for promoting human mental and physical health and social well-being. This book gives an overview of the development of ‘Farming for Health’ initiatives across Europe. This development is a logical result of the changing paradigms in the health-care sector and the demand for new social and financial impulses in agriculture and rural areas.
Fairness in criminal appeal : A critical and interdisciplinary analysis of the ECtHR case-law
Addresses the European Court of Human Rights fairness standards in criminal appeal, filling a gap in this less researched area of studies. Based on a fair trial immediacy requirement, the Court has found several violations of Article 6 of the European Convention on Human Rights at the appellate level by at least eighteen States of the Council of Europe in a vast array of cases, particularly in contexts of first instance acquittals overturning and of sentences increasing on appeal. On the one hand, the book critically engages this case-law with the law revisions it has recently inspired in European countries, as well as with the critiques and difficulties that it continues to raise.
Factorization of Matrix and Operator Functions : The State Space Method
The present book deals with factorization problems for matrix and operator functions. The problems originate from, or are motivated by, the theory of non-selfadjoint operators, the theory of matrix polynomials, mathematical systems and control theory, the theory of Riccati equations, inversion of convolution operators, theory of job scheduling in operations research. The book systematically employs a geometric principle of factorization which has its origins in the state space theory of linear input-output systems and in the theory of characteristic operator functions. This principle allows one to deal with different factorizations from one point of view. Covered are canonical factorization, minimal and non-minimal factorizations, pseudo-canonical factorization, and various types of degree one factorization.
Face Biometrics for Personal Identification : Multi-Sensory Multi-Modal Systems
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions in the biometrics field. It offers students and software engineers a thorough understanding of how some core low-level building blocks of a multi-biometric system are implemented. While this book covers a range of biometric traits including facial geometry, 3D ear form, fingerprints, vein structure, voice, and gait, its main emphasis is placed on multi-sensory and multi-modal face biometrics algorithms and systems. "Multi-sensory" refers to combining data from two or more biometric sensors, such as synchronized reflectance-based and temperature-based face images. "Multi-modal" biometrics means fusing two or more biometric modalities, like face images and voice timber. The first part addresses new and emerging face biometrics. Emphasis is placed on biometric systems where single sensor and single modality are employed in challenging imaging conditions. The second part on multi-sensory face biometrics deals with the personal identification task in challenging variable illuminations and outdoor operating scenarios by employing visible and thermal sensors. The third part of the book focuses on multi-modal face biometrics by integrating voice, ear, and gait modalities with facial data. The last part presents generic chapters on multi-biometrics fusion methodologies and performance prediction techniques.
Fabbriche, sistemi, organizzazioni : Storia dell'ingegneria industriale = Factories, systems, organizations : A history of industrial engineering
This book examines the origin of the technological and organizational challenges of industry in Europe and the United States and the stages of its theoretical formulation; the creation of the figure of the industrial engineer between the nineteenth and twentieth centuries; and the elaboration of the technological disciplines and of the language and of the fundamental concepts (system, automation, control, optimization, network) of modern industrial engineering. Divided into three chronologically organized parts, each chapter is accompanied by readings, bibliographic information for in-depth study and illustrative sheets of historical, biographical aspects (relating to some great engineers, scientists and philosophers), terminological and mathematical-technical aspects.
Extreme Nonlinear Optics : An Introduction
Following the birth of the laser in 1960, the field of "nonlinear optics" rapidly emerged. Today, laser intensities and pulse durations are readily available, for which the concepts and approximations of traditional nonlinear optics no longer apply. In this regime of "extreme nonlinear optics," a large variety of novel and unusual effects arise, for example frequency doubling in inversion symmetric materials or high-harmonic generation in gases, which can lead to attosecond electromagnetic pulses or pulse trains. Other examples of "extreme nonlinear optics" cover diverse areas such as solid-state physics, atomic physics, relativistic free electrons in a vacuum and even the vacuum itself. This book starts with an introduction to the field based primarily on extensions of two famous textbook examples, namely the Lorentz oscillator model and the Drude model. Here the level of sophistication should be accessible to any undergraduate physics student. Many graphical illustrations and examples are given. The following chapters gradually guide the student towards the current "state of the art" and provide a comprehensive overview of the field. Every chapter is accompanied by exercises to deepen the reader's understanding of important topics, with detailed solutions at the end of the book.
Extending the Horizons : Advances in Computing, Optimization, and Decision Technologies
Computer Science and Operations Research continue to have a synergistic relationship and this book represents the results of cross-fertilization between OR/MS and CS/AI. It is this interface of OR/CS that makes possible advances that could not have been achieved in isolation. Taken collectively, these articles are indicative of the state-of-the-art in the interface between OR/MS and CS/AI and of the high caliber of research being conducted by members of the INFORMS Computing Society.
Explicit Stability Conditions for Continuous Systems : A Functional Analytic Approach
Explicit Stability Conditions for Continuous Systems deals with non-autonomous linear and nonlinear continuous finite dimensional systems. Explicit conditions for the asymptotic, absolute, input-to-state and orbital stabilities are discussed. This monograph provides new tools for specialists in control system theory and stability theory of ordinary differential equations, with a special emphasis on the Aizerman problem. A systematic exposition of the approach to stability analysis based on estimates for matrix-valued functions is suggested and various classes of systems are investigated from a unified viewpoint.
Experimental Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated Soils." The primary objective is to discuss and understand unsaturated soil behaviour such that engineered activities are made better with times in terms of judgement and quality. We all realise by now that in addition to the knowledge on the classical concepts, it becomes an enormous challenging task to adapt convincing new concepts and present them in such a way that it could be used in engineering practices. The experimental studies reported primarily focus on the role of microstructure and fabric for the complex coupled hydro-mechanical behaviour of cohesive frictional materials. Several papers consider the relevance of temperature affecting the constitutive behaviour of clays. Common features of state of the art theoretical and numerical approaches, including theory of porous media and mixture theory, intend to describe the complex multi-field problems of fully coupled thermo-hydraulic-mechanical-chemical initial - boundary value problems.
Existence: Semantics and Syntax
This collection is an important contribution to the semantic and syntactic analysis of the expression of existence. The volume focuses on the three main linguistic constructions expressing existence: copular clauses, existential sentences, and (in)definiteness. The papers analyze the interaction between the basic notion of existence and pervasive phenomena of natural language, such as quantification and presupposition. The contributions represent state of the art research on theoretical and comparative issues related to the expression of existence, and make extensive reference to the semantic and syntactic facts of English and of various other languages. The richness of new data and the juxtaposition of different theoretical stances bring a number of new questions into focus.
Existence and Regularity Properties of the Integrated Density of States of Random Schrödinger Operators
The theory of random Schrödinger operators is devoted to the mathematical analysis of quantum mechanical Hamiltonians modeling disordered solids. Apart from its importance in physics, it is a multifaceted subject in its own right, drawing on ideas and methods from various mathematical disciplines like functional analysis, selfadjoint operators, PDE, stochastic processes and multiscale methods. The present text describes in detail a quantity encoding spectral features of random operators: the integrated density of states or spectral distribution function. Various approaches to the construction of the integrated density of states and the proof of its regularity properties are presented.
Excavations and Foundations in Soft Soils
The book is about soft soil engineering and is intended to serve the practicing as well as the research engineers. The planning, design and construction of exca- tions and foundations in soft to very soft soils is always a difficult and challanging assignment to engineers. The authors have tried to address some of these problems and challenges in this book. Beside the state of the art of soft soils, authors own research results and expe- ences from practical projects are presented in the book. Special emphasis is also given among others on the presentation of several case studies coresponding to each topic treated in the book as well as a summary of the experiences in the - termination of soil parameters for finite element analysis of geotechnical pr- lems. The book is illustrated by a wealth of photographs and diagrams.
Examples & explanations : criminal law
Combines textual material with well-written and comprehensive examples, explanations, and questions to test students' comprehension of the materials and to provide practice in applying information to fact patterns. The questions, which often raise a variety of issues in one fact situation, are similar to those on a law school or bar examination. New to the eighth edition: discussion of self-defense and police use of force issues; impact of #MeToo movement on rape law; interesting hypothetical situations based on real cases in the last few years
Evolutionary Multiobjective Optimization : Theoretical Advances and Applications
Evolutionary Multiobjective Optimization is a rare collection of the latest state-of-the-art theoretical research, design challenges and applications in the field of multiobjective optimization paradigms using evolutionary algorithms. It includes two introductory chapters giving all the fundamental definitions, several complex test functions and a practical problem involving the multiobjective optimization of space structures under static and seismic loading conditions used to illustrate the various multiobjective optimization concepts.
Evolutionary Microeconomics
Classical microeconomics is intended to explain how a price system is able to coordinate the economic agents. But even if it can be extended to incomplete information and externalities, it remains grounded on very heroic assumptions. Agents are endowed with a very strong rationality, equilibrium is stated without a concrete process to achieve it, market is the unique institution considered. Evolutionary microeconomics is aimed at bypassing these limitations by considering a dynamic approach, however not biologically oriented.
Evolutionary Computation in Dynamic and Uncertain Environments
This book provides a compilation on the state-of-the-art and recent advances of evolutionary algorithms in dynamic and uncertain environments within a unified framework. The motivation for this book arises from the fact that some degree of uncertainty in characterizing any realistic engineering systems is inevitable. Representative methods for addressing major sources of uncertainties in evolutionary computation, including handle of noisy fitness functions, use of approximate fitness functions, search for robust solutions, and tracking moving optimums, are presented. "Evolutionary Computation in Dynamic and Uncertain Environments" is a valuable reference for scientists, researchers, professionals and students in the field of engineering and science, particularly in the areas of computational intelligence, natural computing and evolutionary computation.
Evolutionary Computation in Data Mining
This carefully edited book reflects and advances the state of the art in the area of Data Mining and Knowledge Discovery with Evolutionary Algorithms. It emphasizes the utility of different evolutionary computing tools to various facets of knowledge discovery from databases, ranging from theoretical analysis to real-life applications. "Evolutionary Computation in Data Mining" provides a balanced mixture of theory, algorithms and applications in a cohesive manner, and demonstrates how the different tools of evolutionary computation can be used for solving real-life problems in data mining and bioinformatics.
