Azaheterocycles Based on -, ß-Unsaturated Carbonyls
Devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles leading to three-, five-, six and seven-membered partially hydrogenated nitrogen-containing heterocycles. During the last decade interest in these classes of organic c- pounds has been experiencing a scientific renaissance owing to their significant role in biological processes in living cells and diverse effects on physiological activities. In addition, such compounds are also more prevalent from the vi- point of ''classical'' problems of organic chemistry, among them reactivity, chemo- and regioselectivity, tautomerism, conformational analysis and features of their electronic structure. The character of these problems in the case of partially hydrogenated heterocycles differs sufficiently from that for hetero- omatized and perhydrogenated heterocyclic compounds and investigations in this field very often lead to interesting and unusual results. Extensively characterized cyclocondensations of, -unsaturated carbonyls, their synthetic equivalents and their precursors are the most widespread, facile and generally valid pathway to dihydroazaheterocycles.
Axially chiral compounds : Asymmetric synthesis and applications
Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially chiral motifs constitute the core backbones of the majority of chiral ligands and organocatalysts in asymmetric catalysis. In a new work of particular relevance to synthetic chemists, Axially Chiral Compounds: Asymmetric Synthesis and Applications delivers a clearly structured and authoritative volume covering the classification, characteristics, synthesis, and applications of axial chirality.
Avatars at Work and Play : Collaboration and Interaction in Shared Virtual Environments
examining uses of shared virtual environments in practical settings such as scientific collaboration, distributed meetings, building models together, and others. It also covers online gaming in virtual environments, which has attracted hundreds of thousands of users and presents an opportunity for studying a myriad of social issues. Covering both ‘work’ and ‘play’, the volume brings together issues common to the two areas.
Autonomous Systems - Self-Organization, Management, and Contro ; Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community.
Autonomous intelligent systems : Agents and data mining ; International workshop, AIS-ADM 2005
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St. Petersburg, Russia in June 2005. The 17 revised full papers presented together with 5 invited papers and the abstract of an invited talk were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.
Autonomous control for a reliable internet of services : Methods, models, approaches, techniques, algorithms, and tools
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.
Autonomic communication ; Vol. 3854 : 2nd International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
The Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific sponsorship through Working Groups IFIP WG6. 6 (Management of Networks and Distributed Systems) and IFIP WG6. 3 (Performance of Communication Systems). The workshop was organized at a time when the – yet to be well defined – field of autonomic communication (AC) is attracting the interest of both the scientific community and the research funding organizations. The latter is manifested, on one hand, by the numerous recent relevant research exploratory forums, workshop panels, preliminary forward-looking position papers, research outlooks and frameworks and, on the other hand, by the commitment of the FET program of the European Commission in Europe to funding long-term research in this area for the next four years.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomic and Trusted Computing ; 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extenteven without human interventionor guidance. Organiccomputing(OC)additionally emphasizes natural-analogueconceptslike self-organization and controlled emergence. Any autonomic ororganic system must be trus tworthy to avoid the risk of l- ing control and to retain confidence that the system will not fail. Trust and/or distrust relationships on the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems and services. Trusted/trustworthy computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persist-able, security/privacy protect-able, etc.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
Autonomes fahren : Technische, rechtliche und gesellschaftliche aspekte = Autonomous driving : Technical, legal and social aspects
This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central topics related to the automation of vehicles on public roads from an engineering and social science perspective. They show which "decisions" are required of an autonomous vehicle or which "ethics" must be programmed. The authors discuss expectations and concerns that characterize the individual and societal acceptance of autonomous driving. An increased safety potential through autonomous vehicles is compared to the challenges and solution approaches that play a role in securing the safety concept. In addition, they explain what possibilities for change and opportunities arise for our mobility and the reorganization of traffic, not least for freight traffic. The book thus offers an up-to-date, comprehensive and scientifically sound examination of the topic of "autonomous driving".
Automotive production systems and standardisation : From Ford to the case of Mercedes-Benz
The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the creation and introduction of company-specific standardised production systems. This book contributes to the debate about production systems by examining the social and economic implications of the role of standardisation in production systems. In this context it addresses three core issues: First, the driving forces behind the changing forms and functions of standardisation and the role of institutions therein. Second, the impact of standardisation on the evolution of automotive production systems. Third, based on the author's own empirical research conducted over a three year period at the Mercedes-Benz plant Stuttgart-Untertürkheim/Germany, the book examines the influence of standardisation on the work of actors on the shop floor in terms of organisational learning processes and the regulation of work.
Automating business modelling : A guide to using logic to represent Informal methods and support reasoning
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.
Automated reasoning ; 3rd International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Automated deduction – CADE-21 ; 21st International Conference on automated deduction, Bremen, Germany, July 17-20, 2007, Proceedings
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Autoimmunity : Methods and protocols
Brings together a comprehensive and up-to-date collection of protocols that reflect the diverse experimental strategies. Chapters detail T-cell, macrophage characterization, neutrophil functional assays, organoid culture methods, spatial transcriptomics, RNA FISH, microRNA profiling, and ribosome profiling. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls.
Autistic community and the neurodiversity movement : Stories from the frontline
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the activities and rationales of key leaders in their own words since it organized into a unique community in 1992. Sandwiched by editorial chapters that include critical analysis, the book contains 19 chapters by 21 authors about the forming of the autistic community and neurodiversity movement, progress in their influence on the broader autism community and field, and their possible threshold of the advocacy establishment
Authoritative communities : The scientific case for nurturing the whole child
Authoritative Communities: The Scientific Case for Nurturing the Whole Child introduces innovative solutions based firmly in the children’s mental health and resilience literature and in the hypothesis that humans are "hardwired to connect." These "authoritative communities" consist of such individuals and institutions as parents, teachers, coaches, elders, and a variety of organizations that are committed to each other’s well-being over the long-term and who instill children with prosocial values such as empathy and compassion. Living within these communities enables children and youth to develop a consistent sense of purpose and meaning, so that they, in turn, are able to grow up to be responsible, productive, and nurturing adults.
Auriculothérapie : Acupuncture auriculaire = Auriculotherapy : Auricular acupuncture
The auricle is a privileged place to observe and treat patients reflexively. It is endowed with both a particularly rich innervation, and brief connections with the higher nervous centers. It constitutes both a reading pavilion, to observe information coming from the organs and nerve endings of the skin, and a control pavilion to help correct abnormal information. It is a lookout post, placed bypassing the brainstem, on the path connecting the organs and the brain. It thus allows a fair control and an effective intervention. In this medical treatise on Auriculotherapy, historical and scientific data, medical explanations and bibliographical references are presented.



















