388 Ergebnisse - Zeige 81 von 100.

Scientists and regulators have struggled to define the role of theory, experiments, models and common sense in risk analysis. This situation has been made worse by the isolation of theory from modeling, of experimentation from theory, and of practical action from basic science. This book arises from efforts at regulatory agencies and industries to bring more science into health risk analysis so that society may better use limited resources t...

In recent years, there have been several attempts to define a logic for information retrieval (IR). The aim was to provide a rich and uniform representation of information and its semantics with the goal of improving retrieval effectiveness. The basis of a logical model for IR is the assumption that queries and documents can be represented effectively by logical formulae. To retrieve a document, an IR system has to infer the formula representi...

Food security is defined as the ability of countries, regions, or households to meet their required levels of food consumption at all times. Food security is an important component of human welfare, and it can act as an indicator of a region's development. This book addresses the roles of trade, policy development, and economic cooperation in creating sustainable food security in the West African region. The largely micro-level analysis is c...

Among the several modes of diagnostic testing for infections, serological (i.e. antibody determination) studies are still heavily used. Serodiagnosis of the Infectious Diseases examines this topic in a contemporary context, and in so doing utilizes serodiagnosis of Mycoplasma pneumoniae infection as the study model. Major serological methods are reviewed, as is the chronological development of serodiagnosis for this infection. There are many i...

Relateur phrastique et discursif par excellence, le mot espagnol QUE affiche une grande souplesse combinatoire, révélatrice d'un signifié bien abstrait. À l'inverse des approches habituelles qui démultiplient les catégories de ce morphème (que relatif, complétif, comparatif, interrogatif, etc.), ce travail part à la recherche d'un signifié unique pour le signifiant /ke/. Une analyse détaillée des structures existantes révèle une fonction commu...

Klimawandel, Bevölkerungswachstum und Rohstoffknappheit sind nur einige wichtige Beispiele für die Herausforderungen der Zukunft. Deutschland verfügt über wenige eigene Energierohstoffe. Viele Energieträger wie Erdöl, Erdgas oder Uran müssen deshalb importiert werden. Einige dieser Produkte werden in großem Umfang aus Russland angeliefert. Um unabhängiger von ausländischen Lieferungen zu werden und auf dem Technologiemarkt eine Vorreiterrolle ...

Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated manufacturing facilities, in controlling and tracking air traffic, and in communication systems. In recent years, real-time systems have also grown larger and become more critical. For instance, advanced aircraft such as the space shuttle must depend heavily on computer sys­ tems [Carlow 84]. The ce...

Postal service has received considerably less attention in the economics literature than traditional public utilities. Postal service is facing some very important challenges arising out of the increasingly high-tech nature of postal service, the entry of competition into the business, and new attitudes on the part of government to postal service. In the United Kingdom and Germany the increased interest in privatization and recognition of the ...

This volume contains a selection of papers that focus on the state-of­ the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addre...

Image segmentation is generally the first task in any automated image understanding application, such as autonomous vehicle navigation, object recognition, photointerpretation, etc. All subsequent tasks, such as feature extraction, object detection, and object recognition, rely heavily on the quality of segmentation. One of the fundamental weaknesses of current image segmentation algorithms is their inability to adapt the segmentation process ...

This work results from my interest in the field of vector optimiza­ tion. I stumbled first upon this subject in 1982 during my six months visit to the Istituto di Elaborazione della Informazione in Pisa, Italy, supported by a fellowship of the (Italian) Consiglio Nationale delle Richerche. I was attracted then by a gap between vector optimiza­ tion used to serve as a formal model for multiple objective decision problems and the decision proble...

Many different kinds of FPGAs exist, with different programming technologies, different architectures and different software. Field-Programmable Gate Array Technology describes the major FPGA architectures available today, covering the three programming technologies that are in use and the major architectures built on those programming technologies. The reader is introduced to concepts relevant to the entire field of FPGAs using popular device...

Video and Image Processing in Multimedia Systems treats a number of critical topics in multimedia systems, with respect to image and video processing techniques and their implementations. These techniques include: Image and video compression techniques and standards, and Image and video indexing and retrieval techniques. Video and Image Processing in Multimedia Systems is divided into three parts. Part I serves as an introduction to mult...

Low-Voltage CMOS Operational Amplifiers: Theory, Design and Implementation discusses both single and two-stage architectures. Opamps with constant-gm input stage are designed and their excellent performance over the rail-to-rail input common mode range is demonstrated. The first set of CMOS constant-gm input stages was introduced by a group from Technische Universiteit, Delft and Universiteit Twente, the Netherlands. These earlier versions o...

In earlier forewords to the books in this series on Discrete Event Dynamic Systems (DEDS), we have dwelt on the pervasive nature of DEDS in our human-made world. From manufacturing plants to computer/communication networks, from traffic systems to command-and-control, modern civilization cannot function without the smooth operation of such systems. Yet mathemat­ ical tools for the analysis and synthesis of DEDS are nascent when compared to the...

Concepts, Mechanisms, and New Targets for Chemotherapy describes new interconnections between rationally designed and empirically discovered compounds. One route that has not been travelled previously is that of protein kinase C inhibition. This pathway may be exploited to give potent inhibitors, such as the bryostatins, now in clinical trial. A summary is given of the current status of topoisomerase, focusing on recent clinical advances with ...

Anatomy, to be sure, is the essential foundation of clinical practice, but it is much more than that. First and foremost, anatomy is a biological science. There is order and logic to the organization of the human body and the arrangement of its parts. And, as all sciences, anatomy offers challenge and discovery. Concepts in Anatomy is not a textbook, but more of a brief handbook that is selective rather than encyclopedic in scope, conception r...

Biometrics such as fingerprint, face, gait, iris, voice and signature, recognizes one's identity using his/her physiological or behavioral characteristics. Among these biometric signs, fingerprint has been researched the longest period of time, and shows the most promising future in real-world applications. However, because of the complex distortions among the different impressions of the same finger, fingerprint recognition is still a challen...

This monograph studies the logical aspects of domains as used in de­ notational semantics of programming languages. Frameworks of domain logics are introduced, these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se­ mantics in the sense that the denotation of any program coincides with the set of asserti...

In topological measure theory, Radon measures are the most important objects. In the context of locally compact spaces, there are two equivalent canonical definitions. As a set function, a Radon measure is an inner compact regular Borel measure, finite on compact sets. As a functional, it is simply a positive linear form, defined on the vector lattice of continuous real-valued functions with compact support. During the last few decades, in par...