IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 90
Titolo Data di pubblicazione Autore(i) File
Answer Set Programming with Constraints Using Lazy Grounding 1-gen-2009 DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco
Alignnment of RNA with Structures of Unlimited Complexity 1-gen-2010 DAL PALU', Alessandro; M., Moehl; S., Will
GASP 1-gen-2010 DAL PALU', Alessandro; Rossi, Gianfranco; Agostino, Dovier; Enrico, Pontelli
Lattice model renement of protein structures 1-gen-2010 Martin, Mann; DAL PALU', Alessandro
CLP-based protein fragment assembly 1-gen-2010 DAL PALU', Alessandro; A., Dovier; F., Fogolari; E., Pontelli
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices 1-gen-2010 DAL PALU', Alessandro; A., Dovier; E., Pontelli
25 Years of Applications of Logic Programming in Italy 1-gen-2010 DAL PALU', Alessandro; P., Torroni
A Propagator for Maximum Weight String Matching with Arbitrary Pairwise Dependencies 1-gen-2010 DAL PALU', Alessandro; M., Moehl; S., Will
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints 1-gen-2011 M., Best; K., Bhattarai; F., Campeotto; DAL PALU', Alessandro; H., Dang; A., Dovier; F., Fioretto; F., Fogolari; T., Le; E., Pontelli
Exploring Protein Fragment Assembly Using CLP 1-gen-2011 DAL PALU', Alessandro; A., Dovier; F., Fogolari; E., Pontelli
Constraint-based Assembling of Protein Fragments 1-gen-2011 DAL PALU', Alessandro; E., Pontelli
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints 1-gen-2012 Federico, Campeotto; Agostino, Dovier; DAL PALU', Alessandro; Ferdinando, Fioretto; Enrico, Pontelli
Protein Loop Modeling via Constraints and Fragment Assembly 1-gen-2012 Federico, Campeotto; DAL PALU', Alessandro; Agostino, Dovier; Ferdinando, Fioretto; Enrico, Pontelli
CUD@SAT: GPU parallelism for SAT Solving 1-gen-2012 DAL PALU', Alessandro; Agostino, Dovier; Andrea, Formisano; Enrico, Pontelli
Protein Structure Prediction and Analysis with Constraint Logic Programming 1-gen-2012 DAL PALU', Alessandro; Agostino, Dovier; Federico, Fogolari; Enrico, Pontelli
A new approach for investigating protein flexibility based on Constraint Logic Programming. The first application in the case of the estrogen receptor 1-gen-2012 DAL PALU', Alessandro; Spyrakis, Francesca; Cozzini, Pietro
Exploiting Unexploited Computing Resources for Computational Logics 1-gen-2012 DAL PALU', Alessandro; Agostino, Dovier; Andrea, Formisano; Enrico, Pontelli
A convex optimization framework for global tractography2013 IEEE 10th International Symposium on Biomedical Imaging 1-gen-2013 Alessandro, Daducci; DAL PALU', Alessandro; Alia, Lemkaddem; Jean Philippe, Thiran
CUD@ASP: Experimenting with GPGPUs in ASP solving 163-177 1-gen-2013 Flavio, Vella; DAL PALU', Alessandro; Agostino, Dovier; Andrea, Formisano; Enrico, Pontelli
A Constraint Solver for Flexible Protein Model 1-gen-2013 F., Campeotto; DAL PALU', Alessandro; A., Dovier; F., Fioretto; E., Pontelli
Mostrati risultati da 41 a 60 di 90
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