Testing imprecise hypotheses
SIESTA 2024 - 4th International Software Engineering Summer School
La scienza al servizio del benessere e della salute mentale
PaSh: Scaling out Shell Programs, Automatically
Bernoulli Society Worskhop - Innovation in dynamic network modelling
ICANN 2024 - La 33. conferenza internazionale sulle reti neurali artificiali
A Lugano la 13. edizione della DACH+ Energy Informatics Conference
6. workshop SCOSTEP
Eventi correnti
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 - Opera dell'artista Han Sessions: da colorare!
Il mondo in USI - Round table "Academic research and freedom of speech
Il mondo in USI - Inaugurazione della mostra: "Fragile flash I Unbreakable spirit"
Computing the Riemannian center of mass on meshes
Code Review Automation: Strengths and Weaknesses of the State of the Art
Designing modular and efficient neural networks with conditional computation
Alice in the autodiff wonderland
Geometric Assignment and Geometric Bottleneck
Informatics and computational thinking, cross-skills in school
Boolean Satisfiability Modulo Differential Equation Simulations
Automated Verification of Blockchain Technologies with Correctness Guarantees
Verifying Verified Code
'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
Sound Notional Machines
Automatic feedback and hints on steps students take when learning how to program