Page 8
Page 8
Vector Optimization : Set-valued and Variational Analysis
Vector optimization model has found many important applications in decision making problems such as those in economics theory, management science, and engineering design (since the introduction of the Pareto optimal solu tion in 1896). Typical examples of vector optimization model include maxi mization/minimization of the objective pairs (time, cost), (benefit, cost), and (mean, variance) etc. Many practical equilibrium problems can be formulated as variational in equality problems, rather than optimization problems, unless further assump tions are imposed. The vector variational inequality was introduced by Gi- nessi (1980). Extensive research on its relations with vector optimization, the existence of a solution and duality theory has been pursued. The fundamental idea of the Ekeland's variational principle is to assign an optimization problem a slightly perturbed one having a unique solution which is at the same time an approximate solution of the original problem. This principle has been an important tool for nonlinear analysis and optimization theory. Along with the development of vector optimization and set-valued optimization, the vector variational principle introduced by Nemeth (1980) has been an interesting topic in the last decade
Vector Control of Three-Phase AC Machines : System Development in the Practice
This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage rotor (IM), permanent excited synchronous motors (PMSM) and doubly-fed induction machines (DFIM), from the viewpoint of the practical design and development. Main focus is on the application of the IM and the PMSM in electrical drive systems, where the method of the field-orientated control has been successfully established in the practice, and on the use of the grid voltage orientated controlled DFIM in the wind power plants.
Vascular Surgery
Proper management of vascular diseases is dependent on public awareness and appropriate training of specialists. Tis stands true for every medical d- cipline. For vascular surgery it has an additional aspect because, besides the required above-average standard of technical dexterity, the vascular surgeon should also be well versed in a variety of subjects such as molecular biology, in the use of ultrasound and – with the introduction of endovascular techniques – a skilful operator of guidewires and laparoscopic instruments. All the ac- mulated know-how and skills required for proper management of the vascular patient demand a rapid change in the training of vascular surgeons and an - depth knowledge of the various manifestations of vascular diseases.
Vascular Interventional Radiology : Angioplasty, Stenting, Thrombolysis and Thrombectomy
Focusses on the current evidence surrounding the use of endovascular therapy. It updates and complements the earlier Medical Radiology volume on the Radiology of Peripheral Vascular Diseases. Some background information is provided on vascular biology and the facilities required for safe endovascular practice, along with guidance on consent issues. Further chapters deal with endovascular treatment in particular arterial territories, and include the evidence in favour of or against the use of specific treatments. The most up-to-date evidence surrounding endovascular aneurysm repair is discussed. There are also chapters on venous interventions, including the endovascular management of varicose veins. This book will be of value both to interventional radiologists and to vascular surgeons with an interest in endovascular techniques.
Vascular Complications in Human Disease : Mechanisms and Consequences
Vascular disease provides a clear example of the inherent and practical relationship between basic science and clinical medicine. Basic science underpins the rationale of treatment and potential future therapeutic approaches; problems in clinical management often direct new lines of laboratory research. Progress in treatment cannot continue without this close collaboration and this book has been designed to review this fascinating collaborative field of medical science. As part of this evolving collaboration, Vascular Complications of Human Disease: Mechanisms and Consequences reviews the study, pathogenesis, management and treatment of some of the most common vascular diseases.
Variations on Constants : Flow Analysis of Sequential and Parallel Programs
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study.
Variational, geometric, and level set methods in computer vision ; 3rd International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings
Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, segmentation, motion analysis and stereo reconstruction.
Variational Problems in Materials Science
This volume contains the proceedings of the international workshop Variational Problems in Materials Science, which was jointly organized by the International School for Advanced Studies (SISSA) of Trieste and by the Dipartimento di Matematica
Variational Methods in Shape Optimization Problems
The study of shape optimization problems encompasses a wide spectrum of academic research with numerous applications to the real world. In this work these problems are treated from both the classical and modern perspectives and target a broad audience of graduate students in pure and applied mathematics, as well as engineers requiring a solid mathematical basis for the solution of practical problems.
Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems
Gives a concise introduction to variational methods and presents an overview of areas of current research in the calculus of variations. The fourth edition gives a survey on new developments in the field. In particular it includes the proof for the convergence of the Yamabe flow and a detailed treatment of the phenomenon of blow-up. Also the recently discovered results for backward bubbling in the heat flow for harmonic maps or surfaces are discussed. Aside from these more significant additions, a number of smaller changes throughout the text have been made and the references have been updated.
Variational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, systems, and economics. The power of the variational method consists in the fact that many of its sta- ments are physical or natural laws themselves. The essence of the variational approach for the solution of problems rel- ing to the determination of the real state of systems or processes consists in the comparison of close states. The selection criteria for the actual statesmust be such that all the equations and conditions of the mathematical model are satis?ed. Historically, the first variational theory was the Lagrange theory created to investigate the equilibrium of finite-dimensional mechanical systems under holonomic bilateral constraints (bonds). The selection criterion proposed by Lagrange is the admissible displacement principle.
Variational and Potential Methods for a Class of Linear Hyperbolic Evolutionary Processes
The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic bending of plates with transverse shear deformation. The emphasis is on the rigorous mathematical investigation of the model, which covers a complete study of the well-posedness of a number of initial-boundary value problems, their reduction to time-dependent boundary integral equations by means of suitable potential representations, and the solution of the latter in Sobolev spaces.
Variational Analysis and Generalized Differentiation II : Applications
This monographs contains a comprehensive and and state-of-the art study of the basic concepts and principles of variational analysis and generalized differentiation in both finite-dimensional and infinite dimensional spaces and presents numerous applications to problems in the optimization, equilibria, stability and sensitivity, control theory, economics, mechanics, etc.
Variation et optimisation de formes : Une analyse géométrique = Variation and optimization of shapes : A geometric analysis
An introduction to modern approaches to the mathematical optimization of shapes. It is based solely on first-year Master's level mathematics knowledge, but already allows readers to address open questions in this rapidly evolving field. It develops the methodology as well as the mathematical analysis and geometric tools necessary for studying domain variations. It includes a systematic study of geometric questions associated with the Laplace operator, classical capacity, and differentiation with respect to a shape, as well as a FAQ on common topologies of domains and on the geometric properties of optimal shapes, including what happens when they do not exist, all accompanied by a substantial bibliography.
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple-valued pulse sequences. Addressing topics ranging from logic and measuring foundation to typical applications and including various illustrated maps.
Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological properties of complete Riemannian manifolds. It analyzes in detail an extension of the Bochner technique to the non compact setting, yielding conditions which ensure that solutions of geometrically significant differential equations either are trivial (vanishing results) or give rise to finite dimensional vector spaces (finiteness results). The book develops a range of methods from spectral theory and qualitative properties of solutions of PDEs to comparison theorems in Riemannian geometry and potential theory.
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due to the high cost of software errors - particularly with respect to security vulnerabilities. However, research into new analysis techniques is often hampered by the technical difficulties of analysing accesses through pointers, pointer arithmetic, coercion between types, integer wrap-around and other low-level behaviour. Axel Simon provides a concise, yet formal description of a value-range analysis that soundly approximates the semantics of C programs using systems of linear inequalities (polyhedra). The analysis is formally specified down to the bit-level while providing a precise approximation of all low-level aspects of C using polyhedral operations and, as such, it provides a basis for implementing new analyses that are aimed at verifying higher-level program properties precisely. One example of such an analysis is the tracking of the NUL position in C string buffers, which is shown as an extension to the basic analysis and which thereby demonstrates the modularity of the approach.
Value-Based Software Engineering
VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from cognitive science, finance, management science, behavioral sciences, and decision sciences, giving rise to a truly multi-disciplinary framework. This book deviates from the more anecdotal style of many management-oriented software engineering books and so appeals particularly to all readers who are interested in solid foundations for high-level aspects of software engineering decision making, i.e., to product or project managers driven by economics and to software engineering researchers and students.
Value sets for EQ-5D-5L : A compendium, comparative review & user guide
Provides an essential guide to value sets for anyone working with EQ-5D-5L data. The EQ-5D-5L is one of the most widely used health related quality of life questionnaires around the world, with applications in clinical trials, population health surveys and routine outcomes measurement. In addition to providing a concise, generic way of describing health, the EQ-5D-5L facilitates the valuation of health and health improvements through its value sets, which play a pivotal role in Health Technology Assessment across the world.
Value Creation in Leveraged Buyouts : Analysis of Factors Driving Private Equity Investment Performance
Over the last years, buyout activity has risen dramatically - especially in Europe - sparking intense public discussion about financial investors' role and the value they can add to companies and the overall economy.Using quantitative analysis, he shows that various exogenous factors with respect to timing, industry, public market as well as deal specific factors can statistically be related to a buyout deal's performance. It also provides evidence of a "GP effect" in leveraged buyouts, i.e. that certain characteristics of a Private Equity firm and its investment professionals as well as a firm's buyout strategy approach and certain buyout target characteristics are important success factors.
