الصفحة 101
الصفحة 101
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 .
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 Differentiation : Applications, Theory, and Implementations
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students will learn about advances in automatic differentiation techniques and strategies for the implementation of robust and powerful tools. Computational scientists and engineers will benefit from the discussion of applications, which provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification.
Automatic Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Improved order selection quality guarantees that one of the best (and often the best) will be selected automatically. The data themselves suggest their best representation. Should the analyst wish to intervene, alternatives can be provided. Written for graduate signal processing students and for researchers and engineers using time series analysis for practical applications ranging from breakdown prevention in heavy machinery to measuring lung noise for medical diagnosis.
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 ; 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 ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Automated technology for verification and analysis ; 3rd International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. This book constitutes the refereed proceedings of the symposium .
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.
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
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.
Atomic and Nuclear Analytical Methods : XRF, Mössbauer, XPS, NAA and Ion-Beam Spectroscopic Techniques
This book is a blend of analytical methods based on the phenomenon of atomic and nuclear physics. It comprises comprehensive presentations about X-ray Fluorescence (XRF), Mössbauer Spectroscopy (MS), X-ray Photoelectron Spectroscopy (XPS), Neutron- Activation Analysis (NAA), Particle Induced X-ray Emission Analysis (PIXE), Rutherford Backscattering Analysis (RBS), Elastic Recoil Detection (ERD), Nuclear Reaction Analysis (NRA), Particle Induced Gamma-ray Emission Analysis (PIGE), and Accelerator Mass Spectrometry (AMS). These techniques are commonly applied in the fields of medicine, biology, environmental studies, archaeology or geology et al. and pursued in major international research laboratories.
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.
Atlas of Regional Anatomy of the Brain Using MRI : with functional correlations
The volume provides a unique review of the essential topographical anatomy of the brain from an MRI perspective, correlating high-quality anatomical plates with the corresponding high-resolution MRI images. The book includes a historical review of brain mapping and an analysis of the essential reference planes used for the study of the human brain. Subsequent chapters provide a detailed review of the sulcal and the gyral anatomy of the human cortex, guiding the reader through an interpretation of the individual brain atlas provided by high-resolution MRI.
Atlas of Non-Invasive Coronary Angiography by Multidetector Computed Tomography
The multidetector CT scanner speeds diagnosis and treatment of patients. One of its many uses is to perform CT coronary angiography. Multidetector CT has generated excitement within the cardiology and radiology community as it provides clear pictures and takes less time than other non-invasive techniques, including conventional spiral and electron-beam CT which can take up to an hour or more. This atlas presents over 160 illustrations, with 116 in color and illustrates the capacity of multidetector CT for the analysis of the anatomy of the coronary arteries.
Atlas of lacrimal surgery
International experts provide a stepwise analysis and describe the clinical management of these patients with detailed medical and surgical treatment plans. Further, the accompanying DVD presents video clips on surgical methods such as endonasal and external DCR; endoscopic versus microscopic procedure; lacrimal endoscopy and transcanalicular surgery; laser DCR and DCR in children; traumatic lesions; interventional radiology and stenting; and conjunctivorhinostomy and Jones tube. With this excellent guide the reader will be able to solve any problem that may occur with the reconstruction of a disturbed or damaged lacrimal system.
Asymptotics for Dissipative Nonlinear Equations
Many of problems of the natural sciences lead to nonlinear partial differential equations. However, only a few of them have succeeded in being solved explicitly. Therefore different methods of qualitative analysis such as the asymptotic methods play a very important role. This is the first book in the world literature giving a systematic development of a general asymptotic theory for nonlinear partial differential equations with dissipation. Many typical well-known equations are considered as examples, such as: nonlinear heat equation, KdVB equation, nonlinear damped wave equation, Landau-Ginzburg equation, Sobolev type equations, systems of equations of Boussinesq, Navier-Stokes and others.
Asymptotic Theory of Statistics and Probability
An encyclopedic treatment of classic as well as contemporary large sample theory, dealing with both statistical problems and probabilistic issues and tools. It is written in an extremely lucid style, with an emphasis on the conceptual discussion of the importance of a problem and the impact and relevance of the theorems. The book has 34 chapters over a wide range of topics, nearly 600 exercises for practice and instruction, and another 300 worked out examples. It also includes a large compendium of 300 useful inequalities on probability, linear algebra, and analysis that are collected together from numerous sources, as an invaluable reference for researchers in statistics, probability, and mathematics.
Asymptotic Analysis and Boundary Layers
Presents a new method of asymptotic analysis of boundary-layer problems, the Successive Complementary Expansion Method (SCEM). The first part is devoted to a general comprehensive presentation of the tools of asymptotic analysis. It gives the keys to understand a boundary-layer problem and explains the methods to construct an approximation. The second part is devoted to SCEM and its applications in fluid mechanics, including external and internal flows. The advantages of SCEM are discussed in comparison with the standard Method of Matched Asymptotic Expansions. In particular, for the first time, the theory of Interactive Boundary Layer is fully justified. With its chapter summaries, detailed derivations of results, discussed examples and fully worked out problems and solutions, the book is self-contained.
