الصفحة 14
الصفحة 14
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.
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.
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 oral and maxillofacial radiology
Presents an extensive case collection of both common and less common conditions of the jaws and teeth. Focusing on the essentials of radiologic interpretation, this is a go-to companion for clinicians in everyday practice who have radiologically identified a potential abnormality, as well as a comprehensive study guide for students at all levels of dentistry, surgery and radiology. Unique lesion-based problem solving chapter makes this an easy-to-use reference in a clinical settingIncludes 2D intraoral radiography, the panoramic radiograph, cone beam CT, multidetector CT and MRIMultiple cases are presented in order to demonstrate the variation in the radiological appearances of conditions affecting the jaws and teethSpecial focus on conditions where diagnostic imaging may substantially contribute to diagnosisFeatures a useful chapter covering the temporomandibular joint
Atlas of electroanatomic mapping in supraventricular arrhythmias
For decades clinical electrophysiology has been considered a discipline for adepts, able to interpret not so obvious intracardiac signals. With the advent of new technologies, offering a three-dimensional reconstruction of cardiac anatomy and generating colour-coded maps, the approach to the complex world of electrophysiology is changing: A three-dimensional colour-coded electroanatomic map of a left atrium could be a precise and self-explanatory representation based on intracavitary signals, on which correct diagnosis is made and successul ablation is performed. As expected, this makes the difference especially in cases exhibiting complex arrhythmias (atypical atrial flutters, postsurgical arrhythmias), in which the task could be really tough.
Atlas de pathologie thoracique = Atlas of thoracic pathology
This book, devoted primarily to chest imaging, is divided into three main parts. The first brings together all the information to understand the formation and interpretation of images of the thorax, whether normal or pathological, and thus to avoid as many misinterpretations as possible. The second studies the different thoracic radioanatomical syndromes. It allows the pulmonologist, faced with a certain type of image, to relate it to the underlying anatomical compartment damaged and then to consider all the possible etiologies. The third part, on the other hand, recapitulates all the radiological aspects likely to be encountered in each of the pathologies considered.
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.
Aspects of physical biology : Biological water, protein solutions, transport and replication
The present volume focuses on three main subtopics (biological water, protein solutions as well as transport and replication), presenting for each of the them the on-going debates on recent results. The role of water in biological processes, the mechanisms of protein folding, the phases and cooperative effects in biological solutions, the thermodynamic description of replication, transport and neural activity, all are subjects that are revised in this volume, based on new experiments and new theoretical interpretations.
Artificial intelligence in medicine ; 10th conference on artificial intelligence in medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 10th Conference on Artificial Intelligence in Medicine in Europe, AIME 2005, held in Aberdeen, UK in July 2005. The 35 revised full papers and 34 revised short papers presented together with 2 invited contributions were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on temporal representation and reasoning, decision support systems, clinical guidelines and protocols, ontology and terminology, case-based reasoning, signal interpretation, visual mining, computer vision and imaging, knowledge management, machine learning, knowledge discovery, and data mining.
Articulated Motion and Doformable Objects ; 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings
The subject of the conference was ongoing research in articulated motionon a sequence of images and sophisticated models for deformable objects. Thegoals of these areas are to understand and interpret the motion of complexobjects that can be found in sequences of images in the real world. The maintopics considered as priority were: geometric and physical deformable models,motion analysis, articulated models and animation, modelling and visualizationof deformable models, deformable models applications, motion analysis applica-tions, single or multiple human motion analysis and synthesis, face modelling,tracking, recovering and recognition models, virtual and augmentedreality, haptics devices, biometrics techniques.
Arguing Fundamental Rights
The book is unique in combining a challenging interpretation of one the foremost European conceptions of fundamental rights with the discussion of the pragmatics of constitutional adjudication.
Aquinas and Maimonides on the Possibility of the Knowledge of God : An Examination of The Quaestio de attributis
This in-depth study of Thomas Aquinas’ Quaestio de attributis. Shows that the Quaestio contains Aquinas’ final answer to the dispute on the divine attributes, and thoroughly examines his interpretation of Maimonides’ position on the issue of the knowledge of God by analysing this and other texts related to it chronologically and doctrinally.
Applied Rasch Measurement : A Book of Exemplars : Papers in Honour of John P. Keeves
While the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and related purpose is to provide a useful resource. We believe that the combination of the developmental history and theory of the method, the examples of its use in practice, some possible future directions, and software and data files will make this book a valuable resource for teachers and scholars of the Rasch method. This book is a tribute to Professor John P Keeves for the advocacy of the Rasch model in Australia.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied Bioinformatics : An Introduction
In this book, anyone who can operate a PC, standard software and the Internet will learn to understand the biological basis of bioinformatics of the existence as well as the source and availability of bioinformatics software how to apply these tools and interpret results with confidence.This is aided by introductory chapters to important aspects of bioinformatics, detailed bioinformatics exercises, including solutions and a glossary of definitions and terminology relating to bioinformatics.
Ancient monuments and modern identities : A critical history of archaeology in 19th and 20th century Greece
Sets out to examine the role of archaeology in the creation of ethnic, national and social identities in 19th and 20th century Greece. The essays included in this volume examine the development of interpretative and methodological principles guiding the recovery, protection and interpretation of material remains and their presentation to the public. The role of archaeology is examined alongside prevailing perceptions of the past, and is thereby situated in its political and ideological context. The book is organized chronologically and follows the changing attitudes to the past during the formation, expansion and consolidation of the Modern Greek State. The aim of this volume is to examine the premises of the archaeological discipline, and to apply reflection and critique to contemporary archaeological theory and practice.
Analytical Techniques in Forensic Science
Analytical Techniques in Forensic Science is a comprehensive guide written in accessible terms that examines the interface between analytical chemistry and trace evidence in forensic science. With contributions from noted experts on the topic, the text features a detailed introduction analysis in forensic science and then subsequent chapters explore the laboratory techniques grouped by shared operating principles. For each technique, the authors incorporate specific theory, application to forensic analytics, interpretation, forensic specific developments, and illustrative case studies.
Analysis file of drug-induced lung injury : expert opinion for analysis of big data
Describes the pathologic conditions of drug-induced lung injuries, monitoring strategies, and guides on how to interpret the evidence. It also dives into particular drugs that caused the disorder, such as EGFR inhibitors, anti-EGFR antibodies, mTOR inhibitors, proteasome inhibitors, immune checkpoint inhibitors, neoangiogenesis inhibitors, and other molecular targeted drugs. It outlines the analysis and interpretation of the post-marketing survey on surveillance of each drug for inducing pulmonary lesions presenting diffuse haziness. The data and analysis from this survey are valuable since a guideline is yet to be established due to limited clinical evidence and cases. As new drugs are developed, establishing treatment and event management is crucial.
Analogy in Indian and western philosophical thought
This book was assembled from numerous excerpts, notes, and fragments according to his initial plans. Zilberman’s legacy still awaits its true discovery and this book is a second installment to it after The Birth of Meaning in Hindu Thought (Kluwer, 1988). Zilberman’s treatment of analogy is unique in its approach, scope, and universality for Western philosophical thought.
