Epistemic Logic Programs: a Novel Perspective and Some Extensions
2022-01-01 Costantini, S.; Formisano, A.
Temporalizing Epistemic Logic L-DINF
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Contaminated Architecture
2020-01-01 Zecchin, L.
Between in- and re-action: Resistance and resilience in Stefan Zweig’s Erasmus of Rotterdam
2022-01-01 Capovilla, Erika
Learning Video Retrieval Models with Relevance-Aware Online Mining
2022-01-01 Falcon, A.; Serra, G.; Lanz, O.
26th Workshop on the Developments in the Italian PhD Research on Food Science Technology and Biotechnology
2022-01-01 Tagliasco, Marianna; Pellegrini, Nicoletta
Inland touriscape: Architecture art marginality
2020-01-01 Zecchin, L.
Modeling and Solving the Rush Hour puzzle
2022-01-01 Cian, L.; Dreossi, T.; Dovier, A.
Constraints Propagation on GPU: A Case Study for AllDifferent
2022-01-01 Tardivo, F.; Dovier, A.; Formisano, A.; Michel, L.; Pontelli, E.
Epistemic Multiagent Reasoning with Collaborative Robots
2022-01-01 Solda, D.; Fabiano, F.; Dovier, A.
Polifonica e Politonale. Architettura simultanea tra tradizione ed innovazione
2021-01-01 Zecchin, L.
GPU Parallelism for SAT Solving Heuristics
2022-01-01 Collevati, M.; Dovier, A.; Formisano, A.
Lo smaltimento dei rifiuti e i sistemi igienici nei castelli del Friuli medievale. Dati archeologici preliminari
2022-01-01 Minguzzi, Simonetta
Inland. Art architecture antifragile / L’entroterra. Arte architettura antifragile
2019-01-01 Zecchin, L.
The effect of using diesel-biodiesel-bioethanol blends on the fuel feed pump of a small-scale internal combustion engine
2019-01-01 Caligiuri, C; Bietresato, M; Renzi, M
A Reasoned Evolutionary Study on the Actual Design of Farm Tractors
2021-01-01 Bietresato, M; Mazzetto, F
Concurrent Engineering Approach in Design of Test Equipment for Detecting Farm Tractors Mechanical Performances: Application to Development of Hub-Adapter
2020-01-01 Bietresato, M; Selmo, F; Mazzetto, F
Architecture and Territory. The Resilience of Fragile Italy.
2020-01-01 Cervesato, Alberto
A real-time system for multiple acoustic sources localization based on ISP comparison
2010-01-01 Salvati, D.; Roda, A.; Canazza, S.; Foresti, G. L.
Controller Synthesis for Timeline-based Games
2022-01-01 Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A.; Picotti, V.
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 ...12334
Data di pubblicazione
- In corso di stampa22
- 2020 - 20272066
- 2010 - 20193793
- 2000 - 20094359
- 1990 - 19991636
- 1980 - 1989430
- 1970 - 197927
Editore
- Institute of Electrical and Elect...388
- IEEE181
- Springer178
- Springer Science and Business Med...154
- CEUR-WS121
- 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 SCIENCE177
- CEUR WORKSHOP PROCEEDINGS141
- LECTURE NOTES IN ARTIFICIAL INTEL...52
- MECHANISMS AND MACHINE SCIENCE33
- LEIBNIZ INTERNATIONAL PROCEEDINGS...25
- 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
- eng7387
- ita3025
- und74
- fre71
- spa44
- ger34
- slv12
- lat10
- rus7
- mul5
Accesso al fulltext
- no fulltext10216
- reserved1262
- open796
- partially open55
- restricted4
- embargoed1