Le lune di Pinocchio
2022-01-01 Necchi, Rosa
Taming the complexity of timeline-based planning over dense temporal domains
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Genuine Personality Recognition from Highly Constrained Face Images
2019-01-01 Anselmi, F; Noceti, N; Rosasco, L; Ward, R
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Model Checking Timeline-based Systems over Dense Temporal Domains?
2019-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
The lecture video recording in university: A case study
2019-01-01 Pepino, A.; Ronchetti, M.; Peron, A.; Freda, C.; Vallefuoco, E.
Interval temporal logic for visibly pushdown systems
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases
2019-01-01 Di Martino, S.; Fiadone, L.; Peron, A.; Vitale, V. N.; Riccabone, A.
La notizia di Fozio sulla Kaine historia di Tolemeo Chenno (Bibl. 190, p. 146a, 41 – 146b, 16 Bekker = III p. 51 Henry)
2022-01-01 Parmeggiani, Giovanni
Aldo Visalberghi e la scuola di Dottorato consortile in Pedagogia sperimentale
2022-01-01 Paoletti, Gisella
Stability-Oriented Analysis of a DC Shipboard Zonal Distribution System
2022-01-01 Tavagnutti, Andrea Alessia; Bosich, Daniele; Sulligoi, Giorgio
Flexible hoses dynamic characterization including amplitude and frequency dependency
2022-01-01 Ricci, Andrea; Albertz, Frank; Bregant, Luigi
Analysis of the energetic, economic, and environmental performance of hydrogen productions
2022-01-01 Barbera, Elena; Mio, Andrea; MASSI PAVAN, Alessandro; Bertucco, Alberto; Fermeglia, Maurizio
Online local boosting: Improving performance in online decision trees
2019-01-01 Turrisi Da Costa, V. G.; Martiello Mastelini, S.; Ponce De Leon Ferreira De Carvalho, A. C.; Barbon Junior, S
Evaluating the Four-Way Performance Trade-Off for Stream Classification
2019-01-01 Turrisi da Costa, V. G.; Santana, E. J.; Lopes, J. F.; Barbon Junior, S
Interazione matematica-fisica: dalla consapevolezza del PCK alla scelta dell’approccio didattico nell’insegnamento della matematica
2021-01-01 Bologna, Valentina; Longo, Francesco; Peressi, Maria; Sorzio, Paolo
Low-Noise Ku-Band Receiver Frontend with Switchable SIW Filters for Cubesat Applications
2022-01-01 Orecchini, G.; Schiavolini, G.; Mezzanotte, P.; Dogo, F.; Pauletto, S.; Beltramello, A.; Mania`, D.; Palazzi, V.; Simoncini, G.; Roselli, L.; Gregorio, A.; Fragiacomo, M.; Alimenti, F.
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022-01-01 Bozzelli, L.; Peron, A.
Parametric Interval Temporal Logic over Infinite Words
2022-01-01 Bozzelli, L.; Peron, A.
Dal sogno della Nouvelle France al Koala Club: Le isole del Paradiso di Stanislao Nievo
2020-01-01 Rampazzo, Elena
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 Convegno10272
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261172
- 2010 - 20193441
- 2000 - 20093789
- 1990 - 19991434
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE750
- Institute of Electrical and Elect...249
- Springer210
- -199
- Springer Verlag146
- ACM115
- IFAC77
- IEEE Society67
- Elsevier56
- World Scientific52
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 PROCEEDINGS24
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE62
- IFMBE PROCEEDINGS35
- CEUR WORKSHOP PROCEEDINGS24
- PROGRESS IN MARINE SCIENCE AND TE...20
- 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...8
Keyword
- -144
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Software46
- Computer Networks and Communications45
- CFD44
- Computer Science (all)44
- Electrical and Electronic Enginee...43
Lingua
- eng7333
- ita2236
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext8032
- reserved1378
- open546
- partially open316