6

A multi-paradigm tool for large neighborhood search

Studies in Computational Intelligence Volume 434, 2013, Pages 389-414 A multi-paradigm tool for large neighborhood search (Article) Cipriano, R.a , Di Gaspero, L.b , Dovier, A.a a Dipartimento di Matematica e Informatica, Università Degli Studi …

Protein Structure Analysis with Constraint Programming.

In this chapter, we present a review of various approaches to modeling protein structure by means of constraint programming. This particular programming framework has been used in the modeling of the structure and properties of chemical compounds. …

Perspectives on Logic-based Approaches for Reasoning About Actions and Change

Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart BMV. The paper analyzes some of the issues in using …

Constraint based methods for bioinformatics (Chapter VI)

LFMTP 2010 - Preface

Hybrid systems and biology. continuous and discrete modeling for systems biology

Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing …

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Motif discovery fixing mismatch positions

A Computerized Referee

The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either certifies as constituting a valid sequence of definitions and theorems, or rejects as defective. The functionality of this proof verifier and the key …

Stability of Hybrid Systems and Related Questions from Systems Biology