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
Business Ideas 2024
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, get to know USI in half a day
Current events
Security in machine learning: a cryptographer's perspective
Efficient and scalable solution techniques for small data learning problems
Causal reasoning for software quality engineering
Optics and Machine Learning, a seminar by Professor Demetri Psaltis
Multi-fidelity modeling of atrial fibrillation
Session-based Recommendation and Reinforcement Learning
Parallel Ultra Low Power - PULP 2023
Farewell Day Swiss TecLadies
Self-Supervised Neural Topic Modeling
Spring Semester Project Presentations
Automated Support for Improving Software Quality of Mobile Apps Before and After Release
Semantic Matching for Migrating Tests Across Similar Interactive Applications
Contribution-based Firing of Developers?
Latent drivers for dynamic networks
Programming and verification frameworks for differential privacy
Fast Weight Programmers for Greater Systematic Generalisation in Language
On the Understandability of Security Tactics for Microservice APIs
Master Meetings - Spring Semester 2023
USI Graduation Ceremony
ByteBack: Deductive Functional Verification of Bytecode programs