Zobrazeno 1 - 10
of 28 745
pro vyhledávání: '"A. van der Linden"'
Autor:
Sidorov, Konstantin, van der Linden, Koos, Correia, Gonçalo Homem de Almeida, de Weerdt, Mathijs, Demirović, Emir
Modern software for propositional satisfiability problems gives a powerful automated reasoning toolkit, capable of outputting not only a satisfiable/unsatisfiable signal but also a justification of unsatisfiability in the form of resolution proof (or
Externí odkaz:
http://arxiv.org/abs/2411.07955
Large Language Models (LLMs) can assist in the prebunking of election misinformation. Using results from a preregistered two-wave experimental study of 4,293 U.S. registered voters conducted in August 2024, we show that LLM-assisted prebunking signif
Externí odkaz:
http://arxiv.org/abs/2410.19202
We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left pseudocancellative unital m
Externí odkaz:
http://arxiv.org/abs/2409.19076
Autor:
Lamp, Josephine, Derdzinski, Mark, Hannemann, Christopher, Hatfield, Sam, van der Linden, Joost
Many time series, particularly health data streams, can be best understood as a sequence of phenomenon or events, which we call motifs. A time series motif is a short trace segment which may implicitly capture an underlying phenomenon within the time
Externí odkaz:
http://arxiv.org/abs/2409.15219
Autor:
van der Linden, Jacobus G. M., Vos, Daniël, de Weerdt, Mathijs M., Verwer, Sicco, Demirović, Emir
Decision trees are traditionally trained using greedy heuristics that locally optimize an impurity or information metric. Recently there has been a surge of interest in optimal decision tree (ODT) methods that globally optimize accuracy directly. We
Externí odkaz:
http://arxiv.org/abs/2409.12788
People often strive for deep engagement in activities which is usually associated with feelings of flow: a state of full task absorption accompanied by a sense of control and fulfillment. The intrinsic factors driving such engagement and facilitating
Externí odkaz:
http://arxiv.org/abs/2409.06592
Autor:
Zhang, Renchi, van der Linden, Jesse, Dodou, Dimitra, Seyffert, Harleigh, Eisma, Yke Bauke, de Winter, Joost C. F.
Robots are becoming increasingly intelligent and can autonomously perform tasks such as navigating between locations. However, human oversight remains crucial. This study compared two hands-free methods for directing mobile robots: voice control and
Externí odkaz:
http://arxiv.org/abs/2407.11218
Conformal prediction offers a practical framework for distribution-free uncertainty quantification, providing finite-sample coverage guarantees under relatively mild assumptions on data exchangeability. However, these assumptions cease to hold for ti
Externí odkaz:
http://arxiv.org/abs/2406.16766
Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-M\'arki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of an object $
Externí odkaz:
http://arxiv.org/abs/2406.13398
Publikováno v:
Animal, Vol 13, Iss 4, Pp 856-867 (2019)
The model LiGAPS-Beef (Livestock simulator for Generic analysis of Animal Production Systems – Beef cattle) has been developed to assess potential and feed-limited growth and production of beef cattle in different areas of the world and to identify
Externí odkaz:
https://doaj.org/article/6e5530c0606b4afcb9ca23b2efce51d3
