Search Results for author:
Found 3 papers, 1 papers with code
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving
Our work in essence is based on Hehner's predicative probabilistic programming, but there are several obstacles to the wider adoption of his work.
Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL
However, Isabelle lacks automated proof support for continuous artifacts, which means that verification is often manual.
Logic in Computer Science Dynamical Systems
The PsyMine Corpus - A Corpus annotated with Psychiatric Disorders and their Etiological Factors
We present the first version of a corpus annotated for psychiatric disorders and their etiological factors.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
