الصفحة 182
الصفحة 182
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.
Automata, languages and programming ; Vol. 3580 ; 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
AutoCAD 2006 VBA : A programmer's reference
This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. Whether you want to automate routine tasks, or create sophisticated applications or design that can be generated programmatically, this book will empower you to make AutoCAD work for you. This book is also suitable if you're a power user who wants to make use of the advanced features of AutoCAD 2006 VBA, and you need a fast reference for the full AutoCAD object model. You'll learn to run Autodesk design tasks in the embedded VBA environment. This book is loaded with source code examples, and gives you no matter your skill level the necessary tools to accomplish your AutoCAD 2006 automation tasks.
Autistic people in dental and medical clinics: challenges and Solutions
Gives university students as well as established healthcare professionals an understanding of how they can assist autistic patients in clinical settings. This book providing strategies that aspiring and established healthcare professionals can use to make their clinical workplaces more accommodatingfor autistics and their familiesand present a synopsis of the literature about the challenges and experiences that autistic patients have had in dental and medical settings.
Austenitic TRIP/TWIP steels and steel-zirconia composites : Design of tough, transformation-strengthened composites and structures
This book presents a collection of the most up-to-date research results in the field of steel development with a focus on pioneering alloy concepts that result in previously unattainable materials properties.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
Auditory signal processing : Physiology, psychoacoustics, and models
The volume includes a total of 62 invited papers, organized into 12 broad thematic areas: cochlear signal processing; brainstem signal processing; pitch; frequency modulation; streaming; amplitude modulation; responses to complex sounds; speech; comodulation masking release; binaural hearing; temporal coding; and plasticity
Au-delà de linformation, la prévention : Par l’équipe du département de prévention Épidaure = Prevention goes beyond information : By the Epidaure Prevention department team
The prevention of the most frequent and deadly pathologies (cancers, cardiovascular diseases, accidents) essentially involves modifying risky behavior, a challenge which cannot be resolved by the simple dissemination of information. To be able to modify behavior, it is necessary to take into account, on the one hand, the individuals themselves and what leads them to change their ways of living and, on the other hand, the cultural, social, physical and economic environment. who shapes people and whose modifications are necessary for individual changes. Thus, preventive health actions are effective as long as they strengthen the ability to exercise control over individual and collective health determinants.
Attention in Cognitive Systems : Theories and Systems from an Interdisciplinary Viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor activities and the interpretation of feedback from perceptual modalities. Decision making about the selection of information from the incoming sensory stream – in tune with contextual processing on a current task and an agent’s global objectives – becomes a further challenging issue in attentional control. Attention must operate at interfaces between bottom-up driven world int- pretation and top-down driven information selection, thus acting at the core of arti?cial cognitive systems. These insights have already induced changes in AI-related disciplines, such as the design of behavior-based robot control and the computational modeling of animats. Today, the development of enabling technologiessuch as autonomous robotic systems,miniaturizedmobile–evenwearable–sensors,andambientintelligence systems involves the real-time analysis of enormous quantities of data. These data have to be processed in an intelligent way to provide “on time delivery” of the required relevant information. Knowledge has to be applied about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with visual feedback.
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.
Atoms, molecules and photons : An introduction to atomic- molecular- and quantum physics
This introduction to Atomic and Molecular Physics explains how our present model of atoms and molecules has been developed over the last two centuries both by many experimental discoveries and, from the theoretical side, by the introduction of quantum physics to the adequate description of micro-particles. It illustrates the wave model of particles by many examples and shows the limits of classical description. The interaction of electromagnetic radiation with atoms and molecules and its potential for spectroscopy is outlined in more detail and in particular lasers as modern spectroscopic tools are discussed more thoroughly. Many examples and problems with solutions are offered to encourage readers to actively engage in experimentation.
Atomistic modeling of materials failure
Atomistic Modeling of Materials Failure is an introduction to molecular and atomistic modeling techniques applied to solid deformation and fracture. Focusing on a variety of brittle, ductile and geometrically confined materials, this detailed overview includes computational methods at the atomic scale, and describes how these techniques can be used to model the dynamics of cracks, dislocations and other deformation mechanisms.
Atomistic approaches in modern biology : From quantum chemistry to molecular simulations
This volume of Topics in Current Chemistry presents an overview of atomistic theoreticalmethodsapplied tomolecular biologicalsystems. Itthus repesents abottom-upview of chemistryonbiologyfroma theoreticalperspective. The chapters arearrangedsuchthat important issuesareconsidered startingfrom a quantum mechanical perspective and proceeding to a molecular mechanics and molecular dynamics descriptiono fthemotionoftheelementaryparticles involved.which are responsible for the properties and function of biomolecules. Depending on the length and time scales relevant for a given phenomenon to be investigated, tailored theoretical methods are required to account for these. If one is interested in large scale motions of molecules, a molecul- mechnanics-based description willbeappropriate.
Atomic spectroscopy : Introduction to the theory of hyperfine structure
Atomic Spectroscopy provides a comprehensive discussion on the general approach to the theory of atomic spectra, based on the use of the Lagrangian canonical formalism. This approach is developed and applied to explain the hydrogenic hyperfine structure associated with the nucleus motion, its finite mass, and spin. The non-relativistic or relativistic, spin or spin-free particle approximations can be used as a starting point of general approach. The special attention is paid to the theory of Lamb shift formation. The formulae for hydrogenic spectrum including the account of Lamb shift are written in simple analytical form. The book is of interest to specialists, graduate and postgraduate students, who are involved into the experimental and theoretical research in the field of modern atomic spectroscopy.
Atmospheric Icing of Power Networks
Atmospheric ice takes a wide range of fascinating forms, all beautiful in their own ways but many posing severe risk to the security of overhead networks for electric power, communications and other systems. This book documents the fundamentals of atmospheric icing and surveys the state of the art in eight chapters, each written by a team of experienced and internationally renowned experts.
Atmospheric Boundary Layers : Nature, Theory, and Application to Environmental Modelling and Security
This collection of peer reviewed papers represents a concise, up-to-date summary of our current knowledge of planetary boundary layer (PBL) physics and parameterization. As such, it makes a major contribution to the interchange of knowledge and ideas between physicists, meteorologists and environmental modellers and sets out the course to be followed in subsequent research to improve PBL parameterizations in climate, numerical weather prediction, air quality, and emergency preparedness models. Major themes covered are: Nature and theory of turbulent boundary layers, Boundary layer flows - modelling and applications to environmental security, Nature, theory and modelling of boundary-layer flows, and Air flows within and above urban and other complex canopies - air-sea-ice interactions.
Atmospheric and space flight dynamics : Modeling and simulation with MATLAB® and Simulink®
Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate between atmospheric and space flight. Most texts on flight dynamics, however, make this artificial distinction and therefore do not simultaneously cover aircraft and spacecraft. Bridging this gap in the literature, Atmospheric and Space Flight Dynamics is a unified presentation, demonstrating that the two disciplines have actually evolved from the same set of physical principles.Primarily useful as a textbook for advanced undergraduate and beginning graduate-level students, the work is also an excellent reference or self-study guide for researchers and practitioners in aerospace engineering, aviation, mechanical engineering, dynamics, astrodynamics, aeronautics, and astronautics.
Atmospheric and Oceanic
This volume contains many original findings on mesoscale processes in atmospheric and oceanic systems through mathematical modeling, numerical simulations and field experiments. These scientific papers examine and provide the latest developments on a range of topics that include tropical cyclones/hurricanes, mesoscale variability and modeling, seasonal monsoons and land surface processes including atmospheric boundary layer. This volume will be useful as a reading material in graduate level courses dealing with mesoscale systems, weather, climate, monsoon variability and boundary layer.
Atlas of Woody Plant Stems : Evolution, Structure, and Environmental Modifications
he „Atlas of Woody Plant Stems“ is a com- Naturally, it was impossible to cover completely the Tprehensively illustrated book with short, in- enormous variability of plant life forms. We have formative texts. We chose this layout because plant tried, however, to illustrate the main principles and anatomy and morphology can only be conveyed by features. Many decades of collection and prepa- detailed pictures. In addition, a vivid presentation tion provided the basis for this book.
