|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 4 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
Exploring Protein Fragment Assembly Using CLP.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.  |
IJDMB  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mann, Alessandro Dal Palù |
Lattice model refinement of protein structures  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based protein fragment assembly  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based protein fragment assembly.  |
TPLP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Paolo Torroni |
25 Years of Applications of Logic Programming in Italy.  |
25 Years GULP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Mathias Möhl, Sebastian Will |
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies.  |
CP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi |
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language.  |
Fundam. Inform.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
GASP: Answer Set Programming with Lazy Grounding.  |
Fundam. Inform.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Answer Set Programming with Constraints Using Lazy Grounding.  |
ICLP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.  |
LPNMR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Sebastian Will |
Introduction to the Special Issue on Bioinformatics and Constraints.  |
Constraints  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.  |
Softw., Pract. Exper.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu |
A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes.  |
IJDMB  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan |
Sequential and parallel algorithms for the NCA problem on pure pointer machines.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu |
A constraint logic programming approach to 3D structure determination of large protein complexes.  |
SAC  |
2006 |
DBLP DOI BibTeX RDF |
constraint logic programming, protein structure |
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.  |
LPAR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD).  |
PPDP  |
2005 |
DBLP DOI BibTeX RDF |
parallelism, bioinformatics, constraint logic programming |
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Constraint Logic Programming approach to protein structure prediction.  |
BMC Bioinformatics  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier |
Designing an Urban-Scale Auditory Alert System.  |
IEEE Computer  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Protein Folding Simulation in CCP.  |
ICLP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Protein Folding in CLP(FD) with Empirical Contact Energies.  |
CSCLP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Integrating finite domain constraints and CLP with sets.  |
PPDP  |
2003 |
DBLP DOI BibTeX RDF |
programming with sets, constraint logic programming |
| 1 | Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù |
An optimal data structure to handle dynamic environments in non-deterministic computations.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan |
An Optimal Algorithm for Finding NCA on Pure Pointer Machines.  |
SWAT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan |
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.  |
IFIP TCS  |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|