DeepAI

Normann Decker

is this you? claim profile

Featured Co-authors

∙ 10/01/2020

We correct our proof of a theorem stating that satisfiability of frequen...

Benedikt Bollig, et al. ∙

∙ 01/17/2019

This paper presents an approximation approach to verifying counter syste...

Normann Decker, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world

Get the week's most
popular data science
research in your inbox -
every Saturday

Distributed Control of Partial Differential Equations Using Convolutional Reinforcement Learning

01/25/2023 ∙ by Sebastian Peitz ∙ 121
Advances in Medical Image Analysis with Vision Transformers: A Comprehensive Review

01/09/2023 ∙ by Reza Azad ∙ 90
MedKLIP: Medical Knowledge Enhanced Language-Image Pre-Training

01/05/2023 ∙ by Chaoyi Wu ∙ 38
AtMan: Understanding Transformer Predictions Through Memory Efficient Attention Manipulation

01/19/2023 ∙ by Mayukh Deb ∙ 35
Forecasting subcritical cylinder wakes with Fourier Neural Operators

01/19/2023 ∙ by Peter I Renn ∙ 33
Reprogramming Pretrained Language Models for Protein Sequence Representation Learning

01/05/2023 ∙ by Ria Vinod ∙ 32
Semi-Supervised Semantic Segmentation via Gentle Teaching Assistant

01/18/2023 ∙ by Ying Jin ∙ 29