Computer Science category: 2288 books

The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one...

Cloud computing has become a significant technology trend. Experts believe cloud computing is currently reshaping information technology and the IT marketplace. The advantages of using cloud computing include cost savings, speed to market, access to greater computing resources, high availability,...

This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast...

The book of nature is written in the language of mathematics  -- Galileo Galilei   How is it possible to predict weather patterns for tomorrow, with access solely to today’s weather data? And how is it possible to predict the aerodynamic behavior of an aircraft that has yet to be...

Seminar paper from the year 2000 in the subject Computer Science - Commercial Information Technology, grade: 2,0 (B), UNITEC New Zealand (Information Systems), 3 entries in the bibliography, language: English, abstract: The PRS (Performance Right Industry) is a non-profit organization in the United...

★☆**If you are looking to start a new career that is in high demand, then you need to continue reading!**★☆​​​​​​​ Data scientists are changing the way big data is used in different institutions. Big data is everywhere, but without the right person to interpret...

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical...

The book constitutes selected high quality papers presented in International Conference on Computing, Power and Communication Technologies 2018 (GUCON 2018) organised by Galgotias University, India, in September 2018. It discusses issues in electrical, computer and electronics engineering and technologies....

Traditionally, genetics laboratory exercises at the university level focus on mono- and dihybrid crosses and phenotypic analysis—exercises under traditional time, materials, and process constraints.  Lately, molecular techniques such as gene cloning, polymerase chain reactions (PCR), and bioinformatics...

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate...

Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In...

Microprocessors are the key component of the infrastructure of our 21st-century electronic- and digital information-based society. More than four billion are sold each year for use in 'intelligent' electronic devices; ranging from smart egg-timer through to aircraft management systems. Most of these...

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation,...