SpecifyThis—Bridging Gaps Between Program Specification Paradigms: Track Introduction
2026-01-01 Cimatti, Alessandro; Ernst, Gidon; Herber, Paula; Huisman, Marieke; Ulbrich, Mattias
Diagnosis of Runtime Property Violations
2026-01-01 Bozzano, Marco; Cimatti, Alessandro; Sambrotta, Alberto; Tonetta, Stefano
Platform-Aware Mission Planning with Task-Level Contracts
2026-01-01 Panjkovic, Stefan; Cimatti, Alessandro; Incer, Inigo; Micheli, Andrea; Tonetta, Stefano; Panjkovic, Stefan; Cimatti, Alessandro; Incer, Inigo; Micheli, Andrea; Tonetta, Stefano
Integrating Ontologies and Object Compositional Hierarchies for Dynamic Semantic Segmentation of Point Clouds
2026-01-01 Codiglione, Matteo; Facenda, Samuele; Remondino, Fabio
Relating Real-Time System Contracts with Software Function Contracts
2026-01-01 Ung, G.; Cimatti, A.; Gurov, D.; Nyberg, M.; Tonetta, S
Vision-Based Heading Correction for GPS-Resilient Autonomous Orchard Navigation
2026-01-01 Girlanda, Federico; Shamsfakhr, Farhad; Osman, Anas; Vecchio, Massimo; Antonelli, Fabio
SiO2-TiO2 hybrid coatings applied on polymeric materials for flexible photonics applications
2022-01-01 Szczurek, A.; Tran, T. N. L.; Varas, S.; Lewandowski, D.; G?siorek, A.; Babiarczuk, B.; Carlotto, A.; Chiasera, A.; Ferrari, M.; Lukowiak, A.; Krzak, J.
Mute Cods: A Multilingual Telegram Dataset with Benchmark Models for Conspiracy Theory Detection
2026-01-01 Laken, Katarina; Marino, Erik Bran; Piot, Paloma; Bassi, Davide; Fomsgaard, Søren Kirkegaard; Maggini, Michele Joshua; Vieira, Renata; Garcia, Marcos; Tonelli, Sara
Real Men are Tough: Evaluating Gender Bias and Sensitivity to Masculinity Norms in LLMs
2026-01-01 Leonardelli, Elisa; Casula, Camilla; Nyul, Boglarka; Tonelli, Sara
Transformer Neural Network-Based Design and Analysis of Nano-Scale Ferroelectric NCFETs With Low Subthreshold Swing
2026-01-01 Deekshitha Sowjanya, Teki; Narayana Thalluri, Lakshmi; Kumar, K. V. V.; Koti Reddy, M.; Bhunia, Sunandan; Iannacci, Jacopo; Guha, Koushik
Verification of Configurable SRA Systems
2026-01-01 Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Trenti, Dylan
Thesis Proposal: LLMs post-training for multilingual medical tasks. Instruction-Tuning, Continual-Pretraining or Reasoning?
2026-01-01 Ferrazzi, Pietro; Lavelli, Alberto; Magnini, Bernardo
Overview of the CRF 2026 Shared Task on Clinical Case Report Forms Filling
2026-01-01 Ferrazzi, Pietro; Ghosh, Soumitra; Lavelli, Alberto; Magnini, Bernardo
Is Agentic RAG worth it? An experimental comparison of {RAG} approaches
2026-01-01 Ferrazzi, Pietro; Cvjeticanin, Milica; Piraccini, Alessio; Giannuzzi, Davide
From Source Code to Kubernetes Manifests: Guiding LLMs with Structured Metadata
2026-01-01 Franzil, Matteo; Sosa, Ulises Emiliano; Siracusa, Domenico
Aptamer Based Whispering Gallery Mode Biosensor
2013-01-01 Soria, S.; Pasquardini, L.; Barucci, A.; Berneschi, S.; Cosi, F.; Lunelli, L.; Conti, G. Nunzi; Pederzolli, C.
Biosystems interfaced to memristors: Early evidences to study neuromorphic architectures
2015-01-01 Juarez-Hernandez, Lj; Cornella, N; Pasquardini, L; Battistoni, S; Vidalino, L; Caponi, S; Dalla Serra, M; Pederzolli, C; Macchi, P; Musio, C
Dallo sviluppo territoriale partecipativo all’innovazione rurale: esperienze dal progetto SMART ERA
2026-01-01 Torre, Alessia; Leonardi, Chiara; Not, Elena; Mencarini, Eleonora; Gerosa, Matteo
Optimal Determination of Release Time in Integrated Pulse-shaping Circuits for Photon-detection Systems
2026-01-01 Radogna, Antonio Vincenzo; Morciano, Arianna; Gasparini, Leonardo; Grassi, Giuseppe
Input Conditioned Layer Dropping in Speech Foundation Models
2025-01-01 Hannan, Abdul; Falavigna, Daniele; Brutti, Alessio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| SpecifyThis—Bridging Gaps Between Program Specification Paradigms: Track Introduction | 1-gen-2026 | Cimatti, Alessandro; Ernst, Gidon; Herber, Paula; Huisman, Marieke; Ulbrich, Mattias | |
| Diagnosis of Runtime Property Violations | 1-gen-2026 | Bozzano, Marco; Cimatti, Alessandro; Sambrotta, Alberto; Tonetta, Stefano | |
| Platform-Aware Mission Planning with Task-Level Contracts | 1-gen-2026 | Panjkovic, Stefan; Cimatti, Alessandro; Incer, Inigo; Micheli, Andrea; Tonetta, Stefano; Panjkovic, Stefan; Cimatti, Alessandro; Incer, Inigo; Micheli, Andrea; Tonetta, Stefano | |
| Integrating Ontologies and Object Compositional Hierarchies for Dynamic Semantic Segmentation of Point Clouds | 1-gen-2026 | Codiglione, Matteo; Facenda, Samuele; Remondino, Fabio | |
| Relating Real-Time System Contracts with Software Function Contracts | 1-gen-2026 | Ung, G.; Cimatti, A.; Gurov, D.; Nyberg, M.; Tonetta, S | |
| Vision-Based Heading Correction for GPS-Resilient Autonomous Orchard Navigation | 1-gen-2026 | Girlanda, Federico; Shamsfakhr, Farhad; Osman, Anas; Vecchio, Massimo; Antonelli, Fabio | |
| SiO2-TiO2 hybrid coatings applied on polymeric materials for flexible photonics applications | 1-gen-2022 | Szczurek, A.; Tran, T. N. L.; Varas, S.; Lewandowski, D.; G?siorek, A.; Babiarczuk, B.; Carlotto, A.; Chiasera, A.; Ferrari, M.; Lukowiak, A.; Krzak, J. | |
| Mute Cods: A Multilingual Telegram Dataset with Benchmark Models for Conspiracy Theory Detection | 1-gen-2026 | Laken, Katarina; Marino, Erik Bran; Piot, Paloma; Bassi, Davide; Fomsgaard, Søren Kirkegaard; Maggini, Michele Joshua; Vieira, Renata; Garcia, Marcos; Tonelli, Sara | |
| Real Men are Tough: Evaluating Gender Bias and Sensitivity to Masculinity Norms in LLMs | 1-gen-2026 | Leonardelli, Elisa; Casula, Camilla; Nyul, Boglarka; Tonelli, Sara | |
| Transformer Neural Network-Based Design and Analysis of Nano-Scale Ferroelectric NCFETs With Low Subthreshold Swing | 1-gen-2026 | Deekshitha Sowjanya, Teki; Narayana Thalluri, Lakshmi; Kumar, K. V. V.; Koti Reddy, M.; Bhunia, Sunandan; Iannacci, Jacopo; Guha, Koushik | |
| Verification of Configurable SRA Systems | 1-gen-2026 | Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Trenti, Dylan | |
| Thesis Proposal: LLMs post-training for multilingual medical tasks. Instruction-Tuning, Continual-Pretraining or Reasoning? | 1-gen-2026 | Ferrazzi, Pietro; Lavelli, Alberto; Magnini, Bernardo | |
| Overview of the CRF 2026 Shared Task on Clinical Case Report Forms Filling | 1-gen-2026 | Ferrazzi, Pietro; Ghosh, Soumitra; Lavelli, Alberto; Magnini, Bernardo | |
| Is Agentic RAG worth it? An experimental comparison of {RAG} approaches | 1-gen-2026 | Ferrazzi, Pietro; Cvjeticanin, Milica; Piraccini, Alessio; Giannuzzi, Davide | |
| From Source Code to Kubernetes Manifests: Guiding LLMs with Structured Metadata | 1-gen-2026 | Franzil, Matteo; Sosa, Ulises Emiliano; Siracusa, Domenico | |
| Aptamer Based Whispering Gallery Mode Biosensor | 1-gen-2013 | Soria, S.; Pasquardini, L.; Barucci, A.; Berneschi, S.; Cosi, F.; Lunelli, L.; Conti, G. Nunzi; Pederzolli, C. | |
| Biosystems interfaced to memristors: Early evidences to study neuromorphic architectures | 1-gen-2015 | Juarez-Hernandez, Lj; Cornella, N; Pasquardini, L; Battistoni, S; Vidalino, L; Caponi, S; Dalla Serra, M; Pederzolli, C; Macchi, P; Musio, C | |
| Dallo sviluppo territoriale partecipativo all’innovazione rurale: esperienze dal progetto SMART ERA | 1-gen-2026 | Torre, Alessia; Leonardi, Chiara; Not, Elena; Mencarini, Eleonora; Gerosa, Matteo | |
| Optimal Determination of Release Time in Integrated Pulse-shaping Circuits for Photon-detection Systems | 1-gen-2026 | Radogna, Antonio Vincenzo; Morciano, Arianna; Gasparini, Leonardo; Grassi, Giuseppe | |
| Input Conditioned Layer Dropping in Speech Foundation Models | 1-gen-2025 | Hannan, Abdul; Falavigna, Daniele; Brutti, Alessio |
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 ...7994
Data di pubblicazione
- In corso di stampa3
- 2020 - 20271615
- 2010 - 20193441
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE622
- Springer357
- ACM148
- Association for Computational Lin...93
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE61
- ACL38
- AAAI Press37
- European Language Resources Assoc...31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...99
- 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 SCIENCE234
- 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...19
- LECTURE NOTES IN BUSINESS INFORMA...16
- ISPRS ANNALS OF THE PHOTOGRAMMETR...12
- IEEE ENGINEERING IN MEDICINE AND ...11
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6497
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6858
- open494
- restricted474
- reserved165
- partially open2
- mixed1