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".
Automation in construction toward resilience : Robotics, smart materials and intelligent systems
Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, construction technologies, and maintenance and management of constructed facilities. The broad scope encompasses all stages of the construction life cycle from initial planning and design, through the construction of the facility, its operation, and maintenance, to the eventual dismantling and recycling of buildings and engineering structures
Automated technology for verification and analysis ; 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Automated nanohandling by microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. Different aspects of this research field regarding the hardware and software implementation of the system components, including the sensory feedback for automated nanohandling, are discussed in detail. Extensive applications of the microrobot station for nanohandling, nano-characterization and nanostructuring are provided, together with the experimental results.
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-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. 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.
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.
Aulton's pharmaceutics : The design and manufacture of medicines
A comprehensive textbook covering the design of dosage forms and all aspects of drug delivery systems. Pharmaceutics in its broadest sense is the 'art of the apothecary' or, in simple terms, pharmaceutical preparations. It remains a diverse subject in the pharmacy curriculum, encompassing design of drugs, their manufacture and the elimination of micro-organisms from the products.
Aulton's pharmaceutics : The design and manufacture of medicines
Offers a complete course in one book for students in all years of undergraduate pharmacy and pharmaceutical sciences degrees. Thoroughly revised, updated and extended by experts in their fields and edited by Professors Kevin Taylor and Michael Aulton, this new edition includes the science of formulation, pharmaceutical manufacturing and drug delivery. All aspects of pharmaceutics are covered in a clear and readily accessible way and extensively illustrated throughout, providing an essential companion to the entire pharmaceutics curriculum from day one until the end of the course. Fully updated throughout, with the addition of new chapters, to reflect advances in formulation and drug delivery science, pharmaceutical manufacturing and medicines regulation Designed and written for newcomers to the design and manufacture of dosage forms Relevant pharmaceutical science covered throughout Includes the science of formulation and drug delivery Reflects current practices and future applications of formulation and drug delivery science to small drug molecules, biotechnology products and nanomedicines Key points boxes throughout Over 400 online multiple choice questions
Attention and Performance in Computational Vision ; 2nd International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Attention and Performance in Computational Vision, WAPCV 2004, held in Prague, Czech Republic in May 2004. The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision.
Atmospheric Aerosol Properties : Formation, Processes and Impacts
An increasing interest in studies of atmospheric aerosols in the context of their impact on the formation of climate, heterogeneous chemical reactions in the atmosphere affecting in particular the environmental quality, problems of visibility and human health is the cause of unusual scales of developments connected with studies of atmospheric aerosols. The necessity has arisen to analyze the latest results concerning, first of all, three aspects of the problems considered: 1. aerosol properties from data of complex field observational experiment; 2. processes of aerosol formation and interaction of aerosol with clouds, 3. aerosol as a climate-forming atmospheric component (including the problem of long-range transport). The monograph in hand is dedicated mainly to the problems of the impact of aerosol on climate processes in the atmosphere, from microphysical processes of formation and evolution of aerosol properties to the formation of macro-scale cloud sytems on aerosol particles.
Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery
Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery covers in detail the technical aspects of all important procedures of the upper abdomen (esophagus, duodenum, stomach, liver, biliary system, pancreas, portal hypertension and spleen) including general, oncologic and transplantation surgery. Each chapter has been written by an expert renowned in his or her field and been reviewed by a second expert. All of the approximately 900 illustrations have been drawn by the same team of three artists of notable experience. The liver section follows the internationally accepted terminology of the Brisbane 2000 conference of the IHPBA. In this atlas experts of upper abdominal surgery share their experience and show how they do it - step by step.
Atlas of Operative Oral and Maxillofacial Surgery
Comprised of concise text and detailed vignettes focusing on surgical indications, contraindications, pertinent anatomy, virtual surgical planning, operative techniques, postoperative management, complications and key points with over 2,000 high-quality images. Serves as an innovative, multidisciplinary, surgical atlas covering core aspects of oral and maxillofacial surgery, head and neck reconstructive surgery, and facial cosmetic surgery. Chapters are written by experts in their fields and are designed to provide high-yield information utilizing a case report format.
Atlas of Neuromuscular Diseases : A Practical Guideline
A comprehensive outline of neuromuscular diseases, written by experienced American and European authors. It discusses all aspects of neuromuscular disorders including the cranial nerves, spinal nerves, motor neurone disease, the nerve plexus, peripheral nerves, mononeuropathies, entrapment syndromes, polyneuropathies, the neuromuscular junction, and muscle disease. Each chapter is uniformly structured into anatomy, symptoms, signs, pathogentic possibilities, diagnosis and differential diagnosis, therapy and prognosis. Additionally the diagnostic tools and investigations used in neuromuscular disease are explained and a practical guide is given how to advance from symptoms to syndromes. For each disease the therapeutic options are described. It contains large number of clinical and histologic pictures from the practical experience of the authors and also a number of artists drawings to facilitate the understanding of anatomic structures.
Atlas de pathologie thoracique = Atlas of thoracic pathology
This book, devoted primarily to chest imaging, is divided into three main parts. The first brings together all the information to understand the formation and interpretation of images of the thorax, whether normal or pathological, and thus to avoid as many misinterpretations as possible. The second studies the different thoracic radioanatomical syndromes. It allows the pulmonologist, faced with a certain type of image, to relate it to the underlying anatomical compartment damaged and then to consider all the possible etiologies. The third part, on the other hand, recapitulates all the radiological aspects likely to be encountered in each of the pathologies considered.
Astrophysics is easy! : An introduction for the amateur astronomer
With some justification, many amateur astronomers believe astrophysics is a very difficult subject, requiring at least degree-level mathematics to understand it properly. This isn’t necessarily the case. Mike Inglis' quantitative approach to the subject explains all aspects of astrophysics in simple terms and cuts through the incomprehensible mathematics with which this fascinating subject is all too often associated. Astrophysics is Easy! begins by looking at the H-R diagram and other basic tools of astrophysics, then ranges across the universe, from a first look at the interstellar medium and nebulae, through the birth, evolution and death of stars, to the physics of galaxies and clusters of galaxies.
Astroparticle physics
The book describes the branch of astrophysics in which processes in the universe are investigated with experimental methods known from particle physics experiments. After a historical introduction to the basics of elementary particles, their interactions and the relevant detection techniques are described. The main body of the book concerns cosmic rays. The modern aspects of astroparticle physics are described in a chapter on cosmology. The book provides an orientation in the field of astroparticle physics that many beginners might look for. The physics issues are presented with little mathematics, and the results are illustrated by many diagrams. The reader has a chance to enter this field of astrophysics with a book that closes the gap between expert and popular level.
Associative and endophytic nitrogen-fixing bacteria and cyanobacterial associations
Associative and Endophytic Nitrogen-fixing Bacteria and Cyanobacterial Associations This book is part of the seven-volume series that was launched a few years ago with the ambitious objectives of reviewing the field of nitrogen fixation from its earliest beginnings through the millennium change and of consolidating the relevant information - from fundamental to agricultural and environmental aspects – all in one place. Volume 5 covers the biology of bacteria that associate with n- leguminous plants. The subject matter includes a wide range of associations; it covers the bacterial species that associate either with the surface or within the tissues of grasses (often referred as plant growth-promoting rhizobacteria) and also the symbiotic associations that cyanobacteria form with fungi, algae, and both lower and higher plants. This volume does not deal with the Frankia-actinorhizal plant associations, which is the topic of Volume 6
Assets Liabilities Management
This project will shed a light on Assets Liabilities Management (ALM) and its importance. The assignment should cover all aspects of ALM from its meaning and its pros and cons, followed by its contents, to the types of risks that accompany it. The end of this project should contain the reports made on the responses gathered from the survey involving the use of ALM programs in the Syrian market.
Assetization : Turning Things into Assets in Technoscientific Capitalism
In this book, scholars from a range of disciplines argue that the asset—meaning anything that can be controlled, traded, and capitalized as a revenue stream—has become the primary basis of technoscientific capitalism. An asset can be an object or an experience, a sum of money or a life form, a patent or a bodily function. A process of assetization prevails, imposing investment and return as the key rationale, and overtaking commodification and its speculative logic. Although assets can be bought and sold, the point is to get a durable economic rent from them rather than make a killing on the market. Assetization examines how assets are constructed and how a variety of things can be turned into assets, analyzing the interests, activities, skills, organizations, and relations entangled in this process.



















