Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
2016-01-01 Kontchakov, Roman; Pandolfo, Laura; Pulina, Luca; Ryzhikov, Vladislav; Zakharyaschev, Michael
Testing a learn-verify-repair approach for safe human-robot interaction
2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Multi-level algorithm selection for ASP
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
An ontology for historical research documents
2015-01-01 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
A case for robust AI in robotics
2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Advances in multi-engine ASP solving
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
An empirical perspective on ten years of QBF solving
2015-01-01 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
Pursuing Happiness while on Holidays
2016-01-01 Pinna, Mariella; DEL CHIAPPA, Giacomo; Correia, A.
ROLE OF ETHANOL-DERIVED ACETALDEHYDE AND ACETALDEHYDE AFTER ORAL ADSORPTION IN THE MOTIVATIONAL PROPERTIES OF ETHANOL
2016-01-01 Peana, Alessandra Tiziana; Porcheddu, Valeria; Arrigo, Paola; Acquas, Elio
Impact of a starch-rich maternal diet in pregnant ewes on body and testicular development in male offspring
2015-01-01 Ledda, M.; Ledda, A.; Pau, Salvatore; Ledda, Sergio; Cannas, Antonello; Atzori, Alberto Stanislao; Mossa, Francesca
Comparing patient satisfaction in public and private hospitals.
2016-01-01 Pinna, Mariella; Atzeni, M; DEL CHIAPPA, Giacomo
Underwater acoustic positioning system for the SMO and KM3NeT - Italia projects
2014-01-01 Viola, S; Aiello, S.; Ameli, F.; Anghinolfi, M.; Barbagallo, G.; Barbarino, G.; Barbarito, E.; Barbato, F.; Bellotti, G.; Beverini, N.; Biagi, S.; Bouhadef, B.; Bozza, C.; Cacopardo, G.; Calamai, M.; Calí, C.; Capone, A.; Caruso, F.; Cecioni, C.; Ceres, A.; Chiarusi, T.; Chierici, F.; Circella, M.; Cocimano, R.; Coniglione, R.; Costa, M.; Cuttone, G.; D'Amato, C.; D'Amato, V.; D'Amico, A.; De Bonis, G.; De Luca, V.; Del Tevere, F.; Deniskina, N.; De Rosa, G.; Distefano, C.; Favali, P.; Fermani, P.; Ferrera, F.; Flaminio, V.; Franco, L.; Fusco, L. A.; Garufi, F.; Giordano, V.; Giovanetti, G.; Gmerk, A.; Grasso, R.; Grella, G.; Hugon, C.; Imbesi, M.; Kulikovsky, V.; Larosa, G.; Lattuada, D.; Leonora, E.; Litrico, P.; Lonardo, A.; Longhitano, F.; Lo Presti, D.; Maccioni, E.; Margiotta, A.; Martini, A.; Masullo, R.; Migliozzi, P.; Migneco, E.; Miraglia, A.; Mollo, C.; Mongelli, M.; Morganti, M.; Musico, P.; Musumeci, M.; Nicolau, C. A.; Orlando, A.; Papaleo, R.; Pavan, G.; Pellegrino, C.; Pellegriti, M. G.; Perrina, C.; Piattelli, P.; Pugliatti, C.; Pulvirenti, S.; Raffaelli, F.; Randazzo, N.; Riccobene, G.; Rovelli, A.; Sanguineti, M.; Sapienza, P.; Sciacca, V.; Sgura, I.; Simeone, F.; Sipala, Valeria; Spurio, M.; Speziale, F.; Spina, M.; Spitaleri, A.; Taiuti, M.; Terreni, G.; Trasatti, L.; Trovato, A.; Ventura, C.; Vicini, P.; Vivolo, D.
The trigger and data acquisition for the NEMO-Phase 2 tower
2014-01-01 Pellegrino, C.; Simeone, F.; Chiarusi, T.; Aiello, S.; Ameli, F.; Anghinolfi, M.; Barbarino, G.; Barbarito, E.; Barbato, F.; Beverini, N.; Biagi, S.; Bouhadef, B.; Bozza, C.; Cacopardo, G.; Calamai, M.; Calì, C.; Capone, A.; Caruso, F.; Ceres, A.; Circella, M.; Cocimano, R.; Coniglione, R.; Costa, M.; Cuttone, G.; D'Amato, C.; D'Amato, V.; D'Amico, A.; Debonis, G.; Deluca, V.; Deniskina, N.; Derosa, G.; Distefano, C.; Fermani, P.; Flaminio, V.; Fusco, L. A.; Garufi, F.; Giordano, V.; Giovanetti, G.; Gmerk, A.; Grasso, R.; Grella, G.; Hugon, C.; Imbesi, M.; Kulikovskiy, V.; Larosa, G.; Lattuada, D.; Leonora, E.; Litrico, P.; Lonardo, A.; Longhitano, F.; Lopresti, D.; Maccioni, E.; Margiotta, A.; Martini, A.; Masullo, R.; Migliozzi, P.; Migneco, E.; Miraglia, A.; Mollo, C.; Mongelli, M.; Morganti, M.; Musico, P.; Musumeci, M.; Nicolau, C. A.; Orlando, A.; Papaleo, R.; Pellegriti, M. G.; Perrina, C.; Piattelli, P.; Pugliatti, C.; Pulvirenti, S.; Raffaelli, F.; Randazzo, N.; Riccobene, G.; Rovelli, A.; Sanguineti, M.; Sapienza, P.; Sgura, I.; Sipala, Valeria; Spurio, M.; Speziale, F.; Spitaleri, A.; Taiuti, M.; Terreni, G.; Trasatti, L.; Trovato, A.; Ventura, C.; Vicini, P.; Viola, S.; Vivolo, D.
Berlinguer e la Sardegna: dagli anni giovanili alla definizione dei nuovi termini della questione sarda
2007-01-01 Mattone, Antonio Vincenzo Peppino
Walkability explorer: Application to a case-study
2015-01-01 Blecic, Ivan; Cecchini, Arnaldo; Congiu, Tanja; Fancello, Francesco; Fancello, Giovanna; Trunfio, Giuseppe, Andrea
Computing Multiple Accumulated Cost Surfaces with Graphics Processing Units
2016-01-01 Trunfio, Giuseppe, Andrea; Sirakoulis, Georgios C. h.
GPU and FPGA parallelization of fuzzy cellular automata for the simulation of wildfire spreading
2016-01-01 Ntinas, Vasileios G.; Moutafis, Byron E.; Trunfio, Giuseppe, Andrea; Sirakoulis, Georgios Ch
An effective approach for adapting the size of subcomponents in large-scale optimization with cooperative coevolution
2015-01-01 Trunfio, Giuseppe, Andrea
Theodor Mommsen e le Carte d’Arborea. Falsi, passioni, filologia vecchia e nuova tra l’Accademia delle scienze di Torino e quella di Berlino
2004-01-01 Mattone, Antonio Vincenzo Peppino
Condividere cura ed educazione.
2008-01-01 Calidoni, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic | 1-gen-2016 | Kontchakov, Roman; Pandolfo, Laura; Pulina, Luca; Ryzhikov, Vladislav; Zakharyaschev, Michael | |
| Testing a learn-verify-repair approach for safe human-robot interaction | 1-gen-2015 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Multi-level algorithm selection for ASP | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| An ontology for historical research documents | 1-gen-2015 | Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca | |
| A case for robust AI in robotics | 1-gen-2015 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Advances in multi-engine ASP solving | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| An empirical perspective on ten years of QBF solving | 1-gen-2015 | Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico | |
| Pursuing Happiness while on Holidays | 1-gen-2016 | Pinna, Mariella; DEL CHIAPPA, Giacomo; Correia, A. | |
| ROLE OF ETHANOL-DERIVED ACETALDEHYDE AND ACETALDEHYDE AFTER ORAL ADSORPTION IN THE MOTIVATIONAL PROPERTIES OF ETHANOL | 1-gen-2016 | Peana, Alessandra Tiziana; Porcheddu, Valeria; Arrigo, Paola; Acquas, Elio | |
| Impact of a starch-rich maternal diet in pregnant ewes on body and testicular development in male offspring | 1-gen-2015 | Ledda, M.; Ledda, A.; Pau, Salvatore; Ledda, Sergio; Cannas, Antonello; Atzori, Alberto Stanislao; Mossa, Francesca | |
| Comparing patient satisfaction in public and private hospitals. | 1-gen-2016 | Pinna, Mariella; Atzeni, M; DEL CHIAPPA, Giacomo | |
| Underwater acoustic positioning system for the SMO and KM3NeT - Italia projects | 1-gen-2014 | Viola, S; Aiello, S.; Ameli, F.; Anghinolfi, M.; Barbagallo, G.; Barbarino, G.; Barbarito, E.; Barbato, F.; Bellotti, G.; Beverini, N.; Biagi, S.; Bouhadef, B.; Bozza, C.; Cacopardo, G.; Calamai, M.; Calí, C.; Capone, A.; Caruso, F.; Cecioni, C.; Ceres, A.; Chiarusi, T.; Chierici, F.; Circella, M.; Cocimano, R.; Coniglione, R.; Costa, M.; Cuttone, G.; D'Amato, C.; D'Amato, V.; D'Amico, A.; De Bonis, G.; De Luca, V.; Del Tevere, F.; Deniskina, N.; De Rosa, G.; Distefano, C.; Favali, P.; Fermani, P.; Ferrera, F.; Flaminio, V.; Franco, L.; Fusco, L. A.; Garufi, F.; Giordano, V.; Giovanetti, G.; Gmerk, A.; Grasso, R.; Grella, G.; Hugon, C.; Imbesi, M.; Kulikovsky, V.; Larosa, G.; Lattuada, D.; Leonora, E.; Litrico, P.; Lonardo, A.; Longhitano, F.; Lo Presti, D.; Maccioni, E.; Margiotta, A.; Martini, A.; Masullo, R.; Migliozzi, P.; Migneco, E.; Miraglia, A.; Mollo, C.; Mongelli, M.; Morganti, M.; Musico, P.; Musumeci, M.; Nicolau, C. A.; Orlando, A.; Papaleo, R.; Pavan, G.; Pellegrino, C.; Pellegriti, M. G.; Perrina, C.; Piattelli, P.; Pugliatti, C.; Pulvirenti, S.; Raffaelli, F.; Randazzo, N.; Riccobene, G.; Rovelli, A.; Sanguineti, M.; Sapienza, P.; Sciacca, V.; Sgura, I.; Simeone, F.; Sipala, Valeria; Spurio, M.; Speziale, F.; Spina, M.; Spitaleri, A.; Taiuti, M.; Terreni, G.; Trasatti, L.; Trovato, A.; Ventura, C.; Vicini, P.; Vivolo, D. | |
| The trigger and data acquisition for the NEMO-Phase 2 tower | 1-gen-2014 | Pellegrino, C.; Simeone, F.; Chiarusi, T.; Aiello, S.; Ameli, F.; Anghinolfi, M.; Barbarino, G.; Barbarito, E.; Barbato, F.; Beverini, N.; Biagi, S.; Bouhadef, B.; Bozza, C.; Cacopardo, G.; Calamai, M.; Calì, C.; Capone, A.; Caruso, F.; Ceres, A.; Circella, M.; Cocimano, R.; Coniglione, R.; Costa, M.; Cuttone, G.; D'Amato, C.; D'Amato, V.; D'Amico, A.; Debonis, G.; Deluca, V.; Deniskina, N.; Derosa, G.; Distefano, C.; Fermani, P.; Flaminio, V.; Fusco, L. A.; Garufi, F.; Giordano, V.; Giovanetti, G.; Gmerk, A.; Grasso, R.; Grella, G.; Hugon, C.; Imbesi, M.; Kulikovskiy, V.; Larosa, G.; Lattuada, D.; Leonora, E.; Litrico, P.; Lonardo, A.; Longhitano, F.; Lopresti, D.; Maccioni, E.; Margiotta, A.; Martini, A.; Masullo, R.; Migliozzi, P.; Migneco, E.; Miraglia, A.; Mollo, C.; Mongelli, M.; Morganti, M.; Musico, P.; Musumeci, M.; Nicolau, C. A.; Orlando, A.; Papaleo, R.; Pellegriti, M. G.; Perrina, C.; Piattelli, P.; Pugliatti, C.; Pulvirenti, S.; Raffaelli, F.; Randazzo, N.; Riccobene, G.; Rovelli, A.; Sanguineti, M.; Sapienza, P.; Sgura, I.; Sipala, Valeria; Spurio, M.; Speziale, F.; Spitaleri, A.; Taiuti, M.; Terreni, G.; Trasatti, L.; Trovato, A.; Ventura, C.; Vicini, P.; Viola, S.; Vivolo, D. | |
| Berlinguer e la Sardegna: dagli anni giovanili alla definizione dei nuovi termini della questione sarda | 1-gen-2007 | Mattone, Antonio Vincenzo Peppino | |
| Walkability explorer: Application to a case-study | 1-gen-2015 | Blecic, Ivan; Cecchini, Arnaldo; Congiu, Tanja; Fancello, Francesco; Fancello, Giovanna; Trunfio, Giuseppe, Andrea | |
| Computing Multiple Accumulated Cost Surfaces with Graphics Processing Units | 1-gen-2016 | Trunfio, Giuseppe, Andrea; Sirakoulis, Georgios C. h. | |
| GPU and FPGA parallelization of fuzzy cellular automata for the simulation of wildfire spreading | 1-gen-2016 | Ntinas, Vasileios G.; Moutafis, Byron E.; Trunfio, Giuseppe, Andrea; Sirakoulis, Georgios Ch | |
| An effective approach for adapting the size of subcomponents in large-scale optimization with cooperative coevolution | 1-gen-2015 | Trunfio, Giuseppe, Andrea | |
| Theodor Mommsen e le Carte d’Arborea. Falsi, passioni, filologia vecchia e nuova tra l’Accademia delle scienze di Torino e quella di Berlino | 1-gen-2004 | Mattone, Antonio Vincenzo Peppino | |
| Condividere cura ed educazione. | 1-gen-2008 | Calidoni, Paolo |
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 ...10654
Data di pubblicazione
- In corso di stampa43
- 2020 - 2026695
- 2010 - 20192717
- 2000 - 20094737
- 1990 - 19991876
- 1980 - 1989523
- 1971 - 197962
Editore
- Carocci editore164
- Institute of Electrical and Elect...87
- Carocci Editore63
- IEEE60
- Springer58
- All'Insegna del Giglio54
- Carlo Delfino Editore45
- IEEE Computer Society41
- Springer-Verlag41
- FrancoAngeli40
Rivista
- ATTI DELLA SOCIETA' ITALIANA DELL...91
- LECTURE NOTES IN COMPUTER SCIENCE86
- COLLANA DEL DIPARTIMENTO DI STORI...65
- PARASSITOLOGIA62
- BIOLOGIA MARINA MEDITERRANEA38
- ATTI (CENTRO LIGURE PER LA STORIA...37
- ATTI DELLA SOCIETÀ ITALIANA DELLE...29
- INTERNATIONAL ARCHIVES OF THE PHO...28
- ITALIAN JOURNAL OF BIOCHEMISTRY28
- JOURNAL OF NUCLEAR MEDICINE AND A...27
Serie
- LECTURE NOTES IN COMPUTER SCIENCE37
- CEUR WORKSHOP PROCEEDINGS20
- LECTURE NOTES IN CIVIL ENGINEERING16
- LECTURE NOTES IN ARTIFICIAL INTEL...11
- LEIBNIZ INTERNATIONAL PROCEEDINGS...10
- LECTURE NOTES IN CIVIL ENGINEERING8
- ... NATIONAL CONGRESS OF BIOENGIN...7
- COLLANA DEL DIPARTIMENTO DI STORI...7
- EPIGRAFIA E ANTICHITÀ6
- LECTURE NOTES IN COMPUTER SCIENCE5
Keyword
- Sardegna349
- Sardinia119
- epigrafia42
- Olbia37
- archeologia30
- Cellular Automata30
- età romana28
- trattamento27
- Computer Science (all)26
- Physics and Astronomy (all)26
Lingua
- ita4867
- eng4772
- fre144
- spa68
- ger26
- und15
- rum7
- lat5
- por3
- rus3
Accesso al fulltext
- no fulltext10118
- open522
- reserved8
- restricted4
- partially open2