Klaus-Dieter Schewe | DeepAI

AI Chat

Featured Co-authors

Qing Wang
110 publications
Shen Zheng
12 publications
Jinghua Wang
9 publications
Flavio Ferrarotti
7 publications
José María Turull-Torres
5 publications
Egon Börger
4 publications
Senén González
4 publications
Xiwei Wang
3 publications
Yamine Ait Ameur
2 publications
Kanya Mo
2 publications
Andreas Prinz
1 publication

∙ 02/12/2021

Exploiting Spline Models for the Training of Fully Connected Layers in Neural Network

The fully connected (FC) layer, one of the most fundamental modules in a...

0 Kanya Mo, et al. ∙

∙ 09/08/2020

Completeness in Polylogarithmic Time and Space

Complexity theory can be viewed as the study of the relationship between...

0 Flavio Ferrarotti, et al. ∙

∙ 09/08/2020

Realisability of Control-State Choreographies

Choreographies prescribe the rendez-vous synchronisation of messages in ...

0 Klaus-Dieter Schewe, et al. ∙

∙ 05/10/2020

Insignificant Choice Polynomial Time

In the late 1980s Gurevich conjectured that there is no logic capturing ...

0 Klaus-Dieter Schewe, et al. ∙

∙ 01/07/2020

Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms

We develop a behavioural theory of reflective sequential algorithms (RSA...

0 Klaus-Dieter Schewe, et al. ∙

∙ 01/07/2020

A Behavioural Theory of Recursive Algorithms

“What is an algorithm?” is a fundamental question of computer science. G...

0 Egon Börger, et al. ∙

∙ 11/29/2019

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems

The polylogarithmic time hierarchy structures sub-linear time complexity...

0 Flavio Ferrarotti, et al. ∙

∙ 11/29/2019

A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time

We introduce a restricted second-order logic SO^plog for finite structur...

0 Flavio Ferrarotti, et al. ∙

∙ 02/13/2019

Concurrent Computing with Shared Replicated Memory

The behavioural theory of concurrent systems states that any concurrent ...

0 Klaus-Dieter Schewe, et al. ∙

∙ 06/19/2018

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic

Let SO^plog denote the restriction of second-order logic, where second-o...

0 Flavio Ferrarotti, et al. ∙

∙ 06/12/2017

Serialisable Multi-Level Transaction Control: A Specification and Verification

We define a programming language independent controller TaCtl for multi-...

0 Egon Börger, et al. ∙

∙ 06/06/2017

Specifying Transaction Control to Serialize Concurrent Program Executions

We define a programming language independent transaction controller and ...

0 Egon Börger, et al. ∙

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