Narrow your search

Library

ULiège (4)

KU Leuven (3)

KBR (2)

UAntwerpen (2)

AP (1)

KDG (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

More...

Resource type

book (6)

digital (1)


Language

English (7)


Year
From To Submit

2015 (2)

1992 (2)

1989 (1)

1988 (1)

1984 (1)

Listing 1 - 7 of 7
Sort by
9th international conference on automated deduction, Argonne, May 23-26, 1988 : proceedings
Authors: ---
ISBN: 354019343X 038719343X 3540392165 Year: 1988 Volume: vol 310 Publisher: Berlin New York London Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Automated reasoning: introduction and applications
Authors: --- ---
ISBN: 0130544469 0130544531 Year: 1984 Publisher: Englewood Cliffs, N.J. Prentice-Hall

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Automated reasoning : introduction and applications
Authors: --- ---
ISBN: 007911251X Year: 1992 Publisher: New York : McGraw-Hill,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Automated reasoning : introduction and applications
Authors: --- --- ---
Year: 1992 Publisher: New York McGraw-Hill

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
9th International Conference on Practical Applications of Computational Biology and Bioinformatics
Authors: --- --- ---
ISBN: 9783319197760 9783319197777 9783319197753 Year: 2015 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 knowledge from the underlying data. The impressive capabilities of next generation sequencing technologies, together with novel and ever evolving distinct types of omics data technologies, have put an increasingly complex set of challenges for the growing fields of Bioinformatics and Computational Biology. The analysis of the datasets produced and their integration call for new algorithms and approaches from fields such as Databases, Statistics, Data Mining, Machine Learning, Optimization, Computer Science and Artificial Intelligence. Clearly, Biology is more and more a science of information requiring tools from the computational sciences.


Book
Logic programming : proceedings of the north american conference 1989 : [held in Celveland, Ohio, USA on October 16-20, 1989]
Authors: --- ---
Year: 1989 Publisher: Cambridge (MA) London : MIT Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
9th International Conference on Practical Applications of Computational Biology and Bioinformatics
Authors: --- --- --- ---
ISBN: 3319197754 3319197762 Year: 2015 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 knowledge from the underlying data. The impressive capabilities of next generation sequencing technologies, together with novel and ever evolving distinct types of omics data technologies, have put an increasingly complex set of challenges for the growing fields of Bioinformatics and Computational Biology. The analysis of the datasets produced and their integration call for new algorithms and approaches from fields such as Databases, Statistics, Data Mining, Machine Learning, Optimization, Computer Science and Artificial Intelligence. Clearly, Biology is more and more a science of information requiring tools from the computational sciences.

Listing 1 - 7 of 7
Sort by