Zobrazeno 1 - 10
of 47 068
pro vyhledávání: '"Heuvel"'
Autor:
Heuvel, Bas van den, Pérez, Jorge A.
Publikováno v:
EPTCS 414, 2024, pp. 1-20
While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous communication in the context of session-based concurrency, the model of com
Externí odkaz:
http://arxiv.org/abs/2412.08232
Organizations, particularly medium and large enterprises, typically today rely heavily on complex, distributed systems to deliver critical services and products. However, the growing complexity of these systems poses challenges in ensuring service av
Externí odkaz:
http://arxiv.org/abs/2412.01416
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14735
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong correctness properties for processes. This problem is constrained by the
Externí odkaz:
http://arxiv.org/abs/2411.07714
Quantum detailed balance is formulated in terms of elementary transitions, in close analogy to detailed balance in a classical Markov chain on a finite set of points. An elementary transition is taken to be a pure state of two copies of the quantum s
Externí odkaz:
http://arxiv.org/abs/2411.02339
Autor:
Ding, Mianyong, Maspero, Matteo, Littooij, Annemieke S, van Grotel, Martine, Fajardo, Raquel Davila, van Noesel, Max M, Heuvel-Eibrink, Marry M van den, Janssens, Geert O
Purposes: This study aimed to develop a computed tomography (CT)-based multi-organ segmentation model for delineating organs-at-risk (OARs) in pediatric upper abdominal tumors and evaluate its robustness across multiple datasets. Materials and method
Externí odkaz:
http://arxiv.org/abs/2411.00594
Autor:
Marino, A., Yang, H., Zelati, F. Coti, Rea, N., Guillot, S., Jaisawal, G. K., Maitra, C., Ness, J. -U., Haberl, F., Kuulkers, E., Yuan, W., Feng, H., Tao, L., Jin, C., Sun, H., Zhang, W., Chen, W., Heuvel, E. P. J. van den, Soria, R., Zhang, B., Weng, S. -S., Ji, L., Zhang, G. B., Pan, X., Lv, Z., Zhang, C., Ling, Z., Chen, Y., Jia, S., Liu, Y., Cheng, H. Q., Li, D. Y., Gendreau, K. C., Ng, M., Strohmayer, T. E.
On May 27 2024, the Wide-field X-ray Telescope onboard the Einstein Probe (EP) mission detected enhanced X-ray emission from a new transient source in the Small Magellanic Cloud (SMC) during its commissioning phase. Prompt follow-up with the EP Follo
Externí odkaz:
http://arxiv.org/abs/2407.21371
Autor:
Moharil, Ambarish, Tamburri, Damian, Kumara, Indika, Heuvel, Willem-Jan Van Den, Azarfar, Alireza
This paper introduces a scale-invariant methodology employing \textit{Fractal Geometry} to analyze and explain the nonlinear dynamics of complex connectionist systems. By leveraging architectural self-similarity in Deep Neural Networks (DNNs), we qua
Externí odkaz:
http://arxiv.org/abs/2407.09585
Autor:
Heuvel, Jan van den, Xu, Xinyi
If a graph is $n$-colourable, then it obviously is $n'$-colourable for any $n'\ge n$. But the situation is not so clear when we consider multi-colourings of graphs. A graph is $(n,k)$-colourable if we can assign each vertex a $k$-subset of $\{1,2,\ld
Externí odkaz:
http://arxiv.org/abs/2407.05730
Protection of confidential data is an important security consideration of today's applications. Of particular concern is to guard against unintentional leakage to a (malicious) observer, who may interact with the program and draw inference from made
Externí odkaz:
http://arxiv.org/abs/2407.02304
Dark web crawling is a complex process that involves specific methodologies and techniques to navigate the Tor network and extract data from hidden services. This study proposes a general dark web crawler designed to extract pages handling security p
Externí odkaz:
http://arxiv.org/abs/2405.06356