Precharge logic is used by a variety of industries in applications where processor speed is the primary goal, such as VLSI (very large systems integration) applications. Also called dynamic logic, thi
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the
What many digital animators fail to realize is that someone needs to make the software that's used to bring images to life. Without the tools, the ideas can never be materialized. In Computer Anima
Digital Design and Computer Architecture Second Edition David Money Harris and Sarah L. Harris "Harris and Harris have taken the popular pedagogy from Computer Organization and Design down to the n
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathe
The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. O
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the remarkable renaissance of modal logic in the 20th century. Beginning with the early systems
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of
If you want to grasp the full length and breadth of the rapidly developing computer telephony field, this book is the place to start. Author Richard Grigonis thoroughly explains even the most abstruse
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and pote
Biostatistics and Computer-based Analysis of Health Data Using SAS is primarily intended for health researchers who have basic knowledge in statistical methodology. It mainly focuses on the use of SAS
Biostatistics and Computer-Based Analysis of Health Data Using Stata is primarily intended for health researchers who have basic knowledge of statistical methodology and relies on the use of Stata to
Many of the actions performed from by a statistical software comes back to handle,down to manipulating or even transforming digital data, which actually representing statistical data literally.It is t
Frontiers in Computational Chemistry, originally published by Bentham and now distributed by Elsevier, presents the latest research findings and methods in the diverse field of computational chemistry
Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications introduces you to a broad array of modeling and simulation issues related to computer networks and systems. It
Emerging Trends in Image Processing, Computer Vision, and Pattern Recognition discusses the latest in trends in imaging science which at its core consists of three intertwined computer science fields,
The emerging field of network science represents a new style of research that can unify such traditionally-diverse fields as sociology, economics, physics, biology, and computer science. It is a power
This volume collects together the presentations at the Eighth International Conference on Foundations of Computer-Aided Process Design, FOCAPD-2014, an event that brings together researchers, educator
Computer Incident Response and Forensics Team Management provides security professionals with a complete handbook of computer incident response from the perspective of forensics team management. This
Computer-aided process engineering (CAPE) plays a key design and operations role in the process industries, from the molecular scale through managing complex manufacturing sites. The research interest
Human-Computer Interaction: An Empirical Research Perspective is the definitive guide to empirical research in HCI. The book begins with foundational topics including historical context, the human fac
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the terr
This undergraduate and postgraduate text will familiarise readers with interval arithmetic and related tools to gain reliable and validated results and logically correct decisions for a variety of geo
Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and
Cognitive Computing for Human-Robot Interaction: Principles and Practices explores the efforts that should ultimately enable society to take advantage of the often-heralded potential of robots to provide economical and sustainable computing applications. The book discusses each of these abilities, presents working implementations, and combines coherent and original deliberative architecture for human-robot interaction. Supported by experimental results, the book shows how explicit knowledge management can be instrumental in richer and more natural human-robot interactions by pushing for pervasive, human-level semantics within the robot's deliberative system for sustainable computing applications.
Failure in Geomaterials offers a unified view of material failure as an instability of deformation modes framed within the theory of bifurcation. Using mathematical rigor, logic, physical reasoning a
Safety of Web Applications: Risks, Encryption and Handling Vulnerabilities with PHP explores many areas that can help computer science students and developers integrate security into their application
Complex Systems and Clouds provides insights into the intricate world of self-organizing systems. Large scale distributed computer systems have evolved into very complex systems and are at the point
Advances in Computers carries on a tradition of excellence, presenting detailed coverage of innovations in computer hardware, software, theory, design, and applications.The book provides contributors
Computational Materials Engineering: Achieving High Accuracy and Efficiency in Metals Processing Simulations describes the most common computer modeling and simulation techniques used in metals proces
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors
This book provides an authoritative guide for postgraduate students and academic researchers in electronics, computer and network engineering, telecommunications, energy technology and home automation
This book bridges the fields of finance, mathematical finance and engineering, and is suitable for engineers and computer scientists who are looking to apply engineering principles to financial market
In recent years, production decline-curve analysis has become the most widely used tool in the industry for oil and gas reservoir production analysis. However, most curve analysis is done by computer
Medical modelling and the principles of medical imaging, Computer Aided Design (CAD) and Rapid Prototyping (also known as Additive Manufacturing and 3D Printing) are important techniques relating to v
Engineering drawing is the "instrument of communication" upon which the designer must place all information necessary to define a new product. Computer-aided design (CAD) courses often involve teachin
The use of bioresorbable polymers in stents, fixation devices and tissue engineering is revolutionising medicine. Both industry and academic researchers are interested in using computer modelling to r
In the past decade, the number of wireless devices has grown exponentially. Decades ago, all systems were wired computer systems. Wireless technology was not accessible in mobile and portable devices
Computer Vision on Mobile Devices describes the latest developments in mobile computer vision, including design choices and methodologies for adapting computer vision algorithms to mobile hardware and
Nanophotonics is a newly developing and exciting field, with two main areas of interest: imaging/computer vision and data transport. The technologies developed in the field of nanophotonics have far r
