Sfoglia per Autore
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
2010-01-01 DAL PALU', A.; Dovier, Agostino; Pontelli, E.
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)
2010-01-01 Campagna, D; DE ROSA, C; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Editorial, September 2011
2011-01-01 Dovier, Agostino; Pontelli, E.
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints
2011-01-01 Michael, Best; Kabi, Bhattarai; Federico, Campeotto; ALESSANDRO DAL, Palù; Hung, Dang; Dovier, Agostino; Fioretto, Ferdinando; Fogolari, Federico; Trung, Le; Enrico, Pontelli
Editorial, June 2011
2011-01-01 Dovier, Agostino; Pontelli, E.
A Tabled Prolog Program for Solving Sokoban
2011-01-01 NENG FA, Zhou; Dovier, Agostino
PrettyCLP: a Light Java Implementation for Teaching CLP
2011-01-01 Alessio, Stalla; Davide, Zanucco; Dovier, Agostino; Viviana, Mascardi
Exploring Protein Fragment Assembly Using CLP
2011-01-01 ALESSANDRO DAL, Palù; Dovier, Agostino; Fogolari, Federico; Enrico, Pontelli
BAAC: A Prolog System for Action Description and Agents Coordination
2011-01-01 Dovier, Agostino; Formisano, Andrea; Enrico, Pontelli
Editorial, March 2011
2011-01-01 Dovier, Agostino; Pontelli, E.
Editorial, December 2011
2011-01-01 Dovier, Agostino; Pontelli, E.
Perspectives on Logic-based Approaches for Reasoning About Actions and Change
2011-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Recent constraint/logic programming based advances in the solution of the protein folding problem
2011-01-01 Dovier, Agostino
A Tabled Prolog Program for Solving Sokoban
2011-01-01 Neng Fa, Zhou; Dovier, Agostino
Editorial, June 2012
2012-01-01 Dovier, Agostino; E., Pontelli
Editorial, September 2012
2012-01-01 Dovier, Agostino; Pontelli, E.
Protein Loop Modeling via Constraints and Fragment Assembly
2012-01-01 Federico, Campeotto; Alessandro Dal, Palu; Dovier, Agostino; Ferdinando, Fioretto; Enrico, Pontelli
Exploiting unexploited computing resources for computational logics
2012-01-01 Dal Palù, A; Dovier, Agostino; Formisano, A; Pontelli, E.
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints.
2012-01-01 Campeotto, Federico; A., Dal Palu'; Dovier, Agostino; Fioretto, Ferdinando; E., Pontelli
Protein Structure Analysis with Constraint Programming.
2012-01-01 A., Dal Palu'; Dovier, Agostino; Fogolari, Federico; E., Pontelli
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
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 | |
Editorial, September 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, June 2011 | 1-gen-2011 | Dovier, Agostino; Pontelli, E. | |
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 | |
Exploring Protein Fragment Assembly Using CLP | 1-gen-2011 | ALESSANDRO DAL, Palù; Dovier, Agostino; Fogolari, Federico; Enrico, Pontelli | |
BAAC: A Prolog System for Action Description and Agents Coordination | 1-gen-2011 | Dovier, Agostino; Formisano, Andrea; Enrico, Pontelli | |
Editorial, March 2011 | 1-gen-2011 | Dovier, Agostino; Pontelli, E. | |
Editorial, December 2011 | 1-gen-2011 | Dovier, Agostino; Pontelli, E. | |
Perspectives on Logic-based Approaches for Reasoning About Actions and Change | 1-gen-2011 | Dovier, Agostino; Formisano, A.; Pontelli, E. | |
Recent constraint/logic programming based advances in the solution of the protein folding problem | 1-gen-2011 | Dovier, Agostino | |
A Tabled Prolog Program for Solving Sokoban | 1-gen-2011 | Neng Fa, Zhou; Dovier, Agostino | |
Editorial, June 2012 | 1-gen-2012 | Dovier, Agostino; E., Pontelli | |
Editorial, September 2012 | 1-gen-2012 | Dovier, Agostino; Pontelli, E. | |
Protein Loop Modeling via Constraints and Fragment Assembly | 1-gen-2012 | Federico, Campeotto; Alessandro Dal, Palu; Dovier, Agostino; Ferdinando, Fioretto; Enrico, Pontelli | |
Exploiting unexploited computing resources for computational logics | 1-gen-2012 | Dal Palù, A; Dovier, Agostino; Formisano, A; Pontelli, E. | |
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. | 1-gen-2012 | Campeotto, Federico; A., Dal Palu'; Dovier, Agostino; Fioretto, Ferdinando; E., Pontelli | |
Protein Structure Analysis with Constraint Programming. | 1-gen-2012 | A., Dal Palu'; Dovier, Agostino; Fogolari, Federico; E., Pontelli |
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