الصفحة 50
الصفحة 50
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.
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.
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.
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.
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.
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 of fundus autofluorescence imaging
During recent years, FAF (Fundus autofluorescence) imaging has been shown to be useful in various retinal diseases with regard to diagnostics, documentation of changes, identification of disease progression, and monitoring of novel therapies. Hereby, FAF imaging gives additional information above and beyond conventional imaging tools.This unique atlas provides a comprehensive and up-to-date overview of FAF imaging in retinal diseases. It also compares FAF findings with other imaging techniques such as fundus photograph, fluorescein- and ICG angiography as well as optical coherence tomography. General ophthalmologists as well as retina specialists will find this a very useful guide which illustrates typical FAF characteristics of various retinal diseases.
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.
Asymmetry : The foundation of information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created its own theories of information to serve as conceptual instruments for advancing developments. This book provides a coherent consolidation of information theories from these different fields.It provides a versatile tool for quantifying complexity and information capacity in any physical system.
Asymmetric metal catalysis in Enantioselective Domino reactions
Collects the major progress in the field of enantioselective one-, two-, and multicomponent domino reactions promoted by chiral metal catalysts. It clearly illustrates how enantioselective metal-catalyzed processes constitute outstanding tools for the development of a wide variety of fascinating one-pot asymmetric domino reactions, thereby allowing many complex products to be easily generated from simple materials in one step. The book also strictly follows the definition of domino reactions by Tietze as single-, two-, as well as multicomponent transformations.
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.
Astrophysics : A new approach
For a quantitative understanding of the physics of the universe - from the solar system through the milky way to clusters of galaxies all the way to cosmology - these edited lecture notes are perhaps among the most concise and also among the most critical ones: Astrophysics has not yet stood the redundancy test of laboratory physics, hence should be wary of early interpretations. Special chapters are devoted to magnetic and radiation processes, supernovae, disks, black-hole candidacy, bipolar flows, cosmic rays, gamma-ray bursts, image distortions, and special sources. At the same time, planet earth is viewed as the arena for life, with plants and animals having evolved to homo sapiens during cosmic time. -- This text is unique in covering the basic qualitative and quantitative tools, formulae as well as numbers, needed for the precise interpretation of frontline phenomena in astrophysical research. The author compares mainstream interpretations with new and even controversial ones he wishes to emphasize.
Astronomical image and data analysis
With information and scale as central themes, this comprehensive survey explains how to handle real problems in astronomical data analysis using a modern arsenal of powerful techniques. It treats those innovative methods of image, signal, and data processing that are proving to be both effective and widely relevant. The coverage includes chapters or appendices on: detection and filtering; image compression; multichannel, multiscale, and catalog data analytical methods; wavelets transforms, Picard iteration, and software tools. This second edition of Starck and Murtagh's highly appreciated reference again deals with topics that are at or beyond the state of the art. It presents material which is more algorithmically oriented than most alternatives and broaches new areas like ridgelet and curvelet transforms. Throughout the book various additions and updates have been made.
Assistive technologies, robotics, and automated machines in the health domain
The field of healthcare is constantly evolving and advancing with new technologies and innovations. Among these, assistive technologies, robotics, and automated machines are rapidly gaining ground as powerful tools to improve the quality of care and enhance patient outcomes. From wearable devices that monitor vital signs to surgical robots that assist in complex procedures, these technologies have the potential to revolutionize the way we deliver healthcare. The development and the integration of assistive technologies, care robots, and automated machines are strategic both as single components, when paired together, and when interconnected in the health domain.This reprint explores the latest developments in assistive technologies, robotics, and automated machines in the health domain, providing a comprehensive overview of their applications and potential impact. The reprint is for the benefit of healthcare professionals, researchers, engineers, and students interested in these rapidly evolving fields.
Assessing and Managing Earthquake Risk : Geo-scientific and Engineering Knowledge for Earthquake Risk Mitigation: developments, tools, techniques
This book points out the need of a multidisciplinary approach in the field of risk assessment and management. It provides an overview of the problems, approaches and common practices directly related to earthquake risk mitigation and, in particular, to the preparation of earthquake emergency plans. Written by a team of specialists from different disciplines, the authors worked together extensively in order to create unity and continuity in the text as a whole. Each topic is illustrated with examples of actual applications taken from the bibliography – including websites with available relevant information. Case studies and information on some relevant international projects are given.
Aspects of Mathematical Finance
Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical methodology, especially probabilistic methodology, it was a very natural idea for the French "Académie des Sciences" to propose a series of public lectures, accessible to an educated audience, to promote a wider understanding for some of the fundamental ideas, techniques and new tools of the financial industries. These lectures were given at the "Académie des Sciences" in Paris by internationally renowned experts in mathematical finance, and later written up for this volume which develops, in simple yet rigorous terms, some challenging topics such as risk measures, the notion of arbitrage, dynamic models involving fundamental stochastic processes like Brownian motion and Lévy processes.
