You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This proceedings presents recent practical applications of Computational Biology and Bioinformatics. It contains the proceedings of the 9th International Conference on Practical Applications of Computational Biology & Bioinformatics held at University of Salamanca, Spain, at June 3rd-5th, 2015. The International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB) is an annual international meeting dedicated to emerging and challenging applied research in Bioinformatics and Computational Biology. Biological and biomedical research are increasingly driven by experimental techniques that challenge our ability to analyse, process and extract meaningful knowledg...
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.
The contributors are among the world's leading researchers inautomated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems. The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the culture of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek ...
This is the second in a series of comprehensive annual reference guides to the use of computers in all the disciplines of the humanities. Like its predecessor, this volume provides a taxonomy of the field and an annotated survey of publications, research centers, text archives and termbanks, electronic communications, software, and hardware relevant to the humanities. It also includes special larger entries for important software that offer up-to-date information, and practical help in applying that information to research projects and instruction in colleges and universities. For the 1989-1990 edition, Lancashire has, for the first time, appointed an international advisory board of speciali...
None
None