Quo vadis education in the era of automation
Hazard Detection for Robotic Applications as Visual Anomaly Detection
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, un'occasione per conoscere l'USI
Porte aperte all'IRSOL e alla Specola
Cerimonia dei diplomi USI
Eventi correnti
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
Concorso nazionale Scienza e gioventù
Optimal Methodology for the Quantification of Binding Constants from Spectrophotometric Titration Data
Donne in viaggio in tempo di guerra - inaugurazione della mostra dedicata ad Annemarie Schwarzenbach
Automatic Generation of Test Oracles from Natural Language Specifications
Neural Software Analysis: Learning Developer Tools from Code
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification
On automatically generating source code
Proiezione del docu-film "Dove bisogna stare"
BiblioWeekend - conferenza con Paulo Gonçalves e premiazione concorso "Volere la luna"
Bachelor Info Day, Campus Lugano
Creating a Domain Specific Language in Kotlin Using Type-Safe Builders
Compressed empirical measures
International Women's Day Hackathon 2022
Multilevel optimization algorithm for Inverse Problem in Electrocardiography
5 Years of Research: Lessons Learned
2 Data Science cases studies on the COVID-19 pandemic
Online Master Info Week
Automated Vulnerability Research for Smart Embedded Devices
Testing and Evaluation of Autonomous Driving Systems: From Simulated to Real-world Test Environments