Search results for " Computer science"
showing 10 items of 3983 documents
Bords d'une surface médiane : Identifications et applications
2014
National audience; Un squelette d'une forme fermée est une structure mince, centrée dans cette forme, décrivant sa topologie et sa géométrie. Les squelettes permettent de développer des applications interactives en synthèse d'images~: l'utilisateur peut manipuler intuitivement des formes en modifiant leurs squelettes. Parmi toutes les formulations de squelettes, nous nous intéressons en particulier à la surface médiane. Ses éléments, nommés atomes, sont les sphères maximales intérieures à la forme décrite. Les positions des atomes sont organisées en courbes et surfaces, qui composent la structure squelettale. Cette structure peut être d'une grande aide pour manipuler une forme. Cependant, e…
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…
Modeling in vitro digestion of emulsions: effects of droplet size and oil composition on lipolysis kinetics and fatty acid bioaccessible profiles (po…
2015
International audience; no abstract
Modeling the effects of emulsion coalescence and oil composition on in vitro digestion kinetics and fatty acid bioaccessibility (poster)
2015
International audience; no abstract
Sensory, in vitro, in vivo and modeling approaches to understand salt release and perception in mouth: toward tools to design palatable and healthy f…
2012
International audience; no abstract
Qualifying semantic graphs using model checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…
A new approach based on NμSMV Model to query semantic graph
2011
International audience; The language most frequently used to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. Processing of large semantic graphs can be a limit to use semantics in modern information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…
Contrôle Optimal appliqué au contrôle de la phase en IRM : simulations et expériences sur fantômes
2017
National audience; IntroductionLes techniques IRM utilisant la phase du signal IRM, à la place ou en complément de l’amplitude, sont de plus en plus nombreuses. Dans ces techniques, la phase est gérée par l’application de gradients. Nous proposons ici de contrôler la phase du signal directement avec des impulsions RF. Pour cela, nous avons utilisé la théorie du contrôle optimal1 et calculé des impulsions RF optimisées pour atteindre des états cibles (dans notre cas, des motifs de phase) préalablement définis. Dans cette étude, une preuve de faisabilité de contrôle de la phase IRM par impulsions RF est présentée au travers de simulations (avec le logiciel ODIN2) ainsi que d’expériences IRM s…
WSN localization scheme based on Received Signal Strength Indicator (RSSI) for ZigBee Networks
2015
International audience; Wireless Sensor Networks (WSNs) have diverse application domains such as smart home, smart care, industrial, etc. We present a WSN system based on the ZigBee technology (IEEE 802.15.4) in Smart Home. In our paper we interest to ZigBee protocol is often used in medical Rehabilitation, which is a relatively new concept involving wireless transmission of data from the sensors attached to a patient to a distant monitoring station. There is no standardized topology managing the current networks, therefore, we will compare and evaluate the performance the mobility of nodes for star topologies in different scenarios to determine which is the most suitable in a typical hospi…
Couplage visuo-haptique en environnement de conduite simulée
2012
Our visual-haptic system is requested as soon as our arms interact with our external environment. There is a coupling between visual and haptic modalities, so that the central nervous system takes in account the reliability and accuracy of both modalities in order to weigh their influence in the visual-haptic integration. Thus there is a rebalancing of the weight of each modality in the context of the visual-haptic solicitation. Typically, psychophysical studies implement short and repeated tasks, with or without sensory conflict, to understand the mechanisms underlying the visual-haptic coupling. Applied in our context, this method is excluded because we have to maintain the ecological cha…