Timed Soft Concurrent Constraint Programs
2008 Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
Propagating multitrust within trust networks
2008 Bistarelli, Stefano; Santini, Francesco
Valutazione di un test immunoenzimatico (ELISA) per la diagnosi sierologica di infezione da Rhodococcus equi.
2006 Attili, A. R.; Marenzoni, Maria Luisa; Or, E; Bastianini, Loretta; Valente, Carlo; Cuteri, V.
Weighted Datalog and Levels of Trust
2008 Bistarelli, Stefano; Martinelli, Fabio; Santini, Francesco
Interventi migliorativi dell'attività agrituristica
2007 Borghi, Piero; Maraziti, Francesco; Menconi, MARIA ELENA
Various commonly occurring decidable extensions of multi-level syllogistic
2003 Cantone, D.; Formisano, Andrea; Omodeo, E. G.; Schwartz, J. T.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
2007 Dovier, A.; Formisano, Andrea; Pontelli, E.
Conditional preferences in P-RASP
2008 Costantini, S.; Formisano, Andrea
Modeling preferences on resource consumption and production in ASP
2008 Costantini, S.; Formisano, Andrea
Instructing equational set-reasoning with Otter
2001 Formisano, Andrea; Omodeo, E. G.; Temperini, M.
Mappings Between Domain Models in Answer Set Programming
2003 Costantini, S.; Formisano, Andrea; Omodeo, E. G.
Uniform relational frameworks for modal inferences
2005 Formisano, Andrea; Omodeo, E. G.; Orlowska, E.; Policriti, A.
Produzione di idrogeno mediante sonofotolisi catalizzata: impiego di soluzioni solide di ossidi di Lantanio, Indio e Gallio.
2009 Elisei, Fausto; Gentili, Pier Luigi; Ortica, Fausto; Nicolini, Andrea; Amantini, Mirko
Sviluppo di un dispositivo per l’ottenimento di idrogeno mediante fotoelettrolisi
2006 Elisei, Fausto; Ortica, Fausto; Gentili, Pier Luigi
Band-gap engineering of photo-catalysts for water splitting
2006 Gentili, Pier Luigi; Ortica, Fausto; Elisei, Fausto; Giuliobello, M.
Produzione di idrogeno dall’acqua mediante fotolisi assistita da fotocatalizzatori innovativi.
2008 Elisei, Fausto; Rossi, Federico; Nicolini, Andrea; Ortica, Fausto; Gentili, Pier Luigi; Giuliobello, M.; Amantini, M.
Indagine sulla biologia delle piante energetiche; ritmi di crescita di Jatropha Curcas L
2009 Sannipoli, Valeria; Cotana, Franco; Rinaldi, Sara; Orlandi, Fabio; Romano, Bruno; FORNACIARI DA PASSANO, Marco
Produzione di idrogeno mediante sonofotolisi catalizzata: impiego di soluzioni solide di ossidi di Lantanio, Indio e Gallio.
2007 Elisei, Fausto; Gentili, Pier Luigi; Ortica, Fausto; Rossi, Federico; Urbani, M.
The “Real” Approximation factor of the MST heuristic for the Minimum Energy Broadcasting
2005 M., Flammini; Navarra, Alfredo; S., Perennes
Tighter Bounds for the Minimum Energy Broadcasting problem
2005 Navarra, Alfredo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Timed Soft Concurrent Constraint Programs | 2008 | Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco | |
| Propagating multitrust within trust networks | 2008 | Bistarelli, Stefano; Santini, Francesco | |
| Valutazione di un test immunoenzimatico (ELISA) per la diagnosi sierologica di infezione da Rhodococcus equi. | 2006 | Attili, A. R.; Marenzoni, Maria Luisa; Or, E; Bastianini, Loretta; Valente, Carlo; Cuteri, V. | |
| Weighted Datalog and Levels of Trust | 2008 | Bistarelli, Stefano; Martinelli, Fabio; Santini, Francesco | |
| Interventi migliorativi dell'attività agrituristica | 2007 | Borghi, Piero; Maraziti, Francesco; Menconi, MARIA ELENA | |
| Various commonly occurring decidable extensions of multi-level syllogistic | 2003 | Cantone, D.; Formisano, Andrea; Omodeo, E. G.; Schwartz, J. T. | |
| An Experimental Comparison of Constraint Logic Programming and Answer Set Programming | 2007 | Dovier, A.; Formisano, Andrea; Pontelli, E. | |
| Conditional preferences in P-RASP | 2008 | Costantini, S.; Formisano, Andrea | |
| Modeling preferences on resource consumption and production in ASP | 2008 | Costantini, S.; Formisano, Andrea | |
| Instructing equational set-reasoning with Otter | 2001 | Formisano, Andrea; Omodeo, E. G.; Temperini, M. | |
| Mappings Between Domain Models in Answer Set Programming | 2003 | Costantini, S.; Formisano, Andrea; Omodeo, E. G. | |
| Uniform relational frameworks for modal inferences | 2005 | Formisano, Andrea; Omodeo, E. G.; Orlowska, E.; Policriti, A. | |
| Produzione di idrogeno mediante sonofotolisi catalizzata: impiego di soluzioni solide di ossidi di Lantanio, Indio e Gallio. | 2009 | Elisei, Fausto; Gentili, Pier Luigi; Ortica, Fausto; Nicolini, Andrea; Amantini, Mirko | |
| Sviluppo di un dispositivo per l’ottenimento di idrogeno mediante fotoelettrolisi | 2006 | Elisei, Fausto; Ortica, Fausto; Gentili, Pier Luigi | |
| Band-gap engineering of photo-catalysts for water splitting | 2006 | Gentili, Pier Luigi; Ortica, Fausto; Elisei, Fausto; Giuliobello, M. | |
| Produzione di idrogeno dall’acqua mediante fotolisi assistita da fotocatalizzatori innovativi. | 2008 | Elisei, Fausto; Rossi, Federico; Nicolini, Andrea; Ortica, Fausto; Gentili, Pier Luigi; Giuliobello, M.; Amantini, M. | |
| Indagine sulla biologia delle piante energetiche; ritmi di crescita di Jatropha Curcas L | 2009 | Sannipoli, Valeria; Cotana, Franco; Rinaldi, Sara; Orlandi, Fabio; Romano, Bruno; FORNACIARI DA PASSANO, Marco | |
| Produzione di idrogeno mediante sonofotolisi catalizzata: impiego di soluzioni solide di ossidi di Lantanio, Indio e Gallio. | 2007 | Elisei, Fausto; Gentili, Pier Luigi; Ortica, Fausto; Rossi, Federico; Urbani, M. | |
| The “Real” Approximation factor of the MST heuristic for the Minimum Energy Broadcasting | 2005 | M., Flammini; Navarra, Alfredo; S., Perennes | |
| Tighter Bounds for the Minimum Energy Broadcasting problem | 2005 | Navarra, 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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...18008
Data di pubblicazione
- In corso di stampa49
- 2020 - 20261751
- 2010 - 20195657
- 2000 - 20097133
- 1990 - 19992617
- 1980 - 1989716
- 1970 - 197984
- 1968 - 19691
Editore
- IEEE641
- Institute of Electrical and Elect...373
- Springer287
- Springer Verlag124
- Springer Science and Business Med...120
- Morlacchi Editore99
- Elsevier90
- SAE International82
- Sissa Medialab Srl60
- Institute of Physics Publishing58
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...115
- POS PROCEEDINGS OF SCIENCE100
- SAE TECHNICAL PAPER75
- ATTI DELLA SOCIETÀ ITALIANA DELLE...70
- LECTURE NOTES IN COMPUTER SCIENCE55
- ENERGY PROCEDIA44
- PROCEEDINGS OF SPIE, THE INTERNAT...44
- UROGYNAECOLOGIA INTERNATIONAL JOU...41
- ITALIAN JOURNAL OF ANATOMY AND EM...38
- URODINAMICA37
Serie
- LECTURE NOTES IN COMPUTER SCIENCE217
- LECTURE NOTES IN ARTIFICIAL INTEL...102
- CEUR WORKSHOP PROCEEDINGS64
- LECTURE NOTES IN CIVIL ENGINEERING34
- AIP CONFERENCE PROCEEDINGS26
- LEIBNIZ INTERNATIONAL PROCEEDINGS...26
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- LECTURE NOTES IN COMPUTER SCIENCE21
- IEEE MTT-S INTERNATIONAL MICROWAV...16
- IFAC-PAPERSONLINE15
Keyword
- Electrical and Electronic Enginee...100
- Umbria87
- Computer Science (all)81
- Computer Networks and Communications72
- Theoretical Computer Science72
- Physics and Astronomy (all)66
- reazioni avverse a farmaci57
- geomorfologia56
- diagnosi54
- cavallo53
Lingua
- eng9358
- ita6856
- fre86
- spa55
- ger19
- und14
- lat9
- rus9
- enm8
- por7
Accesso al fulltext
- no fulltext17997
- open11