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
Workshop of the International Center for Advanced Computing in Medicine (ICAM)
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, get to know USI in half a day
Current events
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine
An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages
Towards computational drug design for cancer chemotherapy
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Software Systems
Dynamic Generation of Processes for Self-Adaptive Software Systems
Introduction into Finite Plasticity with Application in Crash Simulations
IMUnit: Improved Multithreaded Unit Testing
Software Open Source e aspetti legali
Convergent Context-Driven Computer Communications: The Road to the Future Internet
Parallel-in-Time Integration Schemes",
Semester Projects Presentations 01.06.11 - Faculty of Informatics
Advances in Computational Science
Towards Self-Adaptive Security for Pervasive Computing Architectures
Some new results on proximity graphs
Architectural Exploration and Scheduling Methods for Coarse Grained Reconfigurable Arrays
Testing and (automated) Debugging at Google
Social Shuffle - Tag Navigation and Social Diffusion for Music Discovery
Cooperative design - experience and future
Multilevel Optimization Methods for Engineering Design and PDE-Constrained Optimization
Disney and Informatics - The opportunities of Geometric and Visual Computing