springer london jan 2011 (21 risultati)

Taschenbuch. Condizione: Neu. Neuware - The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering.The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software.The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.

Taschenbuch. Condizione: Neu. Neuware - Clem Imrie and Colin Johnson This book stems from an unusual meeting held in The Royal College of Physicians and Surgeons of Glasgow in March 2007. Enthusiastic doctors in the diagnosis and treatment of pancreatic diseases were arranged in small groups to discuss specific unsolved/partially clinical problems and suggest the way forward. In some instances, the recommendations were initial improved longitudinal studies, while in others better double-blind randomized st- ies. The recommendations were then presented on the second day before the total 40 plus participants who added their input. Finally, the mechanics of initiating the proposals were arranged. The editors are most thankful to the authors from the meeting, who have ass- bled the various contributions to this stimulating volume. xi Part I Potential Trials in Acute Pancreatitis Chapter 1 Acute Pancreatitis in Intensive Care John Kinsella, Barry Clements, Euan Dickson, Thierry Dugernier, and Martin Hughes 1.1 Intr oduction Severe acute pancreatitis is associated with the development of the systemic inflammatory response syndrome (SIRS). Hypoxemia is a hallmark of acute pancreatitis and respiratory failure is the most common single organ failure in this disease. In the most severely ill patients mul- organ dysfunction syndrome (MODS) and multi-organ failure (MOF) occur. Intensive care with multiple organ support is necessary.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 376 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are plenty of challenging and interesting problems open for investigation in the field of switched systems. Stability issues help to generate many complex nonlinear dynamic behaviors within switched systems. The authors present a thorough investigation of stability effects on three broad classes of switching mechanism: arbitrary switching where stability represents robustness to unpredictable and undesirable perturbation, constrained switching, including random (within a known stochastic distribution), dwell-time (with a known minimum duration for each subsystem) and autonomously-generated (with a pre-assigned mechanism) switching; and designed switching in which a measurable and freely-assigned switching mechanism contributes to stability by acting as a control input.For each of these classes this book propounds: detailed stability analysis and/or design, related robustness and performance issues, connections to other control problems and many motivating and illustrative examples. 276 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Safety of VVER-440 Reactors endeavours to promote an increase in the safety of VVER-440 nuclear reactors via the improvement of fission products limitation systems and the implementation of special non-destructive spectroscopic methods for materials testing. All theoretical and experimental studies performed the by author over the last 25 years have been undertaken with the aim of improving VVER-440 defence in depth, which is one of the most important principle for ensuring safety in nuclear power plants.Safety of VVER-440 Reactors is focused on the barrier system through which the safety principle is organised:- nuclear fuel matrix;- fuel cladding;- integrity of primary circuit; and- confinement system.All these barriers are described in detail and are compared to European standards.Industrial engineers will find Safety of VVER-440 Reactors a useful guide to the safe operation of nuclear power plants and it is an informative source of information for researchers in both industry and academia. Employees of related governmental and regulatory organisations may also benefit from reading this book. 192 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dynamic management of systems development is a precondition for the realization of sustainable system development. This approach allows for the usage of systems theory methods that take into consideration the interaction of decisions made over time and space. A characteristic feature of this kind of method is that the process of sophisticated object development over time is examined for optimal decision selection. This requires the application of modelling methods that represent properties of the developing objects, high speed calculation methods for the estimation of technical and economic characteristics, as well as effective optimization methods.Dynamic Management of Sustainable Development presents a concise summary of the authors' research in the area of dynamic methods analysis of technical systems development. Along with systematic illustration of mathematical methods, considerable attention is drawn to practical realization and applications.Dynamic Management of Sustainable Development will be helpful for scientists involved in the mathematical modelling of large technical systems development and for engineers working in the area of large technical systems planning. 196 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Part of the Monographs in Cardiac Surgery Series - Introducing 'basic science into the cardiac operating room'. Fast systematic review of small areas of cardiac surgery including up-to-date information. This will allow more rapid publication than the alternative cardiac surgery 'tomes'. This entry into the series will provide readers with a complete review of the current understanding in mitral valve surgery and include extensive details on the diagnosis and surgical management of patients with mitral valve disease. 180 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text reviews the issues involved in handling and processing digital documents. Examining the full range of a document's lifetime, the book covers acquisition, representation, security, pre-processing, layout analysis, understanding, analysis of single components, information extraction, filing, indexing and retrieval. Features: provides a list of acronyms and a glossary of technical terms; contains appendices covering key concepts in machine learning, and providing a case study on building an intelligent system for digital document and library management; discusses issues of security, and legal aspects of digital documents; examines core issues of document image analysis, and image processing techniques of particular relevance to digitized documents; reviews the resources available for natural language processing, in addition to techniques of linguistic analysis for content handling; investigates methods for extracting and retrieving data/information from a document. 324 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hard machining is a relatively recent technology that can be defined as a machining operation, using tools with geometrically defined cutting edges, of a work piece that has hardness values typically in the 45-70HRc range. This operation always presents the challenge of selecting a cutting tool insert that facilitates high-precision machining of the component, but it presents several advantages when compared with the traditional methodology based in finish grinding operations after heat treatment of work pieces. Machining of Hard Materials aims to provide the reader with the fundamentals and recent advances in the field of hard machining of materials.All the chapters are written by international experts in this important field of research. They cover topics such as:- advanced cutting tools for the machining of hard materials;- the mechanics of cutting and chip formation;- surface integrity;- modelling and simulation; and- computational methods and optimization.Machining of Hard Materials can serve as a useful reference for academics, manufacturing and materials researchers, manufacturing and mechanical engineers, and professionals in machining and related industries. It can also be used as a text for advanced undergraduate or postgraduate students studying mechanical engineering, manufacturing, or materials. 224 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This text reviews the issues involved in handling and processing digital documents. Examining the full range of a document¿s lifetime, the book covers acquisition, representation, security, pre-processing, layout analysis, understanding, analysis of single components, information extraction, filing, indexing and retrieval. Features: provides a list of acronyms and a glossary of technical terms; contains appendices covering key concepts in machine learning, and providing a case study on building an intelligent system for digital document and library management; discusses issues of security, and legal aspects of digital documents; examines core issues of document image analysis, and image processing techniques of particular relevance to digitized documents; reviews the resources available for natural language processing, in addition to techniques of linguistic analysis for content handling; investigates methods for extracting and retrieving data/information from a document.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Part of the Monographs in Cardiac Surgery Series ¿ Introducing ¿basic science into the cardiac operating room¿. Fast systematic review of small areas of cardiac surgery including up-to-date information. This will allow more rapid publication than the alternative cardiac surgery ¿tomes¿. This entry into the series will provide readers with a complete review of the current understanding in mitral valve surgery and include extensive details on the diagnosis and surgical management of patients with mitral valve disease.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Large-scale video networks are of increasing importance in a wide range of applications. However, the development of automated techniques for aggregating and interpreting information from multiple video streams in real-life scenarios is a challenging area of research.Collecting the work of leading researchers from a broad range of disciplines, this timely text/reference offers an in-depth survey of the state of the art in distributed camera networks. The book addresses a broad spectrum of critical issues in this highly interdisciplinary field: current challenges and future directions; video processing and video understanding; simulation, graphics, cognition and video networks; wireless video sensor networks, communications and control; embedded cameras and real-time video analysis; applications of distributed video networks; and educational opportunities and curriculum-development.Topics and features: presents an overview of research in areas of motion analysis, invariants, multiple cameras for detection, object tracking and recognition, and activities in video networks; provides real-world applications of distributed video networks, including force protection, wide area activities, port security, and recognition in night-time environments; describes the challenges in graphics and simulation, covering virtual vision, network security, human activities, cognitive architecture, and displays; examines issues of multimedia networks, registration, control of cameras (in simulations and real networks), localization and bounds on tracking; discusses system aspects of video networks, with chapters on providing testbed environments, data collection on activities, new integrated sensors for airborne sensors, face recognition, and building sentient spaces; investigates educational opportunities and curriculum development from the perspective of computer science and electrical engineering.This unique text will be of great interest to researchers and graduate students of computer vision and pattern recognition, computer graphics and simulation, image processing and embedded systems, and communications, networks and controls. The large number of example applications will also appeal to application engineers. 504 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data Mining introduces in clear and simple ways how to use existing data mining methods to obtain effective solutions for a variety of management and engineering design problems.Data Mining is organised into two parts: the first provides a focused introduction to data mining and the second goes into greater depth on subjects such as customer analysis. It covers almost all managerial activities of a company, including:- supply chain design,- product development,- manufacturing system design,- product quality control, and- preservation of privacy.Incorporating recent developments of data mining that have made it possible to deal with management and engineering design problems with greater efficiency and efficacy, Data Mining presents a number of state-of-the-art topics. It will be an informative source of information for researchers, but will also be a useful reference work for industrial and managerial practitioners. 328 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, rapid changes and improvements have been witnessed in the field of transformer condition monitoring and assessment, especially with the advances in computational intelligence techniques. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence applies a broad range of computational intelligence techniques to deal with practical transformer operation problems. The approaches introduced are presented in a concise and flowing manner, tackling complex transformer modelling problems and uncertainties occurring in transformer fault diagnosis.Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence covers both the fundamental theories and the most up-to-date research in this rapidly changing field. Many examples have been included that use real-world measurements and realistic operating scenarios of power transformers to fully illustrate the use of computational intelligence techniques for a variety of transformer modelling and fault diagnosis problems.Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence is a useful book for professional engineers and postgraduate students. It also provides a firm foundation for advanced undergraduate students in power engineering. 220 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Part of the Monographs in Cardiac Surgery Series - Introducing 'basic science into the cardiac operating room'. Fast systematic review of small areas of cardiac surgery including up-to-date information. This will allow more rapid publication than the alternative cardiac surgery 'tomes'. This entry into the series will provide readers with a complete review of the current understanding in brain injury and the methods used to avoid or limit its effects on patient morbidity and mortality. 264 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computed Tomography gives a detailed overview of various aspects of computed tomography. It discusses X-ray CT tomography from a historical point of view, the design and physical operating principles of computed tomography apparatus, the algorithms of image reconstruction and the quality assessment criteria of tomography scanners.Algorithms of image reconstruction from projections, a crucial problem in medical imaging, are considered in depth. The author gives descriptions of the reconstruction methods related to tomography scanners with a parallel X-ray beam, trough solutions with fan-shaped beam and successive modifications of spiral scanners.Computed Tomography contains a dedicated chapter for those readers who are interested in computer simulations based on studies of reconstruction algorithms. The information included in this chapter will enable readers to create a simulation environment in which virtual tomography projections can be obtained in all basic projection systems.This monograph is a valuable study on computed tomography that will be of interest to advanced students and researchers in the fields of biomedical engineering, medical electronics, computer science and medicine. 319 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fatigue and Fracture Reliability Engineering is an attempt to present an integrated and unified approach to reliability determination of fatigue and fracture behaviour, incorporating probability, statistics and other related areas.A series of original and practical approaches, are suggested in Fatigue and Fracture Reliability Engineering, including new techniques in determining fatigue and fracture performances. It also carries out an investigation into static and fatigue properties, and into the failure mechanisms of unnotched and notched CFR composite laminates with different lay-ups to optimize the stacking sequence effect. Further benefits include:a novel convergence-divergence counting procedure to extract all load cycles from a load history of divergence-convergence waves;practical scatter factor formulae to determine the safe fatigue crack initiation and propagation lives from the results of a single full-scale test of a complete structure; anda nonlinear differential kinetic model for describing the dynamical behaviour of an atom at a fatigue crack tip.Fatigue and Fracture Reliability Engineering is intended for practising engineers in marine, civil construction, aerospace, offshore, automotive and chemical industries. It is also useful reading for researchers on doctoral programmes, and is appropriate for advanced undergraduate and postgraduate programmes in any mechanically-oriented engineering discipline. 228 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For experiments, dimensional analysis enables the design, checks the validity, orders the procedure and synthesises the data. Additionally it can provide relationships between variables where standard analysis is not available.This widely valuable analysis for engineers and scientists is here presented to the student, the teacher and the researcher. It is the first complete modern text that covers developments over the last three decades while closing all outstanding logical gaps. Dimensional Analysis also lists the logical stages of the analysis, so showing clearly the care to be taken in its use while revealing the very few limitations of application. As the conclusion of that logic, it gives the author's original proof of the fundamental and only theorem.Unlike past texts, Dimensional Analysis includes examples for which the answer does not already exist from standard analysis. It also corrects the many errors present in the existing literature by including accurate solutions.Dimensional Analysis is written for all branches of engineering and science as a teaching book covering both undergraduate and postgraduate courses, as a guide for the lecturer and as a reference volume for the researcher. 312 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Large-scale video networks are of increasing importance in a wide range of applications. However, the development of automated techniques for aggregating and interpreting information from multiple video streams in real-life scenarios is a challenging area of research.Collecting the work of leading researchers from a broad range of disciplines, this timely text/reference offers an in-depth survey of the state of the art in distributed camera networks. The book addresses a broad spectrum of critical issues in this highly interdisciplinary field: current challenges and future directions; video processing and video understanding; simulation, graphics, cognition and video networks; wireless video sensor networks, communications and control; embedded cameras and real-time video analysis; applications of distributed video networks; and educational opportunities and curriculum-development.Topics and features: presents an overview of research in areas of motion analysis, invariants, multiple cameras for detection, object tracking and recognition, and activities in video networks; provides real-world applications of distributed video networks, including force protection, wide area activities, port security, and recognition in night-time environments; describes the challenges in graphics and simulation, covering virtual vision, network security, human activities, cognitive architecture, and displays; examines issues of multimedia networks, registration, control of cameras (in simulations and real networks), localization and bounds on tracking; discusses system aspects of video networks, with chapters on providing testbed environments, data collection on activities, new integrated sensors for airborne sensors, face recognition, and building sentient spaces; investigates educational opportunities and curriculum development from the perspective of computer science and electrical engineering.This unique text will be of great interest to researchers and graduate students of computer vision and pattern recognition, computer graphics and simulation, image processing and embedded systems, and communications, networks and controls. The large number of example applications will also appeal to application engineers.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In recent years, rapid changes and improvements have been witnessed in the field of transformer condition monitoring and assessment, especially with the advances in computational intelligence techniques. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence applies a broad range of computational intelligence techniques to deal with practical transformer operation problems. The approaches introduced are presented in a concise and flowing manner, tackling complex transformer modelling problems and uncertainties occurring in transformer fault diagnosis.Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence covers both the fundamental theories and the most up-to-date research in this rapidly changing field. Many examples have been included that use real-world measurements and realistic operating scenarios of power transformers to fully illustrate the use of computational intelligence techniques for a variety of transformer modelling and fault diagnosis problems.Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence is a useful book for professional engineers and postgraduate students. It also provides a firm foundation for advanced undergraduate students in power engineering.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Fatigue and Fracture Reliability Engineering is an attempt to present an integrated and unified approach to reliability determination of fatigue and fracture behaviour, incorporating probability, statistics and other related areas.A series of original and practical approaches, are suggested in Fatigue and Fracture Reliability Engineering, including new techniques in determining fatigue and fracture performances. It also carries out an investigation into static and fatigue properties, and into the failure mechanisms of unnotched and notched CFR composite laminates with different lay-ups to optimize the stacking sequence effect. Further benefits include:a novel convergence-divergence counting procedure to extract all load cycles from a load history of divergence-convergence waves;practical scatter factor formulae to determine the safe fatigue crack initiation and propagation lives from the results of a single full-scale test of a complete structure; anda nonlinear differential kinetic model for describing the dynamical behaviour of an atom at a fatigue crack tip.Fatigue and Fracture Reliability Engineering is intended for practising engineers in marine, civil construction, aerospace, offshore, automotive and chemical industries. It is also useful reading for researchers on doctoral programmes, and is appropriate for advanced undergraduate and postgraduate programmes in any mechanically-oriented engineering discipline.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.