IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 180
Titolo Data di pubblicazione Autore(i) File
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 1-gen-2005 A., DAL PALU'; Dovier, Agostino; E., Pontelli
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
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.
Reconstruction with Interval Constraints Propagation 1-gen-2006 Farenzena, M; Fusiello, Andrea; Dovier, Agostino
Module Identification Using Biological Constraints 1-gen-2007 DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco
Multivalued Action Languages with Constraints in CLP(FD) 1-gen-2007 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 1-gen-2007 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
The Density Constraint 1-gen-2007 Dal Palu', A; Dovier, Agostino; Pontelli, E.
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 1-gen-2007 DAL PALU', A.; Dovier, A; Pontelli, E.
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
Agent-based Protein Structure Prediction 1-gen-2007 Bortolussi, Luca; Dovier, Agostino; Fogolari, Federico
Enhancing the Computation of Approximate Solutions of the Protein Structure Determination 1-gen-2007 Dovier, Agostino; A., DAL PALÙ; E., Pontelli
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
Mostrati risultati da 41 a 60 di 180
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