الصفحة 6
الصفحة 6
Codes : An Introduction to Information Communication and Cryptography
Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integrated introduction to the mathematics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons for doing this: economy, reliability, and security, and each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be stated carefully, but without unnecessary abstraction.
Clinical Ultrasound in Benign Proctology : 2-D and 3-D Anal, Vaginal and Transperineal Techniques
Anal US may provide the clinician with useful information for both classification, diagnosis and management of anorectal sepsis, anal incontinence and anorectal-perineal chronic pain. Almost any case presented in this Atlas shows both imaging and clinical pictures, thus allowing both the radiologist and the clinician to assess the reliability of the exam and the outcome of the selected treatment.
Market-Consistent Actuarial Valuation
It is a challenging task to read the balance sheet of an insurance company. This derives from the fact that different positions are often measured by different yardsticks. Assets, for example, are mostly valued at market prices whereas liabilities are often measured by established actuarial methods. Market-Consistent Actuarial Valuation presents powerful methods to measure liabilities and assets in the same way. The mathematical framework that leads to market-consistent values for insurance liabilities is explained in detail by the authors. Topics covered are Stochastic discounting, Valuation portfolio in life and non-life insurance, Asset and liability management, Financial risks, Insurance technical risks, and Solvency.
Marine resource damage assessment : Liability and compensation for environmental damage
MARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term effects (ecotoxicology); (ii) the integration of these result into a Biological Effects SubModel and a mathematical model assessing the risks associated with accidental spillage of oil at sea and the damage this can cause (modelling); (iii) the assessment of the willingness to pay for ecological damage, based on the Contingent Valuation Method (economics); (iv) the development and evaluation of measures to be taken in order to guarantee a sustainable use of the Belgian part of the North Sea, taking into account the economic and social interests and values (social economics); (v) the potential to develop technical and legal procedures that allow ecological damage to the marine environment to be evaluated and compensated, taking into account constraints in national and international liability legislation (legal).
MARE-WINT : New Materials and Reliability in Offshore Wind Turbine Technology
This book provides a holistic, interdisciplinary overview of offshore wind energy, and is a must-read for advanced researchers. Topics, from the design and analysis of future turbines, to the decommissioning of wind farms, are covered. The scope of the work ranges from analytical, numerical and experimental advancements in structural and fluid mechanics, to novel developments in risk, safety & reliability engineering for offshore wind. The core objective of the current work is to make offshore wind energy more competitive, by improving the reliability, and operations and maintenance (O&M) strategies of wind turbines.
Managing the Complexity of Critical Infrastructures : A Modelling and Simulation Approach
This book summarizes work being pursued in the context of the CIPRNet (Critical Infrastructure Preparedness and Resilience Research Network) research project, co-funded by the European Union under the Seventh Framework Programme (FP7). The project is intended to provide concrete and on-going support to the Critical Infrastructure Protection (CIP) research communities, enhancing their preparedness for CI-related emergencies, while also providing expertise and technologies for other stakeholders to promote their understanding and mitigation of the consequences of CI disruptions, leading to enhanced resilience.
Management of Data Center Networks
Delivers a rigorous and insightful exploration of the network management challenges that present within intra- and inter-data center networks, including reliability, routing, and security. The book also discusses new architectures found in data center networks that aim to minimize the complexity of network management while maximizing Quality of Service, like Wireless/Wired DCNs, server-only DCNs, and more. offers: A thorough overview of the architectures of data center networks, including the classification of switch-centric, server-centric, enhanced, optical, and wireless DCN architectures An exploration of resource management in wired and wireless data center networks, including routing and wireless channel allocation and assignment challenges and criteria Practical discussions of inter-data center networks, including an overview of basic virtual network embedding Examinations of energy and security management in data center networks
Maintenance Theory of Reliability
The book provides a detailed introduction to maintenance policies, updates the reader on the current status of the field and indicates future directions. The reader will learn the theory of maintenance and how to apply models in practice.
Machine Learning and Cognitive Computing for Mobile Communications and Wireless Networks
Communication and network technology has witnessed recent rapid development and numerous information services and applications have been developed globally. These technologies have high impact on society and the way people are leading their lives. The advancement in technology has undoubtedly improved the quality of service and user experience yet a lot needs to be still done. Some areas that still need improvement include seamless wide-area coverage, high-capacity hot-spots, low-power massive-connections, low-latency and high-reliability and so on. Thus, it is highly desirable to develop smart technologies for communication to improve the overall services and management of wireless communication. Machine learning and cognitive computing have converged to give some groundbreaking solutions for smart machines. With these two technologies coming together, the machines can acquire the ability to reason similar to the human brain. The research area of machine learning and cognitive computing cover many fields like psychology, biology, signal processing, physics, information theory, mathematics, and statistics that can be used effectively for topology management. Therefore, the utilization of machine learning techniques like data analytics and cognitive power will lead to better performance of communication and wireless systems.
Lifetime Estimation of Welded Joints
In the paper the author attempts to assess the fatigue life of chosen welded joints. It focuses especially on chosen problems that accompany deter- nation of the fatigue life of welded joints, taking into consideration the strain energy density parameter.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Lessons Learned : Risk Management Issues in Genetic Counseling
The only book devoted exclusively to this specialty, Lessons Learned details the risk management issues involved in genetic counseling practice, and offers solid strategies for minimizing the risk of costly, career-damaging malpractice suits. Schmerler clearly identifies areas of practitioner liability and demonstrates how they may be averted, so counselors can better manage their practice while lowering the risk of legal action. Examples drawn from relevant court cases illustrate typical issues in malpractice, negligence, and breach of contract suits. With this in-depth knowledge, readers can refine their goals toward increased self-protection as well as client care.
Lead-free Soldering
The push toward lead-free soldering in computers, cell phones and other electronic and electrical devices has taken on a greater urgency as laws have been passed or are pending in the United States, the European Union and Asia which ban lead-bearing solder. These new restrictions on hazardous substances are changing the way electronic devices are assembled, and specifically affect process engineering, manufacturing and quality assurance. Lead-Free Soldering offers in a single volume a broad collection of practical techniques for lead-free soldering design and manufacture, which up to now have been scattered in difficult-to-find scholarly sources. The book includes the latest information on proposed changes to lead-free standards, and up-to-date analysis of government and legislative activities and regulations in North America, Europe and Asia.
Lead-Free Electronic Solders : A Special Issue of the Journal of Materials Science : Materials in Electronics
In the last few decades the effect of lead contamination on human health has received significant attention. Based on such concerns, elimination of lead from ceramic glaze, paint, plumbing etc. has been legislated and implemented. However, until recently, solders used in electronics, based on suitability and knowledge-base developed over a long period of time, remained lead-based. Successive rapid advances in microelectronic devices in recent decades make them obsolete within a very short period after their introduction resulting in significant quantities of electronic wastes in landfills. Leaching of toxic lead from such electronic wastes can result in contamination of the human food chain causing serious health hazards. As a consequence, several European and Pacific Rim countries have passed legislations warranting elimination of lead from electronic solders by fast approaching deadlines. Global economic pressures brought on by such legislations have resulted in a flurry of research activities to find suitable lead-free substitutes for the traditional leaded electronic solders.
Languages and Compilers for Parallel Computing ; 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007.The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.
IUTAM Symposium on Mechanics and Reliability of Actuating Materials ; Proceedings of the IUTAM Symposium held in Beijing, China, 1-3 September, 2004
The general assembly of IUTAM approved in August, 2002 at Cambridge University, UK, a proposal to hold an IUTAM symposium to summarize the relevant research findings. The main themes of the symposium are: (i) the constitutive relations of actuating materials that couple mechanical, electrical, thermal and magnetic properties, as well as incorporate phase transformation and domain switch; (ii) the physical mechanisms of deformation, damage, and fatigue crack growth of actuating materials; (iii) the development of failure-resilient approaches that base on the macro-, meso-, and micro-mechanics analyses; (iv) the investigation of microstructural evolution, stability of phase transformation, and size effects of ferroelectric ceramics, shape memory alloys, actuating polymers, and bio-actuating materials.
Compulsory Insurance and Compensation for Bunker Oil Pollution Damage
Oil tankers are not the only vessels that have caused oil pollution at sea. Numerous spills in the past have been of heavy fuel oil from non-tankers. However, the international liability and compensation regime covered only oil pollution damage caused by oil tankers. There was thus a need to bring the law on marine oil pollution responsive to oil pollution damage caused by non-tankers. In March 2001, the International Convention on Civil Liability for Bunker Oil Pollution Damage was adopted following a diplomatic conference at the International Maritime Organization. Though this convention has not yet come into force, its various aspects should already be considered as they will surely affect the maritime industry as a whole and the non-tanker sector, in particular. This book provides a timely and comprehensive study on the concept of compulsory insurance, its main purpose of ensuring compensation and its interrelations with other features such as the rule of strict liability and the limitation of liability under the convention.
Complex System Maintenance Handbook
Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned active researchers and experienced practitioners focussing on different aspects of maintenance. Each chapter reviews the literature dealing with a particular aspect of maintenance, reports on developments and trends in a particular industry sector, or presents a case study.
Completeness theory for propositional logics
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word ‘all’, seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics.
