1 |
Reliability of perceptual measurement of Apraxia of Speech characteristics
|
|
|
|
BASE
|
|
Show details
|
|
2 |
BI-RADS Reading of Non-Mass Lesions on DCE-MRI and Differential Diagnosis Performed by Radiomics and Deep Learning.
|
|
|
|
BASE
|
|
Show details
|
|
3 |
BI-RADS Reading of Non-Mass Lesions on DCE-MRI and Differential Diagnosis Performed by Radiomics and Deep Learning.
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Uniform data set language measures for bvFTD and PPA diagnosis and monitoring.
|
|
|
|
In: Alzheimer's & dementia (Amsterdam, Netherlands), vol 13, iss 1 (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Social Behavior Observer Checklist: Patterns of Spontaneous Behaviors Differentiate Patients With Neurodegenerative Disease From Healthy Older Adults.
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Uniform data set language measures for bvFTD and PPA diagnosis and monitoring.
|
|
|
|
In: Alzheimer's & dementia (Amsterdam, Netherlands), vol 13, iss 1 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Vocal drum sounds in human beatboxing: An acoustic and articulatory exploration using electromagnetic articulography
|
|
|
|
In: ISSN: 0001-4966 ; EISSN: 1520-8524 ; Journal of the Acoustical Society of America ; https://hal.univ-grenoble-alpes.fr/hal-03107358 ; Journal of the Acoustical Society of America, Acoustical Society of America, 2021, 149 (1), pp.191-206. ⟨10.1121/10.0002921⟩ ; https://asa.scitation.org/doi/full/10.1121/10.0002921 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
Abstract:
National audience ; We study the behavior of Discrete Event Systems (DES) subjectto strong temporal constraints. We are more particularly interested inthe formal verification of properties on the timed languagesassociated with their executions. In this context, we focus on DESmodelled using Time Petri Nets (TPN), an extension of classicalPetri nets in which we can constrain the time during whichtransitions stay enabled.Our goal is to use and extend techniques borrowed frommodel-checking in order to check properties related to thediagnosability of a system. To this end, we study propertieson the intersection of the timed languages of systems. Ourapproach is based on the definition of a new composition operator,that we call synchronous product, that constrain differenttransitions to fire at the same time. This allows us to analyse theproduct of systems more directly, without the need to compute theintersection of their language at the level of their state spaces.Our main contribution is the definition of a new formal model, calledProduct TPN (PTPN), that includes our notion of synchronousproduct in its syntax. We show how to extend the notion ofState Class Graphs to PTPN and use this construction to checkthe diagnosability of single faults on TPN. We also study thediagnosability of more complex behaviors, expressed using patternsof events, and explore a restricted case of timed pattern.A software called TWINA was created in the context of this thesis. Twina is a tool for analyzing the "product" of two Time Petri Nets (TPN), with possibly inhibitor and read arcs. Its main objective is to compute a usable representation of the intersection of two net languages; meaning the intersection of the (timed) languages obtained from the executions of two TPN, in which transitions with the same labels are fired at the same date.The tool is based on a new extension of the State Class Graph construction, the method used in the TINA (TIme petri Net Analyzer) toolbox. Like for TINA, this tool is maintained by the Verification of Time Critical Systems (VERTICS) group, which develops new verification methods and tools for checking properties of critical systems having strong temporal and timing requirements. TWINA is mainly used to conduct experiment on our new model, the PTPN. ; Cette thèse porte sur l'étude des Systèmes à Événements Discrets (SED) soumis à des contraintes temporelles fortes, et plus précisément sur la vérification de propriétés liées aux langages associés à leurs exécutions. Dans ce contexte, nous nous concentrons à l'étude des réseaux de Petri temporels (TPN) comme modèle pour la spécification des SED.L'objectif général est d'utiliser et d'étendre des méthodes issues du domaine du model-checking afin de répondre à des questions de diagnosticabilité. Pour ce faire, nous cherchons à vérifier des propriétés liées à l'intersection entre les langages temporels (le comportement) de différent systèmes. Notre approche repose sur la définition d'une nouvelle opération de produit synchrone entre TPN qui nous permet d'utiliser des techniques d'analyse plusdirectes. Ceci nous permet, en particulier, d'éviter de devoir calculer directement l'intersection entre langages au niveau des espaces d'état des systèmes.Notre contribution principale est la définition d'un nouveau modèle, les Product TPN (PTPN), qui internalise notre concept de produit synchrone entre transitions. Nous proposons une extension de la notion de graphes de classes au cas des PTPN et utilisons ce modèle pour vérifier la propriété de diagnosabilité sur les TPN dans le cas de fautes simples, mais également pour la diagnosticabilité de scénarios plus complexes, décrit sous la forme de motifs.Un logiciel appelé TWINA a été créé dans le cadre de cette thèse. Twina est un outil d'analyse du « produit » de deux Time Petri Nets (TPN), avec éventuellement des arcs inhibiteurs et read. Son objectif principal est de calculer une représentation utilisable de l'intersection de deux langages de réseau ; c'est-à-dire l'intersection des langues (temporisées) obtenues à partir des exécutions de deux TPN, dans lesquelles des transitions avec les mêmes labels sont déclenchées à la même date.L'outil est basé sur une nouvelle extension de la construction State Class Graph, la méthode utilisée dans la boîte à outils TINA (TIME Petri Net Analyzer). Comme pour TINA, cet outil est maintenu par le groupe Verification of Time Critical Systems (VERTICS), qui développe de nouvelles méthodes et outils de vérification pour vérifier les propriétés des systèmes critiques ayant de fortes exigences temporelles et temporelles. TWINA est principalement utilisé pour expérimenter notre nouveau modèle, le PTPN.
|
|
Keyword:
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems; Diagnosis; Diagnostic; Formal methods; Méthodes formelles; Model-Checking; Runtime Verification; Vérification en ligne
|
|
URL: https://hal.laas.fr/tel-03528121 https://hal.laas.fr/tel-03528121v2/file/2021EricLUBAT.pdf https://hal.laas.fr/tel-03528121v2/document
|
|
BASE
|
|
Hide details
|
|
9 |
Preparing Student Teachers of Languages to Promote Plurilingual Competence ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Cross-cultural cognitive assessment of dementia: a meta-analysis of the impact of illiteracy on dementia screening and an evaluation of a transcultural short-term memory assessment ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Dynamic Assessment of receptive vocabulary and phonology of preschool children with German as a second language ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Reliability of perceptual measurement of Apraxia of Speech characteristics ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Primary Progressive Aphasia: Use of Graphical Markers for an Early and Differential Diagnosis
|
|
|
|
In: Brain Sciences ; Volume 11 ; Issue 9 (2021)
|
|
BASE
|
|
Show details
|
|
16 |
An Automated Lexical Stress Classification Tool for Assessing Dysprosody in Childhood Apraxia of Speech
|
|
|
|
In: Brain Sciences ; Volume 11 ; Issue 11 (2021)
|
|
BASE
|
|
Show details
|
|
17 |
A Cognitive Diagnostic Module Based on the Repair Theory for a Personalized User Experience in E-Learning Software
|
|
|
|
In: Computers ; Volume 10 ; Issue 11 (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Development of a Decisional Procedure Based on Fuzzy Logic for the Energy Retrofitting of Buildings
|
|
|
|
In: Sustainability ; Volume 13 ; Issue 16 (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Intersectional Aspects of Education at the Nexus of Disability and Forced Migration: Perspectives of Parents, Educational Experts, and School Authorities in Greater Vienna
|
|
|
|
In: Education Sciences ; Volume 11 ; Issue 8 (2021)
|
|
BASE
|
|
Show details
|
|
20 |
Preparing Student Teachers of Languages to Promote Plurilingual Competence
|
|
|
|
BASE
|
|
Show details
|
|
|
|