On computable numbers, with an application to the Druckproblem
Porte aperte il 25 maggio 2024
Cerimonia dei diplomi USI
Spring Semester Project Presentations
Satellite workshop to International Society for Bayesian Analysis (ISBA) world meeting
XXIX Dies academicus
Eventi correnti
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
Boolean Satisfiability Modulo Differential Equation Simulations
Informatics and computational thinking, cross-skills in school
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
Sound Notional Machines
Automatic feedback and hints on steps students take when learning how to program
Foundations of Trustworthy AI for the Real World
La nostra vita con l'intelligenza artificiale (IA): opportunità e rischi per le attuali e future generazioni
Systematic Generalization in Connectionist Models
From Self-supervised learning to LLMs for Timeseries: Adopting "GPT" paradigm for modelling behaviours at scale
USI Welcome 2023
SIESTA 2023 - 3rd International Software Engineering Summer School