Computers - Computer Science

In recent years, there has been enormous growth in the number of 3D models and their availability to a wide segment of the population. Examples include the National Design Repository which stores 3D computer-aided design (CAD) models, the Protein Data Bank (PDB) that has...

This book introduces the problem of content-based query replacement. It motivates the term correlation modeled using MRFs and the sampling based technique to learn the search phrase definitions. These definitions are used as alternative queries to achieve higher accuracy in several retrieval tasks. Retrieving...

With the advent of computer technology, more and more images will be presented in an electronic form. Hence, we will need more advan-ced methods to deal with these images as they are becoming an indispensable part of our daily life. Plenty of knowledge can...

The ?rst and foremost goal of this lecture series was to show the beauty, depth and usefulness of the key ideas in computer science. While working on the lecture notes, we came to understand that one can recognize the true spirit of a scienti?c...

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications...

Information is stored, transmitted and processed by physical means. Thus, the concept of information and computation can be formulated in the con- text of a physical theory and the study of information requires ultimately experimentation. This sentence, innocuous at first glance, leads to non-trivial...

The purpose of the Ada 95 Quality and Style Guidelines is to help computer professionals produce better Ada programs by identifying a set of stylistic guidelines that will directly impact the quality of their Ada 95 programs. This guide is ideally suited to be...

EUROCRYEVr '97, the 15th annual EUROCRYPT conference on the theory and application of cryptographic techniques, was organized and sponsored by the International Association for Cryptologic Research (IACR). The IACR organizes two series of international conferences each year, the EUROCRYPT meeting in Europe and CRWTO...

This book constitutes the refereed proceedings of the Ninth European Conference on Machine Learning, ECML-97, held in Prague, Czech Republic, in April 1997.This volume presents 26 revised full papers selected from a total of 73 submissions. Also included are an abstract and two papers...

The book deals with algorithmic problems related to binary quadratic forms. Written by a world leader in number theory, it is the only book focusing on the algorithmic aspects of the theory. It deals with problems such as finding the representations of an integer...

Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas....

This is the first graduate textbook on the algorithmic aspects of real algebraic geometry. The main ideas and techniques presented form a coherent and rich body of knowledge. Mathematicians will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will...

This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, held in Sao Leopoldo, Brazil in July 2005. The 15 revised full papers and 10 revised extended abstracts presented together with 3 invited papers were carefully reviewed and selected from...

Author: Alexander S. Cherny, Hans-J?gen EngelbertISBN-10: 3540240071ISBN-13: 9783540240075Publisher: SpringerLanguage: EnglishPublished: 12/02/2004Pages: 128Format: PaperbackWeight: 0.45lbsSize: 9.10h x 6.10w x 0.50d

It is true that there exist many books dedicated to linear algebra and some- what fewer to multilinear algebra, written in several languages, and perhaps one can think that no more books are needed. However, it is also true that in algebra many new...

This book is a comprehensive survey of most of the theoretical and experimental achievements in the field of quantum estimation of states and operations. Albeit still quite young, this field has already been recognized as a necessary tool for research in quantum optics and...

Problems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions having many local optima and interacting, mixed-type variables.The differential evolution (DE) algorithm is a practical approach to global numerical optimization which is easy to understand, simple to implement,...

Written by a distinguished cast of contributors, Alan Turing: Life and Legacy of a Great Thinker is the definitive collection of essays in commemoration of the 90th birthday of Alan Turing. This fascinating text covers the rich facets of his life, thoughts, and legacy,...

Author: R. F. Curtain, A. J. PritchardISBN-10: 3540089616ISBN-13: 9783540089612Publisher: SpringerLanguage: EnglishPublished: 08/01/1978Pages: 298Format: PaperbackWeight: 1.10lbsSize: 9.61h x 6.69w x 0.65d

Author: A. Van WijngaardenISBN-10: 3540075925ISBN-13: 9783540075929Publisher: SpringerLanguage: EnglishPublished: 03/01/1976Pages: 238Format: PaperbackWeight: 1.23lbsSize: 11.00h x 8.25w x 0.51d

Author: P. Branquart, J. -P CardinaelISBN-10: 3540075453ISBN-13: 9783540075455Publisher: SpringerLanguage: EnglishPublished: 02/01/1976Pages: 336Format: PaperbackWeight: 1.07lbsSize: 9.21h x 6.14w x 0.72d

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern...

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication...

This textbook teaches the essential background and skills for understanding and quantifying uncertainties in a computational simulation, and for predicting the behavior of a system under those uncertainties. It addresses a critical knowledge gap in the widespread adoption of simulation in high-consequence decision-making throughout...

The application of bioinformatics approaches in drug design involves an interdisciplinary array of sophisticated techniques and software tools to elucidate hidden or complex biological data. This work reviews the latest bioinformatics approaches used for drug discovery. The text covers ligand-based and structure-based approaches for...

This book is a survey and analysis of how deep learning can be used to generate musical content. The authors offer a comprehensive presentation of the foundations of deep learning techniques for music generation. They also develop a conceptual framework used to classify and...

This volume provides a unique collection of mathematical tools and industrial case studies in digital manufacturing. It addresses various topics, ranging from models of single production technologies, production lines, logistics and workflows to models and optimization strategies for energy consumption in production. The digital...

This book is open access under a CC BY 4.0 license.This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly,...

This book explains music's comprehensive ontology, its way of existence and processing, as specified in its compact characterization: music embodies meaningful communication and mediates physically between its emotional and mental layers. The book unfolds in a basic discourse in everyday language that is accessible...

The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.The 239 revised full papers and 14 short papers presented at 33 workshops were carefully reviewed...

This book is intended to help researchers overcome the entrance barrier to Proper Generalized Decomposition (PGD), by providing a valuable tool to begin the programming task. Detailed Matlab Codes are included for every chapter in the book, in which the theory previously described is...

Introduction to optimization.- Advanced optimization techniques.- Elitist and Modified TLBO algorithms.- Applications of proposed E-TLBO and M-TLBO algorithms on constrained and unconstrained benchmark functions.- Design optimization of heat exchangers.- Design optimization of rotary regenerators.- Design optimization of cooling tower.- Optimization of combined Brayton and...

This book details an approach for realization of the field decomposition concept. The book presents the methods as well as techniques and procedures for establishing electric machine circuit-loops and determining their parameters. The methods developed have been realized using the models of machines with...

In the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. Let us look at some examples, the history of computing the number ? began in Egypt and Babylon about 2000 years BC, since then...

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi- cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni- versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were...

Author: Robert GallagerISBN-10: 3211811451ISBN-13: 9783211811450Publisher: SpringerLanguage: EnglishPublished: 12/31/1980Pages: 115Format: PaperbackWeight: 0.43lbsSize: 9.61h x 6.69w x 0.24d

The book will benefit a reader with a background in physical sciences and applied mathematics interested in the mathematical models of genetic evolution. In the first chapter, we analyze several thought experiments based on a basic model of stochastic evolution of a single genomic...

The idea behind this book is to provide the mathematical foundations for assessing modern developments in the Information Age. It deepens and complements the basic concepts, but it also considers instructive and more advanced topics. The treatise starts with a general chapter on algebraic...

In last few decades, short-term load forecasting (STLF) has been one of the most important research issues for achieving higher efficiency and reliability in power system operation, to facilitate the minimization of its operation cost by providing accurate input to day-ahead scheduling, contingency analysis,...

Decision-making on real-world problems, including individual process decisions, requires an appropriate and reliable decision support system. Fuzzy set theory, rough set theory, and neutrosophic set theory, which are MCDM techniques, are useful for modeling complex decision-making problems with imprecise, ambiguous, or vague data.This Special...

This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a...

This volume offers an up-to-date overview of essential concepts and modern approaches to computational modelling, including the use of experimental techniques related to or directly inspired by them. The book introduces, at increasing levels of complexity and with the non-specialist in mind, state-of-the-art topics...

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19...

This book collects and explains the many theorems concerning the existence of certificates of positivity for polynomials that are positive globally or on semialgebraic sets. A certificate of positivity for a real polynomial is an algebraic identity that gives an immediate proof of a...

The thesis gives the first experimental demonstration of a new quantum bit ("qubit") that fuses two promising physical implementations for the storage and manipulation of quantum information - the electromagnetic modes of superconducting circuits, and the spins of electrons trapped in semiconductor quantum dots...

This book provides an overview of the emerging field of in situ visualization, i.e. visualizing simulation data as it is generated. In situ visualization is a processing paradigm in response to recent trends in the development of high-performance computers. It has great promise in...

This book results from the XVIII Spanish-French School 'Jacques Louis Lions' on Numerical Simulation in Physics and Engineering, that took place in Las Palmas de Gran Canaria from 25th to 29th June 2018. These conferences are held biennially since 1984 and sponsored by the...

Mathematical, statistical, and computational methods enable multi-disciplinary approaches that catalyse discovery. Together with experimental methods, they identify key hypotheses, define measurable observables and reconcile disparate results. This volume collects a representative sample of studies in T cell immunology that illustrate the benefits of modelling-experimental...

This textbook provides a clear and logical introduction to the field, covering the fundamental concepts, algorithms and practical implementations behind efforts to develop systems that exhibit intelligent behavior in complex environments. This enhanced third edition has been fully revised and expanded with new content...

After reading this book, students should be able to analyze computational problems in linear algebra such as linear systems, least squares- and eigenvalue problems, and to develop their own algorithms for solving them. Since these problems can be large and difficult to handle, much...