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
Current events
Uncertainty quantification for elliptic PDEs
Computational PDE and data assimilation
New three-field mixed formulations for elasticity and poroelasticity
Bayesian methods via spectral functional representations
On robust domain decomposition solvers and the automation of adjoint and tangent linear models of differential-algebraic equations
Parallel Multigrid Solvers in Space and Time for Future Architectures
Malware Detection at Runtime for Resource-Constrained Mobile Devices: Data-Driven Approach
Approximation Algorithms for Rectangle Packing Problems
Online Disturbance Prediction for Enhanced Availability in Smart Grids
Liquid Stream Processing on the Web: a JavaScript Framework
6th Workshop on parallel-in-time methods
Degree award ceremony of the Faculty of Informatics
Human Factors in Crowdsourcing
Database storage tiering, fast and slow
Approximation Algorithms for Network Design Problems
Optimization in function space and some applications in medicine
"Big" Data Preparation for the Data Science Journey
Fast and scalable implicit low-order finite-element solvers for solid earth science simulations
Bitcoin and the new Crypto Currencies
Security evaluation for automotive systems and lightweight cryptography standardization