Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. This book is an introduction to software reliability engineering and a survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. Current research results are reported and future directions are signposted. This text will interest: graduate students as a course textbook introducing reliability engineering software; reliability engineers as a broad, up-to-date survey of the field; and researchers and lecturers in universities and research institutions as a one-volume reference.
Geopolymer Concrete Structures with Steel and FRP Reinforcements: Analysis and Design focuses on structural behavior, including the aspects of compression, bending strength and combined action of GPC members, with the book's content based on published studies over the last two decades. Geopolymer concrete (GPC) structural members reinforced with FRP reinforcement have some advantages in resisting forces compared to conventional concrete or steel tubular members. Among the most important are the high strength and bending stiffness, fire and impact performance and favorable, construction ability and durability. To this end, there are no significant applications of these new structural elements worldwide, partly due to the lack of the understanding of their behavior and insufficient design provisions in different design manuals. This book, therefore, seeks to highlight their characteristics and future potential. - Provides comprehensive, up-to-date advances on Geopolymer Concrete (GPC) reinforced with steel and FRP bars and stirrups construction with a summary of over 100 papers published in the last decade - Compares the behavior and failure modes between Geopolymer Concrete (GPC) structures and Ordinary Portland Concrete (OPC) structures - Explains important concepts such as bond, confinement, fracture of stirrups and buckling of FRP bars - Includes an in-depth analysis of ultimate strength of GPC and OPC, considering governing failure modes - Presents design examples following international standards, including North America ACI 440.1R-15, Canadian CAN/CSA S806, and Australian such as AS 3600
Contains 458 NMR spectra with associated analytical notes covering acrylics, amides, dienes, ethers, olefins, siloxins, styrenes and derivatives, urethanes, vinyls and vinylidenes. This work provides details of the chemical structure of the analyzed sample, in addition to analytical conditions including nucleus, frequency, spectrometer and lock.
The first part of this two-part work is intended as an introduction to the fundamentals, while the second part discusses applications from the point of view of the researcher. Lively illustrations and informative tables, an overview at the beginning of each chapter and exercises with solutions make this book a valuable resource.
Proton and Carbon NMR Spectra of Polymers is an updated, consolidated volume featuring the spectra published in three previous volumes, plus 150 newly derived spectra. It contains 458 NMR spectra with associated analytical notes covering acrylics, amides, dienes, ethers, olefins, siloxins, styrenes and derivatives, urethanes, vinyls, vinylidenes, and others. The spectra obtained are either 1H or 13C; extended bibliographic references are attached. Each entry provides details of the chemical structure of the analyzed sample, in addition to analytical conditions including nucleus, frequency, spectrometer, detection technique, solvent, temperature, reference, lock and, where appropriate, flip angle. The wealth of information contained in this single volume make Proton and Carbon NMR Spectra of Polymers an essential acquisition for all academic, industrial research, and analytical laboratories and libraries involved with polymer chemistry.
The Johns Hopkins POC-IT Center ABX Guide, Second Edition continues to provide current, authoritative, comprehensive information on anti-microbial agents, infectious diseases, and commonly-encountered pathogens in one portable volume. Written by experts at the world-renowned Johns Hopkins University School of Medicine, this must-have resource features expert recommendations, clinical and diagnostic decision-making tools, and drug-to-drug interactions. Concise, thorough, and current, The Johns Hopkins ABX Guide, Second Edition is designed for quick reference and comprehension. Information is featured in an easy-to-access format that facilitates rapid application of knowledge at the point of care. Jones & Bartlett Learning is the Official Print and Mobile Provider of the Johns Hopkins ABX Guide.
Based on the authors’ research, Reliability and Optimal Maintenance presents the latest theories and methods of reliability and maintenance with an emphasis on multi-component systems, while also considering current hot topics in reliability and maintenance including: imperfect repair, economic dependence and opportunistic maintenance, and correlated failure and repair. Software reliability and maintenance cost, and warranty cost considerations are also considered.
Jones & Bartlett Learning is the Official Print and Mobile Provider of the Johns Hopkins POC-IT Center ABX Guide. Thoroughly revised and updated for 2012, the Johns Hopkins ABX Guide, Third Edition continues to provide current, authoritative and comprehensive information on anti-microbial agents, infectious disease and commonly encountered pathogens, in one portable volume. Written by experts at the world-renowned Johns Hopkins University School of Medicine, this must-have resource features expert recommendations, clinical and diagnostic decision-making tools, and drug-to-drug interactions. Concise, thorough, and current, The Johns Hopkins ABX Guide, Second Edition is designed for quick reference and comprehension. Information is featured in an easy-to-access format that facilitates rapid application of knowledge at the point of care.
Proton and Carbon NMR Spectra of Polymers is an updated, consolidated volume featuring the spectra published in three previous volumes, plus 150 newly derived spectra. It contains 458 NMR spectra with associated analytical notes covering acrylics, amides, dienes, ethers, olefins, siloxins, styrenes and derivatives, urethanes, vinyls, vinylidenes, and others. The spectra obtained are either 1H or 13C; extended bibliographic references are attached. Each entry provides details of the chemical structure of the analyzed sample, in addition to analytical conditions including nucleus, frequency, spectrometer, detection technique, solvent, temperature, reference, lock and, where appropriate, flip angle. The wealth of information contained in this single volume make Proton and Carbon NMR Spectra of Polymers an essential acquisition for all academic, industrial research, and analytical laboratories and libraries involved with polymer chemistry.
This paper examines stabilization policies in Vietnam, Cambodia, and Laos since the late 1980s. Compared with other transition economies, the Indochinese countries avoided an output collapse and moved quickly to strong GDP growth and low inflation. Each adopted a similar mix of policies centered on flexible exchange rates, high real interest rates, fiscal adjustment through expenditure cuts, and the imposition of hard budget constraints on public enterprises. In none of the countries was an exchange rate anchor considered feasible, and money-based stabilization proved effective, despite evident instability in the demand for money.
This report discusses the political, economic and social opportunities and constraints that will influence the design and implementation of REDD+ in Vietnam. In particular, four major direct drivers (land conversion for agriculture; infrastructure development; logging (illegal and legal); forest fire) and three indirect drivers (pressure of population growth and migration; the states weak forest management capacity; the limited funding available for forest protection) of deforestation and degradation in Vietnam are discussed, along with their implications for REDD+. These drivers and their impacts vary from region to region, and change over time no one-size-fitsall formula will function across the whole of Vietnam. The report also examines the lessons learnt from various forestry and economic development policies and programmes and suggests how a future REDD+ mechanism can overcome the major challenges, which include limited funding for forest protection, weak local governance capacity, poor vertical and horizontal coordination, low involvement of the poor, women and indigenous groups, low economic returns, elite capture of land and benefits, and corruption. The report suggests that if REDD+ is to succeed, it must be participatory, that is, all players are given fair and ample opportunity to be part of the programme (particularly those with the least resources or the greatest economic disenfranchisement); transparent, that is, all players can trace how the programme is administered, including the distribution of benefits; and well-monitored, to ensure that the programme is conducted such that it meets its overarching objectives and guidelines. The success of REDD+ will also require that it take a pro-poor and pro-gender equity approach.
This book describes efforts to improve subject-independent automated classification techniques using a better feature extraction method and a more efficient model of classification. It evaluates three popular saliency criteria for feature selection, showing that they share common limitations, including time-consuming and subjective manual de-facto standard practice, and that existing automated efforts have been predominantly used for subject dependent setting. It then proposes a novel approach for anomaly detection, demonstrating its effectiveness and accuracy for automated classification of biomedical data, and arguing its applicability to a wider range of unsupervised machine learning applications in subject-independent settings.
Inverse Scattering Problems and Their Application to Nonlinear Integrable Equations is devoted to inverse scattering problems (ISPs) for differential equations and their application to nonlinear evolution equations (NLEEs). The book is suitable for anyone who has a mathematical background and interest in functional analysis, partial differential equations, equations of mathematical physics, and functions of a complex variable. This book is intended for a wide community working with inverse scattering problems and their applications; in particular, there is a traditional community in mathematical physics. In this monograph, the problems are solved step-by-step, and detailed proofs are given for the problems to make the topics more accessible for students who are approaching them for the first time. Features • The unique solvability of ISPs are proved. The scattering data of the considered inverse scattering problems (ISPs) are described completely. • Solving the associated initial value problem or initial-boundary value problem for the nonlinear evolution equations (NLEEs) is carried out step-by-step. Namely, the NLEE can be written as the compatibility condition of two linear equations. The unknown boundary values are calculated with the help of the Lax (generalized) equation, and then the time-dependent scattering data (SD) are constructed from the initial and boundary conditions. • The potentials are recovered uniquely in terms of time-dependent SD, and the solution of the NLEEs is expressed uniquely in terms of the found solutions of the ISP. • Since the considered ISPs are solved well, then the SPs generated by two linear equations constitute the inverse scattering method (ISM). The application of the ISM to solving the NLEEs is consistent and is effectively embedded in the schema of the ISM.
This book presents the state-of-the-art methodology and detailed analytical models and methods used to assess the reliability of complex systems and related applications in statistical reliability engineering. It is a textbook based mainly on the author’s recent research and publications as well as experience of over 30 years in this field. The book covers a wide range of methods and models in reliability, and their applications, including: statistical methods and model selection for machine learning; models for maintenance and software reliability; statistical reliability estimation of complex systems; and statistical reliability analysis of k out of n systems, standby systems and repairable systems. Offering numerous examples and solved problems within each chapter, this comprehensive text provides an introduction to reliability engineering graduate students, a reference for data scientists and reliability engineers, and a thorough guide for researchers and instructors in the field.
An introduction to antenna Arraying in the Deep Space network Antenna arraying is the combining of the output from several antennas in order to improve the signal-to-noise ratio (SNR) of the received signal. Now implemented at the Goldstone Complex and other Deep Space Network (DSN) overseas facilities, antenna arraying provides flexible use of multiple antennas to increase data rates and has enabled NASA's DSN to extend the missions of some spacecraft beyond their planned lifetimes. Antenna Arraying Techniques in the Deep Space Network introduces the development and use of antenna arraying as it is implemented in the DSN. Drawing on the work of scientists at JPL, this timely volume summarizes the development of antenna arraying and its historical background; describes key concepts and techniques; analyzes and compares several methods of arraying; discusses several correlation techniques used for obtaining the combined weights; presents the results of several arraying experiments; and suggests directions for future work. An important contribution to the scientific literature, Antenna Arraying Techniques in the Deep Space Network * Was commissioned by the JPL Deep Space Communications and Navigation Systems (DESCANSO) Center of Excellence * Highlights many NASA-funded technical contributions pertaining to deep space communications systems * Is a part of the prestigious JPL Deep Space Communications and Navigation Series The Deep Space Communications and Navigation Series is authored by scientists and engineers with extensive experience in astronautics, communications, and related fields. It lays the foundation for innovation in the areas of deep space navigation and communications by disseminating state-of-the-art knowledge in key technologies.
THE PIONEERING WORK IN HIV MEDICINE, COMPLETELY REVISED FOR THE FIRST TIME SINCE 2012 The 17th edition of Bartlett's Medical Management of HIV Infection offers the best-available clinical guidance for treatment of patients with HIV. Edited by preeminent and pioneering authorities in HIV research and clinical care, it has earned its status as the definitive work for physicians, physician assistants, nurse practitioners, pharmacists, and anyone working in the care of persons with HIV. Updated to reflect the most recent innovations in HIV prevention and therapy, this text balances new and old approaches to produce a guide to clinical management in any setting. Coverage includes: · New approaches to prevention of HIV and prevention of infection in patients with HIV · Laboratory protocols for screening and treatment · Antiretroviral therapies (including dosage and adverse effects and drug interactions ) · HIV treatment in resource-limited settings · Management of infections A portable, navigable guide to an exquisitely complex field, Bartlett's Medical Management of HIV Infection is the continuing standard for practice and education in the field of HIV.
This book provides a comprehensive guideline on dynamic analysis and vibration control of axially moving systems. First, the mathematical models of various axially moving systems describing the string, beam, belt, and plate models are developed. Accordingly, dynamical issues such as the equilibrium configuration, critical velocity, stability, bifurcation, and further chaotic dynamics are analyzed. Second, this book covers the design of the control schemes based on the hitherto control strategies for axially moving systems: feedback control using the transfer function, variable structure control, control by regulating the axial velocity, wave cancellation approach, boundary control using the Lyapunov method, adaptive control, and hybrid control methods. Finally, according to the contents discussed in the book, specific aspects are outlined for initiating future research endeavors to be undertaken concerning axially moving systems. This book is useful to graduate students and researchers in industrial sectors such as continuous manufacturing systems, transport systems, power transmission systems, and lifting systems not to mention in academia.
Software Reliability Assessment with OR Applications is a comprehensive guide to software reliability measurement, prediction, and control. It provides a thorough understanding of the field and gives solutions to the decision-making problems that concern software developers, engineers, practitioners, scientists, and researchers. Using operations research techniques, readers will learn how to solve problems under constraints such as cost, budget and schedules to achieve the highest possible quality level. Software Reliability Assessment with OR Applications is a comprehensive text on software engineering and applied statistics, state-of-the art software reliability modeling, techniques and methods for reliability assessment, and related optimization problems. It addresses various topics, including: unification methodologies in software reliability assessment; application of neural networks to software reliability assessment; software reliability growth modeling using stochastic differential equations; software release time and resource allocation problems; and optimum component selection and reliability analysis for fault tolerant systems. Software Reliability Assessment with OR Applications is designed to cater to the needs of software engineering practitioners, developers, security or risk managers, and statisticians. It can also be used as a textbook for advanced undergraduate or postgraduate courses in software reliability, industrial engineering, and operations research and management.
Introduction to Fuzzy Systems provides students with a self-contained introduction that requires no preliminary knowledge of fuzzy mathematics and fuzzy control systems theory. Simplified and readily accessible, it encourages both classroom and self-directed learners to build a solid foundation in fuzzy systems. After introducing the subject, the authors move directly into presenting real-world applications of fuzzy logic, revealing its practical flavor. This practicality is then followed by basic fuzzy systems theory. The book also offers a tutorial on fuzzy control theory, based mainly on the well-known classical Proportional-Integral-Derivative (PID) controllers theory and design methods. In particular, the text discusses fuzzy PID controllers in detail, including a description of the new notion of generalized verb-based fuzzy-logic control theory. Introduction to Fuzzy Systems is primarily designed to provide training for systems and control majors, both senior undergraduate and first year graduate students, to acquaint them with the fundamental mathematical theory and design methodology required to understand and utilize fuzzy control systems.
This is the third volume in the Paris-Princeton Lectures in Financial Mathematics, which publishes, on an annual basis, cutting-edge research in self-contained, expository articles from outstanding specialists, both established and upcoming. Coverage includes articles by René Carmona, Ivar Ekeland/Erik Taflin, Arturo Kohatsu-Higa, Pierre-Louis Lions/Jean-Michel Lasry, and Huyên Pham.
The increasing use of metal halide perovskites as light harvesters has stunned the photovoltaic community. The book, Perovskite Solar Cells: Technology and Practices, covers the basics and provides up-to-date research in the field of perovskite photovoltaics—a fast trending branch of the thin film photovoltaic generation. This comprehensive handbook provides a broad and overall picture of perovskite solar cells (PSCs), starting with the history of development and revolution of PSCs. The authors then delve into electron-transporting materials, hole-transporting materials, and lead-free alternatives. An important chapter on tandem solar cells is also included. The chapters discuss how different layers in PSCs are fabricated and function and how their roles are as important as the perovskite layer itself. It explores what has been done and what can probably be done to further improve the performance of this device.
Stochastic optimization problems arise in decision-making problems under uncertainty, and find various applications in economics and finance. On the other hand, problems in finance have recently led to new developments in the theory of stochastic control. This volume provides a systematic treatment of stochastic optimization problems applied to finance by presenting the different existing methods: dynamic programming, viscosity solutions, backward stochastic differential equations, and martingale duality methods. The theory is discussed in the context of recent developments in this field, with complete and detailed proofs, and is illustrated by means of concrete examples from the world of finance: portfolio allocation, option hedging, real options, optimal investment, etc. This book is directed towards graduate students and researchers in mathematical finance, and will also benefit applied mathematicians interested in financial applications and practitioners wishing to know more about the use of stochastic optimization methods in finance.
Transfusion Medicine, Apheresis, and Hemostasis: Review Questions and Case Studies is the collaborative effort that spanned a time period of 2 years and included 50 experts, many whom are national leaders in their respected fields. It also represents the passion and privilege we feel to teach the next generation of physicians in Transfusion Medicine and Apheresis. The main goal for this book is to help the readers build a solid foundation of both basic and advanced conceptual knowledge to prepare for the American Board of Pathology (ABP) certification exam in Transfusion Medicine. This book is not intended to be a substitute for textbooks, original research or review articles, and/or clinical training. Further, since the field of medicine, both from a scientific and regulatory perspective, rapidly changes, the readers are advised to continuously update their knowledge by attending national meetings and reading clinical journals. To equip the readers with the basic knowledge in critical reading and data analysis, which is an essential skill in daily medical practice, a novel chapter titled "Data Interpretation in Laboratory Medicine was included in this book. In this chapter, the readers are asked to make logical conclusions based on the given data and/or statistical results. Moreover, there is also a chapter on "Practical Calculations in Transfusion Medicine, Apheresis, and Hemostasis to help consolidate all the necessary formulas commonly used in daily practice for easy reference. These chapters are unique to our book and will not be found in any other currently on the market. All of the questions in this book were originally created by the authors of each chapter. Each question can either be standalone or part of a case scenario representing challenge cases in Transfusion Medicine, Apheresis, and Hemostasis. These questions often represent both rare and common clinical scenarios that the authors have seen during their clinical practice. Each question is then followed by 5 possible answers, with only one being correct (or the best answer). After the question, there is a conceptual explanation followed by a more factual explanation of the right and wrong answers. We gave the individual authors the freedom to choose how they explained the wrong answer choices. Some authors chose to be more direct (e.g. Answer A is incorrect because...), while other authors chose a more conversational style (e.g. Human resources (answer A) includes staffing, selection, orientation, training, and competency assessment of employees). This format is designed to help the student linking the conceptual and factual knowledge together to form a solid foundation for use in clinical practice. At the end of each chapter, there is a list of articles and textbooks that will prove useful to the motivated student who wishes to become an expert in the field. Another special feature to our textbook is the presence of a pre-test and post-test, which are provided to help the readers with self-assessment. As stated above, the main focus of this book is to help the readers preparing for the ABP certification exam in Transfusion Medicine. However, due to the interdisciplinary nature of the field of Transfusion Medicine, Apheresis, and Hemostasis, we believe that this book is also beneficial to and can be used by all clinicians involved in the management of complex transfusion, apheresis, and hemostasis issues, such as hematologists, anesthesiologists, surgeons, and critical care physicians. We further believe that it is a helpful guide for these specialists to prepare for their own specialty certification exam, when the topics are related to Transfusion Medicine, Apheresis, and Hemostasis.
Food and Lifestyle in Health and Disease gathers information on various food types providing an explanation of their nutrient composition, sources, roles, and mechanisms in health and diseases. To obtain good health practices and prevent diseases, it is necessary to understand links in the relationship of food, lifestyle, environment, and health. This book is a vital source for research topics related to these issues, including the following: Analysis of various types of food and lifestyles for the prevention and treatment of diseases and disorders, including cardiovascular disorders, cancers, neurodegenerative diseases, diabetes, hypertension, and obesity. The influences of environmental pollution, synergistic effects of different foods, and synergy of foods with physical activity or medicine. The roles of animal, fungal, and plant source foods in human health and disease. This book is appropriate for health-conscious users, health care providers and practitioners, teachers, and researchers.
In the early 1970s, fuzzy systems and fuzzy control theories added a new dimension to control systems engineering. From its beginnings as mostly heuristic and somewhat ad hoc, more recent and rigorous approaches to fuzzy control theory have helped make it an integral part of modern control theory and produced many exciting results. Yesterday's "art
A Google search for a book on Vietnamese history will result in an overwhelming number about the war, which ended in 1975. This book offers an overview of Vietnamese history from prehistory to the present day and is written for people interested in history from a traveller’s perspective. It specifically focuses on the period from 700 to 111 BCE. It briefly discusses the origin of the Vietnamese and the three characters who shaped its early history: the Hùng kings – the founders of Vietnam, An Dương Vương, Zhao Tuo and the battles involved during the transfer of power from one to the next. The final battle ended the country’s autonomy and placed the country under Chinese dynastic rule for one thousand years to the 10th century. It also tells the stories of the mythical Four Immortals, the bronze drums in the north, and the earrings in the centre and south. It recounts the tragic love story of the Magic Crossbow, the 2200-year-old fort of Cổ Loa. It has 71 photographs, maps and diagrams.
Textile and fibre chemistry form the theoretical basis to understand production and properties of textile based products. In this 2nd edition fundamentals of textile chemistry and theoretical and applicatory aspects of colour chemistry are interconnected to draw detailed picture of chemical reactions occurring during production and modification of textile products. An overview about chemical modification, finishing operations is given to explain how to impart special functionalities into functional products. Examples for technical scale processes and representative machinery used therein give insight into the technical reality of a dyehouse. A new chapter about circularity of textiles highlights the interlinkage between product design, including dyes and finishes, and the requirements to develop future fibre-to-fibre recycling. The work covers all relevant aspects of a textile product from fibre production, coloration, finishing, consumer use and fibre-to-fibre recycling. The content of the book allows a first entry into this multi-disciplinary field. Through its comprehensive character the authors explain the interdependence between textile and fibre processing and aspects of recycling, which makes the work a valuable source of information to design future textiles for circularity.
This book presents an original combination of three well-known methodological approaches for nonlinear data analysis: recurrence, networks, and fuzzy logic. After basic concepts of these three approaches are introduced, this book presents recently developed methods known as fuzzy recurrence plots and fuzzy recurrence networks. Computer programs written in MATLAB, which implement the basic algorithms, are included to facilitate the understanding of the developed ideas. Several applications of these techniques to biomedical problems, ranging from cancer and neurodegenerative disease to depression, are illustrated to show the potential of fuzzy recurrence methods. This book opens a new door to theorists in complex systems science as well as specialists in medicine, biology, engineering, physics, computer science, geosciences, and social economics to address issues in experimental nonlinear signal and data processing.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.