الصفحة 161
الصفحة 161
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
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.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
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
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.
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Automated technology for verification and analysis ; 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
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 multi-camera surveillance : Algorithms and practice
This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor environments, while identifying the important issues that a system needs to cope with in realistic surveillance scenarios. The goal of the research presented in this book is to build systems that can deal effectively with these realistic surveillance needs.
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. 4052 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein 1972.Thisyear,. ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon , A companion volume contains all contributed papers presented inTrack Band TrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada). The programhad an additional invited lecture by Simon Peyton Jones (Microsoft Research, UK), which does not appear in the proceedings.
Automata, languages and programming ; Vol. 4051 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 .Thisyear, ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon (Tel Aviv University, Israel). A companion volume contains all contributed paper spresentedinTrackBandTrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada).
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
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, Languages and Programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, languages and programming ; 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
This volume presented three major tracks covering algorithms, automata, complexity, and games
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.
Aurora : Observing and Recording Nature's Spectacular Light Show
The uniquely beautiful light display of an aurora is the result of charged particles colliding with tenuous atmospheric oxygen and nitrogen, more than 60 miles above the Earth, when the magnetosphere is disturbed by changes in the solar wind. Often - and incorrectly - regarded as being confined to high northern and southern latitudes, major auroral displays are visible from even the southern USA and the south of England, and occur perhaps twenty times in each eleven-year sunspot cycle. This book describes the aurora from the amateur observational viewpoint, discusses professional studies of auroral and geomagnetic phenomena to put amateur work in context, and explains how practical observers can go about observing and recording auroral displays.
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.
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.
