Page 1
Page 1
New Methods of Concurrent Checking
New Methods of Concurrent Checking is the ultimate reference to answer the question as to how the best possible state-of-the-art error detection circuits can be designed. The most effective methods of concurrent checking for digital circuits are comprehensively described which were developed in the last 15 years. Some of the methods are published for the first time. How concurrent checking can be combined with soft error correction is also shown for the first time. This book is invaluable in considering the design of reliable systems in the emerging Nanotechnologies with an associated growing number of transient faults.
Multiphase Flow Dynamics 2 : Thermal and Mechanical Interactions ; 3rd ed.
Multi-phase flows are part of our natural environment such as tornadoes, typhoons, air and water pollution and volcanic activities as well as part of industrial technology such as power plants, combustion engines, propulsion systems, or chemical and biological industry. The industrial use of multi-phase systems requires analytical and numerical strategies for predicting their behavior. In its third extended edition this book contains theory, methods and practical experience for describing complex transient multi-phase processes in arbitrary geometrical configurations. This book provides a systematic presentation of the theory and practice of numerical multi-phase fluid dynamics. In the present second volume the mechanical and thermal interactions in multiphase dynamics are provided. This third edition includes various updates, extensions, improvements and corrections.
Iron Nutrition in Plants and Rhizospheric Microorganisms
This book uses an interdisciplinary approach to provide a comprehensive review on the status of iron nutrition in plants. International scientists discuss research on acquisition of iron by strategy I and strategy II plants. These reviews summarize a variety of plant species and include both laboratory and field observations. Topics covered in this book include: plants as a source of iron for animals and humans, iron translocation in the plants, iron-stimulated activities that influence crop yield and fruit tree productivity, iron uptake by plants as influenced by microorganisms (i.e. free living soil microorganisms, symbiotic nitrogen-fixing and pathogenic bacteria), the role of plant hormones in iron transport, iron-metal competition in phytoremediation, root zone activities involving interactions between minerals and organic matter, the role of microbial siderophores in rhizospheric iron cycling, iron storage as phytoferritin, proteomic and metabolic studies associated with iron stress response, methods for studying iron metabolism including stable isotopes, and the correction of iron deficiency through the use of synthetic or natural chelates.
Inverse Problems for Partial Differential Equations
The topic of the inverse problems is of substantial and rapidly growing interest for many scientists and engineers. The second edition covers most important recent developments in the field of inverse problems, describing theoretical and computational methods, and emphasizing new ideas and techniques. It also reflects new changes since the first edition, including some corrections. This edition is considerably expanded, with some concepts such as pseudo-convexity, and proofs simplified. New material is added to reflect recent progress in theory of inverse problems.This book is intended for mathematicians working with partial differential equations and their applications, and physicists, geophysicists and engineers involved with experiments in nondestructive evaluation, seismic exploration, remote sensing and tomography.
Introduction to Calculus and Classical Analysis
This text is intended for an honors calculus course or for an introduction to analysis. Involving rigorous analysis, computational dexterity, and a breadth of applications, it is ideal for undergraduate majors. This second edition includes corrections as well as some additional material.The text is completely self-contained and starts with the real number axioms; the integral is defined as the area under the graph, while the area is defined for every subset of the plane; there is a heavy emphasis on computational problems.
Intelligent engineering systems and computational cybernetics
A further important component of machine intelligence is a kind of “structural uniformity” giving room and possibility to model arbitrary particular details a priori not specified and unknown.This idea is similar to the ready-to-wear industry, which introduced products, which can be slightly modified later on in contrast to tailor-made creations aiming at maximum accuracy from the beginning. These subsequent corrections can be carried out by machines automatically. This “learning ability” is a key element of machine intelligence.The past decade confirmed that the view of typical components of the present soft computing as fuzzy logic, neural computing.
Graphs, networks and algorithms ; 2nd ed.
This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated some changes in the previous order of the presentation (so that the numbering differs from that of the first edition,beginning with Chapter 8). In addition to this, numerous smaller changes and corrections have been made and several recent developments have been discussed and referenced. There are also several new exercises.
Gene delivery systems : nano delivery technologies
Gene therapy involves altering the genes in the body's cells in an effort to treat or stop disease, instead of using drugs or surgery. This book discusses the development of gene therapy today, from the technology involved to gene correction and the advances in genome editing.
Flux-corrected transport : Principles, algorithms, and applications
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development of high-resolution schemes based on the Flux-Corrected Transport (FCT) paradigm. Intended for readers who have a solid background in Computational Fluid Dynamics, the book begins with historical notes by J.P. Boris and D.L. Book. Review articles that follow describe recent advances in the design of FCT algorithms as well as various algorithmic aspects. The topics addressed in the book and its main highlights include: the derivation and analysis of classical FCT schemes with special emphasis on the underlying physical and mathematical constraints; flux limiting for hyperbolic systems; generalization of FCT to implicit time-stepping and finite element discretizations on unstructured meshes and its role as a subgrid scale model for Monotonically Integrated Large Eddy Simulation (MILES) of turbulent flows. The proposed enhancements of the FCT methodology also comprise the prelimiting and 'failsafe' adjustment of antidiffusive fluxes, the use of characteristic variables, and iterative flux correction. The cause and cure of detrimental clipping/terracing effects are discussed. Many numerical examples are presented for academic test problems and large-scale applications alike.
Facilitating Desistance from Aggression and Crime : Theory, Research, and Strength-Based Practices
In Facilitating Desistance from Aggression and Crime: Theory, Research, & Strength-Based Practices, Drs. Calvin Langton and James Worling have gathered together internationally renowned authorities in the fields of psychology, psychiatry, criminology, social work, and law, to critically examine desistance as a construct, process, and outcome as well as the place of strengths work in correctional and forensic mental health settings.
Error-Correction Coding and Decoding : Bounds, Codes, Decoders, Analysis and Applications
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes in a wide range of everyday technologies, from smartphones to secure communications and transactions. Written in a readily understandable style,This book is a valuable resource for anyone interested in error-correcting codes and their applications, ranging from non-experts to professionals at the forefront of research in their field.
Error Correction Codes for Non-Volatile Memories
In ECC for Non-Volatile Memories the authors expose the basics of coding theory needed to understand the application to memories, as well as the relevant design topics, with reference to both NOR and NAND Flash architectures. A collection of software routines is also included for better understanding.
English proofreader
Using Natural Language Processing via Deep Learning, we will attempt to implement a context-sensitive spelling error correction system focused on casual text messaging. For example, usual autocorrect systems will not correct a sentence like “An apple is better than a banana” as this is a syntactically correct sentence. However, a correction should be made here to the word “then” and the sentence should be, “An apple is better than a banana.” These types of mistakes are common in people texting and can be found for example in people learning English as a second language. Natural Language Processing can be summarized as combining the utilization of computation to understand the concepts of natural language and speech.
Economists Mathematical Manual
In particular, we have included some key concepts and results from trade theory, games of incomplete information and combinatorics. In addition there are scattered additions of new formulas in many chapters. Again we are indebted to a number of people who has suggested corrections, - provements and new formulas.
Dictionary of Minor Planet Names : Addendum to Fifth ed. : 2003 - 2005
The Dictionary of Minor Planet Names, fifth Edition, is the official reference for the field of the IAU, which serves as the internationally recognised authority for assigning designations to celestial bodies and any surface features on them. The accelerating rate of the discovery of minor planets has made this Addendum to this established compendium necessary. It covers all newly published names from the period 2003-2005 as well as corrections and amendments to earlier editions.
Diastema (diagnosis & management)
Management strategies for midline diastema include addressing the underlying cause, habit correction, and potential orthodontic or restorative treatments. Orthodontic options like traditional braces, clear aligners, and lingual braces are effective in closing the gaps. Restorative treatments such as composite bonding, porcelain veneers, and ceramic crowns also offer solutions, with each method tailored to the patient’s specific needs. Despite numerous studies on environmental factors influencing diastema, the genetic basis remains under researched. Proper diagnosis, treatment planning, and long-term retention are crucial for successful diastema management.
Dentofacial and occlusal asymmetries
Covers all crucial aspects of dentofacial and occlusal asymmetries. Dentofacial and Occlusal Asymmetries covers all crucial aspects of asymmetries encountered in the stomatognathic region regarding diagnosis, treatment planning, management, and prognosis. Divided into three core sections, the first part focuses on the etiology of asymmetry and whether it is congenital or acquired through disease or trauma. The second and third sections go on to discuss localization and management, providing information on topics such as interception, correction, and camouflage.
Cryptography, information theory, and error-correction : A handbook for the 21st century ; 2nd ed.
A rich examination of the technologies supporting secure digital information transfers from respected leaders in the field. Is an indispensable resource for anyone interested in the secure exchange of financial information. Identity theft, cybercrime, and other security issues have taken center stage as information becomes easier to access. Three disciplines offer solutions to these digital challenges: cryptography, information theory, and error-correction, all of which are addressed in this book. The book also: Shares vital, new research in the field of information theory / Provides quantum cryptography updates / Includes over 350 worked examples and problems for greater understanding of ideas.
Criminal justice in America : the encyclopedia of crime, law enforcement, courts, and corrections
Provides a comprehensive overview of issues and trends in crime, law enforcement, courts, and corrections that encompass the field of criminal justice studies in the United States.
Continuous-Time Sigma-Delta A/D Conversion : Fundamentals, Performance Limits and Robust Implementations
This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread continuous-time implementations of sigma-delta modulators. The results of several years of research by the authors in the field of CT sigma-delta modulators are covered, including the analysis and modeling of different CT modulator architectures, CT/DT loop filter synthesis, a detailed error analysis of all components, and possible compensation/correction schemes for the non-ideal behavior in CT sigma-delta modulators. Guidance for obtaining low-power consumption and several practical implementations are also presented. It is shown that all the proposed new theories, architectures and possible correction techniques have been confirmed by measurements on discrete or integrated circuits. Quantitative results are also provided, thus enabling prediction of the resulting accuracy.
