Device Accelerated solvers with PETSc: current status, future perspectives, and applications
Scalable Gaussian Processes
Robust Sensor-based Recognition of Human Behavior
Machine Learning: Capabilities, Limitations and Misconceptions
Summer University 2022 on Effective High-Performance Computing and Data Analytics
ACM Conference on International Computing Education Research (ICER 2022)
International Multigrid Conference 2022 (IMG 2022)
USI Welcome 2022
Subdivision schemes for curve design and image analysis
Fall Semester Project Presentations 2017
Likelihood Approximation With Hierarchical Matrices For Large Spatial Datase
HiFrog: SMT-based Model Checker for Software Verification
Collaborative Missions with Heterogeneous Networked Teams
Synchronizing Constraint Horn Clauses
Among the best programmers in Europe
What to search on, What to search for, and How to search for patents
Test design of IIR evaluation
Code Offloading in Opportunistic Computing
SNF Mobility Fellowship - Pietro Bressana
What Good are Formal Methods for Software Engineering?
Software testing research: foundations, key problems and future directions
Dude, we can estimate the understandability of your code! Actually, no! Not yet!
Interaction-Aware Development Environments
Statitstical Inference for small & large dynamical data sets in Systems Biology
Ragazze e Informatica Avanti!
Super-Resolution of Positive Sources and One More Thing ...
Statistical Data Science: a thriving future
The quest for fast learning from few examples