Quo vadis education in the era of automation
Cryptocurrency vs. consensus
Hazard Detection for Robotic Applications as Visual Anomaly Detection
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Business Ideas 2024
Workshop of the International Center for Advanced Computing in Medicine (ICAM)
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Eventi correnti
On the issue of aggregation in Information Retrieval
Improving Students' Understanding in Python Programming
From Distributed Programming to Big Data Analytics
Inaugural lecture by Prof. Silvia Santini
Data Structures of the Future: Concurrent, Optimistic, and Relaxed
Causal Loops: Logically Consistent Correlations, Time Travel, and Computation
Graphical models through the lens of phase transitions
Performance Engineering for HPC: Models generating insights
Types: Safety Net and Springboard
Data Privacy: How to Survive the Inference Avalanche
Scalable Platforms for System-on-Chip Design
Informative Descriptor Preservation via Commutativity for Shape Matching
From Mobile Phone based Monitoring of Depressive States to Data-Driven Behaviour Interventions
Where Virtual Meets Real: Perceptually-Driven Inputs for New Output Devices
Designing Fault-Tolerant Networks via Rounding-by-Tree-Embedding
Holistic Recommender Systems for Software Engineering
Quantum Cryptography in the Real World
Democratizing Graph Analytics
Robustness and complexity tradeoffs in inference and learning
Dimensionality reduction for search in high dimensions