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
Characterisation of CMOS and FPGAs operating at cryogenic temperatures for quantum computing applications
Code Offloading on Opportunistic Computing
Protein dynamics and molecular design: computational approaches with an eye to chemical biology
Towards finding non-terminating behaviours in programs
Finding Rare Numerical Stability Errors in Concurrent Computations
Towards a Robust Internet of Things: The Case of Wireless Sensor Networks
Property Directed Equivalence via Abstract Simulation
Information Retrieval is not only Search. How to aggregate, cluster, quantify and visualize result sets
Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned
Graph matching: relax or not?
Living Labs for Online Evaluation
Non-Invasive Localization of Cardiac Isochrones using the standard 12 lead ECG using the cardiac isochrone positioning system
A hybrid domain decomposition type of preconditioner for Jacobi-Davidson on modern hardware
Detecting Irony and Sarcasm in Twitter: The Role of Affective Content
ASIST: Automatic Semantically Invariant Scene Transformation
Novel Hyperspectral Sensors for Quantitative Assessment of Health and Nutrition States of Crop Plants
Automatically generating software documentation from existing sources
Recommender Systems for Software Developers
Multipoint polynomials and basis for scattered data interpolation
Piecewise Liner Differentiation and Algebra