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, un'occasione per conoscere l'USI
Eventi correnti
Master Info Day
The CakeML Project: Chasing End-to-End Correctness, Verified Compilation and Applications
Experimental Study on Cyberbullying Detection in Social Network: A comparison between Machine Learning and Transfer Learning Techniques
Adaptive maximization of social welfare in theory and practice
Bachelor Ministage: due giorni da studenti e studentesse USI
Teaching problem decomposition with graphics
The bright future between immutability and aliasing restrictions
Giornata internazionale delle donne e delle ragazze nella scienza 2023
Algebraic and Humble Programming
A Sparsified Online Newton Method for Training Large Neural Networks
Learning and clustering graphs from high dimensional data
Biomolecular NMR: from sample preparation to 3D structure
TIME-X Parallel-in-Time Application Hackathon
Scaling Strongly Consistent Replicated Systems
Disentangling the role of rheology in predicting tissue fracture
Autumn Semester Project Presentations
From PuppyIR to Sven: The history of Children Information Retrieval
Towards real-time realistic computer graphics using Neural Radiance Fields
SI Seminar by Hassan Atwi