research
∙
11/22/2022
Continuous R-valuations
We introduce continuous R-valuations on directed-complete posets (dcpos,...
share
research
∙
09/28/2022
A cone-theoretic barycenter existence theorem
We show that every continuous valuation on a locally convex, locally con...
research
∙
11/21/2021
The Central Valuations Monad
We give a commutative valuations monad Z on the category DCPO of dcpo's ...
research
∙
11/17/2021
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth
Floyd and Knuth investigated in 1990 register machines which can add, su...
research
∙
09/09/2021
A Derivative-based Parser Generator for Visibly Pushdown Grammars
In this paper, we present a derivative-based, functional recognizer and ...
research
∙
09/01/2021
Separating minimal valuations, point-continuous valuations and continuous valuations
We give two concrete examples of continuous valuations on dcpo's to sepa...
research
∙
07/28/2021
Semantics for Variational Quantum Programming
We consider a programming language that can manipulate both classical an...
research
∙
06/30/2021
A Domain-Theoretic Approach to Statistical Programming Languages
We give a domain-theoretic semantics to a statistical programming langua...
research
∙
01/31/2021
Commutative Monads for Probabilistic Programming Languages
A long-standing open problem in the semantics of programming languages s...
research
∙
02/05/2020
Completing Simple Valuations in K-categories
We prove that Keimel and Lawson's K-completion Kc of the simple valuatio...
research
∙
08/10/2018
A simplified convolutional sparse filter for impulsive signature enhancement and its application to the prognostic of rotating machinery
Impulsive signature enhancement (ISE) is an important topic in the monit...
research
∙
07/11/2018