A Calculus of Mobile Resources

We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se. We provide a reduction as well as a labelled transition semantics and prove a correspondence be- tween barbed bisimulation congruence and a higher-order bisimulation. We provide examples of the expressiveness of the calculus, and apply the theory to prove one of its characteristic properties

Public awareness and individual responsibility needed for judicious use of antibiotics: a qualitative study of public beliefs and

BACKGROUND: High consumption of antibiotics has been identified as an important driver for the increasing antibiotic resistance, considered to be one of the greatest threats to public health globally. Simply informing the public about this consequence is insufficient to induce behavioral change. This study explored beliefs and perceptions among Swedes, with the aim of identifying factors promoting and hindering a judicious approach to antibiotics use. The study focused primarily on the medical use of antibiotics, also considering other aspects connected with antibiotic resistance, such as travelling and food consumption. METHODS: Data were collected through focus group discussions at the end of 2016. Twenty-three Swedes were recruited using an area-based approach and purposive sampling, aiming for as heterogeneous groups as possible regarding gender (13 women, 10 men), age (range 20-81, mean 38), and education level. Interview transcripts were analyzed using qualitative content analysis. The Health Belief Model was used as a theoretical framework. RESULTS: Antibiotic resistance was identified by participants as a health threat with the potential for terrible consequences. The severity of the problem was perceived more strongly than the actual likelihood of being affected by it. Metaphors such as climate change were abundantly employed to describe antibiotic resistance as a slowly emerging problem. There was a tension between individual (egoistic) and collective (altruistic) reasons for engaging in judicious behavior. The individual effort needed and antibiotics overprescribing were considered major barriers to such behavior. In their discussions, participants stressed the need for empowerment, achieved through good health communication from authorities and family physicians. CONCLUSIONS: Knowledge about antibiotic consumption and resistance, as well as values such as altruism and trust in the health care system, has significant influence on both perceptions of individual responsibility and on behavior. This suggests that these factors should be emphasized in health education and health promotion. To instead frame antibiotic resistance as a slowly emerging disaster, risks diminish the public perception of being susceptible to it

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145

Community Willingness to Participate in a Dengue Study in Aceh Province, Indonesia

Background: Dengue virus infection is the most rapidly spreading vector-borne disease in the world. Essential research on dengue virus transmission and its prevention requires community participation. Therefore, it is crucial to understand the factors that are associated with the willingness of communities in high prevalence areas to participate in dengue research. The aim of this study was to explore factors associated with the willingness of healthy community members in Aceh province, Indonesia, to participate in dengue research that would require phlebotomy. Methodology/Principal Findings: A community-based cross-sectional study was carried out in nine regencies and municipalities of Aceh from November 2014 to March 2015. Interviews using a set of validated questionnaires were conducted to collect data on demography, history of dengue infection, socioeconomic status, and knowledge, attitude and practice regarding dengue fever. Two-step logistic regression and Spearman's rank correlation (rs) analysis were used to assess the influence of independent variables on dependent variables. Among 535 participants, less than 20% had a good willingness to participate in the dengue study. The factors associated with good willingness to participate were being female, working as a civil servant, private employee or entrepreneur, having a high socioeconomic status and good knowledge, attitude and practice regarding dengue. Good knowledge and attitude regarding dengue were positive independent predictors of willingness to participate (OR: 2.30 [95% CI: 1.36-3.90] and 3.73 [95% CI: 2.24-6.21], respectively). Conclusion/Significance: The willingness to participate in dengue research is very low among community members in Aceh, and the two most important associated factors are knowledge and attitude regarding dengue. To increase participation rate, efforts to improve the knowledge and attitude of community members regarding dengue fever and dengue-related research is required before such studies are launched

YouTube as a source of information on clinical trials for paediatric cancer

Little is known about the information parents of children with cancer find when searching for clinical trials information on YouTube. Thus, this study aimed to analyse the content, quality and reliability of YouTube videos focused on clinical trials for paediatric cancer. A descriptive cross-sectional design was used, and YouTube was searched using the phrases ‘clinical trials for children with cancer’ and ‘paediatric cancer clinical trials’. Videos that met inclusion criteria were assessed using the instruments Global Quality Scale and DISCERN. About half of the examined videos were in the GQS excellent-quality group and exhibited a total of 84,804 views. The mean time for videos was 5.7 minutes, they originated from the US or UK, were uploaded after 2016, and had a cancer centre/foundation or children hospital as video source. Half of them were focusing on early experimental trials and had a positive tone. Twenty percent were classified as useful without serious shortcomings, almost 50% as misleading with serious shortcomings, and 30% as inappropriate sources of information. In conclusion, most YouTube videos on paediatric cancer trials are not very informative and fall short of what could ethically be required regarding their facilitation of informed decision-making

Research ethics committee members’ perspectives on paediatric research: a qualitative interview study

Research ethics committees (RECs) have a crucial role in protecting children in research. However, studies on REC members’ perspectives on paediatric research are scarce. We conducted a qualitative study to explore Swedish scientific REC members’ perspectives on ethical aspects in applications involving children with severe health conditions. The REC members considered promoting participation, protecting children and regulatory adherence to be central aspects. The results underscored the importance of not neglecting ill children’s rights to adapted information and participation. REC members supported a contextual and holistic approach to vulnerability and risk, which considers the child’s and parents’ psychological wellbeing and the child’s integrity, both short and long term. The ethical complexity of paediatric research requires continuous ethical competence development within RECs