Zobrazeno 1 - 10
of 164
pro vyhledávání: '"Collins, Pieter"'
Almost all problems in applied mathematics, including the analysis of dynamical systems, deal with spaces of real-valued functions on Euclidean domains in their formulation and solution. In this paper, we describe the the tool Ariadne, which provides
Externí odkaz:
http://arxiv.org/abs/2306.17541
Publikováno v:
In Nonlinear Analysis: Hybrid Systems November 2024 54
Autor:
Bresolin, Davide, Collins, Pieter, Geretti, Luca, Segala, Roberto, Villa, Tiziano, Živanović Gonzalez, Sanja
Publikováno v:
In Information and Computation October 2024 300
Autor:
Bei, Jonas, Pomerenke, David, Schreiner, Lukas, Sharbaf, Sepideh, Collins, Pieter, Roos, Nico
Learning arguments is highly relevant to the field of explainable artificial intelligence. It is a family of symbolic machine learning techniques that is particularly human-interpretable. These techniques learn a set of arguments as an intermediate r
Externí odkaz:
http://arxiv.org/abs/2202.00383
Autor:
Collins, Pieter
The aim of this paper is to present an elementary computable theory of random variables, based on the approach to probability via valuations. The theory is based on a type of lower-measurable sets, which are controlled limits of open sets, and extend
Externí odkaz:
http://arxiv.org/abs/2101.00956
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide several the
Externí odkaz:
http://arxiv.org/abs/2001.11330
Autor:
Park, Sewon, Brauße, Franz, Collins, Pieter, Kim, SunYoung, Konečný, Michal, Lee, Gyesik, Müller, Norbert, Neumann, Eike, Preining, Norbert, Ziegler, Martin
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (June 24, 2024) lmcs:7557
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic
Externí odkaz:
http://arxiv.org/abs/1608.05787
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.