IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 100 di 180
Titolo Data di pubblicazione Autore(i) File
Enhancing the Computation of Approximate Solutions of the Protein Structure Determination 1-gen-2007 Dovier, Agostino; A., DAL PALÙ; E., Pontelli
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 1-gen-2007 DAL PALU', A.; Dovier, A; 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
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
The Density Constraint 1-gen-2007 Dal Palu', A; Dovier, Agostino; Pontelli, E.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 1-gen-2007 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
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
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 1-gen-2008 Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
Introduction to the Special Issue on Bioinformatics and Constraints 1-gen-2008 ALESSANDRO DAL, Palù; Dovier, Agostino; Sebastian, Will
Compiling and Executing Declarative Modeling Languages in Gecode 1-gen-2008 R., Cipriano; Dovier, Agostino; J., Mauro
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 1-gen-2009 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
Representing Multi-Agent Planning in CLP 1-gen-2009 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Applying Model-Checking to solve Queries on Semistructured Data 1-gen-2009 Dovier, Agostino; Quintarelli, E.
GASP: Answer Set Programming with Lazy Grounding 1-gen-2009 DAL PALU', A.; Dovier, Agostino; Pontelli, E.; Rossi, G.
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ 1-gen-2009 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results 1-gen-2009 DAL PALU', Alessandro; Dovier, Agostino; Pontelli, Enrico
Present and Future Challenges for ASP Systems 1-gen-2009 Dovier, Agostino; Enrico, Pontelli
Answer Set Programming with Constraints using Lazy Grounding 1-gen-2009 DAL PALU', Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 1-gen-2009 Dovier, Agostino; Formisano, A.; Pontelli, E.
Editorial, March 2010 1-gen-2010 Dovier, Agostino; Pontelli, E.
Editorial, September 2010 1-gen-2010 Dovier, Agostino; Pontelli, E.
Editorial, June 2010 1-gen-2010 Dovier, Agostino; Pontelli, E.
Editorial, December 2010 1-gen-2010 Dovier, Agostino; Pontelli, E.
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 1-gen-2010 Campagna, D; DE ROSA, C; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Multi-valued Action Languages with Constraints in CLP(FD) 1-gen-2010 Dovier, Agostino; Formisano, A.; Pontelli, E.
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices 1-gen-2010 DAL PALU', A.; Dovier, Agostino; Pontelli, E.
CLP-based protein fragment assembly 1-gen-2010 DAL PALU', A.; Dovier, Agostino; Fogolari, Federico; Pontelli, E.
An investigation of Multi-Agent Planning in CLP. 1-gen-2010 Dovier, Agostino; Formisano, A.; Pontelli, E.
Constraint based methods for bioinformatics (Chapter VI) 1-gen-2010 A., DAL PALU'; F., Fages; Dovier, Agostino; S., Will
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 1-gen-2010 Dovier, Agostino; Enrico, Pontelli
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 1-gen-2010 Dovier, Agostino; Formisano, A; Pontelli, Enrico
Recent constraint/logic programming based advances in the solution of the protein folding problem 1-gen-2011 Dovier, Agostino
Editorial, December 2011 1-gen-2011 Dovier, Agostino; Pontelli, E.
Editorial, March 2011 1-gen-2011 Dovier, Agostino; Pontelli, E.
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints 1-gen-2011 Michael, Best; Kabi, Bhattarai; Federico, Campeotto; ALESSANDRO DAL, Palù; Hung, Dang; Dovier, Agostino; Fioretto, Ferdinando; Fogolari, Federico; Trung, Le; Enrico, Pontelli
Editorial, September 2011 1-gen-2011 Dovier, Agostino; Pontelli, E.
Editorial, June 2011 1-gen-2011 Dovier, Agostino; Pontelli, E.
BAAC: A Prolog System for Action Description and Agents Coordination 1-gen-2011 Dovier, Agostino; Formisano, Andrea; Enrico, Pontelli
A Tabled Prolog Program for Solving Sokoban 1-gen-2011 NENG FA, Zhou; Dovier, Agostino
Exploring Protein Fragment Assembly Using CLP 1-gen-2011 ALESSANDRO DAL, Palù; Dovier, Agostino; Fogolari, Federico; Enrico, Pontelli
A Tabled Prolog Program for Solving Sokoban 1-gen-2011 Neng Fa, Zhou; Dovier, Agostino
PrettyCLP: a Light Java Implementation for Teaching CLP 1-gen-2011 Alessio, Stalla; Davide, Zanucco; Dovier, Agostino; Viviana, Mascardi
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 1-gen-2011 Dovier, Agostino; Formisano, A.; Pontelli, E.
Protein Structure Analysis with Constraint Programming. 1-gen-2012 A., Dal Palu'; Dovier, Agostino; Fogolari, Federico; E., Pontelli
Editorial, March 2012 1-gen-2012 Dovier, Agostino; E., Pontelli
Editorial, December 2012 1-gen-2012 Dovier, Agostino; Pontelli, E.
Editorial, June 2012 1-gen-2012 Dovier, Agostino; E., Pontelli
Protein Loop Modeling via Constraints and Fragment Assembly 1-gen-2012 Federico, Campeotto; Alessandro Dal, Palu; Dovier, Agostino; Ferdinando, Fioretto; Enrico, Pontelli
Editorial, September 2012 1-gen-2012 Dovier, Agostino; Pontelli, E.
Mostrati risultati da 51 a 100 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