الصفحة 117
الصفحة 117
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.
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).
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 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.
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.
Acid Rain - Deposition to Recovery
Acid rain is still with us. Although it is a problem that people have worked diligently to solve, there are still many problem areas throughout the world. In reality the focus of acid rain research has shifted, and this book adds new vision to the topic. It contains papers, selected from Acid Rain 2005, the 7th International Conference on Acid Deposition, that take a broad perspective of the issues, emphasizing a number of themes: - the emission, concentration and deposition of pollutants / - nitrogen and trace elements in ecosystems and their effects on forests, water and soil / - studies of material damage and recovery - critical loads / The book is aimed at scientists and researchers who are working in the area of acid rain and its effects, and on nutrient cycling. This latest research will be of value to those concerned with the mitigation of acid rain effects.
Achieving the Paris climate agreement goals : Global and regional 100% renewable energy scenarios with non-energy GHG Pathways for +1.5°C and +2°C
Presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based on state-of-the-art scenario modelling, it provides the vital missing link between renewable energy targets and the measures needed to achieve them. Bringing together the latest research in climate science, renewable energy technology, employment and resource impacts, the book breaks new ground by covering all the elements essential to achieving the ambitious climate mitigation targets set out in the Paris Climate Agreement. For example, sectoral implementation pathways, with special emphasis on differences between developed and developing countries and regional conditions, provide tools to implement the scenarios globally and domestically. Non-energy greenhouse gas mitigation scenarios define a sustainable pathway for land-use change and the agricultural sector. Furthermore, results of the impact of the scenarios on employment and mineral and resource requirements provide vital insight on economic and resource management implications.
Accreditation and Evaluation in the European Higher Education Area
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors are leaders in the field and they have cooperated in this effort by writing richly different, often deep and insightful analyses of the situation in their country. The two editors have added a synopsis detailing the main trends, and sketching commonalities as well as contrasts in the developments across Europe. The book shows how accreditation is becoming a main mechanism in the steering of higher education all over Europe. The book is unique in its analysis of forces driving towards the spread of different models of accreditation in the emerging European Higher Education area. Readers will obtain an up-to-date picture of the state of affairs of accreditation in the framework of evaluation activities in Europe.
Accounting for business : Practicalities and strategies
Identifies the types of organizations that generate financial information and explains how you can use it for your benefit. The early chapters focus on the information that is publicly available for large companies and demonstrate how to select and analyze the figures for decision making. The later chapters concentrate on the detailed management accounting information that is available internally for managers so that they can make decisions, investigate problems, and set performance targets. The final chapter, explores emerging and very pertinent issues such as "Can the organization obtain the basic resources to stay in business?" and "Are its activities harmful to the environment??
Accounting and auditing small and medium-sized practices : Transformative capabilities in a rapidly changing society
Addresses recent trends, developments, and future of accounting and auditing of small and medium-sized practices (AASMPs) in the public and private sectors.the book has three main objectives: firstly, to provide an analysis of how different societal trends, including digitalization, impact AASMPs and what role education and training play in proactive adaptation to those trends; secondly, to outline major scenarios for global AASMP development by 2035; and thirdly, to offer a conceptual framework for better understanding of AASMPs' dynamic and transformative capabilities that are necessary to create sustained competitive advantage in a rapidly changing society. beyond presenting a conceptual framework, this book also offers a discussion of future scenarios for AASMPs' development and their role in the global economic development.
Accessing Multilingual Information Repositories ; 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers
The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September 2005. CLEF is by now an established international evaluation initiative and 74 groups from all over the world submitted results for one or more of the different evaluation tracks in 2005, compared with 54 groups in 2004. There were eight distinct evaluation tracks, designed to test the performance of a wide range of systems for multilingual information access. Full details regarding the design of the tracks, the methodologies used for evaluation, and the results obtained by the participants can be found in the different sections of these proceedings.
Accessible access 2003
In that book we tried very hard not to simply list everything that we knew about the product. Instead we tried to act as intelligent filters, presenting only the essential information that you need to get started. Every screen shot has been retaken and every section has been re-checked to ensure, not only that it still works, but also that it is actually still relevant. We have re-written parts where the product has changed and also added some. For example, there is a new section on Object Dependencies and a whole new chapter about Data Access Pages - helping you to put your Access database onto an intranet.
Access Control Systems : Security, Identity Management and Trust Models
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations of programming systems security, delving into identity management, trust models, and the theory behind access control models. The book details access control mechanisms that are emerging with the latest Internet programming technologies, and explores all models employed and how they work. The latest role-based access control (RBAC) standard is also highlighted.
Academic Study of Common Diets
The foods you choose to eat can have a direct impact on your ability to enjoy life to its fullest. Perhaps the most obvious positive effect of food is the pleasurable feeling you get from eating a good-tasting meal. Over the past decade there has been an increasing concern about the impact of chronic diseases on the health of developing world populations. Traditionally, major causes of illness and death in developing countries have been linked to infectious diseases and undernutrition, and these are still major public health problems in several regions of the world. Obesity is recognized as an underlying risk factor for many of these chronic conditions. As in developed societies, the risk of obesity in developing countries is also strongly influenced by diet and lifestyle, which are changing dramatically as a result of the economic and nutrition transition.
Abuse of Dominant Position : New Interpretation, New Enforcement Mechanisms?
As part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation and application of the Treaty’s prohibition of abuses of dominant positions. Also, it has instigated a debate about the promotion of private enforcement of EC competition law. The chapters in this volume critically appraise the Commission’s proposals, including the most recent ones. The authors also highlight the repercussions of the proposed ‘more economic approach’ to abuses of dominant positions on private litigants’ opportunities to bring damages actions in national courts for such abuses.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
