Zobrazeno 1 - 10
of 942
pro vyhledávání: '"P Middelburg"'
Autor:
Middelburg, C. A.
Previous papers give accounts of quests for satisfactory formalizations of the classical informal notion of an algorithm and the contemporary informal notion of an interactive algoritm. In this paper, an attempt is made to generalize the results of t
Externí odkaz:
http://arxiv.org/abs/2410.17821
Autor:
Bergstra, J. A., Middelburg, C. A.
We introduce a process algebra that concerns the timed behaviour of distributed systems with a known spatial distribution. This process algebra provides a communication mechanism that deals with the fact that a datum sent at one point in space can on
Externí odkaz:
http://arxiv.org/abs/2409.15120
Autor:
Middelburg, C. A.
An earlier paper gives an account of a quest for a satisfactory formalization of the classical informal notion of an algorithm. In this paper, an attempt is made to generalize the results of that quest to the informal notion of an interactive algorit
Externí odkaz:
http://arxiv.org/abs/2405.19037
Autor:
Middelburg, C. A.
Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with non-classica
Externí odkaz:
http://arxiv.org/abs/2403.04641
Autor:
Middelburg, C. A.
Publikováno v:
In The Practice of Formal Methods, pages 23--44. Springer Nature, LNCS 14781, 2024
The starting point of this paper is a collection of properties of an algorithm that have been distilled from the informal descriptions of what an algorithm is that are given in standard works from the mathematical and computer science literature. Bas
Externí odkaz:
http://arxiv.org/abs/2401.08366
Autor:
Middelburg, C. A.
Publikováno v:
Scientific Annals of Computer Science vol. 33(2):159-192 (2023)
This paper concerns an expansion of first-order Belnap-Dunn logic, named $\mathrm{BD}^{\supset,\mathsf{F}}$, and an application of this logic in the area of relational database theory. The notion of a relational database, the notion of a query applic
Externí odkaz:
http://arxiv.org/abs/2303.05264
Autor:
Middelburg, C. A.
This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers are all familiar from classical logic. The language and logical consequence relation of the logic are defined, a proof system for the defined logic is
Externí odkaz:
http://arxiv.org/abs/2301.10555
Autor:
Matthias Kuderer, Jack J. Middelburg
Publikováno v:
Geophysical Research Letters, Vol 51, Iss 19, Pp n/a-n/a (2024)
Abstract Most organic carbon delivered to the seafloor is degraded within the bioturbated layer. Theory and empirical evidence have shown that organic carbon reactivity relates to the age of a particle. However, due to particle mixing, the age‐dept
Externí odkaz:
https://doaj.org/article/64280cc90b67454cb253516c2baaee62
Autor:
Koen J. Nelissen, MS, Wilko F.A.R. Verbakel, PhD, Judith G. Middelburg–van Rijn, MD, Barbara L.T. Rijksen, MD, Marjan A. Admiraal, PhD, Jorrit Visser, PhD, Jessica van der Himst, Karin N. Goudschaal, MS, Ewa Bucko, Ben J. Slotman, MD, Angelique R.W. van Vlaenderen, MS, Desiree H.J.G. van den Bongard, PhD, MD
Publikováno v:
Advances in Radiation Oncology, Vol 10, Iss 1, Pp 101664- (2025)
Purpose: In postoperative breast irradiation, changes in the breast contour and arm positioning can result in patient positioning errors and offline replanning. This can lead to increased treatment burden and strain on departmental logistics because
Externí odkaz:
https://doaj.org/article/7f5730d5a7fe44bfbb85fc276812e4ef
Autor:
Middelburg, C. A.
Publikováno v:
Journal of Applied Non-Classical Logics 34(1):133-154 (2024)
This paper concerns the paraconsistent logic LPQ$^{\supset,\mathsf{F}}$ and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent answer to
Externí odkaz:
http://arxiv.org/abs/2208.12976