You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Highly sensitive systems which are widely used in molecular biological & biomedical laboratories, such as colorimetric, luminescence, fluorescence measuring using antibody-antigen binding or hybridisation, as well as PCR amplification are described in detail.
This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Beca...
A volume of this nature containing a collection of papers has been brought out to honour a gentleman - a friend and a colleague - whose work has, to a large extent, advanced and popularized the use of stochastic point processes. Professor Srinivasan celebrated his sixt~ first 1:!irth d~ on December 16,1990 and will be retiring as Professor of Applied Mathematics from the Indian Institute of Technolo~, Madras on June 30,1991. In view of his outstanding contributions to the theor~ and applications of stochastic processes over a time span of thirt~ ~ears, it seemed appropriate not to let his birth d~ and retirement pass unnoticed. A s~posium in his honour and the publication of the proceedings ...
This book covers the practical application of dependable electronic systems in real industry, such as space, train control and automotive control systems, and network servers/routers. The impact from intermittent errors caused by environmental radiation (neutrons and alpha particles) and EMI (Electro-Magnetic Interference) are introduced together with their most advanced countermeasures. Power Integration is included as one of the most important bases of dependability in electronic systems. Fundamental technical background is provided, along with practical design examples. Readers will obtain an overall picture of dependability from failure causes to countermeasures for their relevant systems or products, and therefore, will be able to select the best choice for maximum dependability.
The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Rel...
This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.
This five-volume set clearly manifests the great significance of these key technologies for the new economies of the new millennium. The discussions provide a wealth of practical ideas intended to foster innovation in thought and, consequently, in the further development of technology. Together, they comprise a significant and uniquely comprehensive reference source for research workers, practitioners, computer scientists, academics, students, and others on the international scene for years to come.
Numerical software is used to test scientific theories, design airplanes and bridges, operate manufacturing lines, control power plants and refineries, analyze financial derivatives, identify genomes, and provide the understanding necessary to derive and analyze cancer treatments. Because of the high stakes involved, it is essential that results computed using software be accurate, reliable, and robust. Unfortunately, developing accurate and reliable scientific software is notoriously difficult. This book investigates some of the difficulties related to scientific computing and provides insight into how to overcome them and obtain dependable results. The tools to assess existing scientific a...