Testing imprecise hypotheses
SIESTA 2024 - 4th International Software Engineering Summer School
La scienza al servizio del benessere e della salute mentale
PaSh: Scaling out Shell Programs, Automatically
Bernoulli Society Worskhop - Innovation in dynamic network modelling
ICANN 2024 - La 33. conferenza internazionale sulle reti neurali artificiali
A Lugano la 13. edizione della DACH+ Energy Informatics Conference
6. workshop SCOSTEP
Eventi correnti
XXVII Dies academicus
Bachelor Info Day, un'occasione per conoscere l'USI
Un'introduzione alla scienza esatta ellenistica
Research Code as Infrastructure (RCaI)
Approximate Bayesian inference based on dense matrices using INLA
What about Web APIs versioning?
Mutation Testing of Deep Learning Systems
History of protocol design and quality assurance in Cosmos
Master Online Q&A
Mind, consciousness and ChatGPT: can ChatGPT impute unobservable mental states to others?
Effective and flexible SMT-streamlined software model checking
Exploring the Dual Nature of Code Review: Implications for Investigative Methods and Tool Development
Empirical Assessment and System Level Integration of Neural Network Supervisors
On Reviewers' Regrets and Negative Results
Regular Model Checking Revisited
On Learning- and Optimization-based Methods for Risk-Averse Control of Autonomous Systems
Effective Automated Software Verification: A Multilayered Approach
Overview of formal method tools from Microsoft Research
Make VR great again
Master Info Day