الصفحة 28
الصفحة 28
img

Active Sensor Planning for Multiview Vision Tasks

Describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing a perception task. Several methods are proposed to solve the problems in both model-based and nonmodel-based vision tasks. For model-based applications, the method involves determination of the optimal sensor placements and a shortest path through these viewpoints for automatic generation of a perception plan.

img

Accountability for International Humanitarian Law Violations : The Case of Rwanda and East Timor

The main objective of this book is to make available to an informed audience a le­ gal and policy oriented study on accountability for serious human rights and inter­ national humanitarian law violations. It is an attempt to share the lessons learnt in accountability for atrocity crimes as conducted by the International Criminal Tri­ bunal for Rwanda (ICTR), and the United Nations Transitional Administration in East Timor (UNTAET). The former established subsequent to egregious atrocities that took place in 1994, and the latter following the massive outburst of violence in 1999. The book is based on two cases: Rwanda and East Timor. It is expected that it will serve as reference literature to both the legal community and policy makers on accountability for heinous international crimes.

img

Academic Integrity in Canada : An Enduring and Essential Challenge

Firmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents aspects of academic integrity that is specific to Canada, such as the existence of an "honour culture", rather than relying on an "honour code". It also includes Indigenous voices and perspectives that challenge traditional understandings of intellectual property, as well as new understandings that have arisen as a consequence of Covid-19 and the significant shift to online and remote learning.

img

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.

img

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.

img

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.

img

A Time for Metabolism and Hormones

Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers in many fields, including endocrinology, neurosciences, cancer, and behavior. By integrating a circadian view within the fields of endocrinology and metabolism, researchers will be able to reveal many, yet-unsuspected aspects of how organisms cope with changes in the environment and subsequent control of homeostasis. This field is opening new avenues in our understanding of metabolism and endocrinology. A panel of the most distinguished investigators in the field gathered together to discuss the present state and the future of the field. The editors trust that this volume will be of use to those colleagues who will be picking up the challenge to unravel how the circadian clock can be targeted for the future development of specific pharmacological strategies toward a number of pathologies.

img

A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.

img

A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus

Based on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human material. Gaining insight in the consequences of longitudinal damage to the human spinal cord is necessary before reimplantation of the avulsed rootlets or an autologous transplant can be performed in man.

img

A Life Course Perspective on Health Trajectories and Transitions

This book examines health trajectories and health transitions at different stages of the life course, including childhood, adulthood and later life. It provides findings that assess the role of biological and social transitions on health status over time. The essays examine a wide range of health issues, including the consequences of military service on body mass index, childhood obesity and cardiovascular health, socio-economic inequalities in preventive health care use, depression and anxiety during the child rearing period, health trajectories and transitions in people with cystic fibrosis, and oral health over the life course.

img

A Language of Contemporary Architecture : An Index of Topology and Typology

Provides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary language of architecture described as “contemporism” through a review of topology (form) and typology (system and elements). Trying to answer the postmodern question of how to move beyond modernism through a thread of architectural styles that tried to respond to deficiencies from the modern promise and contextual changes. Yet, the question remains, should this ongoing struggle to move beyond modernism be a stylistic battle? Has the present architectural practice ever left the modernist tendencies, and is there a structure for a contemporary language in architecture?. Presents a collection of highly illustrated projects that have worked under these parameters to break away from modernism in order to present a holistic integration of topology and typology as a language for “contemporism.” The index is illustrated with individual spreads, which can be read sequentially or independently, and encourages the reader to make their own connections. It also includes interviews and contributions from Toyo Ito, Anthony Vidler, Ben van Berkel, Christian Kerez, and Greg Lynn.

img

A History of Thermodynamics : The Doctrine of Energy and Entropy

The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.

img

A Guide to Methods in the Biomedical Sciences

A Guide to Methods in the Biomedical Sciences gives a basic description of common methods used in research. This is not intended to be a methods book. Rather, it is intended to be a book that outlines the purpose of the methods described, their limitations and provide alternative approaches as appropriate. Thousands of methods have been developed in the various biomedical disciplines and those covered in this book represent the basic, essential and most widely used methods in several different disciplines. The historical background (including some interesting anecdotes) leading to the development of ground-breaking techniques are described, especially those that significantly advanced the field of biomedical research. Advances that earned their inventors prestigious Nobel Prizes are emphasized. The book is divided into six sections, highlighting selected methods in protein chemistry, nucleic acids, recombinant DNA technology (including forensic based methods), antibody-based techniques, microscopy and imaging, and the use of animals in biomedical sciences.

img

A guide to business mathematics

A guide to using metrics to manage and measure performance, and business economics. Foundations on algebra, number theory, sequences and series, matrix theory and calculus are included as is a complete chapter on using software.

img

A Course in Calculus and Real Analysis

Provides a self-contained and rigorous introduction to calculus of functions of one variable. The presentation and sequencing of topics emphasizes the structural development of calculus. At the same time, due importance is given to computational techniques and applications. The authors have strived to make a distinction between the intrinsic definition of a geometric notion and its analytic characterization. It highlight the fact that calculus provides a firm foundation to several concepts and results that are generally encountered in high school and accepted on faith. For example, one can find here a proof of the classical result that the ratio of the circumference of a circle to its diameter is the same for all circles. Also, this book helps get a clear understanding of the concept of an angle and the definitions of the logarithmic, exponential and trigonometric functions together with a proof of the fact that these are not algebraic functions. A number of topics that may have been inadequately covered in calculus courses and glossed over in real analysis courses are treated here in considerable detail. As such, this book provides a unified exposition of calculus and real analysis.

img

3-D Structural Geology : A Practical Guide to Quantitative Surface and Subsurface Map Interpretation

This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; for interpolating - tween and extrapolating beyond the control points; and for validating the final int- pretation. The underlying philosophy is that structures are three-dimensional solid bodies and that data from throughout the structure, whether in 2-D or 3-D format, should be integrated into an internally consistent 3-D interpretation. It is assumed that most users of this book will do their work on a computer. C- sequently, the book provides quantitative structural methods and techniques that are designed for use with spreadsheets, mapping software, and three-dimensional c- puter-graphics programs. The book is also intended to provide the background for understanding what interpretive software, for example, a computer contouring p- gram, does automatically. Most techniques are presented in both a traditional format appropriate for paper, pencil, and a pocket calculator, and in quantitative format for use with spreadsheets and computer-graphics or computer-aided-design programs.

img

21st century villa

People's everchanging lifestyles bring about more and more requirements for the overall qualities of houses, and the demands for residences have marched towards the psychological dimension and cultural sphere. Consequently, there arise new design trends and new requirements for environment, material selection and design concept. The design projects in this book lead readers to perceive the comfort and cosiness of the natural space. The designers of these projects have created more natural, and convenient living spaces in the most natural and purest design languages, giving them a comprehensive and vivid explanation of the architecture design concept that buildings are created for people.

img

13th International Conference on Electrical Bioimpedance and the 8th Conference on Electrical Impedance Tomography2007 ; ICEBI 2007, August 29th - September 2nd 2007, Graz, Austria

These proceedings continue the series edited in the framework of the traditional triennial International Conference on Electrical Bio-Impedance (ICEBI), the most important platform for presenting recent scientific achievements in the area of electrical bio-impedance. The XIII ICEBI was held from Aug. 29th – Sept. 02nd 2007 at the Graz University of Technology in Graz, Austria. As already in previous years the 13th ICEBI was held together with the 8th Conference on Electrical Impedance Tomography, the annual meeting for biomedical impedance imaging. Consequently, the proceedings also contain many contributions from this very important and challenging branch of bioimpedance research.

img

100 years of relativity : Space-time structure - Einstein and beyond

Contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century.

عدد النتائج بكل صفحة