IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7931] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 101 a 120 di 7.931
Titolo Data di pubblicazione Autore(i) File
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 1-gen-2019 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Constraint Networks Under Conditional Uncertainty 1-gen-2018 Zavatteri, Matteo; Viganò, Luca
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia 1-gen-2023 Raffaele, Alice; Zavatteri, Matteo; Bazzoli, Fabio; Gussago, Marco; Rizzi, Romeo
Enhancing Multi-object Tracking with Segmentation Masks: A Solution for Lost Object Recovery 1-gen-2025 Bendaña, Manuel; Vaquero, Lorenzo; Brea, Victor M.; Mucientes, Manuel
Security Constraints in Temporal Role-Based Access-Controlled Workflows 1-gen-2016 Combi, Carlo; Viganò, Luca; Zavatteri, Matteo
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 1-gen-2014 Peroli, Michele; Viganò, Luca; Zavatteri, Matteo
Design and Analysis of Novel RF MEMS Switch for Smart Sensors and IoT Applications 1-gen-2026 Yellapu, Anusha; Guha, Koushik; Mummaneni, Kavicharan; Iannacci, Jacopo
Characterization of an Ion Beam for Quantum Applications Using the ARCADIAMD3 Fully-Depleted CMOS Monolithic Sensor 1-gen-2025 Bortone, A.; Corte, E.; Tchernij, S. Ditalia; Forneris, J.; Garbolino, S.; Nieto Hernandez, E.; Posteraro, E.; Da Rocha Rolo, M.; Vittone, E.
Multi-client blind quantum computing over a Qline architecture 1-gen-2024 Polacchi, B.; Leichtle, D.; Limongi, L.; Carvacho, G.; Milani, G.; Spagnolo, N.; Kaplan, M.; Sciarrino, F.; Kashefi, E.
A Risk Assessment of Information Security in a Diet Centre Business: A Case Study 1-gen-2025 Annahdi, Tasneem; Alkubaisy, Duaa; Piras, Luca
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 1-gen-2025 Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces 1-gen-2025 Bombardelli, Alberto; Bozzelli, Laura; Sanchez, Cesar; Tonetta, Stefano
A Specification-Driven Approach to Embedded FDIR Code Generation 1-gen-2025 Bonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Stefano
Teaching and learning in the context of emerging artificial intelligence technologies integrating emotional intelligence and accumulation of cognitive skills 1-gen-2025 Rodriguez Rivero, Cristian; Navarro Ovando, Valentina; Pucheta, Julian; Patino, Hector Daniel; Rajan, Ginu; Otaño, Paula; Imran, Muhammad
Leveraging Self-Adaptive Systems and Generative AI for Personalizing Educational Serious Games: Architecture and Future Challenges 1-gen-2025 Bucchiarone, Antonio; Bonetti, Federico; Yigitbas, Enes
How Game Elements Structure Educational Learning Paths: A Literature Review 1-gen-2026 Zambotto, Lorenzo; Bassanelli, Simone; Manzoni, Federico; Bucchiarone, Antonio; Marconi, Annapaola
Leveling Up UX Methods: An Interactive Archive for UX Methodologies in Gameful Design 1-gen-2026 Bassanelli, Simone; Bolognesi, Enrico; Ceccherini, Tommaso; Bucchiarone, Antonio; Marconi, Annapaola
Ontology as Structure, Domain and Definition 1-gen-2024 Bennett, Brandon; Sindoni, Giulia
EuroVerdict: A Multilingual Dataset for Verdict Generation Against Misinformation 1-gen-2025 Russo, Daniel; Sadeghi, Fariba; Menini, Stefano; Guerini, Marco
High Responsivity Silicon-Graphene Schottky Avalanche Photodetectors for Visible and Telecom Wavelengths 1-gen-2015 Goykhman, Ilya; Eiden, Anna; De Fazio, Domenico; Sassi, Ugo; Barbone, Matteo; Ferrari, Andrea C.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 101 a 120 di 7.931
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 ...7930
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio251
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261554
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...92
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6440
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6816
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1