Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Blaise Genest"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly, the positivity problem asks whether the LRS stays positive from an init
Externí odkaz:
https://doaj.org/article/1c8ef30aaa4a4b82b38348734ea6a73a
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)
We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. The framework is largely inspired by the control of a biological system,
Externí odkaz:
https://doaj.org/article/1056ce203a4d4227a8a9b94cb06a79e9
Publikováno v:
IEEE/ACM Transactions on Computational Biology and Bioinformatics
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
International audience; We are interested in studying the evolution of large homogeneous populations of cells, where each cell is assumed to be composed of a group of biological players (species) whose dynamics is governed by a complex biological pat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::295b312ae396b3b25c77419b7ce8d8a1
https://hal.archives-ouvertes.fr/hal-02350249/document
https://hal.archives-ouvertes.fr/hal-02350249/document
Publikováno v:
Computer Aided Verification ISBN: 9783030532901
CAV (2)
Computer Aided Verification
CAV 2020-32nd International Conference on Computer-Aided Verification
CAV 2020-32nd International Conference on Computer-Aided Verification, Jul 2020, Los Angeles, United States. pp.304-326
CAV (2)
Computer Aided Verification
CAV 2020-32nd International Conference on Computer-Aided Verification
CAV 2020-32nd International Conference on Computer-Aided Verification, Jul 2020, Los Angeles, United States. pp.304-326
International audience; Learning models from observations of a system is a powerful tool with many applications. In this paper, we consider learning Discrete Time Markov Chains (DTMC), with different methods such as frequency estimation or Laplace sm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09d8a62e8c0737b174dc1186e0a68797
https://doi.org/10.1007/978-3-030-53291-8_17
https://doi.org/10.1007/978-3-030-53291-8_17
Publikováno v:
LICS 2018, the 33rd Annual ACM/IEEE Symposium
LICS 2018, the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. pp.36-45, ⟨10.1145/3209108.3209185⟩
LICS
LICS 2018, the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. pp.36-45, ⟨10.1145/3209108.3209185⟩
LICS
We consider distribution-based objectives for Markov Decision Processes (MDP). This class of objectives gives rise to an interesting trade-off between full and partial information. As in full observation, the strategy in the MDP can depend on the sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3ba679ecc172a94a4e560c23ac0163a
https://hal.science/hal-01933978/document
https://hal.science/hal-01933978/document
Publikováno v:
WODES'18-14th IFAC Workshop on Discrete Event Systems
WODES'18-14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩
WODES'18-14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩
International audience; In a discrete event stochastic system, the natural notion of diagnosability, called A-diagnosability, requires that each fault event is eventually detected with probability one. Several definitions of diagnosability degree hav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ec1f6a080424cb547e0bc382bbada97
https://hal.archives-ouvertes.fr/hal-01943401/file/BFG18b.pdf
https://hal.archives-ouvertes.fr/hal-01943401/file/BFG18b.pdf
Publikováno v:
FOSSACS 2018-21st International Conference on Foundations of Software Science and Computation Structures
FOSSACS 2018-21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.403-419, ⟨10.1007/978-3-319-89366-2_22⟩
Lecture Notes in Computer Science ISBN: 9783319893655
FoSSaCS
FOSSACS 2018-21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.403-419, ⟨10.1007/978-3-319-89366-2_22⟩
Lecture Notes in Computer Science ISBN: 9783319893655
FoSSaCS
International audience; We study quantitative properties of the response time in stochastic models. For instance, we are interested in quantifying bounds such that a high percentage of the runs answers a query within these bounds. To study such probl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::667ea29446c2d58a1dd7766eb58f1a74
https://hal.science/hal-01943440/document
https://hal.science/hal-01943440/document
Publikováno v:
CDC 2017-56th IEEE Conference on Decision and Control
CDC 2017-56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731
CDC
CDC 2017-56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731
CDC
International audience; — Diagnosability is the ability to detect a fault from partial observations collected on a system. It has been studied for numerous models of discrete event systems, but essentially from a logical perspective. This paper exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26de12ea97e2449034805725a2c7fdc0
https://inria.hal.science/hal-01651232
https://inria.hal.science/hal-01651232
Publikováno v:
Journal of the ACM (JACM)
Journal of the ACM (JACM), 2017, 64 (5), pp.33:1-33:48. ⟨10.1145/3107926⟩
LICS
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 64 (5), pp.33:1-33:48. ⟨10.1145/3107926⟩
Proceedings of LICS'09
LICS'09, IEEE Symposium on logic in computer science
LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0
Journal of the ACM (JACM), 2017, 64 (5), pp.33:1-33:48. ⟨10.1145/3107926⟩
LICS
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 64 (5), pp.33:1-33:48. ⟨10.1145/3107926⟩
Proceedings of LICS'09
LICS'09, IEEE Symposium on logic in computer science
LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0
We consider two-person zero-sum stochastic games with signals, a standard model of stochastic games with imperfect information. The only source of information for the players consists of the signals they receive; they cannot directly observe the stat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::884df632245a82d1af7b68d9acb3479c
https://inria.hal.science/hal-01635127/document
https://inria.hal.science/hal-01635127/document
Autor:
Sucheendra K. Palaniappan, Eric Fabre, Gregory Batt, Blaise Genest, François Bertaux, Matthieu Pichené
Publikováno v:
Bioinformatics
Bioinformatics, Oxford University Press (OUP), 2017, 33 (13), pp.1980-1986. ⟨10.1093/bioinformatics/btx095⟩
Bioinformatics, 2017, 33 (13), pp.1980-1986. ⟨10.1093/bioinformatics/btx095⟩
Bioinformatics, Oxford University Press (OUP), 2017, 33 (13), pp.1980-1986. ⟨10.1093/bioinformatics/btx095⟩
Bioinformatics, 2017, 33 (13), pp.1980-1986. ⟨10.1093/bioinformatics/btx095⟩
Motivation Quantitative models are increasingly used in systems biology. Usually, these quantitative models involve many molecular species and their associated reactions. When simulating a tissue with thousands of cells, using these large models beco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23c06f7bff37345111b9cee321e8363a
https://hal.inria.fr/hal-01547618
https://hal.inria.fr/hal-01547618