Zobrazeno 1 - 10
of 13 079
pro vyhledávání: '"Christel, P."'
In medical research, individual-level patient data provide invaluable information, but the patients' right to confidentiality remains of utmost priority. This poses a huge challenge when estimating statistical models such as linear mixed models, whic
Externí odkaz:
http://arxiv.org/abs/2407.20796
Autor:
Held, Jan, Cioppa, Anthony, Giancola, Silvio, Hamdi, Abdullah, Devue, Christel, Ghanem, Bernard, Van Droogenbroeck, Marc
Over the past decade, the technology used by referees in football has improved substantially, enhancing the fairness and accuracy of decisions. This progress has culminated in the implementation of the Video Assistant Referee (VAR), an innovation tha
Externí odkaz:
http://arxiv.org/abs/2407.12483
This paper studies various notions of approximate probabilistic bisimulation on labeled Markov chains (LMCs). We introduce approximate versions of weak and branching bisimulation, as well as a notion of $\varepsilon$-perturbed bisimulation that relat
Externí odkaz:
http://arxiv.org/abs/2407.07584
This paper addresses objectives tailored to the risk-averse optimization of accumulated rewards in Markov decision processes (MDPs). The studied objectives require maximizing the expected value of the accumulated rewards minus a penalty factor times
Externí odkaz:
http://arxiv.org/abs/2407.06887
Kriging is an established methodology for predicting spatial data in geostatistics. Current kriging techniques can handle linear dependencies on spatially referenced covariates. Although splines have shown promise in capturing nonlinear dependencies
Externí odkaz:
http://arxiv.org/abs/2407.05854
Autor:
Aghamov, Rajab, Baier, Christel, Karimov, Toghrul, Nieuwveld, Joris, Ouaknine, Joël, Piribauer, Jakob, Vahanwala, Mihir
The conventional perspective on Markov chains considers decision problems concerning the probabilities of temporal properties being satisfied by traces of visited states. However, consider the following query made of a stochastic system modelling the
Externí odkaz:
http://arxiv.org/abs/2406.15087
Certifying verification algorithms not only return whether a given property holds or not, but also provide an accompanying independently checkable certificate and a corresponding witness. The certificate can be used to easily validate the correctness
Externí odkaz:
http://arxiv.org/abs/2406.08175
In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to mod
Externí odkaz:
http://arxiv.org/abs/2405.06512
Autor:
Gao, Shan, Albu, Elena, Putter, Hein, Stijnen, Pieter, Rademakers, Frank, Cossey, Veerle, Debaveye, Yves, Janssens, Christel, Van Calster, Ben, Wynants, Laure
Objective Hospitals register information in the electronic health records (EHR) continuously until discharge or death. As such, there is no censoring for in-hospital outcomes. We aimed to compare different dynamic regression modeling approaches to pr
Externí odkaz:
http://arxiv.org/abs/2405.01986
Interpretable machine learning has emerged as central in leveraging artificial intelligence within high-stakes domains such as healthcare, where understanding the rationale behind model predictions is as critical as achieving high predictive accuracy
Externí odkaz:
http://arxiv.org/abs/2404.17886