الصفحة 64
الصفحة 64
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.
Automotive Control Systems : For Engine, Driveline, and Vehicle
Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book enables control engineers to understand engine and vehicle models necessary for controller design and also introduces mechanical engineers to vehicle-specific signal processing and automatic control. The emphasis on measurement, comparisons between performance and modelling, and realistic examples derive from the authors’ industrial experience at Bosch and interactions within IFAC and SAE. The second edition offers new or expanded topics such as diesel-engine modelling, diagnosis and anti-jerking control, and vehicle modelling and parameter estimation. The book addresses professional engineers as well as students.
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 technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
Automated Reasoning with Analytic Tableaux and Related Methods ; 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
Automated deduction in Geometry ; 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Australias arc of Instability : The political and cultural dynamics of regional security
The idea for this book emerged from a conversation between Vivian Forbes and Charles Eaton following two seminars held in the Department of Geography at the University of Western Australia given by Trevor So?eld and Christopher Grif?n more than ?ve years ago. One seminar involved papers from Charles Eaton and Christopher Grif?n on the recent Speight coup in Fiji; the other, given by Trevor So?eld, was on the Solomon Islands. The seminars were attended by, among others, Dennis Rumley, who on getting involved in the conversation, suggested the idea of a book and then followed through on its scope, structure, planning, and possible contributors. Looking back now, we owe a special debt of gratitude to Charles Eaton both for his enthusiasm and his ideas then, and for his continued support throughout the whole project. Since that time ?ve years ago, many people have boarded and have left the Arc.
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.
Attractivity and bifurcation for nonautonomous dynamical systems
Although, bifurcation theory of equations with autonomous and periodic time dependence is a major object of research in the study of dynamical systems since decades, the notion of a nonautonomous bifurcation is not yet established. In this book, two different approaches are developed which are based on special definitions of local attractivity and repulsivity.
Attitudes and changing contexts
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics.
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.
Atmospheric Re-Entry Vehicle Mechanics
this book offers a comprehensive and state of the art analysis of aerodynamic and flight mechanic entry topics. In addition, it provides a large set of application exercises and solutions. It is addressed to university and engineering school students, as well as engineers in aerospace companies and government agencies, or simply curious readers.
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 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 staging in gynecological cancer
Atlas of Staging in Gynecological Cancer gives a practical approach to the topic and is designed to be used in conjunction with diagnostic procedures between the surgeon and the radiologist. This book describes the two common staging regimes used by all units across the world, namely, the FIGO and TNM systems.
Asymmetric organo-metal catalysis : Concepts, principles, and applications
In Asymmetric Organo-Metal Catalysis: Concepts, Principles, and Applications, accomplished chemist Liu-Zhu Gong delivers a comprehensive discussion of how to design efficient organo/metal combined catalyst systems, new cooperatively catalyzed asymmetric reactions, relay catalytic cascades, and multicomponent reactions. The distinguished author covers critical topics, like the combined catalysis of chiral phase transfer catalysts, enamine, iminium, nucleophilic Lewis base, or Bronsted acids with metal complexes, while also covering the cooperative catalysis of photocatalysts and organocatalysts.
Astrophysical concepts
This classic text, aimed at senior undergraduates and beginning graduate students in physics and astronomy, presents a wide range of astrophysical concepts in sufficient depth to give the reader a quantitative understanding of the subject. Emphasizing physical concepts, the book outlines cosmic events but does not portray them in detail: it provides a series of astrophysical sketches. For this fourth edition, nearly every part of the text has been reconsidered and rewritten, new sections have been added to cover recent developments, and others have been extensively revised and brought up to date. The book begins with an outline of the scope of modern astrophysics and enumerates some of the outstanding problems faced in the field today. The basic physics needed to tackle these questions are developed in the next few chapters using specific astronomical processes as examples. The second half of the book enlarges on these topics and shows how we can obtain quantitative insight into the structure and evolution of stars, the dynamics of cosmic gases, the large-scale behavior of the Universe, and the origins of life.
