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
Business Ideas 2024
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, un'occasione per conoscere l'USI
Porte aperte il 25 maggio 2024
Eventi correnti
Il mondo in USI - Sessione "Erasmus Student Network: students helping students for better and quality mobility"
Don't Jam the LHC: A causal analysis of Code Jam data
Il mondo in USI - Distribuzione ricettario internazionale
Il mondo in USI - Proiezione film in collaborazione con il Film Festival Diritti Umani
Il mondo in USI - Inaugurazione della mostra: "Fragile flash I Unbreakable spirit"
Il mondo in USI - Opera dell'artista Han Sessions: da colorare!
Il mondo in USI - Round table "Academic research and freedom of speech
Computing the Riemannian center of mass on meshes
Designing modular and efficient neural networks with conditional computation
Alice in the autodiff wonderland
Code Review Automation: Strengths and Weaknesses of the State of the Art
Geometric Assignment and Geometric Bottleneck
Informatics and computational thinking, cross-skills in school
Boolean Satisfiability Modulo Differential Equation Simulations
Verifying Verified Code
Automated Verification of Blockchain Technologies with Correctness Guarantees
'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code
Automating Non-Formalized Testing Techniques via Quantification and Optimisation: The Case of Boundary Value Testing
Behaviour-Oriented Concurrency in Verona: Simple, Safe and Speedy
Automatic feedback and hints on steps students take when learning how to program