Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.181 a 2.200 di 14.131
Program Analysis is Harder than Verification: A Computability Perspective
2018-01-01 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
Sound up-to techniques and Complete abstract domains
2018-01-01 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
Online Monte Carlo Planning for Autonomous Robots: Exploiting Prior Knowledge on Task Similarities
2020-01-01 Castellini, Alberto; Marchesini, Enrico; Farinelli, Alessandro
HMMs for Anomaly Detection in Autonomous Robots
2020-01-01 Azzalini, Davide; Castellini, Alberto; Luperto, Matteo; Farinelli, Alessandro; Amigoni, Francesco
Tra l’Italia e l’Egeo: Mario Segre al tempo delle leggi razziali (1938-40)
2020-01-01 Bianchi, Edoardo
Matching Humans with Different Connectivity
2019-01-01 Melzi, S.; Marin, R.; Rodolà, E.; Castellani, U.; Ren, J.; Poulenard, A.; Wonka, P.; Ovsjanikov, M.
CMH: Coordinates Manifold Harmonics for Functional Remeshing
2019-01-01 Marin, Riccardo; Melzi, Simone; Musoni, Pietro; Bardon, Filippo; Tarini, Marco; Castellani, Umberto
POP: Full Parametric model Estimation for Occluded People
2019-01-01 Marin, Riccardo; Melzi, Simone; Mitra, Niloy J.; Castellani, Umberto
High-Resolution Augmentation for Automatic Template-Based Matching of Human Models
2019-01-01 Marin, Riccardo; Melzi, Simone; Rodola, Emanuele; Castellani, Umberto
“«Imagine…» Climate change and management”
2019-01-01 Martin, J.; Baccarani, C.; Brunetti, F.
Runtime Enforcement for Control System Security
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Smartphone diagnostics for cultural heritage
2019-01-01 Daffara, Claudia; Marchioro, Giacomo; Ambrosini, Dario
Monitoring microclimate-induced deformations on hygroscopic materials using conoscopic holography sensors
2019-01-01 Marchioro, Giacomo; Perlini, Luca; Daffara, Claudia
Promoting data provenance tracking in the archaeological interpretation process
2020-01-01 Migliorini, S; Belussi, A; Quintarelli, E
A Balanced Solution for the Partition-based Spatial Merge join in MapReduce
2020-01-01 Migliorini, Sara; Belussi, Alberto
A Sound Abstract Interpreter for Dynamic Code
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella
Imitazioni di lucerne africane: alcune osservazioni sul caso aquileiese
2019-01-01 Dobreva, Diana Sergeeva
Gray-Box Model Identification and Payload Estimation for Delta Robots
2020-01-01 Falezza, Fabio; Vesentini, Federico; Di Flumeri, Alessandro; Leopardi, Luca; Fiori, Gianni; Mistrorigo, Gianfrancesco; Muradore, Riccardo
A variable stochastic admittance control framework with energy tank
2020-01-01 Cordoni, Francesco Giuseppe; DI PERSIO, Luca; Muradore, Riccardo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Program Analysis is Harder than Verification: A Computability Perspective | 1-gen-2018 | Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco | |
| Sound up-to techniques and Complete abstract domains | 1-gen-2018 | Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko | |
| Online Monte Carlo Planning for Autonomous Robots: Exploiting Prior Knowledge on Task Similarities | 1-gen-2020 | Castellini, Alberto; Marchesini, Enrico; Farinelli, Alessandro | |
| HMMs for Anomaly Detection in Autonomous Robots | 1-gen-2020 | Azzalini, Davide; Castellini, Alberto; Luperto, Matteo; Farinelli, Alessandro; Amigoni, Francesco | |
| Tra l’Italia e l’Egeo: Mario Segre al tempo delle leggi razziali (1938-40) | 1-gen-2020 | Bianchi, Edoardo | |
| Matching Humans with Different Connectivity | 1-gen-2019 | Melzi, S.; Marin, R.; Rodolà, E.; Castellani, U.; Ren, J.; Poulenard, A.; Wonka, P.; Ovsjanikov, M. | |
| CMH: Coordinates Manifold Harmonics for Functional Remeshing | 1-gen-2019 | Marin, Riccardo; Melzi, Simone; Musoni, Pietro; Bardon, Filippo; Tarini, Marco; Castellani, Umberto | |
| POP: Full Parametric model Estimation for Occluded People | 1-gen-2019 | Marin, Riccardo; Melzi, Simone; Mitra, Niloy J.; Castellani, Umberto | |
| High-Resolution Augmentation for Automatic Template-Based Matching of Human Models | 1-gen-2019 | Marin, Riccardo; Melzi, Simone; Rodola, Emanuele; Castellani, Umberto | |
| “«Imagine…» Climate change and management” | 1-gen-2019 | Martin, J.; Baccarani, C.; Brunetti, F. | |
| Runtime Enforcement for Control System Security | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| Smartphone diagnostics for cultural heritage | 1-gen-2019 | Daffara, Claudia; Marchioro, Giacomo; Ambrosini, Dario | |
| Monitoring microclimate-induced deformations on hygroscopic materials using conoscopic holography sensors | 1-gen-2019 | Marchioro, Giacomo; Perlini, Luca; Daffara, Claudia | |
| Promoting data provenance tracking in the archaeological interpretation process | 1-gen-2020 | Migliorini, S; Belussi, A; Quintarelli, E | |
| A Balanced Solution for the Partition-based Spatial Merge join in MapReduce | 1-gen-2020 | Migliorini, Sara; Belussi, Alberto | |
| A Sound Abstract Interpreter for Dynamic Code | 1-gen-2020 | Arceri, Vincenzo; Mastroeni, Isabella | |
| Completeness of Abstract Domains for String Analysis of JavaScript Programs | 1-gen-2019 | Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella | |
| Imitazioni di lucerne africane: alcune osservazioni sul caso aquileiese | 1-gen-2019 | Dobreva, Diana Sergeeva | |
| Gray-Box Model Identification and Payload Estimation for Delta Robots | 1-gen-2020 | Falezza, Fabio; Vesentini, Federico; Di Flumeri, Alessandro; Leopardi, Luca; Fiori, Gianni; Mistrorigo, Gianfrancesco; Muradore, Riccardo | |
| A variable stochastic admittance control framework with energy tank | 1-gen-2020 | Cordoni, Francesco Giuseppe; DI PERSIO, Luca; Muradore, Riccardo |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.181 a 2.200 di 14.131
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
- 04 Contributo in atti di convegno14131
Data di pubblicazione
- In corso di stampa42
- 2020 - 20261620
- 2010 - 20194108
- 2000 - 20095808
- 1990 - 19991752
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer266
- IEEE220
- Springer-Verlag68
- ACM56
- SPRINGER INTERNATIONAL PUBLISHING AG48
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE256
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS61
- LEIBNIZ INTERNATIONAL PROCEEDINGS...29
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
- EDULEARN PROCEEDINGS10
Keyword
- pattern recognition63
- Verona63
- CdTe51
- abstract interpretation50
- Italia49
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8668
- ita4548
- fre163
- ger112
- spa87
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12317
- open907
- restricted609
- reserved294
- embargoed2
- mixed1
- partially open1