Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Tom de Jong"'
Autor:
Tom de Jong, Martín Hötzel Escardó
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)
We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements existing work on
Externí odkaz:
https://doaj.org/article/0520c76e97bc4e39962165cd3f166229
Autor:
Tom de Jong, Jaap van Oosten
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 3 (2020)
We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is the natural
Externí odkaz:
https://doaj.org/article/e5f6d6fdfa7c4aa3974e1348b21bde6e
Autor:
Rogier Schroeder, Keetje de Mooij, Luitzen Groen, Pieter Dik, Caroline Kuijper, Aart Klijn, Tom de Jong
Publikováno v:
Frontiers in Pediatrics, Vol 5 (2017)
Externí odkaz:
https://doaj.org/article/0c70fbe2197c453e805655553290d345
Autor:
Boris Aronov, Kevin Buchin, Maike Buchin, Bart Jansen, Tom de Jong, Marc van Kreveld, Maarten Loffler, Jun Luo, Rodrigo I. Silveira, Bettina Speckmann
Publikováno v:
Journal of Spatial Information Science, Vol 2011, Iss 3, Pp 3-31 (2011)
Road network analysis can require distance from points that are not on the network themselves. We study the algorithmic problem of connecting a point inside a face (region) of the road network to its boundary while minimizing the detour factor of tha
Externí odkaz:
https://doaj.org/article/41d6063b9b9340d787124dfc052138f0
Publikováno v:
Journal of Transport and Land Use, Vol 8, Iss 3 (2015)
The present study sets out to provide an ex ante insight into the equity effects of a toll charge on the traffic diversions and geographical accessibility of work locations in the Cape Town metropolitan region, South Africa. Based on a static traffic
Externí odkaz:
https://doaj.org/article/392cc0a00c8246d5a7364a31a3934925
Autor:
Bert van Wee, Tom de Jong
Publikováno v:
Journal of Transport Geography, 106
This paper explores to what extent inequalities in travel times, measured via the Gini index, depend on the spatial scale at which (average) travel times are measured. By using the new concept of Dedicated Accessibility Points, for the Netherlands we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6b4082d81f5ea4da2d286a6726f697e
http://resolver.tudelft.nl/uuid:94716349-d26d-4df5-8726-4ea7d7929154
http://resolver.tudelft.nl/uuid:94716349-d26d-4df5-8726-4ea7d7929154
Publikováno v:
World Review of Intermodal Transportation Research, 11(2), 133-154. Inderscience Enterprises Ltd.
Stimulating combined and Intermodal Freight Transport (IFT) to foster sustainability has been on the global policy agendas for a long time. An understudied dimension in this debate is the effectiveness and efficiency of IFT policies. This paper prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8596f3f15ec124f73cfa6c8b0077b2c7
https://pure.eur.nl/en/publications/f0a8ea19-ebb6-4270-a1da-1a99859f4c41
https://pure.eur.nl/en/publications/f0a8ea19-ebb6-4270-a1da-1a99859f4c41
Autor:
Tom de Jong
Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64742052ca08054a9e1f493b6404272d
http://arxiv.org/abs/2112.14052
http://arxiv.org/abs/2112.14052
Autor:
Tom de Jong, Justin van Dijk
Publikováno v:
Annals of GIS. 23:203-217
The exact distance and routes travelled on an individual level are essential variables in determining the effectiveness of ‘soft’ transport demand management strategies. The ability to track individuals in great spatial detail by means of Locatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d2bfdb80245da58cd1537d3604fb014
https://doi.org/10.1080/19475683.2017.1340340
https://doi.org/10.1080/19475683.2017.1340340
Autor:
Tom de Jong
We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF, we use the lifting monad (also known as the partial map classifier mon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61332e4e56b4095fd26cacdd3905cabf