Page 219
Page 219
Adaptive Atmospheric Modeling : Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications
This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, it functions as a starting point for readers interested in adaptive modeling, in atmospheric sciences and beyond. Coverage includes paradigms of adaptive techniques, such as error estimation and adaptation criteria. Mesh generation methods are presented for triangular/tetrahedral and quadrilateral/hexahedral meshes, with a special section on initial meshes for the sphere.
Adaptive and Natural Computing Algorithms ; 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within the scientifc community. the ICANNGA series has established itself as a reference for scientists and practitioners in this area. The series has also been of value to young researchers wishing both to extend their knowledge and experience and to meet experienced professionals in their ?elds. In a rapidly advancing world, where technology and engineering change d- matically, new challenges in computer science compel us to broaden the c- ference scope in order to take into account new developments.
Adaptive and Natural Computing Algorithms ; 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland, in April 2007. The 178 revised full papers presented were carefully reviewed and selected from a total of 474 submissions. The 94 papers of the first volume are organized in topical sections on evolutionary computation, genetic algorithms, particle swarm optimization, learning, optimization and games, fuzzy and rough systems, just as classification and clustering. The second volume contains 84 contributions related to neural networks, support vector machines, biomedical signal and image processing, biometrics, computer vision, as well as to control and robotics.
Adaptive and Multilevel Metaheuristics
Presents recent advances in the area of adaptativeness in metaheuristic optimization, including up-to-date reviews of hyperheuristics and self-adaptation in evolutionary algorithms, as well as cutting edge works on adaptive, self-adaptive and multilevel metaheuristics, with application to both combinatorial and continuous optimization.
Adaptive and Integrated Water Management : Coping with Complexity and Uncertainty
Includes selected contributions on conceptual and methodological innovations and empirical insights from case studies on important themes such as multi-level governance, change management, vulnerability assessment, environmental flows, uncertainty analysis and the impacts of climate change. The book addresses a wide interdisciplinary audience of scientists and professionals from academia, industry, and involved in policy making.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Adapting dermal fillers in clinical practice
There have been many different brands of dermal fillers approved for use for soft tissue augmentation in the US market alone, comprising four different types of temporary fillers and one permanent type, with several other brands and types also available elsewhere in the world. Against such a potentially bewildering variety and range of choices, this new text offers a scientific and an anatomic rationale for why a particular filler should be selected as optimal for each individual location and indication and how it should best be used in treatments. International experts share their clinical knowledge and expertise to guide all levels of aesthetic practitioners toward the best results for each individual patient.
Adaptation to Life at High Salt Concentrations in Archaea, Bacteria, and Eukarya
This book complements “Halophilic Microorganisms”, edited by A. Ventosa and published by Springer-Verlag (2004), “Halophilic Microorganism and their Environments” by A. Oren (2002), published by Kluwer Academic Publishers as volume 5 of “Cellular Origins, Life in Extreme Habitats and Astrobiology” (COLE), and “Microbiology and Biogeochemistry of Hypersaline Environments” edited by A. Oren, and published by CRC Press, Boca Raton (1999).
Acute Endocrinology : From Cause to Consequence
The integration of endocrinology in critical care medicine has led to new experimental and clinical data on the complex endocrine and metabolic derangements accompanying non-endocrine severe illnesses. The joining of these two disciplines has generated important novel insights with significant clinical implications. Acute Endocrinology: From Cause to Consequence compiles these new findings into an important and highly relevant new resource.
Active Sensor Planning for Multiview Vision Tasks
Describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing a perception task. Several methods are proposed to solve the problems in both model-based and nonmodel-based vision tasks. For model-based applications, the method involves determination of the optimal sensor placements and a shortest path through these viewpoints for automatic generation of a perception plan.
Active Rheology Control of Cementitious Materials
The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations by incorporating specially designed responsive components. This results in real-time changes to the rheological behaviour of the cementitious material, allowing the user to intervene actively after the cementitious material has left the mixing phase. This newly gained agility contributes to increased processing speed and placement reliability in the case of traditional casting methods and can also facilitate advanced 3D concrete printing. The different routes followed to achieve this Active Rheology Control are explained within.
Active mining ; 2nd International workshop, AM 2003, Maebashi, Japan, October 28, 2003, revised selected papers
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) which was organized in conju- tion with the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS 2003), The workshop was organized by the Maebashi Institute of Technology for shed light on the future development of active mining. "This volume contains : Topics Database Management / Artificial Intelligence / Algorithm Analysis and Problem Complexity / Health Informatics / Bioinformatics
Active Lighting and Its Application for Computer Vision : 40 Years of History of Active Lighting Techniques
Computer vision entails both passive and active illumination techniques. Whereas passive techniques observe the scene statically and analyse it as is, by contrast active techniques give the scene some actions and try to facilitate the analysis. In particular, active illumination techniques project specific light, for which the characteristics are known beforehand, to a target scene to enable stable and accurate analysis of the scene.
Active labor market policies in Europe : performance and perspectives
Measures of Active Labor Market Policy - such as training, wage subsidies, public employment measures, and job search assistance - are widely used in European countries to combat unemployment.
Action Research in Software Engineering: Theory and Applications
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. It elaborates on how to find the right research activities and how to distinguish them from non-significant ones. Further, it details how to glean lessons from the research results, no matter whether they are positive or negative. Lastly, it shows how companies can evolve and build talents while expanding their product portfolio.
Action and Responsibility
What makes an event count as an action? Typical answers appeal to the way in which the event was produced: e.g., perhaps an arm movement is an action when caused by mental states (in particular ways), but not when caused in other ways. Andrew Sneddon argues that this type of answer, which he calls "productionism", is methodologically and substantially mistaken. In particular, productionist answers to this question tend to be either individualistic or foundationalist, or both, without explicit defence.
Actin-Binding Proteins and Disease
This volume, written by experts in the field, is the first to deal with the relationship between human disease and the actin cytoskeleton. It provides overviews of actin and selected actin-binding proteins, and then focuses on diseases that involve these proteins. Specific chapters deal with actin, cofilin, profilin, gelsolin and thymosin ¾4. Other chapters discuss the roles of multiple actin-binding proteins in cancer and metastasis, leukocyte disorders, and heart failure, and there is a chapter that describes how intracellular pathogens use the host actin cytoskeleton. This seminal volume is intended for researchers, clinicians, physicians, and graduate students in the fields of biochemistry, cell biology, microbiology, immunology, and genetics.
Across the Sahara : Tracks, trade and cross-cultural exchange in Libya
Provides a multi-perspective approach to the caravan trade in the Sahara during the 19th century. Based on travelogues from European travelers, recently found Arab sources, historical maps and results from several expeditions, the book gives an overview of the historical periods of the caravan trade as well as detailed information about the infrastructure which was necessary to establish those trade networks.
Acoustics and Sound Insulation : Principles, Planning, Examples
Provides expert planners and architects but also interested developers with practical knowledge on the subject of acoustics in high-rise architecture, beginning with standards on methods of planning and prognosis and moving on to the areas of acoustics of rooms and architecture and noise protection in urban planning. Presents typologically specific acoustic and soundproofing measures. Practical knowledge about acoustics in architecture, and noise protection in urban planning, as well as methods for planning and prognosis. Examples of built projects
Acoustical Imaging ; Vol.28
Since 1968, the International Acoustical Imaging Symposium has provided a unique forum for advanced research, promoting the sharing of technology, developments, methods and theory among all areas of acoustics
