Neuro-Symbolic AI for Developing, Testing and Consuming Web APIs: An AMBIZIONE Project Proposal
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, get to know USI in half a day
Open Day on 25 May 2024
Current events
Don't Jam the LHC: A causal analysis of Code Jam data
Il mondo in USI - International cookbook distribution
Il mondo in USI - Film projection in collaboration with the Human Rights Film Festival
Il mondo in USI - Artist Han Sessions' work to be coloured!
Il mondo in USI - Round table "Academic research and freedom of speech
Il mondo in USI - Opening of the exhibition "Fragile flash I Unbreakable spirit"
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
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
Automatic feedback and hints on steps students take when learning how to program