Generalised Bayesian model selection
CSCS-USI Summer School 2026 on Effective High-Performance Computing and Data Analytics
Understanding performance and energy efficiency trade-offs under power capping and frequency scaling scenarios
EMS 2026 - European Meeting of Statisticians
SIESTA 2026 - 6th International Software Engineering Summer School
CPS Summer School
XXXI Dies academicus
Current events
In-cell structural biology using NMR spectroscopy
Characterisation of CMOS and FPGAs operating at cryogenic temperatures for quantum computing applications
Protein dynamics and molecular design: computational approaches with an eye to chemical biology
Towards finding non-terminating behaviours in programs
Code Offloading on Opportunistic Computing
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