Deciding the Common Fragment of CTL with past and LTL
2026-01-01 Benerecetti, Massimo; Della Monica, Dario; Matteo, Angelo; Mogavero, Fabio; Puppis, Gabriele
NUOVI SIGNIFICATI PER SPAZI ‘TRA LE COSE’: ESPERIENZE A UDINE SUD
2026-01-01 Pirina, Claudia; Comi, Giovanni; D’Abramo, Vincenzo
Interni a cielo aperto. Per una identità mutevole degli spazi aperti della città
2026-01-01 Pirina, Claudia; Comi, Giovanni; D’Abramo, Vincenzo
The thickness of the border Boundary projects in Pompeii and Syracuse
2026-01-01 Pirina, Claudia
Bridging the Gaps: Learning to Estimate Missing Text in Fragmentary Greek Inscriptions
2026-01-01 Zottin, Silvia; De Nardin, Axel; Zunino, Maddalena; Mignosa, Valentina; Foresti, Gian Luca
Enhancing the PEPA Eclipse Plug-in
2026-01-01 Casagrande, Alberto; Piazza, Carla; Romanello, Riccardo; Rossi, Sabina
From regulation to behaviour: European Union approaches to reducing household food waste.
2026-01-01 Varese, Erica; Geatti, Paola
Minimization of Streaming Transducers
2026-01-01 Bianchini, C.; Puppis, G.
Strobilus: Enriching Cedar with Stateful Policies
2026-01-01 Baldo, M.; Di Gianantonio, P.; Paier, M.; Miculan, M.
Changes in secondary students' pseudoscientific conceptions of quantum mechanics after a summer school on quantum information science
2026-01-01 Malgieri, M.; Sutrini, C.; Zuccarini, G.; Macchiavello, C.
Vision-Based Reconstruction of Silicon Ingots for Surface Resistivity Measurements
2027-01-01 Galli, D.; Vian, A.; Vidoni, R.
Workspace Analysis of an Industrial Robot for Precision Machining Applications
2027-01-01 Florean, E.; Gasparetto, A.; Scalera, L.; Vidoni, R.
History-Conditioned Neural Inverse Kinematics for Redundant Manipulators
2027-01-01 Nguyen, D. T.; Scalera, L.; Nguyen, V. L.
Stochastic Retrieval for Fairness–Accuracy Trade-offs in Clinical RAG
2026-01-01 Lunardi, Riccardo; Della Mea, Vincenzo; Eickhoff, Carsten; Roitero, Kevin
Probing the Intrinsic Effectiveness of Large Language Models for Medical Classifications
2026-01-01 Lunardi, Riccardo; Roitero, Kevin; Della Mea, Vincenzo
Numerical analysis of heat losses in smooth and longitudinally finned parabolic trough receivers under various vacuum conditions
2026-01-01 Kumar, Vinod; Nonino, Carlo; Savino, Stefano
An Extreme Multi-label Text Classification (XMTC) Library Dataset: What if we took" Use of Practical AI in Digital Libraries" seriously?
2026-01-01 D’Souza, Jennifer; Sadruddin, Sameer; Kähler, Maximilian; Salfinger, Andrea; Zaccagna, Luca; Incitti, Francesca; Snidaro, Lauro; Suominen, Osma
LSBMAR: Latent Schrödinger Bridge for Metal Artifact Reduction in CT Scans
2026-01-01 Zaccagna, Luca; Salfinger, Andrea; Vallisa, Tiziano; Snidaro, Lauro
Human–AI Interaction in Product Representation: Cognitive and Educational Implications in Engineering Design Courses
2026-01-01 Filippi, Stefano; Vaglio, Emanuele; Motyl, Barbara
An Experimental Comparison of Visual Language Models in Robotic-Assisted Assembly
2026-01-01 Rrapi, F.; Portelli, B.; Serra, G.; Scalera, L.
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 di Convegno ...12284
Data di pubblicazione
- In corso di stampa23
- 2020 - 20272016
- 2010 - 20193793
- 2000 - 20094358
- 1990 - 19991636
- 1980 - 1989430
- 1970 - 197927
Editore
- Institute of Electrical and Elect...381
- IEEE180
- Springer177
- Springer Science and Business Med...151
- CEUR-WS114
- Springer Verlag108
- Sissa Medialab Srl107
- Forum Editrice Universitaria Udinese76
- IEEE Computer Society62
- Springer-Verlag61
Rivista
- POS PROCEEDINGS OF SCIENCE125
- LECTURE NOTES IN COMPUTER SCIENCE123
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- MINERVA ANESTESIOLOGICA61
- ACTA HORTICULTURAE39
- CEUR WORKSHOP PROCEEDINGS33
- ELECTRONIC NOTES IN THEORETICAL C...22
- INTERNATIONAL ARCHIVES OF THE PHO...22
- ELECTRONIC PROCEEDINGS IN THEORET...20
- SABIEDRIBA, INTEGRACIJA, IZGLITIBA20
Serie
- LECTURE NOTES IN COMPUTER SCIENCE176
- CEUR WORKSHOP PROCEEDINGS134
- LECTURE NOTES IN ARTIFICIAL INTEL...52
- MECHANISMS AND MACHINE SCIENCE33
- LEIBNIZ INTERNATIONAL PROCEEDINGS...24
- CONFERENCE PROCEEDINGS - IEEE APP...23
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- SCIENCE ET TECHNIQUE DU FROID19
- LECTURE NOTES IN CIVIL ENGINEERING18
- PROCEEDINGS OF THE IEEE CONFERENC...18
Keyword
- Electrical and Electronic Enginee...63
- Computer Science (all)54
- Computer Science Applications1707...44
- Physics and Astronomy (all)44
- Mechanical Engineering38
- Software35
- Musica per film34
- Theoretical Computer Science34
- Computer Networks and Communications30
- Electronic30
Lingua
- eng7346
- ita3021
- und74
- fre71
- spa44
- ger34
- slv12
- lat10
- rus7
- mul5
Accesso al fulltext
- no fulltext10184
- reserved1254
- open786
- partially open55
- restricted4
- embargoed1