Sfoglia per Autore
Interval-based Modelling with Constraints Propagation
2005-01-01 Dovier, Agostino; M., Farenzena; Fusiello, Andrea
A comparison of CLP(FD) and ASP solutions to NP-complete problems
2005-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
2005-01-01 A., DAL PALU'; Dovier, Agostino; E., Pontelli
Global Constraints for Discrete Lattices
2006-01-01 Alessandro Dal, Palu'; Dovier, Agostino; Enrico, Pontelli
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
2006-01-01 De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Reconstruction with Interval Constraints Propagation
2006-01-01 Farenzena, M; Fusiello, Andrea; Dovier, Agostino
Set Unification
2006-01-01 Dovier, A; E., Pontelli; G., Rossi
Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search
2006-01-01 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
Decidability Results for Sets with Atoms
2006-01-01 Dovier, Agostino; Formisano, A.; Omodeo, AND E.
The Density Constraint
2007-01-01 Dal Palu', A; Dovier, Agostino; Pontelli, E.
Agent-based Protein Structure Prediction
2007-01-01 Bortolussi, Luca; Dovier, Agostino; Fogolari, Federico
Multivalued Action Languages with Constraints in CLP(FD)
2007-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
2007-01-01 DAL PALU', A.; Dovier, A; Pontelli, E.
Module Identification Using Biological Constraints
2007-01-01 DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
2007-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Enhancing the Computation of Approximate Solutions of the Protein Structure Determination
2007-01-01 Dovier, Agostino; A., DAL PALÙ; E., Pontelli
Scoring predictive models using a reduced representation of proteins: model and energy definition
2007-01-01 Fogolari, Federico; L., Pieri; Dovier, Agostino; L., Bortolussi; Giugliarelli, Gilberto; Corazza, Alessandra; Esposito, Gennaro; Viglino, Paolo
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem
2008-01-01 Cipriano, Raffaele; DAL PALU', Alessandro; Dovier, Agostino
Compiling and Executing Declarative Modeling Languages in Gecode
2008-01-01 R., Cipriano; Dovier, Agostino; J., Mauro
Introduction to the Special Issue on Bioinformatics and Constraints
2008-01-01 ALESSANDRO DAL, Palù; Dovier, Agostino; Sebastian, Will
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Interval-based Modelling with Constraints Propagation | 1-gen-2005 | Dovier, Agostino; M., Farenzena; Fusiello, Andrea | |
| A comparison of CLP(FD) and ASP solutions to NP-complete problems | 1-gen-2005 | Dovier, Agostino; Formisano, A.; Pontelli, E. | |
| A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem | 1-gen-2005 | A., DAL PALU'; Dovier, Agostino; E., Pontelli | |
| Global Constraints for Discrete Lattices | 1-gen-2006 | Alessandro Dal, Palu'; Dovier, Agostino; Enrico, Pontelli | |
| Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. | 1-gen-2006 | De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla | |
| Reconstruction with Interval Constraints Propagation | 1-gen-2006 | Farenzena, M; Fusiello, Andrea; Dovier, Agostino | |
| Set Unification | 1-gen-2006 | Dovier, A; E., Pontelli; G., Rossi | |
| Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search | 1-gen-2006 | Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino | |
| Decidability Results for Sets with Atoms | 1-gen-2006 | Dovier, Agostino; Formisano, A.; Omodeo, AND E. | |
| The Density Constraint | 1-gen-2007 | Dal Palu', A; Dovier, Agostino; Pontelli, E. | |
| Agent-based Protein Structure Prediction | 1-gen-2007 | Bortolussi, Luca; Dovier, Agostino; Fogolari, Federico | |
| Multivalued Action Languages with Constraints in CLP(FD) | 1-gen-2007 | Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico | |
| A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction | 1-gen-2007 | DAL PALU', A.; Dovier, A; Pontelli, E. | |
| Module Identification Using Biological Constraints | 1-gen-2007 | DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco | |
| An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. | 1-gen-2007 | Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico | |
| Enhancing the Computation of Approximate Solutions of the Protein Structure Determination | 1-gen-2007 | Dovier, Agostino; A., DAL PALÙ; E., Pontelli | |
| Scoring predictive models using a reduced representation of proteins: model and energy definition | 1-gen-2007 | Fogolari, Federico; L., Pieri; Dovier, Agostino; L., Bortolussi; Giugliarelli, Gilberto; Corazza, Alessandra; Esposito, Gennaro; Viglino, Paolo | |
| A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem | 1-gen-2008 | Cipriano, Raffaele; DAL PALU', Alessandro; Dovier, Agostino | |
| Compiling and Executing Declarative Modeling Languages in Gecode | 1-gen-2008 | R., Cipriano; Dovier, Agostino; J., Mauro | |
| Introduction to the Special Issue on Bioinformatics and Constraints | 1-gen-2008 | ALESSANDRO DAL, Palù; Dovier, Agostino; Sebastian, Will |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile