Sfoglia per Autore
Computable Set Theory
file da validare1989-01-01 Cantone, Domenico; Ferro, Alfredo; Omodeo, E.
Decision procedures for elementary sublanguages of set theory, XII. Multilevel syllogistic extended with singleton and choice operators
file da validare1991-01-01 Ferro, Alfredo
Techniques of computable set theory with applications to proof verification
file da validare1995-01-01 Cantone, Domenico; Ferro, Alfredo
Automatic compile time parallelization of Prolog programs for dependents AND-parallelism
file da validare1997-01-01 Gupta, Pontelli; Pulvirenti, ; Ferro, Alfredo
Approximate search in image database
file da validare2000-01-01 Ferro, Alfredo; Gallo, Giovanni; Giugno, R.
2000-01-01 Biazzo, Veronica; Ferro, Alfredo; A., Gilio; R., Giugno
Best-Match Retrieval for Structured Images
2001-01-01 Ferro, Alfredo; Gallo, Giovanni; Giugno, R; Pulvirenti, Alfredo
EFFICIENT BOUNDARY VALUES GENERATION IN GENERAL METRIC SPACES FOR SOFTWARE COMPONENT TESTING
file da validare2003-01-01 Ferro, Alfredo; R., Giugno; Pulvirenti, Alfredo
Identificazione ed analisi evolutiva di THG, un gene umano caratterizzato da elevata omologia a TBP, mediante un approccio combinato di Biologia sperimentale e di Biologia Computazionale
file da validare2003-01-01 Ragusa, Marco; DI PIETRO, Cinzia Santa; Pulvirenti, A.; Modica, E; Giugno, R; Pigola, G; Zimmitti, V; DI PIETRO, V; Grzeschik, K. H.; Ferro, Alfredo; Purrello, M.
Fast Clustering and Minimum Weight Matching Algorithms for Mobile Backbone Wireless Networks
2003-01-01 Ferro, Alfredo; Pigola, G; Pulvirenti, Alfredo; Shasha, D.
AntiClustAl: Multiple Sequence Alignment by Antipole Clustering
file da validare2004-01-01 DI PIETRO, Cinzia Santa; Ferro, Alfredo; Giugno, R; Lagana', A; G., Pigola; A., Pulvirenti; Purrello, Michele; Ragusa, Marco
Locally Sensitive Backtranslation Based on Multiple Sequence Alignment
file da validare2004-01-01 Giugno, R; Pulvirenti, Alfredo; Ragusa, Marco; Facciola', L; Patelmo, L; DI PIETRO, V; DI PIETRO, Cinzia Santa; Purrello, M; Ferro, Alfredo
Probabilistic Apriori and Episode Mining Techniques for Intelligent Management of Water Supply Networks
file da validare2004-01-01 Ferro, Alfredo; Giugno, R; Pulvirenti, Alfredo; Gueli, R; Mongiovi, M; Elia, A; Pamparone, D.
In Vitro and In Silico Cloning of Xenopus Laevis SOD2 cDNA and Its Phylogenetic Analysis
2005-01-01 Purrello, Michele; DI PIETRO, D; Ragusa, Marco; Pulvirenti, Alfredo; Giugno, R; DI PIETRO, V; Emmanuele, G; Travali, Salvatore; Scalia, Marina; Shasha, D; Ferro, Alfredo; DI PIETRO, Cinzia Santa
Genomica Strutturale e Funzionale dell’Apparato Generale di Trascrizione: Espressione Tessuto-Specifica dei GTF Negli Ovociti
file da validare2005-01-01 DI PIETRO, Cinzia Santa; Ragusa, Marco; Calafato, M. S.; Caserta, C.; Carnemolla, A.; Guglielmino, M. R.; Barbagallo, Davide; Angelica, R.; Grillo, A.; Duro, L.; Tandurella, I.; Giunta, V.; Scalia, M.; Vento, M.; Buffa, P.; Messina, A.; Lagan, A.; Giugno, R.; Pulvirenti, A.; Grzeschik, K. H.; Roeder, R.; Ferro, Alfredo; Purrello, Michele
ANTICLUSTAL: Multiple Sequence Alignment by Antipole Clustering
file da validare2005-01-01 DI PIETRO, Cinzia Santa; Ferro, Alfredo; Pigola, G; Pulvirenti, Alfredo; Purrello, Michele; Ragusa, Marco; Shasha, D.
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces
2005-01-01 Cantone, Domenico; Ferro, Alfredo; Pulvirenti, Alfredo; REFORGIATO RECUPERO, D; Shasha, D.
Genomica Strutturale e Funzionale del Macchinario Apoptotico: Identificazione di Geni Candidati per Malattie Genetiche Degenerative
2005-01-01 DI PIETRO, Cinzia Santa; Ragusa, Marco; A., Lagana'; Barbagallo, Davide; I., Tandurella; L., Duro; R., Giugno; Pulvirenti, Alfredo; S., Pernagallo; S., Valenti; Ms, Calafato; V., DI PIETRO; Mr, Guglielmino; R., Angelica; C., Caserta; Santagati, Maria Carmela; Bernardini, Renato; L., Pavone; S., Stefani; Ferro, Alfredo; Purrello, Michele
Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces
file da validare2005-01-01 Cantone, Domenico; Ferro, Alfredo; Giugno, R; LO PRESTI, G; Pulvirenti, Alfredo
An efficient approximate algorithm for the 1-median problem in metric spaces
2005-01-01 Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Computable Set Theory | 1-gen-1989 | Cantone, Domenico; Ferro, Alfredo; Omodeo, E. | file da validare |
Decision procedures for elementary sublanguages of set theory, XII. Multilevel syllogistic extended with singleton and choice operators | 1-gen-1991 | Ferro, Alfredo | file da validare |
Techniques of computable set theory with applications to proof verification | 1-gen-1995 | Cantone, Domenico; Ferro, Alfredo | file da validare |
Automatic compile time parallelization of Prolog programs for dependents AND-parallelism | 1-gen-1997 | Gupta, Pontelli; Pulvirenti, ; Ferro, Alfredo | file da validare |
Approximate search in image database | 1-gen-2000 | Ferro, Alfredo; Gallo, Giovanni; Giugno, R. | file da validare |
Indefinito | 1-gen-2000 | Biazzo, Veronica; Ferro, Alfredo; A., Gilio; R., Giugno | file da validare |
Best-Match Retrieval for Structured Images | 1-gen-2001 | Ferro, Alfredo; Gallo, Giovanni; Giugno, R; Pulvirenti, Alfredo | |
EFFICIENT BOUNDARY VALUES GENERATION IN GENERAL METRIC SPACES FOR SOFTWARE COMPONENT TESTING | 1-gen-2003 | Ferro, Alfredo; R., Giugno; Pulvirenti, Alfredo | file da validare |
Identificazione ed analisi evolutiva di THG, un gene umano caratterizzato da elevata omologia a TBP, mediante un approccio combinato di Biologia sperimentale e di Biologia Computazionale | 1-gen-2003 | Ragusa, Marco; DI PIETRO, Cinzia Santa; Pulvirenti, A.; Modica, E; Giugno, R; Pigola, G; Zimmitti, V; DI PIETRO, V; Grzeschik, K. H.; Ferro, Alfredo; Purrello, M. | file da validare |
Fast Clustering and Minimum Weight Matching Algorithms for Mobile Backbone Wireless Networks | 1-gen-2003 | Ferro, Alfredo; Pigola, G; Pulvirenti, Alfredo; Shasha, D. | |
AntiClustAl: Multiple Sequence Alignment by Antipole Clustering | 1-gen-2004 | DI PIETRO, Cinzia Santa; Ferro, Alfredo; Giugno, R; Lagana', A; G., Pigola; A., Pulvirenti; Purrello, Michele; Ragusa, Marco | file da validare |
Locally Sensitive Backtranslation Based on Multiple Sequence Alignment | 1-gen-2004 | Giugno, R; Pulvirenti, Alfredo; Ragusa, Marco; Facciola', L; Patelmo, L; DI PIETRO, V; DI PIETRO, Cinzia Santa; Purrello, M; Ferro, Alfredo | file da validare |
Probabilistic Apriori and Episode Mining Techniques for Intelligent Management of Water Supply Networks | 1-gen-2004 | Ferro, Alfredo; Giugno, R; Pulvirenti, Alfredo; Gueli, R; Mongiovi, M; Elia, A; Pamparone, D. | file da validare |
In Vitro and In Silico Cloning of Xenopus Laevis SOD2 cDNA and Its Phylogenetic Analysis | 1-gen-2005 | Purrello, Michele; DI PIETRO, D; Ragusa, Marco; Pulvirenti, Alfredo; Giugno, R; DI PIETRO, V; Emmanuele, G; Travali, Salvatore; Scalia, Marina; Shasha, D; Ferro, Alfredo; DI PIETRO, Cinzia Santa | |
Genomica Strutturale e Funzionale dell’Apparato Generale di Trascrizione: Espressione Tessuto-Specifica dei GTF Negli Ovociti | 1-gen-2005 | DI PIETRO, Cinzia Santa; Ragusa, Marco; Calafato, M. S.; Caserta, C.; Carnemolla, A.; Guglielmino, M. R.; Barbagallo, Davide; Angelica, R.; Grillo, A.; Duro, L.; Tandurella, I.; Giunta, V.; Scalia, M.; Vento, M.; Buffa, P.; Messina, A.; Lagan, A.; Giugno, R.; Pulvirenti, A.; Grzeschik, K. H.; Roeder, R.; Ferro, Alfredo; Purrello, Michele | file da validare |
ANTICLUSTAL: Multiple Sequence Alignment by Antipole Clustering | 1-gen-2005 | DI PIETRO, Cinzia Santa; Ferro, Alfredo; Pigola, G; Pulvirenti, Alfredo; Purrello, Michele; Ragusa, Marco; Shasha, D. | file da validare |
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces | 1-gen-2005 | Cantone, Domenico; Ferro, Alfredo; Pulvirenti, Alfredo; REFORGIATO RECUPERO, D; Shasha, D. | |
Genomica Strutturale e Funzionale del Macchinario Apoptotico: Identificazione di Geni Candidati per Malattie Genetiche Degenerative | 1-gen-2005 | DI PIETRO, Cinzia Santa; Ragusa, Marco; A., Lagana'; Barbagallo, Davide; I., Tandurella; L., Duro; R., Giugno; Pulvirenti, Alfredo; S., Pernagallo; S., Valenti; Ms, Calafato; V., DI PIETRO; Mr, Guglielmino; R., Angelica; C., Caserta; Santagati, Maria Carmela; Bernardini, Renato; L., Pavone; S., Stefani; Ferro, Alfredo; Purrello, Michele | |
Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces | 1-gen-2005 | Cantone, Domenico; Ferro, Alfredo; Giugno, R; LO PRESTI, G; Pulvirenti, Alfredo | file da validare |
An efficient approximate algorithm for the 1-median problem in metric spaces | 1-gen-2005 | Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo |
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