379 research outputs found
Media outlets and their moguls: why concentrated individual or family ownership is bad for editorial independence
This article investigates the levels of owner influence in 211 different print and broadcast outlets in 32 different European media markets. Drawing on the literature from industrial organisation, it sets out reasons why we should expect greater levels of influence where ownership of individual outlets is concentrated; where it is concentrated in the hands of individuals or families; and where ownership groups own multiple outlets in the same media market. Conversely, we should expect lower levels of influence where ownership is dispersed between transnational companies. The articles uses original data on the ownership structures of these outlets, and combines it with reliable expert judgments as to the level of owner influence in each of the outlets. These hypotheses are tested and confirmed in a multilevel regression model of owner influence. The findings are relevant for policy on ownership limits in the media, and for the debate over transnational versus local control of media
Citizen participation in news
The process of producing news has changed significantly due to the advent of the Web, which has enabled the increasing involvement of citizens in news production. This trend has been given many names, including participatory journalism, produsage, and crowd-sourced journalism, but these terms are ambiguous and have been applied inconsistently, making comparison of news systems difficult. In particular, it is problematic to distinguish the levels of citizen involvement, and therefore the extent to which news production has genuinely been opened up. In this paper we perform an analysis of 32 online news systems, comparing them in terms of how much power they give to citizens at each stage of the news production process. Our analysis reveals a diverse landscape of news systems and shows that they defy simplistic categorisation, but it also provides the means to compare different approaches in a systematic and meaningful way. We combine this with four case studies of individual stories to explore the ways that news stories can move and evolve across this landscape. Our conclusions are that online news systems are complex and interdependent, and that most do not involve citizens to the extent that the terms used to describe them imply
Development of dependable controllers in the context of machines design
Proceedings of ICMD 2013In the domain of machines' design, one of the most important issues to solve is related with the controller's design, mainly, guaranteeing that the machine will behave as expected. In order to achieve a dependable controller, some steps can be considered, such as the formalization of its specification - before being translated to the program that will be inserted in the controller device - and the respective analysis and verification. Nowadays, some formal analysis techniques, such as formal verification, are used to achieve this purpose. The dependability of a controller, however, is impacted by its execution context. This paper proposes an approach for the formal verification of the specification of mechatronic system's controllers, which considers, on the formal verification tasks, the behavior of the plant and the behavior of the Human Machine Interface of the Mechatronic system. Some conclusions are extrapolated for other systems of the same kind
A hazard analysis method for systematic identification of safety requirements for user interface software in medical devices
© Springer International Publishing AG (outside the US) 2017. Formal methods technologies have the potential to verify the usability and safety of user interface (UI) software design in medical devices, enabling significant reductions in use errors and consequential safety incidents with such devices. This however depends on comprehensive and verifiable safety requirements to leverage these techniques for detecting and preventing flaws in UI software that can induce use errors. This paper presents a hazard analysis method that extends Leveson’s System Theoretic Process Analysis (STPA) with a comprehensive set of causal factor categories, so as to provide developers with clear guidelines for systematic identification of use-related hazards associated with medical devices, their causes embedded in UI software design, and safety requirements for mitigating such hazards. The method is evaluated with a case study on the Gantry-2 radiation therapy system, which demonstrates that (1) as compared to standard STPA, our method allowed us to identify more UI software design issues likely to cause use-related hazards; and (2) the identified UI software design issues facilitated the definition of precise, verifiable safety requirements for UI software, which could be readily formalized in verification tools such as Prototype Verification System (PVS).- U.S. Food and Drug Administration(NORTE-01-0145-FEDER-000016)Sandy Weininger (FDA), Scott Thiel (Navigant Consulting, Inc.), Michelle Jump (Stryker), Stefania Gnesi (ISTI/CNR) and the CHI+MED team (www.chi-med.ac.uk) provided useful feedback and inputs. Paolo Masci’s work is supported by the North Portugal Regional Operational Programme (NORTE 2020) under the PORTUGAL 2020 Partnership Agreement, and by the European Regional Development Fund (ERDF) within Project “NORTE-01-0145-FEDER-000016”.info:eu-repo/semantics/publishedVersio
Advances in Rodent Research Missions on the International Space Station
A Research platform for rodent experiment on the ISS is an essential tool for advancing biomedical research in space. The Rodent Research allows for experiments of much longer duration that experiments on the Shuttle. NASAs Rodent Research (RR)-1 mission was successfully completed, including post-flight analysis and achieved a number of objectives including validation of flight hardware, on-orbit operations, and science capabilities that were developed at the NASA Ames Research Center. Briefly, twenty C57BL/6J adult female mice were launched on the SpX4 Dragon vehicle, which thrived for up to 37 days in microgravity. Daily health checks of the mice were performed during the mission via downlinked video; all animals were healthy and displayed normal behavior without any significant signs of stress. Behavioral analysis demonstrated that Flight and Ground Control mice exhibited the same range of behaviors, including eating, drinking, exploratory behavior, self- and allo-grooming, and social interactions indicative of healthy animals. The animals were euthanized and select tissues were collected from some of the mice on orbit to assess the long-term sample storage capabilities of the ISS. The data obtained from the flight mice were comparable to those from the 3 groups of control mice (baseline, vivarium and ground controls), suggesting that the ISS has adequate capability to support long-duration rodent experimentations. We recovered over 35 tissues from 40 RR1 frozen carcasses, yielded over 3200 aliquots of tissues, and distributed to the scientific community, including NASAs GeneLab and scientists in the U.S. through Biospecimen Sharing Program via Ames Life Science Data Archive. Tissues were also distributed to Russian research colleagues at the Institute for Biomedical Problems. The expression levels of select genes including albumin, catalase, GAPDH, HMGCoA Reductase, and IGF1 were determined using RNA isolated from the livers by qPCR and no significant differences by one factor ANOVA were found between flight and ground control groups. In addition, some of the liver samples were subject to transcriptomics, epigenomics and proteomics. The data are now available to the scientific community through GeneLabs open science data website. Since the RR1 mission, another long duration mission (Rodent Research-2) was completed on the ISS in 2015 in which 20 female C57 BL/6J mice were successfully maintained on the ISS for varying time points, with the last group of 5 animals being on-orbit for 54 days. This second Rodent Research flight expanded the programs capabilities with the introduction of new technologies including blood collection and separation and bone densitometry scanning. Furthermore, we have continued to expand the ISSs capabilities by running a series of ground-based verification testing using male mice. Our next step is to fly male mice for Rodent Research-4 on SpaceX-10 to study the effects of microgravity on bone healing and regeneration. It will be the first long-duration mission using male mice using Rodent Hardware. In addition, the number of mice will increase from 20 mice (on RR-1 and RR-2) to 40 for RR-4. When samples return to Earth, a number of tissues will be dissected from the frozen carcasses and select tissue samples will become available to the scientific community via BSP. Altogether, we have continued to expand our capabilities for performing long-duration missions on the ISS as emphasized in the National Research Councils Decadal Survey released in 2011 and to maximize science return from each mission
Rodent Research Development for Long Duration Studies on the International Space Station
Rodent research in space is needed to advance our understanding of the health risks,consequences and possible countermeasures to protect crew during future, long duration missions. TheAnimal Enclosure Module (AEM) was designed originally to support habitation of rats and mice onrelatively short duration, Shuttle missions (<19 days). The AEM was flown previously on 27 SpaceShuttle missions, and recently was modified extensively to support future long duration space biology andbiomedical research on the International Space Station (ISS). In consultation with a Science WorkingGroup comprised of veterinarians and investigators experienced in rodent spaceflight experimentation inspace, the Rodent Habitat project team at Ames Research Center modified existing hardware, developednew hardware, operations, and science activities, and performed a series of ground-based operational andscience habitat verification tests in preparation for the first validation flight
Rodent Habitat on ISS: Advances in Capability for Determining Spaceflight Effects on Mammalian Physiology
Rodent research is a valuable essential tool for advancing biomedical discoveries in life sciences on Earth and in space. The National Research Counsel's Decadal survey (1) emphasized the importance of expanding NASAs life sciences research to perform long duration, rodent experiments on the International Space Station (ISS). To accomplish this objective, new flight hardware, operations, and science capabilities were developed at NASA ARC to support commercial and government-sponsored research. The flight phases of two separate spaceflight missions (Rodent Research-1 and Rodent Research-2) have been completed and new capabilities are in development. The first flight experiments carrying 20 mice were launched on Sept 21, 2014 in an unmanned Dragon Capsule, SpaceX4; Rodent Research-1 was dedicated to achieving both NASA validation and CASIS science objectives, while Rodent Reesearch-2 extended the period on orbit to 60 days. Groundbased control groups (housed in flight hardware or standard cages) were maintained in environmental chambers at Kennedy Space Center. Crewmembers previously trained in animal handling transferred mice from the Transporter into Habitats under simultaneous veterinary supervision by video streaming and were deemed healthy. Health and behavior of all mice on the ISS was monitored by video feed on a daily basis, and post-flight quantitative analyses of behavior were performed. The 10 mice from RR-1 Validation (16wk old, female C57Bl6/J) ambulated freely and actively throughout the Habitat, relying heavily on their forelimbs for locomotion. The first on-orbit dissections of mice were performed successfully, and high quality RNA (RIN values>9) and liver enzyme activities were obtained, validating the quality of sample recovery. Post-flight sample analysis revealed that body weights of FLT animals did not differ from ground controls (GC) housed in the same hardware, or vivarium controls (VIV) housed in standard cages. Organ weights analyzed post-flight showed that there were no differences between FLT and GC groups in adrenal gland and spleen weights, whereas FLT thymus and liver weights exceeded those of GC. Minimal differences between the control groups (GC and VIV) were observed. In addition, Over 3,000 aliquots collected post-flight from the four groups of mice were deposited into the Ames Life Science Data Archives for the Biospecimen Sharing Program and Genelab project. New capabilities recently developed include DEXA scanning, grip strength tests and male mice. In conclusion, new capability for long duration rodent habitation of group-housed rodents was developed and includes in-flight sample collection, thus avoiding the complication of reentry. Results obtained to date reveal the possibility of striking differences between the effects of short duration vs. long duration spaceflight. This Rodent Research system enables achievement of both basic science and translational research objectives to advance human exploration of space
When Ambients Cannot be Opened
International audienceWe investigate expressiveness of a fragment of the ambient calculus, a formalism for describing distributed and mobile computations. More precisely, we study expressiveness of the pure and public ambient calculus from which the capability open has been removed, in terms of the reachability problem of the reduction relation. Surprisingly, we show that even for this very restricted fragment, the reachability problem is not decidable. At a second step, for a slightly weaker reduction relation, we prove that reachability can be decided by reducing this problem to markings reachability for Petri nets. Finally, we show that the name-convergence problem as well as the model-checking problem turn out to be undecidable for both the original and the weaker reduction relation. The authors are grateful to S. Tison and Y. Roos for fruitful discussions and thank the anony mous ferees for valuable comments. This work is supported by an ATIP grant from CNRS
The ethics of uncertainty for data subjects
Modern health data practices come with many practical uncertainties. In this paper, I argue that data subjects’ trust in the institutions and organizations that control their data, and their ability to know their own moral obligations in relation to their data, are undermined by significant uncertainties regarding the what, how, and who of mass data collection and analysis. I conclude by considering how proposals for managing situations of high uncertainty might be applied to this problem. These emphasize increasing organizational flexibility, knowledge, and capacity, and reducing hazard
Applying System Engineering to Pharmaceutical Safety
While engineering techniques are used in the development of medical devices and have been applied to individual healthcare processes, such as the use of checklists in surgery and ICUs, the application of system engineering techniques to larger healthcare systems is less common. System safety is the part of system engineering that uses modeling and analysis to identify hazards and to design the system to eliminate or control them. In this paper, we demonstrate how to apply a new, safety engineering static and dynamic modeling and analysis approach to healthcare systems. Pharmaceutical safety is used as the example in the paper, but the same approach is potentially applicable to other complex healthcare systems. System engineering techniques can be used in re-engineering the system as a whole to achieve the system goals, including both enhancing the safety of current drugs while, at the same time, encouraging the development of new drugs
- …
