A practical inference method with several implicative gradual rules and a fuzzy input: one and two dimensions

International audienceA general approach to practical inference with gradual implicative rules and fuzzy inputs is presented. Gradual rules represent constraints restricting outputs of a fuzzy system for each input. They are tailored for interpolative reasoning. Our approach to inference relies on the use of inferential independence. It is based on fuzzy output computation under an interval-valued input. A double decomposition of fuzzy inputs is done in terms of alpha-cuts and in terms of a partitioning of these cuts according to areas where only a few rules apply. The case of one and two dimensional inputs is consideredCet article présente une méthode d'inférence avec des règles implicatives graduelles pour une entrée floue. Les règles graduelles représentent des contraintes qui restreignent l'univers de sortie pour chacune des entrées. Elles sont conçues pour réaliser des interpolations. L'algorithme que nous proposons s'appuie sur le principe de indépendance inférentielle. Il met en oeuvre une double décomposition de l'ensemble flou d'entrée, par alpha-coupes et suivant le partitionnement de l'univers des variables d'entrée. Les cas étudiés correspondent à des systèmes à une et deux dimension

From Natural Language Requirements to Formal Specification Using an Ontology

In order to check requirement specifications written in natural language, we have chosen to model domain knowledge through an ontology and to formally represent user requirements by its population. Our approach of ontology population focuses on instance property identification from texts. We do so using extraction rules automatically acquired from a training corpus and a bootstrapping terminology. These rules aim at identifying instance property mentions represented by triples of terms, using lexical, syntactic and semantic levels of analysis. They are generated from recurrent syntactic paths between terms denoting instances of concepts and properties. We show how focusing on instance property identification allows us to precisely identify concept instances explicitly or implicitly mentioned in texts

DynEmo: A video database of natural facial expressions of emotions.

International audienceDynEmo is a database available to the scientific community (https://DynEmo.liglab.fr/). It contains dynamic and natural emotional facial expressions (EFEs) displaying subjective affective states rated by both the expresser and observers. Methodological and contextual information is provided for each expression. This multimodal corpus meets psychological, ethical, and technical criteria. It is quite large, containing two sets of 233 and 125 recordings of EFE of ordinary Caucasian people (ages 25 to 65, 182 females and 176 males) filmed in natural but standardized conditions. In the Set 1, EFE recordings are associated with the affective state of the expresser (self-reported after the emotion inducing task, using dimensional, action readiness, and emotional labels items). In the Set 2, EFE recordings are both associated with the affective state of the expresser and with the time line (continuous annotations) of observers' ratings of the emotions displayed throughout the recording. The time line allows any researcher interested in analysing non-verbal human behavior to segment the expressions into emotions

Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot

Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés sémantiques ou des informations implicites. Il n'est donc pas aisé de spécifier un ensemble complet et cohérent d'exigences. D'où la nécessité d'une vérification formelle des spécifications résultats.Les spécifications LN ne sont pas considérées comme formelles et ne permettent pas l'application directe de méthodes vérification formelles.Ce constat mène à la nécessité de transformer les spécifications LN en spécifications formelles.C'est dans ce contexte que s'inscrit cette thèse.La difficulté principale d'une telle transformation réside dans l'ampleur du fossé entre spécifications LN et spécifications formelles.L'objectif de mon travail de thèse est de proposer une approche permettant de vérifier automatiquement des spécifications d'exigences utilisateur, écrites en langage naturel et décrivant le comportement d'un système.Pour cela, nous avons exploré les possibilités offertes par un modèle de représentation fondé sur un formalisme logique.Nos contributions portent essentiellement sur trois propositions :1) une ontologie en OWL-DL fondée sur les logiques de description, comme modèle de représentation pivot permettant de faire le lien entre spécifications en langage naturel et spécifications formelles; 2) une approche d'instanciation du modèle de représentation pivot, fondée sur une analyse dirigée par la sémantique de l'ontologie, permettant de passer automatiquement des spécifications en langage naturel à leur représentation conceptuelle; et 3) une approche exploitant le formalisme logique de l'ontologie, pour permettre un passage automatique du modèle de représentation pivot vers un langage de spécifications formelles nommé Maude.The main objective of system development is to address requirements. As such, success in its realisation is highly dependent on a requirement specification phase which aims to describe precisely and unambiguously all the characteristics of the system that should be developed. In order to arrive at a set of requirements, a user needs analysis is carried out which involves different parties (stakeholders). The system requirements are generally written in natural language to garantuee a wider understanding. However, since NL texts can contain semantic ambiguities, implicit information, or other inconsistenties, this can lead to diverse interpretations. Hence, it is not easy to specify a set of complete and consistent requirements, and therefore, the specified requirements must be formally checked. Specifications written in NL are not considered to be formal and do not allow for a direct application of formal methods. We must therefore transform NL requirements into formal specifications. The work presented in this thesis was carried out in this framework. The main difficulty of such transformation is the gap between NL requirements and formal specifications. The objective of this work is to propose an approach for an automatic verification of user requirements which are written in natural language and describe a system's expected behaviour. Our approach uses the potential offered by a representation model based on a logical formalism. Our contribution has three main aspects: 1) an OWL-DL ontology based on description logic, used as a pivot representation model that serves as a link between NL requirements to formal specifications; 2) an approach for the instantiation of the pivot ontology, which allows an automatic transformation of NL requirements to their conceptual representations; and 3) an approach exploiting the logical formalism of the ontology in order to automatically translate the ontology into a formal specification language called Maude.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF

Evaluation médicale du programme vaudois d'hospitalisation à domicile (HAD): rapport final de l'évaluation médicale

[Table des matières] 1. Contexte. 1.1. Expériences préalables. 1. 2. Mise en place du programme expérimental vaudois d'HAD. 1.3. Critères et principes généraux du programme d'HAD. 1.4. Elaboration de protocoles spécifiques de prise en charge. 1.5. Modalités d'organisation différentes selon le site ou selon la pathologie. 1.5. Evaluation du mandat d'évaluation. 2. Méthodes. 2.1. Screening des admissions dans trois départements de médecine interne. 2.2. Description des situations. 2.3. Evaluation qualitative. 3. Résultats. 3.1. Etude de l'éligibilité d'un point de vue médical et de la fraction transférée. 3.2. Etude des refus et des impossibilités médico-sociales d'entrée en HAD. 3.3. Evolution trimestrielle du recrutement. 3.4. Caractéristiques des patients et de leur entourage. 3.5. Durée de séjour en hôpital de soins aigus avant transfert en HAD. 3.6. Organisation de la prise en charge en HAD. 3.7. Evolution médicale, à la sortie et à 6 semaines. 3.8. Satisfaction des professionnels. 3.9. Satisfaction des usagers. 3.10. Analyse par pathologie : insuffisance cardiaque, infection pulmonaire, thrombose veineuse profonde, antibiothérapie intraveineuse, ulcère des membres inférieurs, lombosciatalgie, soins palliatifs, oncologie, prothèse totale de hanche. 3.11. Evaluation qualitative

Evaluation du programme vaudois d'hospitalisation à domicile (HAD): rapport sur la première année d'activité

[Table des matières] 1. Recrutement. 1.1. Recrutement du 1.7.1997 au 31.3.1998. 1.2. Etude des refus et des impossibilités médico-sociales d'entrée en HAD. 1.3. Entrées dans le programme d'HAD durant la période du 1.4.1998 au 30.6.1998. - 2. Prises en charge. 2.1. Caractéristiques des patients. 2.2. Caractéristiques de l'entourage. - 3. Evolution médicale sur six semaines. - 4. Satisfaction des patients. 4.1. Satisfaction des patients évaluée sur la base de questionnaires. 4.2. Satisfaction des patients évaluée sur la base d'entretiens. - 5. Satisfaction de l'entourage. - 6. Satisfaction des professionnels. 6.1. Satisfaction des soignants CMS. 6.2. Satisfaction des médecins HAD. 6.3. Satisfaction des médecins traitants à six semaines

Genetic and environmental influences on eating behaviors in 2.5-and 9-year-old children: a longitudinal twin study

Peer reviewe

Sex hormone-binding globulin regulation of androgen bioactivity in vivo : validation of the free hormone hypothesis

Sex hormone-binding globulin (SHBG) is the high-affinity binding protein for androgens and estrogens. According to the free hormone hypothesis, SHBG modulates the bioactivity of sex steroids by limiting their diffusion into target tissues. Still, the in vivo physiological role of circulating SHBG remains unclear, especially since mice and rats lack circulating SHBG post-natally. To test the free hormone hypothesis in vivo, we examined total and free sex steroid concentrations and bioactivity on target organs in mice expressing a human SHBG transgene. SHBG increased total androgen and estrogen concentrations via hypothalamic-pituitary feedback regulation and prolonged ligand half-life. Despite markedly raised total sex steroid concentrations, free testosterone was unaffected while sex steroid bioactivity on male and female reproductive organs was attenuated. This occurred via a liganddependent, genotype-independent mechanism according to in vitro seminal vesicle organ cultures. These results provide compelling support for the determination of free or bioavailable sex steroid concentrations in medicine, and clarify important comparative differences between translational mouse models and human endocrinology