Device Accelerated solvers with PETSc: current status, future perspectives, and applications
Scalable Gaussian Processes
Scalable State Machine Replication Revisited
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)
Eventi correnti
Adaptive numerical integration of dynamical contact problem
How to do cryptography if your hardware is not trusted
The Price for Perfect Secrecy
Distributed Reasoning about Context: Theory and Applications
Domain-based change impact analysis in software maintenance
New short advanced course on BioBusiness
Working with multiple representations of documents and information needs across different document types - recent work in integrated search and polyrepresentation
"Sistemi di Comunicazione Open Source" - Seminario tecnico OSLab
Spring Semester Projects Presentations - Faculty of Informatics
Accelerating Next Generation Networking Devices
Abstractions for Secure Distributed Computing
Parameterized verification of fault tolerant protocols
[email protected] - Ilaria Vacca - The Tactical Berth Allocation Problem: integrated optimization in container terminals
Padua points: theory, computation and applications
Challenges in Advanced Computing - Multi-this and Multi-that
Large Scale Project Courses
On A Study in Direct Policy Search
Using Managed Language Abstraction to Optimize Memory Efficiency
Peer-to-Peer Algorithms for Sampling Generic Topologies
Model Engineering for Model-Driven Engineering