HAL-UNICE
Not a member yet
30584 research outputs found
Sort by
Scheduling Live Migration of Virtual Machines
No full textInternational audienceEvery day, numerous VMs are migrated inside a datacenter to balance the load, save energy or prepare production servers for maintenance. Despite VM placement problems are carefully studied, the underlying migration scheduler relies on vague adhoc models. This leads to unnecessarily long and energy-intensive migrations
Modelling and Formal Verification of Neuronal Archetypes Coupling
No full textInternational audienceIn the literature, neuronal networks are often represented as graphs where each node symbolizes a neuron and each arc stands for a synaptic connection. Some specific neuronal graphs have biologically relevant structures and behaviors and we call them archetypes. Six of them have already been characterized and validated using formal methods. In this work, we tackle the next logical step and proceed to the study of the properties of their couplings. For this purpose, we rely on Leaky Integrate and Fire neuron modeling and we use the synchronous programming language Lustre to implement the neuronal archetypes and to formalize their expected properties. Then, we exploit an associated model checker called kind2 to automatically validate these behaviors. We show that, when the archetypes are coupled, either these behaviors are slightly modulated or they give way to a brand new behavior. We can also observe that different archetype couplings can give rise to strictly identical behaviors. Our results show that time coding modeling is more suited than rate coding modeling for this kind of studies
PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
No full textInternational audienc
Type Abstraction for Relaxed Noninterference *
No full textInternational audienceInformation-flow security typing statically prevents confidential information to leak to public channels. The fundamental information flow property, known as noninterference, states that a public observer cannot learn anything from private data. As attractive as it is from a theoretical viewpoint, noninterference is impractical: real systems need to intentionally declassify some information, selectively. Among the different information flow approaches to declassification, a particularly expressive approach was proposed by Li and Zdancewic, enforcing a notion of relaxed noninterference by allowing programmers to specify declassification policies that capture the intended manner in which public information can be computed from private data. This paper shows how we can exploit the familiar notion of type abstraction to support expressive declassification policies in a simpler, yet more expressive manner. In particular, the type-based approach to declassification—which we develop in an object-oriented setting—addresses several issues and challenges with respect to prior work, including a simple notion of label ordering based on subtyping, support for recursive declassification policies, and a local, modular reasoning principle for relaxed noninterference. This work paves the way for integrating declassification policies in practical security-typed languages
Comment la collaboration entre de multiples parties prenantes hétérogènes s'opère-t-elle dans le cadre du tourisme communautaire ? : Une étude de cas exploratoire au sein d'une community-based enterprise mexicaine
No full textInternational audienceLa collaboration de multiples parties prenantes hétérogènes est un enjeu central du tourisme durable, dans la littérature comme dans la pratique. En particulier, des travaux récents soulignent l’importance d’impliquer l’ensemble des acteurs dans la définition et la mise en œuvre des stratégies de tourisme durable. Or, la variété des parties prenantes, volontaires et involontaires, rend la gestion du processus d’implication des acteurs complexe, et la collaboration difficilement opérable, en pratique. La question de sa mise en œuvre concrète reste encore largement sous-explorée et requiert des réponses à la fois empiriques et théoriques. Cette question est d’autant plus pertinente à soulever dans le contexte du tourisme communautaire, où l’on recherche particulièrement la participation active, l’empowerment et le développement de la communauté d’accueil, dans des contextes socio-économiques particuliers. Dans cette perspective, notre recherche développe une étude de cas exploratoire à visée explicative, dans le paradigme du Réalisme critique. L’étude empirique se déroule au sein de l'entreprise communautaire La Selva del Marinero, dont le projet écotouristique a été construit et développé par la communauté rurale Adolfo López Mateos, localisée au cœur de la région des Tuxtlas, dans l’Etat de Veracruz, au Mexique. Les principaux résultats consistent en une compréhension fine de la manière dont la collaboration des parties prenantes s’opère concrètement et en l’identification de ses mécanismes sous-jacents qui expliquent sa mise en œuvre. En particulier, la recherche met en évidence 1) le rôle clé de la création de sens, combinée à 2) l’engagement des acteurs, comme principaux mécanismes générateurs
Developing knowledge codification to learn from rare and complex experiences: the case of Fukushima nuclear accident
No full textInternational audienceThrough an abductive explanatory case study (Avenier and Thomas 2015; Wyn and Williams 2012), conducted in a French Technical Safety Organization (TSO), we propose a deep understanding of the codification process implemented by the TSO to learn from the Fukushima nuclear accident
Comparaison des Modèles et Architectures pour un Accès Mobile Restreint et Local au Web de Données : Un état de l’art des architectures et solutions envisageables
No full textThis document presents a survey prior to a thesis project, which aims to propose solutions allowing local and restricted access to the Web of data. We have explored several relevant mechanisms proposed in the literature, dedicated to various problems and likely to constitute important points for our future contributions. Since our main objective is to offer tools dedicated to mobility situations in environments where internet access is unreliable, we were particularly interested in comparing approaches (P2P, DHT, etc.) allowing to realize a particular fog/edge computing scenario which is restricted and local mobile access to contextually relevant and shared related data. In this context, we have focused some of our research on so-called gossip protocols (or epidemic protocols) that are well suited to the dynamic nature of networks. The dynamic aspect of the peers also led us to consider the solutions that take into account the location of the peers in order to improve the quality of the services offered.In addition, we looked at solutions dealing with semantic heterogeneity in peer-to-peer environments, including ontology alignment mechanisms that allow us to fully benefit from the power of peer-to-peer systems without imposing the use of a common ontology to all peers.Data replication and caching can be an important alternative to accessing remote sources; we have devoted the last part of this document to solutions based on these mechanisms to supply a local access to data.Ce document présente un état de l'art préalable à un projet de thèse qui vise à proposer des solutions permettant un accès local et restreint au Web de données. Nous avons exploré plusieurs mécanismes pertinents proposés dans la littérature, dédiés à des problématiques différentes et pouvant constituer des points importants pour nos futures contributions. Notre objectif principal étant de proposer des outils dédiés à des situations de mobilité dans des environnements ou l’accès internet est peu fiable, nous nous sommes intéressés particulièrement à comparer des approches (P2P, DHT, etc.) permettant de réaliser un scénario de fog/edge computing particulier qui est l'accès mobile restreint et local à des données liées contextuellement pertinentes et partagées. Dans cette optique, nous avons focalisé une partie de nos recherches bibliographiques sur les protocoles dits de « gossip » (ou protocoles épidémiques) qui s’avèrent bien adaptés au caractère dynamique des réseaux. L'aspect dynamique des pairs nous a aussi amené à considérer des solutions qui prennent en compte la localisation des pairs pour améliorer la qualité des services offerts.Nous regardons de plus dans ce document, des solutions traitant de l’hétérogénéité sémantique dans des environnements pair-à-pair, notamment des mécanismes d’alignements d’ontologies qui permettent de profiter pleinement de la puissance des systèmes pair-à-pair sans imposer l’utilisation d’une ontologie commune à tous les pairs.La réplication et le cache de données pouvant constituer une alternative importante à l’accès à des sources distantes, nous avons consacré la dernière partie de ce document aux solutions reposant sur ces mécanismes et offrant ainsi un accès local aux données
An example of explicit implementation strategy and preconditioning for the high order edge finite elements applied to the time-harmonic Maxwell's equations
No full textIn this paper we focus on high order finite element approximations of the electric field combined with suitable preconditioners, to solve the time-harmonic Maxwell's equations in waveguide configurations.The implementation of high order curl-conforming finite elements is quite delicate, especially in the three-dimensional case. Here, we explicitly describe an implementation strategy, which has been embedded in the open source finite element software FreeFem++ (http://www.freefem.org/ff++/). In particular, we use the inverse of a generalized Vandermonde matrix to build basis functions in duality with the degrees of freedom, resulting in an easy-to-use but powerful interpolation operator. We carefully address the problem of applying the same Vandermonde matrix to possibly differently oriented tetrahedra of the mesh over the computational domain. We investigate the preconditioning for Maxwell's equations in the time-harmonic regime, which is an underdeveloped issue in the literature, particularly for high order discretizations. In the numerical experiments, we study the effect of varying several parameters on the spectrum of the matrix preconditioned with overlapping Schwarz methods, both for 2d and 3d waveguide configurations
Intégrer des Sources de Données Hétérogènes dans le Web de Données
No full textTo a great extent, the success of the Web of Data depends on the ability to reach out legacy data locked in silos inaccessible from the web. In the last 15 years, various works have tackled the problem of exposing various structured data in the Resource Description Format (RDF). Meanwhile, the overwhelming success of NoSQL databases has made the database landscape more diverse than ever. NoSQL databases are strong potential contributors of valuable linked open data. Hence, the object of this thesis is to enable RDF-based data integration over heterogeneous data sources and, in particular, to harness NoSQL databases to populate the Web of Data.We propose a generic mapping language, xR2RML, to describe the mapping of heterogeneous data sources into an arbitrary RDF representation. xR2RML relies on and extends previous works on the translation of RDBs, CSV/TSV and XML into RDF. With such an xR2RML mapping, we propose either to materialize RDF data or to dynamically evaluate SPARQL queries on the native database. In the latter, we follow a two-step approach. The first step performs the translation of a SPARQL query into a pivot abstract query based on the xR2RML mapping of the target database to RDF. In the second step, the abstract query is translated into a concrete query, taking into account the specificities of the database query language. Great care is taken of the query optimization opportunities, both at the abstract and the concrete levels. To demonstrate the effectiveness of our approach, we have developed a prototype implementation for MongoDB, the popular NoSQL document store. We have validated the method using a real-life use case in Digital Humanities.Le succès du Web de Données repose largement sur notre capacité à atteindre les données stockées dans des silos invisibles du web. Dans les 15 dernières années, des travaux ont entrepris d’exposer divers types de données structurées au format RDF. Dans le même temps, le marché des bases de données (BdD) est devenu très hétérogène avec le succès massif des BdD NoSQL. Celles-ci sont potentiellement d’importants fournisseurs de données liées. Aussi, l’objectif de cette thèse est de permettre l’intégration en RDF de sources de données hétérogènes, et notamment d'alimenter le Web de Données avec les données isses des BdD NoSQL.Nous proposons un langage générique, xR2RML, pour décrire le mapping de sources hétérogènes vers une représentation RDF arbitraire. Ce langage étend des travaux précédents sur la traduction de sources relationnelles, CSV/TSV et XML en RDF. Sur cette base, nous proposons soit de matérialiser les données RDF, soit d'évaluer dynamiquement des requêtes SPARQL sur la base native. Dans ce dernier cas, nous proposons une approche en deux étapes : (i) traduction d’une requête SPARQL en une requête pivot, abstraite, en se basant sur le mapping xR2RML ; (ii) traduction de la requête abstraite en une requête concrète, prenant en compte les spécificités du langage de requête de la BdD cible. Un souci particulier est apporté à l'optimisation des requêtes, aux niveaux abstrait et concret. Nous démontrons l’applicabilité de notre approche via un prototype pour la populaire base MongoDB. Nous avons validé la méthode dans un cas d’utilisation réel issu du domaine des humanités numériques
Place de la conciliation médicamenteuse de sortie du sujet âge de plus de 75 ans en soins primaires : étude qualitative auprès de médecins généralistes des Alpes-Maritimes
No full textIntroduction<br/>Face au vieillissement de la population, l’iatrogénie médicamenteuse apparait comme un problème de santé publique majeur. La conciliation médicamenteuse de sortie (CMS) est un processus basé sur la collaboration médecin-pharmacien dans le but de réduire le risque iatrogène et favoriser la transmission d’information entre la ville et l’hôpital. Elle repose sur la production d’une fiche d’information destinée aux professionnels de santé en ville, après comparaison des ordonnances et justification des modifications réalisées. L’objectif de l’étude est d’explorer la perception de la CMS chez le sujet âgé de plus de 75 ans auprès des médecins généralistes, afin d’identifier leurs besoins et les freins d’un tel processus, puis leurs perspectives en ambulatoire.<br/>Matériels et méthodes<br/>Nous avons réalisé une étude qualitative prospective basée sur des entretiens semi-dirigés auprès de médecins généralistes ayant une activité ambulatoire dans les Alpes-Maritimes. Les entretiens ont été menés jusqu’à saturation des données. Les différentes réponses ont été analysées et regroupées par thèmes.<br/>Résultats<br/>Seize médecins généralistes ont été interrogés de février à juin 2017. La majorité était favorable à la CMS qu’ils trouvaient nécessaire pour le sujet âgé. Néanmoins, ils pointaient le manque d’implication du médecin traitant dans le processus. Ils soulignaient l’importance de la transmission rapide des informations via une messagerie sécurisée et de l’éducation thérapeutique du sujet âgé. L’organisation complexe et chronophage était également soulevée. La perspective d’une conciliation en ambulatoire, au sein de laquelle le pharmacien tiendrait un rôle pivot, leur semblait indiquée pour certains patients mais difficilement réalisable.<br/>Conclusion<br/>Notre étude a montré que la CMS chez le sujet âgé est perçue par les médecins généralistes comme une nécessité d’être généralisée. Elle apparaît comme un moyen efficace de lutte contre l’iatrogénie, basée sur l’optimisation de la prise en charge thérapeutique via une collaboration médico-pharmaceutique. Des pistes ont été apportées afin de contourner les freins organisationnels, en passant notamment par l’utilisation des technologies d’information et de communication (TIC) ou la priorisation des patients