المؤلفون: Régin, Florian, De Maria, Elisabetta, Bonlarron, Alexandre

المصدر: In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 307, pp. 25:1-25:18, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik (2024)

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2407.13490

المؤلفون: de Maria, Elisabetta, Despeyroux, Joelle, Felty, Amy, Liò, Pietro, Olarte, Carlos, Bahrami, Abdorrahim

مصطلحات موضوعية: Quantitative Biology - Quantitative Methods, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2007.07571

المؤلفون: De Maria, Elisabetta, Di Giusto, Cinzia, Laversa, Laetitia

مصطلحات موضوعية: Quantitative Biology - Neurons and Cognition, Computer Science - Formal Languages and Automata Theory, Quantitative Biology - Quantitative Methods

URL الوصول: http://arxiv.org/abs/1808.01893

المؤلفون: de Maria, Elisabetta, Lapijover, Benjamin, L'Yvonnet, Thibaud, Moisan, Sabine, Rigault, Jean-Paul

المساهمون: Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Côte d'Azur (UniCA)

المصدر: BIOINFORMATICS 2023 - 14th International Conference on Bioinformatics Models, Methods and Algorithms ; https://inria.hal.science/hal-03999574 ; BIOINFORMATICS 2023 - 14th International Conference on Bioinformatics Models, Methods and Algorithms, Feb 2023, Lisbonne, Portugal

مصطلحات موضوعية: Inhibitory Control, Biological Neural Networks &, LI&F model, Probabilistic Model, Model Checking, [INFO]Computer Science [cs], [SCCO]Cognitive science

جغرافية الموضوع: Lisbonne, Portugal

الاتاحة: https://inria.hal.science/hal-03999574
https://inria.hal.science/hal-03999574v1/document
https://inria.hal.science/hal-03999574v1/file/Article8.pdf

المؤلفون: DE MARIA, Elisabetta, DESPEYROUX, Joëlle, FELTY, Amy, LIÒ, Pietro, OLARTE, Carlos, BAHRAMI, Abdorrahim

المصدر: Approches symboliques de la modélisation et de l’analyse des systèmes biologiques ; page 201-253

الاتاحة: http://dx.doi.org/10.51926/iste.9029.ch6

المؤلفون: De Maria, Elisabetta, Despeyroux, Joelle, Felty, Amy

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Quantitative Biology - Other Quantitative Biology

URL الوصول: http://arxiv.org/abs/1404.5439

المؤلفون: Régin, Florian, De Maria, Elisabetta

المصدر: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI) ; page 18-26

الاتاحة: https://doi.org/10.1109/ictai62512.2024.00012
http://xplorestaging.ieee.org/ielx8/10849351/10849361/10849434.pdf?arnumber=10849434

المؤلفون: L'Yvonnet, Thibaud, de Maria, Elisabetta, Moisan, Sabine, Rigault, Jean-Paul

المساهمون: Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)

المصدر: SEH 2021 - 3rd ICSE Workshop on Software Engineering for Healthcare ; https://inria.hal.science/hal-03180187 ; SEH 2021 - 3rd ICSE Workshop on Software Engineering for Healthcare, Jun 2021, Madrid, Spain. ⟨10.1109/SEH52539.2021.00019⟩

مصطلحات موضوعية: Activity description, probabilistic model, model checking, bio-medicine, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SDV.NEU.PC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Psychology and behavior

جغرافية الموضوع: Spain

Time: Madrid, Spain

الاتاحة: https://inria.hal.science/hal-03180187
https://inria.hal.science/hal-03180187v1/document
https://inria.hal.science/hal-03180187v1/file/article-reconnaissance.pdf
https://doi.org/10.1109/SEH52539.2021.00019

المؤلفون: de Maria, Elisabetta, Bahrami, Abdorrahim, L’yvonnet, Thibaud, Felty, Amy, Gaffé, Daniel, Ressouche, Annie, Grammont, Franck

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université d'Ottawa Ontario (uOttawa), Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS), Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Jean Alexandre Dieudonné (LJAD), ANR-15-IDEX-0001,UCA JEDI,Idex UCA JEDI(2015)

المصدر: ISSN: 2095-2228.

مصطلحات موضوعية: Neuronal Networks, Leaky Integrate and Fire Modeling, Synchronous Languages, Model Checking, Theorem Proving, Lustre, Coq, Formal Methods, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

الاتاحة: https://hal.science/hal-03053930
https://hal.science/hal-03053930v1/document
https://hal.science/hal-03053930v1/file/archetypes-fcs-hal.pdf
https://doi.org/10.1007/s11704-020-0029-6

المؤلفون: L'Yvonnet, Thibaud, de Maria, Elisabetta, Moisan, Sabine, Rigault, Jean-Paul

المساهمون: Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)

المصدر: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-03182420 ; Science of Computer Programming, 2021, 206, pp.102629. ⟨10.1016/j.scico.2021.102629⟩.

مصطلحات موضوعية: activity description, probabilistic model, model checking, serious games, bio-medicine, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SDV.NEU.PC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Psychology and behavior

الاتاحة: https://inria.hal.science/hal-03182420
https://inria.hal.science/hal-03182420v1/document
https://inria.hal.science/hal-03182420v1/file/SCP_finale.pdf
https://doi.org/10.1016/j.scico.2021.102629

المؤلفون: de Maria, Elisabetta, L'Yvonnet, Thibaud, Moisan, Sabine, Rigault, Jean-Paul

المساهمون: Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: ICFEM 2019 - FTSCS workshop ; https://inria.hal.science/hal-02341600 ; ICFEM 2019 - FTSCS workshop, Nov 2019, Shenzhen, China

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SDV.NEU.PC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Psychology and behavior

جغرافية الموضوع: Shenzhen, China

الاتاحة: https://inria.hal.science/hal-02341600
https://inria.hal.science/hal-02341600v1/document
https://inria.hal.science/hal-02341600v1/file/FTSCS_paper2.pdf

المؤلفون: de Maria, Elisabetta, Gaffé, Daniel, Ressouche, Annie, Girard Riboulleau, Cédric

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms ; https://hal.science/hal-01638248 ; BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.1-8, ⟨10.5220/0006572000890096⟩ ; http://www.bioinformatics.biostec.org/

مصطلحات موضوعية: Neural Spiking Networks, Probabilistic Models, Temporal Logic, Model Checking, Network Reduction, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

جغرافية الموضوع: Portugal

Time: Funchal Madeira, Portugal

الاتاحة: https://hal.science/hal-01638248
https://hal.science/hal-01638248v1/document
https://hal.science/hal-01638248v1/file/bioinformatics_demaria.pdf.pdf
https://doi.org/10.5220/0006572000890096

المؤلفون: Bahrami, Abdorrahim, de Maria, Elisabetta, Felty, Amy

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), School of Electrical Engineering and Computer Science, Univ. of Ottawa (EECS, Ottawa), University of Ottawa Ottawa

المصدر: 9th International Conference on Computational Systems-Biology and Bioinformatics
https://hal.science/hal-01919043
9th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2018, Bangkok, Thailand

مصطلحات موضوعية: Biological network reconstruction and analysis, Modelling and simulation of biological processes and pathways, Human Neural Networks, Dynamic Properties, Leaky Integrate and Fire Model, Neuronal Modules, Archetypes, Formal Verification, Theorem Proving, Coq Proof Assistant, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

جغرافية الموضوع: Bangkok, Thailand

Relation: hal-01919043; https://hal.science/hal-01919043; https://hal.science/hal-01919043/document; https://hal.science/hal-01919043/file/BahramiEtAl_CsBio2018withoutCR.pdf

الاتاحة: https://hal.science/hal-01919043
https://hal.science/hal-01919043/document
https://hal.science/hal-01919043/file/BahramiEtAl_CsBio2018withoutCR.pdf

المؤلفون: de Maria, Elisabetta, Despeyroux, Joelle, Felty, Amy, Lió, Pietro, Olarte, Carlos, Bahrami, Abdorrahim

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), University of Ottawa Ottawa, Computer Laboratory Cambridge, University of Cambridge UK (CAM), Universidade Federal do Rio Grande do Norte Natal (UFRN)

المصدر: https://hal.science/hal-02895930 ; 2020.

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BBM.BM]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular biology, [SDV.CAN]Life Sciences [q-bio]/Cancer, [SCCO.NEUR]Cognitive science/Neuroscience

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.07571; hal-02895930; https://hal.science/hal-02895930; https://hal.science/hal-02895930v2/document; https://hal.science/hal-02895930v2/file/iste19.pdf; ARXIV: 2007.07571

الاتاحة: https://hal.science/hal-02895930
https://hal.science/hal-02895930v2/document
https://hal.science/hal-02895930v2/file/iste19.pdf

المؤلفون: de Maria, Elisabetta, L 'Yvonnet, Thibaud, Gaffé, Daniel, Ressouche, Annie, Grammont, Franck

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Jean Alexandre Dieudonné (LJAD)

المصدر: CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics ; https://inria.hal.science/hal-01643862 ; CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. pp.3-10, ⟨10.1145/3156346.3156348⟩ ; http://www.csbio.org/2017/

مصطلحات موضوعية: Neuronal Networks, Synchronous Languages, Model Checking, Model Coupling, Leaky Integrate and Fire Modeling, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

جغرافية الموضوع: Nha Trang, Vietnam

الاتاحة: https://inria.hal.science/hal-01643862
https://inria.hal.science/hal-01643862v1/document
https://inria.hal.science/hal-01643862v1/file/DLMG17CSBIO-sigconf-author-paper.pdf
https://doi.org/10.1145/3156346.3156348

المؤلفون: de Maria, Elisabetta, Muzy, Alexandre, Gaffé, Daniel, Ressouche, Annie, Grammont, Franck

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Jean Alexandre Dieudonné (LJAD)

المصدر: HSB 2016 - 5th International Workshop Hybrid Systems Biology ; https://inria.hal.science/hal-01377288 ; HSB 2016 - 5th International Workshop Hybrid Systems Biology, Oct 2016, Grenoble, France. pp.15, ⟨10.1007/978-3-319-47151-8_7⟩ ; http://hsb2016.imag.fr/

مصطلحات موضوعية: [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

جغرافية الموضوع: Grenoble, France

الاتاحة: https://inria.hal.science/hal-01377288
https://inria.hal.science/hal-01377288v1/document
https://inria.hal.science/hal-01377288v1/file/DMGRG16HSBfinal.pdf
https://doi.org/10.1007/978-3-319-47151-8_7

المؤلفون: Ciatto, Giovanni, de Maria, Elisabetta, Di Giusto, Cinzia

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université Côte d'Azur, CNRS, I3S, France

المصدر: https://hal.science/hal-01473941 ; [Research Report] Université Côte d'Azur, CNRS, I3S, France. 2017.

مصطلحات موضوعية: [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: hal-01473941; https://hal.science/hal-01473941; https://hal.science/hal-01473941/document; https://hal.science/hal-01473941/file/main.pdf

الاتاحة: https://hal.science/hal-01473941
https://hal.science/hal-01473941/document
https://hal.science/hal-01473941/file/main.pdf

المؤلفون: L'yvonnet, Thibaud, De Maria, Elisabetta, Moisan, Sabine, Rigault, Jean-Paul

المساهمون: Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2021, 206, pp.102629. ⟨10.1016/j.scico.2021.102629⟩

مصطلحات موضوعية: [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], probabilistic model, serious games, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SDV.NEU.PC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Psychology and behavior, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], bio-medicine, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, model checking, activity description

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______212::b7ce49dfd7498059666b834cade5eaa5
https://hal.inria.fr/hal-03182420/document

المؤلفون: De Maria, Elisabetta, L’Yvonnet, Thibaud, Moisan, Sabine, Rigault, Jean-Paul

المصدر: Communications in Computer and Information Science ; Formal Techniques for Safety-Critical Systems ; page 106-124 ; ISSN 1865-0929 1865-0937 ; ISBN 9783030469016 9783030469023

الاتاحة: http://dx.doi.org/10.1007/978-3-030-46902-3_7
http://link.springer.com/content/pdf/10.1007/978-3-030-46902-3_7

المؤلفون: L'Yvonnet, Thibaud, De Maria, Elisabetta, Robert, Philippe, Rigault, Jean‐Paul, Zeghari, Radia, Manera, Valeria, Moisan, Sabine

المصدر: Alzheimer's & Dementia ; volume 17, issue S6 ; ISSN 1552-5260 1552-5279

الاتاحة: http://dx.doi.org/10.1002/alz.057775
https://onlinelibrary.wiley.com/doi/pdf/10.1002/alz.057775