Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications. Graph Convolutional Networks for Coronary Artery Segmentation in Cardiac CT Angiography. Deep Kernel Learning for Clustering. Multi-Model Investigative Exploration of Social Media Data with boutique: A Case Study in Public Health. All-Action Policy Gradient M …
![](/2019/images/telematika-paper.png)