Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Desharnais, Josée"'
Insider threats are a growing concern for organizations due to the amount of damage that their members can inflict by combining their privileged access and domain knowledge. Nonetheless, the detection of such threats is challenging, precisely because
Externí odkaz:
http://arxiv.org/abs/2211.14437
Autor:
Pequignot, Yann, Alain, Mathieu, Dallaire, Patrick, Yeganehparast, Alireza, Germain, Pascal, Desharnais, Josée, Laviolette, François
It is crucial to detect when an instance lies downright too far from the training samples for the machine learning model to be trusted, a challenge known as out-of-distribution (OOD) detection. For neural networks, one approach to this task consists
Externí odkaz:
http://arxiv.org/abs/2010.12995
Cops and Robbers games have been studied for the last few decades in computer science and mathematics. As in general pursuit evasion games, pursuers (cops) seek to capture evaders (robbers); however, players move in turn and are constrained to move o
Externí odkaz:
http://arxiv.org/abs/2004.11503
Publikováno v:
In Discrete Mathematics August 2023 346(8)
Autor:
Desharnais, Josée
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/28795
Publikováno v:
EPTCS 57, 2011, pp. 148-162
We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs. We give logical characterisations of th
Externí odkaz:
http://arxiv.org/abs/1107.1206
Autor:
Assouramou, Joseph, Desharnais, Josée
Publikováno v:
EPTCS 57, 2011, pp. 104-119
This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al. The techniques permit to define a rectangul
Externí odkaz:
http://arxiv.org/abs/1107.1204
Publikováno v:
In Computers & Security November 2017 71:114-131