الصفحة 632
الصفحة 632
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
Abstract State Machines, B and Z ; 1st International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
Abstract Harmonic Analysis of Continuous Wavelet Transforms
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their close connection to the Plancherel formula for locally compact groups. The connection is demonstrated by the discussion of a toy example, and then employed for two purposes: Mathematically, it serves as a powerful tool, yielding existence results and criteria for inversion formulae which generalize many of the known results. Moreover, the connection provides the starting point for a – reasonably self-contained – exposition of Plancherel theory. Therefore, the book can also be read as a problem-driven introduction to the Plancherel formula.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the last chapters, on universal algebras and categories, including tripleability, give valuable general views of algebra.
Absolute Stability of Nonlinear Control Systems
Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor Pei Yu, has created a second edition of his seminal work on the subject. Liao begins with an introduction to the Lurie problem and the Lurie control system, before moving on to the simple algebraic sufficient conditions for the absolute stability of autonomous and non-autonomous ODE systems, as well as several special classes of Lurie-type systems. The focus of the book then shifts toward the new results and research that have appeared in the decade since the first edition was published. This includes nonlinear control systems with multiple controls, interval control systems, time-delay and neutral Lurie control systems, systems described by functional differential equations, the absolute stability for neural networks, as well as applications to chaos control and chaos synchronization.
Absolute Essentials of Business Ethics
Explores practical applications of how business ethics impacts working lives, allowing readers to reflect on their own moral compass through the use of ethical dilemmas. Highlighting the extensive breadth of issues related to business ethics, the authors introduce and analyze ethical and unethical behaviors of firms through numerous real -life examples including Patagonia, Costco, LVMH, Bill Gates, Muhummad Yunus, Enron, WorldCom, Samsung, Purdue Pharma, Vale Mining and the COVID-19 crisis.
Absolute Essentials of Business Behavioural Ethics
Behavioural ethics in business is an emerging field that has challenged some of the established wisdom about ethics and added some truly new insights into our understanding about decision-making and behaviour.This concise textbook is ideal for use in the classroom as core or additional reading on courses in business ethics and corporate social responsibility; organisational behaviour and psychology; and any module with ethics content (for example, accounting ethics and strategic management).
About Life : Concepts in Modern Biology
This book uses modern biological knowledge to tackle the question: "What distinguishes living organisms from the non-living world?" In the first few chapters, the authors draw on recent advances in cell and molecular biology to develop an account of the "living state" that applies to all organisms, but only to organisms. Subsequent chapters use this account to explore questions about evolution, the origin of life and the possibility of extraterrestrial life. Towards the end of the book the authors consider human evolution, intelligence and the extent to which our species can be regarded as biologically unique. About Life is written as far as possible in non-technical language; all scientific terms are explained straightforwardly when they are introduced. It is aimed at the general, non-specialist reader, but the novel approach that it takes to general issues in biology will also interest students of the life sciences.
Abord clinique en urologie = Clinical approach in urology
Seduced by the idea of commenting on the clinical experience they have acquired during their career, the authors have deliberately approached their specialty by describing the symptoms that give the chapters their titles. They nevertheless described the differential diagnoses, the diseases involved and the treatments. After a chapter devoted to the examination of the patient, including the detours of the interrogation, back pain or scrotal pain are analyzed. The authors then turned to voiding disorders and their causes. The peculiarities of hematuria, depending on their level of origin, are described and commented on. The semiology of tumor masses is carefully detailed and, conversely, the problem of prostate cancer screening by PSA is dealt with in a separate chapter. Erectile dysfunction and penile diseases are the last chapters. In the line of the “Clinical approach” collection, this manual is easy to consult thanks to a detailed index, easy to understand because it is written in clear language and, moreover, well illustrated (21 diagrams and 2 tables). In this little book, the authors have approached urology from a perspective close to how patients feel.
Abord Clinique en Obstétrique = Clinical approach in Obstetrics
This book aims to clarify and develop the particularities of the clinical examination in obstetrics; it deliberately excludes childbirth and the aftermath of childbirth.
Abord clinique du malade âgé = Clinic Approach for the Elderly Patient
The general practitioner and the specialists are brought to examine a growing number of elderly or very old patients. Until now, they have hardly been prepared for this very special clinical approach where each symptom can relate to several causes, where the diseases are almost always multiple, symptomatic, or ready to reveal themselves by a complication, where a diagnosis can be. hide another, where a history - key to the diagnosis - may have been forgotten or concealed.
Abord clinique des urgences traumatiques au cabinet du généraliste = Clinical approach to traumatic emergencies in the general practitioner's office
Cet ouvrage a été conçu comme une aide pour le médecin généraliste, confronté quotidiennement à la pathologie traumatique. Les deux auteurs, urgentistes expérimentés, apportent des réponses claires, concises et pratiques aux problèmes que posent les lésions traumatiques. Des gestes simples, un abord clinique détaillé, la nécessité de recourir ou non à des examens complémentaires ou à un avis spécialisé sont ici expliqués et justifiés. Le style est précis, concis, et un lexique complète les définitions et les matériels cités dans le texte. Les auteurs se sont entourés des avis de généralistes et de spécialistes pour définir des conduites à tenir simples et compatibles avec les nécessités du terrain.
Abord Clinique des Urgences au Domicile du Patient = Emergency Clinic at the Patient's Home
The general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught her to work with the nursing team. At the patient's home, he must act alone with "the means at hand". To have known these difficulties, we conceived this work: it is intended to be a simple, effective and complete help. It sums up what we have learned from the “field”. It complies with scientific recommendations.
Abord clinique des malades de lalcool : En médecine générale = Clinical approach to patients with alcoholism : In general medicine
Les médecins généralistes sont destinataires d’un grand nombre d’informations sur l’alcool, son usage et ses conséquences pathologiques immédiates ou potentielles. Ces connaissances, émanant de médecins le plus souvent hospitaliers et spécialisés, ont conduit à des recommandations destinées à guider les médecins généralistes dans le repérage des malades de l’alcool et leur prise en charge thérapeutique. Cependant, la pertinence et l’applicabilité de la plupart de ces recommandations sont peu ou mal évaluées dans la pratique de la médecine générale. De ce fait, les médecins généralistes, parfois à l’encontre des recommandations, sont amenés à élaborer des concepts et des pratiques propres à leur clientèle et à leurs conditions de travail. L’originalité de ce livre vient de la confrontation des connaissances et des pratiques de deux médecins, soignant des malades de l’alcool dans des structures différentes.
Abnormal Skeletal Phenotypes : From Simple Signs to Complex Diagnoses
This book focuses on the radiographic changes of malformation syndromes and skeletal dysplasias. It is structured such that the reader can identify the radiographic changes and relate them to specific disease entities. The aim is to provide an essential, practical guideline to the recognition of the key radiographic signs for diagnosing malformation syndromes and skeletal dysplasias.
Abl Family Kinases in Development and Disease
Abl Family Kinases in Development and Disease provides an overview of the functions of Abl family kinases in Development and Disease. This new title discusses the biochemical, genetic, and cell biological data that elucidate the cellular roles for these kinases in these processes.
Abiotic Stress Tolerance in Plants : Toward the Improvement of Global Environment and Food
Stresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction in crop yield. For example, high salinity in soils accounts for large decline in the yield of a wide variety of crops world over; ~1000 million ha of land is affected by soil salinity. Increased sunlight leads to the generation of reactive oxygen species, which damage the plant cells. The threat of global environment change makes it increasingly demanding to generate crop plants that could withstand such harsh conditions. Much progress has been made in the identification and characterization of the mechanisms that allow plants to tolerate abiotic stresses.
Abeta Peptide and Alzheimers Disease : Celebrating a Century of Research
Abeta Peptide and Alzheimer’s Disease summarizes current knowledge of beta-amyloid peptide (Aß) and its role as the major culprit in Alzheimer’s Disease (AD), shown by recent advances in genetics and brain biochemistry.the book covers fundamental biochemical studies on the Aß peptide, the genetic impact on Aß expression and processing, and various AD therapeutic strategies that target Aß. Although specifically focusing on Aß and AD, there is also some discussion on the similarity and differences of this peptide and AD with other amyloidogenic diseases.
