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
1st International EUGAIN Summer Training School (EUGAIN-STS 2022)
CSF Workshop on Generalized Barycentric Coordinates in Computer Graphics and Computational Mechanics
Human Computer Interaction (HCI) - Retrospective and Perspective
Stabilizing DG methods on polygonal meshes via computable dual norms
Automated Reasoning with Neuro-Symbolic Learning
High-performance computations of multiphase flows
SI Seminar by Valerie Burgener
Geometric problems in higher dimensions: Voronoi diagrams, the Fermat point, and the bichromatic discrepancy
Supercomputing, Cloud and Edge Security Models Convergence using Infrastructure-as-Code, APIs, and Container Technologies
Bachelor Info Day, Campus Lugano
SI Seminar by Diego Venâncio Marcílio
Master Meetings - Semestre primaverile 2022
XXVI Dies academicus
Costruttori di Fake news
Giornate di donazione del sangue USI-SUPSI, maggio 2022 - Giorno 2
Giornate di donazione del sangue USI-SUPSI, maggio 2022 - Giorno 1
Internet of Things for the Sustainable Development Goals
Supercharging Plant Configurations using Z3
Sustainable University Day 2022
SI Seminar by Bin Lin