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
Open Day on 25 May 2024
Current events
New short advanced course on BioBusiness
Working with multiple representations of documents and information needs across different document types - recent work in integrated search and polyrepresentation
"Sistemi di Comunicazione Open Source" - Seminario tecnico OSLab
Spring Semester Projects Presentations - Faculty of Informatics
Accelerating Next Generation Networking Devices
Abstractions for Secure Distributed Computing
Parameterized verification of fault tolerant protocols
Talk@IDSIA - Ilaria Vacca - The Tactical Berth Allocation Problem: integrated optimization in container terminals
Padua points: theory, computation and applications
Large Scale Project Courses
On A Study in Direct Policy Search
Using Managed Language Abstraction to Optimize Memory Efficiency
Challenges in Advanced Computing - Multi-this and Multi-that
Peer-to-Peer Algorithms for Sampling Generic Topologies
Model Engineering for Model-Driven Engineering
On hierarchical CAD processing and simulation with Isogeometric Analysis
Fighting Gibbs Phenomenon by Quotienting
Architectural Decision Modeling with Reuse - Rationalize your Software Architecture Designs
Parallel Tree Codes for Vortex Particle Methods
Dynamic Code Evolution for Java