Fluid model checking of timed properties
2015-01-01 Bortolussi, Luca; Lanciani, Roberta
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
2015-01-01 Nenzi, Laura; Bortolussi, Luca
Facial Emotion Recognition in Patients with Amnesic Mild Cognitive Impairment and Mild-Moderate Alzheimer's Disease
2011-01-01 Cattaruzza, Tatiana; Menichelli, Alina; Filippi, Davide; Granello, Giulia; Vilotti, Cristina; Sarra, Vittoria Maria; Bernardis, Paolo; Zadini, Antonietta; Pizzolato, Gilberto
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity
2015-01-01 Bock, Christoph; Bortolussi, Luca; Krüger, Thilo; Mikeev, Linar; Wolf, Verena
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
2015-01-01 Bartocci, Ezio; Bortolussi, Luca; Milios, Dimitrios; Nenzi, Laura; Sanguinetti, Guido
Ricordo di Giovanni Gabrielli
2015-01-01 Padovini, Fabio
Indebitamento e sovraindebitamento
2015-01-01 Padovini, Fabio
Efecto de la profundidad del daño por grieta y de la esbeltez de una viga en su dinámica, análisis numérico y experimental
2014-01-01 Rafael García, Illescas; Julio C., Gomez Mancilla; Bregant, Luigi
L’intelligenza del territorio: riciclare Puerto Saavedra (Cile)
2013-01-01 PRATALI MAFFEI, Sergio; Rodeghiero, Benedetta
Erto/Stortan a cinquant'anni dal Vajont
2013-01-01 PRATALI MAFFEI, Sergio; Rodeghiero, Benedetta
Dalle basi fisiche dell’educazione stradale a proposte verticali curricolari sperimentate nella formazione insegnanti.
2012-01-01 Beltrame, D.; Mossenta, A.; Tamburini, Laura
Science Education in Road Safety Education as a path toward citizenship
2012-01-01 Michelini, M.; Mossenta, A.; Stefanel, A.; Tamburini, Laura
Self-attribution of success/failure in young cancer patients: the effects of attributional style training
2014-01-01 Berizzi, Giovanna
Cationic porphyrin-ruthenium(II) conjugates as potential selective stabilizers of G-quadruplex
2013-01-01 Musetti, Caterina; Gianferrara, Teresa; Sissi, Claudia
«Parte del mio universo spirituale…»: Boris Pahor e la letteratura italiana
2014-01-01 Kosuta, Miran
'DRUG SAFETY IN PREGNANCY AND LACTATION ANTIPSYCHOTIC PHARMACOTHERAPY
2012-01-01 Papanti, D; Bertossi, Francesca; Botter, Valentina; Massaro, Marta; Colavitti, G.; Bertossi, G.; Cimatti, A.; Restaino, Stefano; Tajima Pozo, K; PASCOLO-FABRICI, Elisabetta
Context-based physics: case-studies of teacher training and materials for Science education in road safety education
2012-01-01 Michelini, M.; Mosssenta, A.; Stefanel, A.; Tamburini, Laura
Physics of traffic and the crowds theory: multidisciplinary Approach to Mobility Education
2013-01-01 Tamburini, Laura; Colomban, S.
A new methodology to estimate the EM velocity from Common Offset GPR: Theory and application on synthetic and real data
2013-01-01 Dossi, Matteo; Forte, Emanuele; Pipan, Michele; Colucci, Renato
Energy/Exergy Based Cost Accounting in Large Ecological-Technological Energy Systems
2013-01-01 Reini, Mauro; Daniotti, S.
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 Convegno10330
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261222
- 2010 - 20193450
- 2000 - 20093788
- 1990 - 19991434
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE750
- Institute of Electrical and Elect...253
- Springer215
- -200
- Springer Verlag146
- ACM118
- IFAC77
- IEEE Society67
- Elsevier57
- IOS Press53
Rivista
- GIORNALE ITALIANO DI PSICOPATOLOGIA72
- LECTURE NOTES IN COMPUTER SCIENCE57
- JOURNAL OF PHYSICS. CONFERENCE SE...41
- POS PROCEEDINGS OF SCIENCE29
- JOURNAL OF VISION27
- AIP CONFERENCE PROCEEDINGS25
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE64
- IFMBE PROCEEDINGS37
- CEUR WORKSHOP PROCEEDINGS26
- PROGRESS IN MARINE SCIENCE AND TE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...15
- LEIBNIZ INTERNATIONAL PROCEEDINGS...13
- PROGRESS IN MARINE SCIENCE AND TE...13
- LECTURE NOTES IN COMPUTER SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
Keyword
- -143
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Software46
- CFD45
- Computer Networks and Communications45
- Computer Science (all)44
- Electrical and Electronic Enginee...43
Lingua
- eng7386
- ita2238
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext8080
- reserved1378
- open553
- partially open319