A Gödel Modal Logic over Witnessed Crisp Models
2025-01-01 Ferrari, M.; Fiorentini, C.; Rodriguez, R. O.
Proof Search and Countermodel Construction for iCK4
2025-01-01 Ferrari, M.; Fiorentini, C.; Giardini, P.
Varese sacra e universitaria: dinamiche storico-trasformative tra arte, architettura, turismo e urbanistica
2025-01-01 Facchin, Laura
I Morgari: architettura illusionistica e figurazione tra Piemonte, Lombardia e Cantone Ticino dalla seconda metà del XIX ai primi decenni del XX secolo
2024-01-01 Facchin, Laura
Il mio orizzonte. Il valore dell'orientamento nelle dis-abilità cognitivo relazionali. Atti del Convegno (Varese, 23-25 ottobre 2024)
2025-01-01 Termine, Cristiano; Fontolan, Stefania; Derhemi, Ledina
A Satellite-Based Approach to Nowcasting Macroeconomic Aggregates
2025-01-01 Pagnottoni, Paolo; Spelta, Alessandro; Pecora, Nicolò
Modeling Natural Disaster via Unbalanced Regularized Optimal Transport
2025-01-01 Famà, Angelo; Pagnottoni, Paolo; Spelta, Alessandro
Recast Consumer ADR: Between Homogenisation and Differentiation
2025-01-01 Ferrari, F.
Formal Robustness for Cyber-Physical Systems Under Timed Attacks
2025-01-01 Xiang, Jian; Tini, Simone; Lanotte, Ruggero; Merro, Massimo
Sharing economy e ospitalità: sfida o opportunità? Analisi del rapporto di sostituibilità tra imprese alberghiere e affitti brevi
2025-01-01 Minazzi, Roberta; Grechi, Daniele; Segato, Michela; Denti, Martina
MetaLeak: Assessing Image Metadata Leakage in Android Apps
2024-01-01 Nguyen, T. T. L.; Carminati, B.; Ferrari, E.
Less is More: Simplifying Network Traffic Classification Leveraging RFCs
2025-01-01 Wickramasinghe, N.; Shaghaghi, A.; Ferrari, E.; Jha, S.
Circular Economy and Sustainable Development Goals approaches for environment improvement in Uzbekistan
2025-01-01 Kobilov, Ergash Egamberdievich; Batirov, Kh. F.; Mardonava, F. S.; Karaeva, Anzhelika; Baltrocchi, Alberto Pietro Damiano; Carnevale Miino, Marco; Giurea, Ramona; Ragazzi, Marco; Torretta, Vincenzo; Rada, Elena Cristina
Understanding Artificial Intelligence in Chess: The RubiChess Case Study
2025-01-01 Tosi, D.; Scalise, M.
Putting Business Goals in Context for Measurement
2025-01-01 Lavazza, L.; Morasca, S.; Tosi, D.
A Replicated Study on Factors Affecting Software Understandability
2025-01-01 Kapistaki, G.; Lavazza, L.; Morasca, S.; Rotoloni, G.
An ASP Translation for Non-Monotonic Reasoning on DL-Liteℛ with Prototype Descriptions
2025-01-01 Sacco, G.; Bozzato, L.; Kutz, O.
Open-FARI: An Open-source testbed for Federated Anomaly detection in the Railway Industrial Internet of Things
2025-01-01 Rizzardi, Alessandra; Della Corte, Raffaele; F. Cevallos M., Jesus; Orbinato, Vittorio; De Vivo, Simona; Sicari, Sabrina; Cotroneo, Domenico; Coen-Porisini, Alberto
La Shoah di Vanni Rossi (1946-1948)
2024-01-01 Spiriti, Andrea
Torquato Tasso, Bernardo Castello e l'edizione della "Gerusalemme" del 1590: problemi aperti
2024-01-01 Spiriti, Andrea
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
- Atti di Convegno3770
Data di pubblicazione
- In corso di stampa4
- 2020 - 2026527
- 2010 - 20191597
- 2000 - 20091063
- 1990 - 1999376
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...102
- Springer93
- IEEE Computer Society77
- IEEE72
- ACM50
- Springer Verlag45
- CEUR-WS27
- Optica Publishing Group (formerly...27
- WITPress23
- Springer Science and Business Med...22
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL...3
- ACM INTERNATIONAL CONFERENCE PROC...1
- CLINICAL TOXICOLOGY1
- IEEE TRANSACTIONS ON NEURAL SYSTE...1
- INTERNATIONAL JOURNAL OF ENERGY P...1
- JAHRBUCH FÜR INTERNATIONALE GERMA...1
- LECTURE NOTES IN COMPUTER SCIENCE1
- NEUROCOMPUTING1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE66
- CEUR WORKSHOP PROCEEDINGS52
- Optics InfoBase Conference Papers38
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...17
- AIP CONFERENCE PROCEEDINGS13
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
- MSW40
- Computer Networks and Communications22
- bio-drying21
- Physics and Astronomy (all)21
- Electrical and Electronic Enginee...20
- Computer Science (all)18
- Nuclear and High Energy Physics18
- SETI18
- Software18
- selective collection17
Lingua
- eng1297
- ita361
- fre16
- spa7
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3332
- reserved291
- open137
- restricted10