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
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, get to know USI in half a day
Open doors at IRSOL and the Specola
USI Graduation Ceremony
Current events
Creating a Software Ecosystem for Data Intensive Science
A Simple and Efficient Interior Point Method for Min-Cost Flow
A hybrid numerical algorithm for fast and efficient spectral wave modeling: the combination of a block wavefront approach with a pipelined parallel approach
Motif matching in DNA sequences using generalized PWM models
Advanced Theoretical Modelling and Fluid-Structure Interaction Analysis of Patient-Specific Cardiovascular Haemodynamics
Exponential variational integrators
A generic static analyzer and its application to TouchDevelop
Premio Swiss Engineering Ticino 2015 / Swiss Engineering Ticino 2015 Awards
Location privacy: tell me where you go and I'll tell you whom you are
High Performance Deferred Update Replication
SLS: Smart Localization Service - Human Mobility Models and Machine Learning Enhancements for Mobile Phone's Localization
Analytics on Graphs with a Trillion Edges
Swiss Engineering Ticino Prize
Compilers for Fast Data
ASPDE: Automated Solver for Partial Differential Equations
Challenges of data analysis in a multiscale context: causality inference and unresolved scales
An SMT-based verification framework for software systems handling arrays
Checking Cloud Contracts in Azure
International, Interdisciplinary, Innovative - From Vision to Reality
Reconfigurable Computing for All: And-Inverter Cones & Domain-Specific Hardware Synthesis Tools