IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 180
Titolo Data di pubblicazione Autore(i) File
Designing the minimal structure of hidden Markov model by bisimulation 1-gen-2001 M., Bicego; Dovier, Agostino; V., Murino
A Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Multiset rewriting by multiset constraint solving 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
Multiset Constraints and P Systems 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
Constructive negation and constraint logic programming with sets 1-gen-2001 Dovier, Agostino; Pontelli, E.; Rossi, G.
Using Secondary Structure Information for Protein Folding in CLP(FD) 1-gen-2002 Dovier, Agostino; Burato, M.; Fogolari, Federico
Rank-Based Symbolic Bisimulation (and Model Checking) 1-gen-2002 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
Operational and abstract semantics of the query language G-Log 1-gen-2002 Cortesi, A.; Dovier, Agostino; Quintarelli, E.; Tanca, L.
The Subgraph Bisimulation Problem 1-gen-2003 Dovier, Agostino; Piazza, Carla
Intensional Sets in CLP 1-gen-2003 Dovier, Agostino; Pontelli, E; Rossi, G.
Book review: Set Theory for Computing. by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001. 1-gen-2003 Dovier, Agostino
Integrating Finite Domain Constraints and CLP with Sets 1-gen-2003 DAL PALU', A; Dovier, Agostino; Pontelli, E; Rossi, G.
Protein Folding Simulation in CCP 1-gen-2004 A., Dal Palù; Dovier, Agostino; Fogolari, Federico
Designing an urban-scale auditory alert system 1-gen-2004 F., Avanzini; D., Rocchesso; A., Belussi; A., DAL PALÙ; Dovier, Agostino
Constraint Logic Programming approach to protein structure prediction 1-gen-2004 DAL PALU', Alessandro; Dovier, Agostino; Fogolari, Federico
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Disunification in ACI1 Theories 1-gen-2004 Dovier, Agostino; Piazza, Carla; Pontelli, E.
Protein Folding in CLP(FD) with Empirical Contact Energies 1-gen-2004 A., DAL PALU'; Dovier, Agostino; Fogolari, Federico
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 1-gen-2005 A., DAL PALU'; Dovier, Agostino; E., Pontelli
Agent-Based Protein Folding Simulation 1-gen-2005 L., Bortolussi; A., DAL PALU'; Dovier, Agostino; Fogolari, Federico
Mostrati risultati da 21 a 40 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