Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.821 a 5.840 di 27.403
Testing a learn-verify-repair approach for safe human-robot interaction
2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Automatic Test-Pattern Generation for Grey-Box Programs
2015-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
A greedy approach for the efficient repair of stochastic models
2015-01-01 Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter
Engineering approaches and methods to verify software in autonomous systems
2014-01-01 Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Learning Nondeterministic Mealy Machines
2014-01-01 Khalili, Ali; Tacchella, Armando
Environmental Principles in the EU Legislation Governing Oil and Gas Offshore Operations
2017-01-01 Schiano Di Pepe, Lorenzo
Reflexive graphs and parametric polymorphism
1994-01-01 Robinson, E. P; Rosolini, Giuseppe
Reverse Engineering of Middleware for Verification of Robot Control Architectures
2014-01-01 Khalili, Ali; Natale, Lorenzo; Tacchella, Armando
Is verification a requisite for safe adaptive robots?
2014-01-01 Pathak, Shashank; Metta, Giorgio; Tacchella, Armando
The Second QBF Solvers Comparative Evaluation
2005-01-01 Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
Watched Data Structures for QBF Solvers
2003-01-01 I. P., Gent; Giunchiglia, Enrico; Narizzano, Massimo; A. G. D., Rowley; Tacchella, Armando
Detection of 3D position of eyes through a consumer RGB-D camera for stereoscopic mixed reality environments
2015-01-01 Chessa, Manuela; Garibotti, Matteo; Maiello, Guido; Caroggio, Lorenzo; Huang, Huayi; Sabatini, SILVIO PAOLO; Solari, Fabio
Feasibility of constrained spherical deconvolution and probabilistic tractography in the pediatric clinical setting
2016-01-01 Toselli, Benedetta; Tortora, D.; Severino, M.; Morana, G.; Rossi, A.; Fato, MARCO MASSIMO
Mechanically-tuned alginate gels as new 3D breast cancer models
2016-01-01 Cavo, MARTA MARIA; Fato, MARCO MASSIMO; Beltrame, Francesco; Scaglione, Silvia
How reproducible are EEG source location and connectivity estimates?
2016-01-01 Mahjoory, Keyvan; Botrel, L.; Linkenkaer Hansen, K.; Fato, MARCO MASSIMO; Nikulin, V.; Haufe, S.
Drawing to design the Landscape/Disegnare per progettare il Paesaggio
2017-01-01 Ghersi, Adriana
Welcome back. Retro and revival, heritage and vintage: presence of the past in contemporary design processes
2017-01-01 Chimenz, Luisa; Sorrentino, Nicoletta
Il legame sociale fra le generazioni
2017-01-01 Campodonico, Angelo
• Come leggere oggi i precetti della legge naturale? Il caso del secondo precetto
2016-01-01 Campodonico, Angelo
Path Tracking Experimentation With Epi.q-Mod 2: An Obstacle Climbing Mobile Robot
2016-01-01 Quaglia, G.; Nisi, M.; Bruzzone, Luca; Fanghella, Pietro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Testing a learn-verify-repair approach for safe human-robot interaction | 1-gen-2015 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Automatic Test-Pattern Generation for Grey-Box Programs | 1-gen-2015 | Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico | |
| A greedy approach for the efficient repair of stochastic models | 1-gen-2015 | Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter | |
| Engineering approaches and methods to verify software in autonomous systems | 1-gen-2014 | Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Learning Nondeterministic Mealy Machines | 1-gen-2014 | Khalili, Ali; Tacchella, Armando | |
| Environmental Principles in the EU Legislation Governing Oil and Gas Offshore Operations | 1-gen-2017 | Schiano Di Pepe, Lorenzo | |
| Reflexive graphs and parametric polymorphism | 1-gen-1994 | Robinson, E. P; Rosolini, Giuseppe | |
| Reverse Engineering of Middleware for Verification of Robot Control Architectures | 1-gen-2014 | Khalili, Ali; Natale, Lorenzo; Tacchella, Armando | |
| Is verification a requisite for safe adaptive robots? | 1-gen-2014 | Pathak, Shashank; Metta, Giorgio; Tacchella, Armando | |
| The Second QBF Solvers Comparative Evaluation | 1-gen-2005 | Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando | |
| Watched Data Structures for QBF Solvers | 1-gen-2003 | I. P., Gent; Giunchiglia, Enrico; Narizzano, Massimo; A. G. D., Rowley; Tacchella, Armando | |
| Detection of 3D position of eyes through a consumer RGB-D camera for stereoscopic mixed reality environments | 1-gen-2015 | Chessa, Manuela; Garibotti, Matteo; Maiello, Guido; Caroggio, Lorenzo; Huang, Huayi; Sabatini, SILVIO PAOLO; Solari, Fabio | |
| Feasibility of constrained spherical deconvolution and probabilistic tractography in the pediatric clinical setting | 1-gen-2016 | Toselli, Benedetta; Tortora, D.; Severino, M.; Morana, G.; Rossi, A.; Fato, MARCO MASSIMO | |
| Mechanically-tuned alginate gels as new 3D breast cancer models | 1-gen-2016 | Cavo, MARTA MARIA; Fato, MARCO MASSIMO; Beltrame, Francesco; Scaglione, Silvia | |
| How reproducible are EEG source location and connectivity estimates? | 1-gen-2016 | Mahjoory, Keyvan; Botrel, L.; Linkenkaer Hansen, K.; Fato, MARCO MASSIMO; Nikulin, V.; Haufe, S. | |
| Drawing to design the Landscape/Disegnare per progettare il Paesaggio | 1-gen-2017 | Ghersi, Adriana | |
| Welcome back. Retro and revival, heritage and vintage: presence of the past in contemporary design processes | 1-gen-2017 | Chimenz, Luisa; Sorrentino, Nicoletta | |
| Il legame sociale fra le generazioni | 1-gen-2017 | Campodonico, Angelo | |
| • Come leggere oggi i precetti della legge naturale? Il caso del secondo precetto | 1-gen-2016 | Campodonico, Angelo | |
| Path Tracking Experimentation With Epi.q-Mod 2: An Obstacle Climbing Mobile Robot | 1-gen-2016 | Quaglia, G.; Nisi, M.; Bruzzone, Luca; Fanghella, Pietro |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.821 a 5.840 di 27.403
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 convegno27403
- 01- Contributo su rivista1
Data di pubblicazione
- In corso di stampa70
- 2020 - 20274568
- 2010 - 20199180
- 2000 - 20098653
- 1990 - 19993803
- 1980 - 19891033
- 1970 - 197996
Editore
- Institute of Electrical and Elect...954
- IEEE944
- Springer263
- Springer Science and Business Med...196
- IEEE Computer Society195
- Springer Verlag173
- Elsevier B.V.116
- American Society of Mechanical En...106
- CEUR-WS106
- Genova University Press80
Rivista
- POS PROCEEDINGS OF SCIENCE92
- JOURNAL OF PHYSICS. CONFERENCE SE...86
- E3S WEB OF CONFERENCES56
- LECTURE NOTES IN COMPUTER SCIENCE37
- ATTI (CENTRO LIGURE PER LA STORIA...21
- ...SUMMER SCHOOL FRANCESCO TURCO....20
- AIP CONFERENCE PROCEEDINGS19
- EPJ WEB OF CONFERENCES17
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...136
- CEUR WORKSHOP PROCEEDINGS121
- LECTURE NOTES IN COMPUTER SCIENCE102
- LECTURE NOTES IN ELECTRICAL ENGIN...80
- IFAC-PAPERSONLINE66
- PROCEEDINGS OF SPIE, THE INTERNAT...32
- COMMUNICATIONS IN COMPUTER AND IN...27
- LECTURE NOTES IN CIVIL ENGINEERING26
- ADVANCES IN NEURAL INFORMATION PR...25
- LECTURE NOTES IN NETWORKS AND SYS...22
Keyword
- Electrical and Electronic Enginee...135
- Artificial Intelligence133
- Computer Science (all)123
- Computer Networks and Communications110
- Computer Science Applications1707...106
- Software101
- Control and Systems Engineering98
- Humans96
- Simulation95
- Theoretical Computer Science94
Lingua
- eng19870
- ita7301
- fre270
- spa153
- rus36
- ger28
- grc17
- lat16
- por16
- und14
Accesso al fulltext
- no fulltext23005
- reserved2661
- open1708
- partially open20
- restricted9