Pspace-completeness of the temporal logic of sub-intervals and suffixes
2021-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems
2021-01-01 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
On a temporal logic of prefixes and infixes
2020-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Pest detection and classification to reduce pesticide use in fruit crops based on deep neural networks and image processing
2021-01-01 Suarez, A.; Molina, R. S.; Ramponi, G.; Petrino, R.; Bollati, L.; Sequeiros, D.
Wine cooperatives and quality clues: a choice experiment on European consumers
2022-01-01 Marangon, Francesco; Troiano, Stefania; Nassivera, Federico; Carzedda, Matteo
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
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 Convegno10327
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261219
- 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
- eng7383
- ita2238
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext8077
- reserved1378
- open553
- partially open319