Testing imprecise hypotheses
SIESTA 2024 - 4th International Software Engineering Summer School
Science serving wellbeing and mental health
PaSh: Scaling out Shell Programs, Automatically
Bernoulli Society Worskhop - Innovation in dynamic network modelling
ICANN 2024 - The 33rd International Conference on Artificial Neural Networks
A Lugano la 13. edizione della DACH+ Energy Informatics Conference
6th Swiss SCOSTEP workshop
Current events
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
Novel Hyperspectral Sensors for Quantitative Assessment of Health and Nutrition States of Crop Plants
ASIST: Automatic Semantically Invariant Scene Transformation
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
Chupja--PHY Covert Channels: Can you see the Idles?
USI @CeBIT (14-18.3, Hannover)