1 |
Variations inter-hospitalières des taux d'appendicite avec rupture chez les adultes à Montréal : facteurs organisationnels hospitaliers associésSicard, Nadine January 2004 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
2 |
Évaluation de l'effet d'un système de coordination médicale dans une unité de soins intensifsPoirier, Diane January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
3 |
SSTA Basée sur la Propagation des MomentsWu, Zeqin 11 December 2009 (has links) (PDF)
L'analyse temporelle basée sur corners (CTA) devient de plus en plus pessimiste ainsi avec la diminution de la taille des transistors, ce qui explique la nécessité de se tourner vers l'analyse temporelle statique statistique (SSTA). Cependant, cette nouvelle génération d'analyse temporelle n'a pas été largement adoptée dans l'industrie en raison de diverses faiblesses. La méthode SSTA basée sur les chemins de données, proposée dans cette thèse, calcule les distributions des délais de chemins en propageant itérativement la moyenne et la variance des délais des cellules avec l'aide des moments conditionnels. Ces moments, conditionnés sur la pente d'entrée et la charge de sortie, sont stockés dans une librairie temporelle statistique. Cette procédure est aussi rapide que les méthodes paramétriques, tout en ne perdant pas trop de précision par rapport aux simulations de Monte Carlo, ce qui répond à l'objectif de notre recherche. L'autre contribution de cette thèse est l'amélioration des techniques de caractérisation temporelle. Pour cela, nous utilisons des signaux d'entrée basés sur des distributions log-logistique et des inverseurs comme charge de sortie pour capturer les variations de pente et de charge. De plus, le temps CPU pour la caractérisation temporelle pourrait être amélioré par la technique de réduction des dimensions, qui devrait être validée dans un avenir proche. En ce qui concerne les applications, notre procédure SSTA, donne des gains en délais important par rapport à la méthode CTA. La différence d'ordres sur les chemins critiques obtenus respectivement par les méthodes SSTA et CTA est aussi expliquée dans cette partie. Pour terminer, une étude sur les corrélations entre cellules est exposée.
|
4 |
Les déterminants du recours aux soins des patients tuberculeux en milieu urbain au TchadNdeikoundam Ngangro, Ndeindo 05 September 2012 (has links) (PDF)
Introduction : La tuberculose est l'une des premières causes de morbidité et de mortalité au monde. Les traitements tardifs et incomplets entretiennent l'épidémie. L'objectif de cette étude était de mesurer les délais du diagnostic de la tuberculose; de décrire les parcours de soins des malades ; d'analyser les abandons du traitement ; et d'identifier les facteurs les expliquant dans un contexte de forte endémicité. Méthode : Une enquête par passation d'un questionnaire a été conduite au près de 286 patients adultes, présentant une tuberculose pulmonaire nouvellement diagnostiquée dans les hôpitaux de Ndjaména et de Moundou. Une revue des dossiers médicaux a permis de compléter ce recueil des données. Les trajectoires des patients ont été analysées de la survenue de la tuberculose à l'issue du traitement étiologique. Des modèles de régression logistique ont été utilisés pour identifier les déterminants associés aux variables d'intérêt. Les analyses statistiques ont été réalisées à l'aide du logiciel SAS 9.2. Résultats : Les soins informels ont été utilisés par 41% des patients. Le délai médian dû au patient, le délai médian dû au système de soins et le délai total médian étaient respectivement de 15 jours, de 36 jours et de 57,5 jours. Un tiers des patients ont abandonné leur traitement. Les bas revenus, un faible niveau d'instruction, le site de traitement et une méconnaissance de la tuberculose ont été associés à . Conclusion : Les délais de diagnostic sont trop longs et les abandons thérapeutiques trop fréquents. La réduction de l'impact financier de la tuberculose pour les malades et leur information sur la maladie peuvent améliorer leur recours aux soins
|
5 |
Gestion des stocks dans des chaînes logistiques face aux aléas des délais d'approvisionnementsHnaien, Faicel 08 December 2008 (has links) (PDF)
La gestion des stocks est un élément très important pour les entreprises. Il faut pouvoir satisfaire les clients à moindre coût. Pour cela, il est nécessaire d'être en possession de tous es composants, pour fabriquer les produits demandés et les livrer à la date voulue. En effet, une mauvaise politique d'approvisionnement en composants conduit soit à des retards de livraison, qui engendrent des frais, soit à des stocks inutiles. Dans cette thèse, nous étudions la planification des réapprovisionnements en composants pour les systèmes de production de différentes structures. Nous travaillons avec les nomenclatures à plusieurs niveaux et nous tenons compte des aléas des délais d'approvisionnement. Nous avons choisi comme variables de décision celles qui correspondaient aux paramètres de la méthode MRP, comme le temps de cycle planifié. L'objectif pratique de notre étude étant également de fournir des techniques pour le paramétrage des logiciels MRP en présence de ce type d'aléas. Nous avons proposé des modèles et avons démontré leurs propriétés théoriques intéressantes ainsi que des approches d'optimisation nouvelles pour ce type de problème.
|
6 |
Programming Support for a Delay-Tolerant Web of Things / Support de programmation pour un Web des objets tolérant les délaisAuzias, Maël 03 October 2017 (has links)
L'internet des Objets (IoT) est habituellement présenté comme l'ensemble d'objets interconnectés à travers un réseau qui est, en pratique, Internet. Or, il existe beaucoup de cas où la connectivité est intermittente à cause des interfaces radio courte-portées et des contraintes d'économie d'énergie. L'architecture de réseautage tolérant les délais (DTN) ainsi que le Bundle Protocole (BP) sont considérés comme des solutions viables pour résoudre ce genre de challenges grâce au mécanisme store-carry-and-forward. Cette thèse vise à fournir des supports de programmation adaptés autant à l'IoT qu'au contexte DTN. Dans ce but, les challenges relevant du DTN et de l'IoT (DT-IoT) sont étudiés et quelques principes de design logiciels sont proposés. Ces principes ont pour but d'optimiser la réactivité et l'efficacité des applications ayant pour cible un contexte DT- IoT. La première contribution est la définition d'un support de programmation orienté ressources, nommé BoaP. Ce support fournit un protocole de requête/réponse grâce à une transposition de CoAP (Contrained Application Protocol). Cette transposition est composée d'ajustements fondamentaux et d'améliorations pour utiliser BP en tant que couche de transport. BoaP a été implémenté et testée dans un petit réseau physique. Une méthode pour évaluer des intergiciels dans des réseaux DTNs est présentée. Un outil implémentant cette méthode a été développé. Il repose sur une plateforme de virtualisation qui simule les contacts réseaux tout en émulant les nœuds du réseau. Cet outil a été utilisé pour exécuter des expériences pour évaluer la validité de BoaP. Enfin, un autre support de programmation est examiné. Celui-ci adopte une approche orientée service et respecte les contraintes REST (Representational State Transfer). Il se repose sur BoaP a été créé avec l'IoT en tête et est adapté à l’environnement DTN. La découverte exploite une interface de publications/souscriptions. Les descripteurs de services contiennent des champs spécifiques pour informer de la disponibilité de leur fournisseurs. / The Internet of Things (IoT) is usually presented as a set of THINGS interconnected through a network that is, in practice, Internet. However, there exist many contexts in which the connectivity is intermittent due to short-range wireless communication means or energy constraints. The Delay Tolerant Networking (DTN) architecture and the Bundle Protocol (BP) are known to overcome this communication challenge as they provide communication means by relying on a store-carry-and- forward mechanism. This thesis aims to provide programming supports adapted to both IoT and DTN contexts. For this, both DTN and IoT (DT-IoT) challenges are studied and several design principles are proposed. These principles aim to optimize reactivity and efficiency of applications targeting the DT-IoT context. The first contribution is the definition of a resource-oriented programming support, named BoaP, to enable a DT-IoT. It provides a protocol based on request/response thanks to a transposition of CoAP (Contrained Application Protocol). This transposition consists of fundamental adjustments and enhancements to use BP as the underlying transport protocol. BoaP has been implemented and tested in a small physical network. A method to evaluate middleware systems in DTNs is presented. A tool implementing this method has been developed. It relies on a virtualization platform that simulates network contacts and emulates network devices. This tool was used to run experimentations that assessed the validity of BoaP. Finally, another programming support is investigated. It follows a service-oriented approach and respects REST (Representational State Transfer) constraints. It is built on top of BoaP with IoT in mind and is adapted to DTN environments. Its discovery/advertisement exploits a publish/subscribe interface. Service descriptors contain specific fields to inform on the availability of the service providers. %Finally, requests are extended with some options to enforce conditions on geographic or time context.
|
7 |
HINT - from opportunistic network characterization to application development / HINT - de la caractérisation de réseau opportuniste au développement d'applicationsBaudic, Gwilherm 06 December 2016 (has links)
Les réseaux tolérants aux délais sont aujourd’hui une alternative prometteuse aux réseaux traditionnels basés sur une infrastructure, encore peu déployée. Il existe plusieurs manières d’évaluer les performances d’un tel réseau : expériences de déploiement grandeur nature, modèles théoriques, simulation, émulation, jeu de traces. Chacune a ses avantages et inconvénients, tant en termes de coûts matériels, de réalisme, de temps nécessaire ou de capacité à gérer des noeuds réels. Cependant, aucune ne répond réellement aux besoins des développeurs d’applications. Dans cette thèse, nous nous focaliserons sur l’émulation. Dans une première partie, nous nous intéresserons aux entrées possibles pour un tel système. Nous proposons tout d’abord un modèle analytique pour prévoir le taux de pertes dans un réseau où les noeuds possèdent une mémoire limitée à un seul paquet. Ensuite, inspirés par les approches de mise à l’échelle de traces de la littérature, nous étudions les hypothèses prises pour l’analyse statistique de traces réelles, et montrons leur influence sur les lois de probabilité obtenues ainsi que les performances réseau observées. Nous étendons ensuite cette étude à la totalité du cycle de vie des traces réelles, en considérant la collecte de données, le filtrage et la mise à l’échelle de celles-ci. Dans une seconde partie, nous proposons une architecture possible d’un émulateur DTN hybride, c’est-à-dire comportant à la fois des noeuds réels sous forme d’intelliphones, et des noeuds virtuels. Le principal avantage ici est de pouvoir évaluer des applications réelles, éventuellement déjà existantes, dans un contexte DTN, et ce de manière aussi transparente que possible. Nous identifions les limites des approches existantes, ce qui nous permet d’établir une liste de spécifications pour notre système. Nous proposons ensuite un système, nommé HINT, permettant de remplir ces spécifications. L’ensemble est ensuite validé, puis appliqué à l’étude de quelques exemples. / Delay Tolerant Networks are currently a promising alternative to infrastructure-based networks, but they have not seen a wide deployment so far. There are several ways to evaluate the performance of such networks: field trials, theoretical models, simulation, emulation or replaying contact datasets. Each one has its advantages and drawbacks in terms of material cost, realism, required time or ability to manage real nodes. However, none of them effectively addresses the needs of application developers. In this thesis, we will focus on emulation. In a first part, we will deal with possible inputs for such a system. We first propose an analytical model to predict the drop ratio in a network where nodes have a one-packet buffer. Then, taking inspiration from trace scaling approaches from the literature, we study the hypotheses and assumptions taken for real traces statistical analyses, showing their impact on the obtained probability distributions and observed network performance metrics. We then extend this study to the whole life cycle of real traces, by considering data collection, filtering and scaling. In a second part, we propose a possible architecture for a hybrid DTN emulator, using both real nodes as smartphones and virtual nodes. The main advantage here is to be able to evaluate real applications, including preexisting ones, in a DTN context, doing so as transparently as possible. We identify the limitations of existing approaches, which helps us build a list of specifications for our system. Then, we propose a system called HINT which matches these specifications. HINT is validated, and applied to the study of some examples.
|
8 |
La morbidité maternelle du post-partum au Maroc: Une information nécessaire pour une réponse appropriéeAssarag, Bouchra 04 December 2015 (has links)
Cette thèse concerne la morbidité maternelle de l’accouchement et du post-partum. Elle cherche à mieux comprendre le phénomène en mesurant son ampleur, identifiant ses déterminants. Cette thèse a cherché également à explorer les conséquences de la morbidité maternelle sévère (near miss) lors de l’accouchement et dans le post-partum. Ceci, afin de contribuer à l’amélioration de la prise en charge de la mère et de son nouveau-né.Notre cadre d’analyse s’est appuyé sur deux modèles conceptuels complémentaires. le premier modèle utilisé est celui de Geller et al (2002) qui montre la progression de l’état de santé des femmes tout au long du continuum de la grossesse et le degré d’évolution des complications; celles-ci pouvant éventuellement survenir en post-partum (Geller et al 2002). Le deuxième modèle est celui de Graham et al (2006), qui montre l’importance de décrire les différents facteurs influençant l’évolution de la santé de la femme pendant la grossesse, l’accouchement et en post-partum; à savoir les facteurs liés à l’environnement de la femme et ceux en rapport avec le système de santé. Les résultats de notre recherche sont structurés comme suit:La première étude a défini l’ampleur et les catégories de la morbidité en post-partum. Elle en a également comparé la perception par les femmes et celle diagnostiquée par le médecin. Pour faire aboutir notre démarche, nous avons mené une étude descriptive transversale dans le quartier Al Massira de Marrakech pendant une année (en 2011). Nous avons combiné un examen clinique et un examen de laboratoire (NFS, hémoglobine) à un questionnaire administré au 42ème jour après l’accouchement adressé à 1 210 femmes ayant réalisé une consultation du post-partum. Lors de cette consultation, 44% des femmes ont exprimé au moins une plainte. Concernant les problèmes gynécologiques (20%), les problèmes de santé mentale (10%), des hémorroïdes; et les problèmes mammaires représentant respectivement 6% et 5% des femmes. Lors de cette même consultation, selon le diagnostic du médecin, 60% des femmes ont eu un problème de santé. Les diagnostics les plus fréquents portaient sur des problèmes d’ordre gynécologique (22%), d’anémie confirmée en laboratoire (19%), alors que les problèmes liés à la santé mentale ne se sont retrouvés que chez 5% des femmes. L’analyse comparative de la morbidité ressentie et diagnostiquée met par conséquent en avant une divergence entre les plaintes exprimées par les femmes à la consultation du post-partum et la morbidité clinique établie par le médecin. La deuxième étude, a identifié les déterminants d’apparition des cas de near miss. c’est une étude cas-témoins mixte (quantitative et qualitative), dans les deux districts (Marrakech et Al Haouz) du 1er février au 31 juillet 2012. Nous avons inclus dans notre échantillon tous les cas de near miss maternels (80 cas) détectés durant la période de l’étude. Pour les témoins (219 femmes), nous avons sélectionné les parturientes qui ont eu des complications similaires à celles des near miss, sans pour autant arriver à être un épisode near miss. Pour le volet qualitatif, nous avons pris un échantillon de 30 near miss maternels et 30 témoins, avec lesquels nous avons conduit des entretiens approfondis pour retracer leurs itinéraires de prise en charge. L'incidence des near miss maternels était de 12 ‰ accouchements en intra hospitalier. Les troubles hypertensifs (45%) et l’hémorragie sévère (39%) étaient les catégories de causes directes les plus fréquentes des near miss. Les facteurs de risque des épisodes de near miss étaient le faible niveau d’instruction, le non suivi pendant la grossesse et le fait d’avoir eu des complications pendant celle-ci. Concernant les délais de prise en charge, on constate que les femmes ayant accusé un retard de plus de 24 heures avant de se présenter au prestataire de soins ont eu un risque huit fois plus élevé de développer un épisode de near miss. De même, les femmes ayant attendu plus de 60 minutes au niveau des structures de premiers niveaux ont présenté un risque quatre fois plus important de développer un épisode de near miss. Les principales raisons d’être near miss pour le premier délai à la maison étaient le manque de pouvoir décisionnel des femmes, le manque d’argent, et la peur des établissements de santé. Concernant le retard auprès des structures du premier niveau, la majorité des femmes near miss ont rapporté des raisons liées aux nombreuses références successives et sans explication. Elles ont également fait allusion aux comportements peu accueillants des prestataires de soins.La 3ème étude, avait comme objectif de comprendre l’état de santé physique et mentale des femmes near miss à 8 mois en post-partum. Dans ce sens nous avons réalisé une étude en utilisant une cohorte prospective avec des méthodes mixtes (quantitative et qualitative). Nous avons recruté 80 femmes near miss et 188 femmes ayant un accouchement normal au niveau des trois hôpitaux de référence de Marrakech et d’A Haouz. Un échantillon de 20 cas near miss et de 20 cas de femmes ayant eu un accouchement normal a été sélectionné pour entretiens approfondis. À la consultation de 8 mois en post-partum, 76 cas des near miss et 169 femmes ayant eu un accouchement normal ont eu la consultation médicale. Les femmes near miss étaient plus pauvres et moins instruites que les femmes ayant eu un accouchement sans complication. La proportion des complications graves était plus importante chez les femmes near miss (22%) comparativement aux femmes ayant accouché sans complication (6%) (p = 0,001). Le risque d'avoir une dépression était sept fois plus élevé chez les near miss avec un décès périnatal comparativement à celles avec accouchement normal. Durant les entretiens approfondis, les femmes ont mis l’accent sur le fardeau économique, les complications obstétricales qui ont entraîné des conséquences néfastes et durables sur l’état de santé de la femme et de sa relation avec son conjoint et sa belle-famille.À travers les résultats de notre recherche; nous avons conclu trois points essentiels: Une meilleure écoute et une compréhension réelle des plaintes exprimées par les femmes sont de facto des éléments phares pour assurer une meilleure qualité de la prise en charge des femmes. La sensibilisation des cliniciens et des sages femmes et la révision du contenu de la formation des médecins, surtout en ce qui concerne les cours en obstétrique, afin d’intégrer le volet relatif à la santé mentale sont également importants. Ces éléments sont importants et pourraient contribuer à une meilleure qualité des soins maternels et néonatals. L’amélioration de la qualité de prise en charge des femmes et de leurs nouveau-nés est tributaire d’un circuit de référence(s) clairement défini basé sur les profils et les caractéristiques des femmes à orienter rapidement à un niveau plus compétent, et du respect de la filière de soins dans des délais opportuns. Il est enfin primordial de développer des mécanismes de soins de santé maternels et néonatals qui ne se concentrent pas uniquement sur l’épisode de l'accouchement et autour des interventions obstétricales, mais également sur les femmes et leurs nouveau-nés dans le post-partum. Davantage de ressources sont de ce fait nécessaires pour veiller à ce que ces femmes reçoivent des soins adéquats avant et après la sortie de l'hôpital. La sensibilisation et l’implication de la famille et du conjoint à différentes étapes de la grossesse sont essentielles pour le bien-être de la femme et de son nouveau-né. / Doctorat en Sciences de la santé Publique / info:eu-repo/semantics/nonPublished
|
9 |
La fraude fiscale : Une analyse théorique et expérimentale / Tax Compliance Dynamics : Theoretical and Experimental EvidencePavel, Raluca 11 December 2015 (has links)
Cette thèse étudie la question des incitations dynamiques des agents économiques à frauder. Le premier chapitre introduit un modèle dynamique de fraude fiscale afin d’étudier l’impact de l’audit rétroactif sur le respect des obligations fiscales des agents économiques.Il permet de montrer qu’un accroissement de la période de prescription entraîne une diminution de la fraude fiscale et de déterminer le montant des recettes fiscales attendues par l’autorité fiscale pour différentes politiques d’audit. On établit que les audits rétroactifs génèrent des recettes fiscales espérées supérieures à celles des audits statiques. Le deuxième chapitre propose une approche théorique et expérimentale des incitations dynamiques des agents économiques à frauder. Les résultats expérimentaux confirment les prédictions théoriques : un accroissement de la période de prescription implique une augmentation des déclarations de revenus des agents. Le dernier chapitre introduit une deuxième étude expérimentale en laboratoire, dans le but de comparer l’efficience des deux politiques d’audit fiscal : l’audit rétroactif et l’audit statique (restreint à la période courante). Le principal résultat suggère que les politiques d’audit rétroactif sont plus efficaces pour réduire la fraude fiscale que les politiques d’audit statique fondées sur des fréquences d’audit élevées. / This thesis studies taxpayers' dynamic incentives to evade taxes. The first chapter introduces a dynamic model of tax evasion. We prove that higher limitation periods increase tax compliance. We also determine the expected tax revenues generated by retroactive and static auditing policies, with respect to the levels of tax rates and expected discounted penalties. We obtain that retroactive auditing generates higher expected tax revenues than static auditing. The second chapter provides theoretical and experimental evidence about subjects' incentives to evade taxes, with respect to a retroactive inspection policy. Our experimental results confirm theoretical predictions, i.e. higher limitation periods increase agents' compliance. The third chapter introduces a second laboratory experiment, in order to compare the efficiency of two main audit schemes: retroactive versus static auditing. We find that retroactive auditing policies are more efficient in enhancing tax compliance, than policies of static auditing accompanied by high audit rates.
|
10 |
Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques / Abstract neuron : formalizing dendritic integration and algebraic propertiesGuinaudeau, Ophélie 11 January 2019 (has links)
Les neurones biologiques communiquent par le biais d’impulsions électriques, appelées spikes, et les fonctions cérébrales émergent notamment de la coordination entre les réceptions et émissions de ces spikes. Par ailleurs, il est largement admis que la fonction de chaque neurone dépend de sa morphologie. Les dendrites conditionnent l’intégration spatio-temporelle des spikes reçus et influent sur les temps d’occurrence des spikes émis. Elles sont donc fondamentales pour l’étude in silico des mécanismes de coordination, et en particulier pour l’étude des assemblées de neurones. Les modèles de neurones existants prenant en compte les dendrites, sont généralement des modèles mathématiques détaillés, souvent à base d’équations différentielles, dont la simulation nécessite des ressources de calculs importantes. De plus, leur complexité intrinsèque rend difficile l’analyse et les preuves sur ces modèles. Dans cette thèse, nous proposons un modèle de neurone intégrant des dendrites d’une manière abstraite. Dans l’objectif d’ouvrir la porte aux méthodes formelles, nous établissons une définition rigoureuse du cadre de modélisation et mettons en évidence des propriétés algébriques remarquables de l’intégration dendritique. Nous avons notamment démontré qu’il est possible de réduire la structure d’un neurone en préservant sa fonction d’entrée/sortie. Nous avons ainsi révélé des classes d’équivalence dont nous savons déterminer un représentant canonique. En s’appuyant sur la théorie des catégories et par des morphismes de neurones judicieusement définis, nous avons ensuite analysé plus finement ces classes d’équivalence. Un résultat surprenant découle de ces propriétés : un simple ajout de délais dans les modèles informatiques de neurones permet de prendre en compte une intégration dendritique abstraite, sans représenter explicitement la structure arborescente des dendrites. À la racine de l’arborescence dendritique, la modélisation du soma contient inévitablement une équation différentielle lorsque l’on souhaite préserver l’essence du fonctionnement biologique. Ceci impose de combiner une vision analytique avec la vision algébrique. Néanmoins, grâce à une étape préalable de discrétisation temporelle, nous avons également implémenté un neurone complet en Lustre qui est un langage formel autorisant des preuves par model checking. Globalement, nous apportons dans cette thèse un premier pas encourageant vers une formalisation complète des neurones, avec des propriétés remarquables sur l’intégration dendritique. / Biological neurons communicate by means of electrical impulses, called spikes. Brain functions emerge notably from reception and emission coordination between those spikes. Furthermore, it is widely accepted that the function of each neuron depends on its morphology. In particular, dendrites perform the spatio-temporal integration of received spikes and affect the occurrence of emitted spikes. Dendrites are therefore fundamental for in silico studies of coordination mechanisms, and especially for the study of so-called neuron assemblies. Most of existing neuron models taking into account dendrites are detailed mathematical models, usually based on differential equations, whose simulations require significant computing resources. Moreover, their intrinsic complexity makes difficult the analysis and proofs on such models. In this thesis, we propose an abstract neuron model integrating dendrites. In order to pave the way to formal methods, we establish a rigorous definition of the modeling framework and highlight remarkable algebraic properties of dendritic integration. In particular, we have demonstrated that it is possible to reduce a neuron structure while preserving its input/output function. We have thus revealed equivalence classes with a canonical representative. Based on category theory and thanks to properly defined neuron morphisms, we then analyzed these equivalence classes in more details. A surprising result derives from these properties: simply adding delays in neuron computational models is sufficient to represent an abstract dendritic integration, without explicit tree structure representation of dendrites. At the root of the dendritic tree, soma modeling inevitably contains a differential equation in order to preserve the biological functioning essence. This requires combining an analytical vision with the algebraic vision. Nevertheless, thanks to a preliminary step of temporal discretization, we have also implemented a complete neuron in Lustre which is a formal language allowing proofs by model checking. All in all, we bring in this thesis an encouraging first step towards a complete neuron formalization, with remarkable properties on dendritic integration.
|
Page generated in 0.0604 seconds