الصفحة 506
الصفحة 506
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.
Adaptive agents and multi-agent systems III : Adaptation and multi-Agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS).
Adaptive agents and multi-agent systems II : Adaptation and multi-agent learning
Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science. This book presents 17 revised and carefully reviewed papers taken from two workshops on the topic as well as 2 invited papers by leading researchers in the area. The papers deal with various aspects of machine learning, adaptation, and evolution in the context of agent systems and autonomous agents.
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.
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).
Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1
The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically. In naming this version, we have chosen the vernacular term Ada 2005 used by the Ada community to refer to the interesting extensions made to the language Ada by the Amendment 1.
Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.
Ad Hoc Networks : Technologies and Protocols
Ad Hoc Networks: Technologies and Protocols is a concise in-depth treatment of various constituent components of ad hoc network protocols. It reviews issues related to medium access control, scalable routing, group communications, use of directional/smart antennas, network security, and power management among other topics. The authors examine various technologies that may aid ad hoc networking including the presence of an ability to tune transmission power levels or the deployment of sophisticated smart antennae. Ad Hoc Networks: Protocols and Technologies will be immensely useful as a reference work to engineers and researchers as well as to advanced level students in the areas of wireless networks, and computer networks.
Acute Promyelocytic Leukemia : Molecular Genetics, Mouse Models and Targeted Therapy
Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that began with the discovery of a recurrent chromosomal translocation, followed by the identification of the genes and proteins involved, finding their molecular functions in transcriptional control, establishing mouse models and culminating in the development of targeted therapy.
Acute Myelogenous Leukemia
The focus is on selected critical molecular determinants of AML pathogenesis and pathophysiology and the exploitation of these factors by diverse therapeutic agents and modalities. Bringing together new concepts and findings in the basic and clinical science of AML, the book emphasizes the molecular basis for new therapies that stand to have the greatest potential impact on the clinical face of these diseases. The text provides insights into selected novel strategies currently and prospectively being developed, including interruption of specific signal transduction pathways, modulation of gene expression, attempts to reinstate differentiation, and immunomodulation.
Acute Ischemic Stroke : Imaging and Intervention
Acute Ischemic Stroke: Imaging and Intervention is a comprehensive presentation of the state-of-the-art in the diagnosis and treatment of acute ischemic stroke. This book offers a practical review of recent advances in stroke neuroimaging, and the latest therapeutic options for this disease.
Acute Heart Failure
Acute Heart Failure informs cardiology, intensive care, and emergency medicine physicians on the diagnosis and management of severe acute heart failure from epidemiology through to diagnosis and treatment.
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.
Acute coronary syndrome : Multidisciplinary and pathway-based approach
Acute coronary syndrome (ACS) affects millions of patients annually and requires immediate diagnosis and therapy. This practical algorithm-based handbook addresses the diagnosis and treatment of these patients and is designed for the medical personnel involved in the triage and management of ACS patients.
Actualités en rééducation des maladies neuro-musculaires de ladulte = News in rehabilitation of neuro-muscular diseases in adults
Neuro-muscular diseases include congenital or acquired pathologies of the muscle and the peripheral nerve. This book covers all the care of the adult patient with such a condition.
Actors and the Art of Performance : Under Exposure
Actors and the Art of Performance: Under Exposure combines the author's two main biographical paths: her professional commitment to the fields of both theatre and philosophy. The art of acting on stage is analysed here not only from the theoretical perspective of a spectator, but also from the perspective of the actor. The author draws on her experience as both a theatre actor and a university professor whose teachings in the art of acting rely heavily on her own experience and also on her philosophical knowledge. The book is unique not only in terms of its content but also in terms of its style. Written in a multiplicity of voices, the text oscillates between philosophical reasoning and narrative forms of writing, including micro-narratives, fables, parables, and inter alia by Carroll, Hoffmann and Kleist. Hence the book claims that a trans-disciplinary dialogue between the art of acting and the art of philosophical thinking calls for an aesthetical research that questions and begins to seek alternatives to traditionally established and ingrained formats of philosophy.
Activity and Sign : Grounding Mathematics Education
Provides new sources of knowledge based on Michael Otte’s fundamental insight that understanding the problems of mathematics education – how to teach, how to learn, how to communicate, how to do, and how to represent mathematics – depends on means, mainly philosophical and semiotic, that have to be created first of all, and to be reflected from the perspectives of a multitude of diverse disciplines.
