'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code
Automating Non-Formalized Testing Techniques via Quantification and Optimisation: The Case of Boundary Value Testing
Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
Geometric Assignment and Geometric Bottleneck
XXVIII Dies academicus
Eventi correnti
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
Talk@IDSIA - 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
Parallel Tree Codes for Vortex Particle Methods
Dynamic Code Evolution for Java
Exploration of Web search results by the use of Soft operators