pinecone/core-2020-05-10-deduplication huggingface dataset:
Modelling Interactions Between Health Institutions in the Context of Patient Care Pathway

Part 8: Information and Assets SharingInternational audienceHealth systems around the world have been continuously subject to many questions about their performance. In order to improve the functioning of such systems, Health Information Systems (HIS) and Technologies (HIT) are deployed to support patient care pathways and ensure information exchange between health structures, actors of patient care. The aim of this paper is to propose a generic modelling framework for describing the exchange of information between health institutions in the context of patient's care, concerning a given chronic pathology. The purpose is to facilitate building of flow models starting from the proposed modelling framework, those models will be used to support quantitative evaluation through discrete event simulation, useful to evaluate the impact of communication between health institutions on patient care pathway. This work is a part of a research project entitled e-SIS (" Assessment in Health Information Systems "), project funded by the French health ministry (DGOS) as part of its research program called PREPS (" Research Program on Performance of Healthcare Systems ")
Secured and efficient information exchanges in collaborative networks: the singular information system

Information exchange is the object of intensive research from quite separated communities, dealing for instance with connected objects, interoperability of industrial information systems, personal information systems or data security. A unified framework, defining the conditions of interrelations of elementary information systems, could allow to address these problems with a holistic view. In that purpose, we suggest the concept of Singular Information System (SIS) and give the basic principles allowing the connection of two SIS. We show then how exchanges of information between objects, persons and organizations may benefit from such a unified paradigm
Interaction protocols for human-driven crisis resolution processes

This work aims at providing a crisis cell with process-oriented tools to manage crisis resolutions. Indeed, the crisis cell members have to define the crisis resolution process, adapt it to face crisis evolutions, and guide its execution. Crisis resolution processes are interaction-intensive processes: they not only coordinate the performance of tasks to be undertaken on the impacted world, but they also support regulatory interactions between possibly geographically distributed crisis cell members. In order to deal with such an interweaving, this paper proposes to use Interaction Protocols to both model formal interactions and ease a cooperative adaptation and guidance of crisis resolution processes. After highlighting the benefits of Interaction Protocols to support this human and collective dimension, the paper presents a protocol meta-model for their specification. It then shows how to suitably integrate specified protocols into crisis resolution processes and how to implement this conceptual framework into a service oriented architecture
Reconstruction of Solar Subsurfaces by Local Helioseismology

Local helioseismology has opened new frontiers in our quest for understanding
of the internal dynamics and dynamo on the Sun. Local helioseismology
reconstructs subsurface structures and flows by extracting coherent signals of
acoustic waves traveling through the interior and carrying information about
subsurface perturbations and flows, from stochastic oscillations observed on
the surface. The initial analysis of the subsurface flow maps reconstructed
from the 5 years of SDO/HMI data by time-distance helioseismology reveals the
great potential for studying and understanding of the dynamics of the quiet Sun
and active regions, and the evolution with the solar cycle. In particular, our
results show that the emergence and evolution of active regions are accompanied
by multi-scale flow patterns, and that the meridional flows display the
North-South asymmetry closely correlating with the magnetic activity. The
latitudinal variations of the meridional circulation speed, which are probably
related to the large-scale converging flows, are mostly confined in shallow
subsurface layers. Therefore, these variations do not necessarily affect the
magnetic flux transport. The North-South asymmetry is also pronounced in the
variations of the differential rotation ("torsional oscillations"). The
calculations of a proxy of the subsurface kinetic helicity density show that
the helicity does not vary during the solar cycle, and that supergranulation is
a likely source of the near-surface helicity.Comment: 17 pages, 10 figures, in "Cartography of the Sun and the Stars",
  Editors: Rozelot, Jean-Pierre, Neiner, Corali
Physical processes leading to surface inhomogeneities: the case of
  rotation

In this lecture I discuss the bulk surface heterogeneity of rotating stars,
namely gravity darkening. I especially detail the derivation of the omega-model
of Espinosa Lara & Rieutord (2011), which gives the gravity darkening in
early-type stars. I also discuss the problem of deriving gravity darkening in
stars owning a convective envelope and in those that are members of a binary
system.Comment: 23 pages, 11 figure, Lecture given to the school on the cartography
  of the Sun and the stars (May 2014 in Besan\c{c}on), to appear in LNP, Neiner
  and Rozelot edts V2: typos correcte
Performance assessment of children and youth households

This study purposes a Data Envelopment Analysis (DEA) framework to assess
the performance of Non-Profit Organizations that look after children and young
people. The DEA method is used to assess the managerial efficiency of eight institutions
from Bragança district, since 2010 to 2013. The model evaluates each institution
concerning the reduction of operational and staff costs incurred in providing social services
to the number of users observed in each unit. A fair policy for the allocation of
subsidies is designed according to the performance of institutions in order to support
the regulator.info:eu-repo/semantics/publishedVersio
Attrition in the Swiss Household Panel: Are Vulnerable Groups more Affected than Others?

Panel attrition is one of the main concerns to longitudinal surveys, and may be especially problematic when vulnerable populations are concerned. This study looks into nonresponse and attrition in the Swiss Household Panel (SHP), focusing on the following two questions: (1) To what extent does attrition create bias in means and frequencies, and does weighting correct for this? (2) Are respondents who are at risk of vulnerability more likely to drop out from the SHP compared to others and if so, why? Our results based on data from 1999 to 2012 indicate that there are different nonresponse patterns in the SHP and that attrition is not completely at random, but is related to specific characteristics that are often associated with vulnerability. In particular respondents with a migration background, a low level of education, who are unemployed or whose health status is poor are more likely to drop out. Using weights only partially corrects for the selective dropout. Although general population surveys such as the SHP provide unique opportunities to study vulnerability in the population, researchers should be aware that overall prevalence of vulnerability is most likely underestimated
Vulnerability Following a Critical Life Event: Temporary Crisis or Chronic Distress? A Psychological Controversy, Methodological Considerations, and Empirical Evidence

This contribution deals with psychological vulnerability resulting from marital breakup after a long-term relationship. Despite the existing vast body of consolidated knowledge on divorce and psychological adaptation, there are still several controversies concerning the vulnerabilizing impact of marital breakup. One major issue refers to the question of whether vulnerability after marital breakup is a temporary crisis or rather a chronic strain. In this chapter we want to present two possible methodological options to tackle this question: First, comparing a sample of almost 1000 middle-aged persons, who were married on average 19 years, and who experienced a marital split within the last 5 years (4 time groups), with a group of age-matched married controls with regard to various indicators of psychological vulnerability (such as depression and hopelessness). Second, comparing within the divorced group the most vulnerable individuals (in terms of depression, hopelessness, life satisfaction) with those who were the least affected, regarding intra-personal resources (personality, resilience), divorce circumstances, post-divorce situation, and socio-economic resources. The study results underline the vulnerabilizing impact of marital breakup, but at the same time they reveal individual differences in psychological adaptation especially due to personality, new partnership, economic resources, and last but not least due to time. Furthermore our data strongly suggest that there is not a generalized psychological vulnerability after marital breakup, but that the emotional dimensions such as depression or feelings of not overcoming the loss are more affected than the more cognitive ones such as life satisfaction
Sleep analysis for elderly care using a low-resolution visual sensor network

Nearly half of the senior citizens report difficulty initiating and maintaining sleep. Frequent visits to the bathroom in the middle of the night is considered as one of the major reasons for sleep disorder. This leads to serious diseases such as depression and diabetes. In this paper, we propose to use a network of cheap low-resolution visual sensors (30 x 30 pixels) for long-term activity analysis of a senior citizen in a service flat. The main focus of our research is on elderly behaviour analysis to detect health deterioration. Specifically, this paper treats the analysis of sleep patterns. Firstly, motion patterns are detected. Then, a rule-based approach on the motion patterns is proposed to determine the wake up time and sleep time. The nightly bathroom visit is identified using a classification-based model. In our evaluation, we performed experiments on 10 months of real-life data. The ground truth is collected from the diaries in which the senior citizen wrote down his sleep time and wake up time. The results show accurate extraction of the sleep durations with an overall Mean Absolute Error (MAE) of 22.91 min and Spearman correlation coefficient of 0.69. Finally, the nightly bathroom visits analysis indicate sleep disorder in several nights
Online Prediction of People’s Next Point-of-Interest: Concept Drift Support

Current advances in location tracking technology provide exceptional amount of data about the users’ movements. The volume of geospatial data collected from moving users’ challenges human ability to analyze the stream of input data. Therefore, new methods for online mining of moving object data are required. One of the popular approaches available for moving objects is the prediction of the unknown future location of an object. In this paper we present a new method for online prediction of users’ next important locations to be visited that not only learns incrementally the users’ habits, but also detects and supports the drifts in their patterns. Our original contribution includes a new algorithm of online mining association rules that support the concept drift
A Rewriting Approach to the Combination of Data Structures with  Bridging Theories

International audienceWe introduce a combination method à la Nelson-Oppen to solve the  satisfiability problem modulo a non-disjoint union of theories  connected with bridging functions. The combination method is  particularly useful to handle verification conditions involving  functions defined over inductive data structures. We investigate the  problem of determining the data structure theories for which this  combination method is sound and complete. Our completeness proof is  based on a rewriting approach where the bridging function is defined  as a term rewrite system, and the data structure theory is given by  a basic congruence relation.  Our contribution is to introduce a  class of data structure theories that are combinable with a disjoint  target theory via an inductively defined bridging function. This  class includes the theory of equality, the theory of absolutely free  data structures, and all the theories in between.  Hence, our  non-disjoint combination method applies to many classical data  structure theories admitting a rewrite-based satisfiability  procedure
Unification and Matching in Hierarchical Combinations of Syntactic Theories

International audienceWe investigate a hierarchical combination approach to the unification problem in non-disjoint unions of equational theories. In this approach, the idea is to extend a base theory with some additional axioms given by rewrite rules in such way that the  unification algorithm known for the base theory can be reused without loss of completeness. Additional techniques are required to solve a combined problem by reducing it to a problem in the base theory.  In this paper we show that the hierarchical combination approach applies successfully to some classes of syntactic theories, such as shallow theories since the required unification algorithms needed for the combination algorithm can always be obtained. We also consider  the matching problem in syntactic extensions of a base theory.  Due to the more restricted nature of the matching problem, we obtain several improvements over the unification problem
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures

The evaluation of the security, reliability and resilience of critical infrastruc-tures (CI) faces a wide range of challenges ranging from the scale and tempo of attacks to the need to address complex and interdependent systems of sys-tems. Model-based approaches and probabilistic design are fundamental to the evaluation of CI and we need to know whether we can trust these mod-els. This paper presents an approach we are developing to justify the models used to assure CI using structured assurance cases based on Claims, Argu-ments and Evidence (CAE). The modelling and quantitative evaluation of the properties are supported by the Preliminary Interdependency Analysis (PIA) method and platform applied to a case study – a reference power transmission network enhanced with an industrial distributed system of monitoring, protection and control. We discuss the usefulness of the model-ling and assurance case structuring approaches, some findings from the case study, and outline the directions of further work
Approaches for Software Verification of an Emergency Recovery System for
  Micro Air Vehicles

This paper describes the development and verification of a competitive
parachute system for Micro Air Vehicles, in particular focusing on verification
of the embedded software. We first introduce the overall solution including a
system level failure analysis, and then show how we minimized the influence of
faulty software. This paper demonstrates that with careful abstraction and
little overapproximation, the entire code running on a microprocessor can be
verified using bounded model checking, and that this is a useful approach for
resource-constrained embedded systems. he resulting Emergency Recovery System
is to our best knowledge the first of its kind that passed formal verification,
and furthermore is superior to all other existing solutions (including
commercially available ones) from an operational point of view.Comment: 12 pages, 34th International Conference on Computer Safety,
  Reliability and Security (SAFECOMP
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems

Robotic surgical systems are among the most complex medical cyber-physical systems on the market. Despite significant improvements in design of those systems through the years, there have been ongoing occurrences of safety incidents that negatively impact patients during procedures. This paper presents an approach for systems-theoretic safety assessment of robotic telesurgical systems using software-implemented fault injection. We used a systems-theoretic hazard analysis technique (STPA) to identify the potential safety hazard scenarios and their contributing causes in RAVEN II, an open-source telerobotic surgical platform. We integrated the robot control software with a software-implemented fault injection engine that measures the resilience of system to the identified hazard scenarios by automatically inserting faults into different parts of the software. Representative hazard scenarios from real robotic surgery incidents reported to the U.S. Food and Drug Administration (FDA) MAUDE database were used to demonstrate the feasibility of the proposed approach for safety-based design of robotic telesurgical systems.Infosys FoundationInternational Business Machines Corporatio
A Model for Safety Case Confidence Assessment

Building a safety case is a common approach to make expert judgement explicit
about safety of a system. The issue of confidence in such argumentation is
still an open research field. Providing quantitative estimation of confidence
is an interesting approach to manage complexity of arguments. This paper
explores the main current approaches, and proposes a new model for quantitative
confidence estimation based on Belief Theory for its definition, and on
Bayesian Belief Networks for its propagation in safety case networks
Lessons learned from creating a mobile version of an educational board game to increase situational awareness

This paper reports on an iterative design process for a serious game, which aims to raise situational awareness among different stakeholders in a logistics value chain by introducing multi-user role-playing games. It does so in several phases: After introducing the field of logistics as a problem domain for an educational challenge, it firstly describes the design of an educational board game for the field of disruption handling in logistics processes. Secondly, it de-scribes how the board game can be realized in an open-source mobile serious games platform and identifies lessons learned based on advantages and issues found. Thirdly, it derives requirements for a re-design of the mobile game and finally draws conclusions.SALOM
Reflexive learning, socio-cognitive conflict and peer-assessment to improve the quality of feedbacks in online tests

Our previous works have introduced the Tsaap-notes platform dedicated to the semi automatic generation of multiple choice questionnaire providing feedbacks: it reuses interactive questions asked by teachers during lectures, as well as the notes taken by students after the presentation of the results as feedbacks integrated into the quizzes. In this paper, we introduce a new feature which aims at increasing the number of contributions of students in order to significantly improve the quality of the feedbacks used in the resulting quizzes. This feature splits the submission of an answer into several distinct phases to harvest explanations given by students, and then applies an algorithm to filter the best contributions to be integrated as feedbacks in the tests. Our approach has been validated by a first experimentation involving master students enrolled in a computer science course
Detecting sarcasm from students' feedback in Twitter

Sarcasm is a sophisticated form of act where one says or writes the opposite of what they mean. Sarcasm is a common issue in sentiment analysis and detecting it is a challenge. While models for sarcasm detection have been proposed for general purposes (e.g. Twitter data, Amazon reviews), there is no research addressing this issue in an educational context, despite the increased use of social media in education. In this paper we experiment with several machine learning techniques, features and preprocessing levels to identify sarcasm from students' feedback collected via Twitter
A hierarchical model for the cash transfer system design problem

This paper presents a hierarchical model that incorporates strategic, tactical, and operational decisions of cash transfer management system of a bank. The aim of the model is to decide on the location of cash management centers, the number and routes of vehicles, and the cash inventory management policies to minimize the cost of owning and operating a cash transfer system while maintaining a pre-defined service level. Owing to the difficulty of finding optimal decisions in such integrated models, an iterative solution approach is proposed in which strategic, tactical, and operational problems are solved separately via a feedback mechanism. Numerical results show that such an approach is quite effective in reaching at greatly improved solutions with just a few iterations, making it a very promising approach for similar models
Materials flow control in hybrid make-to-stock/make-to-order manufacturing

Today’s company competiveness is favoured by product customisation and fast delivery. A strategy to meet this challenge is to manufacture standard items to stock for product customisation. This configures a hybrid environment of make-to-stock and make-to-order. To explore the advantages of this requires good understanding of production control. Thus, we study production under hybrid MTS-MTO, organising the system in two stages. The 1 st  manufactures items to inventory, which are then customised in the 2 nd . We analyse how the percentage of tardy orders is affected by the inventory of items required to achieve a given fill rate. The impact of two mechanisms for releasing orders to both stages is also analysed. Results of a simulation study indicate that most of the reduction on the percentage of tardy orders is achieved by a moderate increase in the stock level of semi-finished products. Moreover the percentage of tardy orders decreases if suitable controlled release of orders is exerted.This study had the financial support of FCT-Fundação para a Ciência e Tecnologia of Portugal under the project PEst2015-2020: UID/CEC/ 00319/2013.info:eu-repo/semantics/publishedVersio
A new modelling approach of evaluating preventive and reactive strategies for mitigating supply chain risks

Supply chains are becoming more complex and vulnerable due to globalization and interdependency between different risks. Existing studies have focused on identifying different preventive and reactive strategies for mitigating supply chain risks and advocating the need for adopting specific strategy under a particular situation. However, current research has not addressed the issue of evaluating an optimal mix of preventive and reactive strategies taking into account their relative costs and benefits within the supply network setting of interconnected firms and organizations. We propose a new modelling approach of evaluating different combinations of such strategies using Bayesian belief networks. This technique helps in determining an optimal solution on the basis of maximum improvement in the network expected loss. We have demonstrated our approach through a simulation study and discussed practical and managerial implications