TIME-X Parallel-in-Time Application Hackathon
Scaling Strongly Consistent Replicated Systems
Biomolecular NMR: from sample preparation to 3D structure
Algebraic and Humble Programming
A Sparsified Online Newton Method for Training Large Neural Networks
Adaptive maximization of social welfare in theory and practice
XXVII Dies academicus
Eventi correnti
Distributed Reasoning about Context: Theory and Applications
Domain-based change impact analysis in software maintenance
Working with multiple representations of documents and information needs across different document types - recent work in integrated search and polyrepresentation
New short advanced course on BioBusiness
"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
Fighting Gibbs Phenomenon by Quotienting
On hierarchical CAD processing and simulation with Isogeometric Analysis
Architectural Decision Modeling with Reuse - Rationalize your Software Architecture Designs