loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Elisabetta De Maria 1 ; Benjamin Lapijover 1 ; Thibaud L’Yvonnet 2 ; Sabine Moisan 2 and Jean-Paul Rigault 2

Affiliations: 1 Université Côte d’Azur, CNRS, I3S, Sophia Antipolis, France ; 2 INRIA, Sophia Antipolis, France

Keyword(s): Inhibitory Control, Biological Neural Networks & LI&F Model, Probabilistic Model, Model Checking.

Abstract: The decline of inhibitory control efficiency in aging subjects with neurodegenerative diseases is due to anatomical and functional changes in (pre)frontal regions of the brain. Among these regions, the basal ganglia play a central role in the inhibitory control loop. We propose a probabilistic formal model of the biological neural network governing the inhibitory control function and we study some of its relevant dynamic properties. We also explore how parameter variations influence the probability for the model to display some key behaviors. We model the different structures of the inhibitory control loop thanks to discrete Markov chains representing Leaky Integrate and Fire neurons. The model is implemented and verified using the P RISM framework. The final aim is to detect sources of pathological behaviors in the neural network responsible for inhibitory control.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.15.156.140

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
De Maria, E.; Lapijover, B.; L’Yvonnet, T.; Moisan, S. and Rigault, J. (2023). A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain. In Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2023) - BIOINFORMATICS; ISBN 978-989-758-631-6; ISSN 2184-4305, SciTePress, pages 146-154. DOI: 10.5220/0011625700003414

@conference{bioinformatics23,
author={Elisabetta {De Maria}. and Benjamin Lapijover. and Thibaud L’Yvonnet. and Sabine Moisan. and Jean{-}Paul Rigault.},
title={A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain},
booktitle={Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2023) - BIOINFORMATICS},
year={2023},
pages={146-154},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011625700003414},
isbn={978-989-758-631-6},
issn={2184-4305},
}

TY - CONF

JO - Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2023) - BIOINFORMATICS
TI - A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain
SN - 978-989-758-631-6
IS - 2184-4305
AU - De Maria, E.
AU - Lapijover, B.
AU - L’Yvonnet, T.
AU - Moisan, S.
AU - Rigault, J.
PY - 2023
SP - 146
EP - 154
DO - 10.5220/0011625700003414
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic