Page 32
Page 32
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists
Algebraic Analysis of Differential Equations : from Microlocal Analysis to Exponential Asymptotics Festschrift in Honor of Takahiro Kawai Editors
This volume contains 23 articles on algebraic analysis of differential equations and related topics, most of which were presented as papers at the international conference "Algebraic Analysis of Differential Equations – from Microlocal Analysis to Exponential Asymptotics" at Kyoto University in 2005. Microlocal analysis and exponential asymptotics are intimately connected and provide powerful tools that have been applied to linear and non-linear differential equations as well as many related fields such as real and complex analysis, integral transforms, spectral theory, inverse problems, integrable systems, and mathematical physics. The articles contained here present many new results and ideas, providing interested researchers and students with valuable suggestions and instructive guidance for their work.
Algebra lineare = Linear Algebra : per tutti
Provides the first mathematical tools related to a chapter of science called Linear Algebra. The notes were written by a mathematician who tried to get out of his character to meet a wide audience. The challenge is to make accessible to all the first rudiments of a fundamental knowledge for science and technology.
Algebra : Fields with structure, algebras and advanced topics
The present textbook is a lively, problem-oriented and carefully written introduction to classical modern algebra. The author leads the reader through interesting subject matter, while assuming only the background provided by a first course in linear algebra. The first volume focuses on field extensions. Galois theory and its applications are treated more thoroughly than in most texts. It also covers basic applications to number theory, ring extensions and algebraic geometry. The main focus of the second volume is on additional structure of fields and related topics. Much material not usually covered in textbooks appears here, including real fields and quadratic forms, the Tsen rank of a field, the calculus of Witt vectors, the Schur group of a field, and local class field theory.
Air-Ice-Ocean Interaction : Turbulent Ocean Boundary Layer Exchange Processes
At a time when the polar regions are undergoing rapid and unprecedented change, understanding exchanges of momentum, heat and salt at the ice-ocean interface is critical for realistically predicting the future state of sea ice. By offering a measurement platform largely unaffected by surface waves, drifting sea ice provides a unique laboratory for studying aspects of geophysical boundary layer flows that are extremely difficult to measure elsewhere. This book draws on both extensive observations and theoretical principles to develop a concise description of the impact of stress, rotation, and buoyancy on the turbulence scales that control exchanges between the atmosphere and underlying ocean when sea ice is present. Several interesting and unique observational data sets are used to illustrate different aspects of ice-ocean interaction ranging from the impact of salt on melting in the Greenland Sea marginal ice zone, to how nonlinearities in the equation of state for seawater affect mixing in the Weddell Sea.
Aging, shaking, and cracking of infrastructures : From mechanics to concrete dams and nuclear structures
Focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods. Whereas the focus is on concrete dams and nuclear containment structures, the presented methodologies can also be applied to other large-scale ones. This book is composed of seven sections: Fundamentals: theoretical coverage of solid mechnics, plasticity, fracture mechanics, creep, / seismology, dynamic analysis, probability and statistics / Damage: that can affect concrete structures, such as cracking of concrete, AAR, chloride ingress, and rebar corrosion, / Finite Element: formulation for both linear and nonlinear analysis including stress, heat and fracture mechanics, / Engineering Models: for soil/fluid-structure interaction, uncertainty quantification, probablilistic and random finite element analysis, machine learning, performance based earthquake engineering, ground motion intensity measures, seismic hazard analysis, capacity/fragility functions and damage indeces, / Applications to dams through potential failure mode analyses, risk-informed decision making, deterministic and probabilistic examples, / Applications to nuclear structures through modeling issues, aging management programs, critical review of some analyses, / Other applications and case studies: massive RC structures and bridges, detailed assessment of a nuclear containment structure evaluation for license renewal.
Agent-Based Models of Energy Investment Decisions
This book demonstrates how bounded rational decision models can be standardized and parameterized by socio-economic data. Focusing on private energy technology investment decisions, the author shows how different representative agents can be constructed using search rules, analysis tools and decision strategies. Diffusion curves for energy technologies such as solar collectors, boilers and efficiency upgrades for buildings are calculated. Further, the model is extended to study the impact of firms’ competition on technology diffusion. The modeling approach presented in this book may serve as a template for applications in other domain.
Advances in Variable Structure and Sliding Mode Control
Sliding Mode Control is recognized as an efficient tool to design controllers which are robust with respect to uncertainty. The resulting controllers have low sensitivity to plant parameters and perturbations and allow the possibility of decoupling the original plant system into two components of lower dimension. In addition many controllers ensure finite time convergence to the switching surface and can be straightforwardly implemented. However, in addition to this traditional area of exploitation, sliding mode concepts are being increasingly deployed for the design of observers for estimation and identification.
Advances in Unmanned Aerial Vehicles : State of the Art and the Road to Autonomy
There has been tremendous emphasis in unmanned aerial vehicles, both of fixed (airplanes) and rotary wing (vertical take off and landing, helicopters) types over the past ten years. Applications span both civilian and military domains, the latter being the most important at this stage. This edited book provides a solid and diversified reference source related to basic, applied research and development on small and miniature unmanned aerial vehicles, both fixed and rotary wing. As such, the book offers background information on the evolution of such vehicles over the years, followed by modeling and control fundamentals that are of paramount importance due to unmanned aerial vehicle model complexity, nonlinearity, coupling, inhirent instability and parameter values uncertainty. Aspects of navigation, including visual-based navigation and target tracking are discussed, followed by applications to attitude estimation on micro unmanned aerial vehicles, autonomous solar unmanned aerial vehicle, biomimetic sensing for autonomous flights in near-earth environments, localization of air-ground wireless sensor networks, decentralized formation tracking, design of an unmanned aerial vehicle for volcanic gas sampling and design of an on-board processing controller for miniature helicopters.
Advances in statistical methods for the health sciences : Applications to cancer and AIDS studies, genome sequence analysis, and survival analysis
This volume, an outgrowth of an "International Conference on Statistical Methods in Health Sciences," covers a wide range of topics pertaining to new statistical methods and novel applications in the health sciences.
Advances in Sensing with Security Applications
The chapters in this volume were presented at the July 2005NATO Advanced Study Institute on Advances in Sensing with Security App- cations. The ASI was divided into three broadly de?ned but interrelated areas: the - creasing need for fast and accurate sensing, the scienti?c underpinnings of the ongoing revolution in sensing, and speci?c sensing algorithms and techniques. The ASI brought together world leaders from academia, government, andindustry,withextensivemultidisciplinarybackgroundsevidencedby theirresearchandparticipationinnumerousworkshopsandconferences.
Advances in Nonlinear Speech Processing ; International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papers
This book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear and nonconventional techniques, speech synthesis, speaker recognition, speech recognition, speech analysis, and exploitation of non-linear techniques.
Advances in Metaheuristics for Hard Optimization
The book gathers contributions related to the following topics: theoretical developments in metaheuristics; adaptation of discrete metaheuristics to continuous optimization; performance comparisons of metaheuristics; cooperative methods combining different approaches; parallel and distributed metaheuristics for multiobjective optimization; software implementations; and real-world applications.
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 Industrial Engineering and Operations Research
Advances in Industrial Engineering and Operations Research compiles revised and extended articles written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists (IMECS) 2007. This volume addresses manufacturing processes and methods, optimization, experimental engineering design, and reliability and quality control techniques.
Advances in Engineering Structures, Mechanics & Construction ; Proceedings of an International Conference on Advances in Engineering Structures, Mechanics & Construction, held in Waterloo, Ontario, Canada, May 14-17, 2006
This book presents the proceedings of an International Conference on Advances in Engineering Structures, Mechanics & Construction, held in Waterloo, Ontario, Canada, May 14-17, 2006. The contents include contains the texts of all three plenary presentations and all seventy-three technical papers by more than 153 authors, presenting the latest advances in engineering structures, mechanics and construction research and practice.
Advances in Dynamic Games: Applications to Economics, Finance, Optimization, and Stochastic Control
This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide to the vitality and growth of the field and its applications. The selected chapters, written by experts in their respective disciplines, are an outgrowth of presentations originally given at the 9th International Symposium of Dynamic Games and Applications. Featured throughout are useful tools for researchers and practitioners who use game theory for modeling in many disciplines.
Advances in Dynamic Game Theory : Numerical Methods, Algorithms, and Applications to Ecology and Economics
This collection of selected contributions gives an account of recent developments in dynamic game theory and its applications, covering both theoretical advances and new applications of dynamic games in such areas as pursuit-evasion games, ecology, and economics.
Advances in Discrete Tomography and its Applications
Advances in Discrete Tomography and Its Applications is a unified presentation of new methods, algorithms, and select applications that are the foundations of multidimensional image reconstruction by discrete tomographic methods. The self-contained chapters, written by leading mathematicians, engineers, and computer scientists, present cutting-edge research and results in the field.Three main areas are covered: foundations, algorithms, and practical applications. Following an introduction that reports the recent literature of the field, the book explores various mathematical and computational problems of discrete tomography including new applications.
Advances in Control Theory and Applications
This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at University of Bologna on May 22-26, 2006. It consists of selected contributions by some of the invited speakers and contains recent results in control. The volume is intended for engineers, researchers, and students in control engineering.
