Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems

We present a new system, Genesis, that processes sets of human patches to automatically infer code transforms and search spaces for automatic patch generation. We present results that characterize the effectiveness of the Genesis inference algorithms and the resulting complete Genesis patch generation system working with real-world patches and errors collected from top 1000 github Java software development projects. To the best of our knowledge, Genesis is the first system to automatically infer patch generation transforms or candidate patch search spaces from successful patches

Risk conceptualisations, trust and decision-making in the face of contradictory information: the case of MMR

This thesis investigates the process by which parents evaluate contradictory information about risk in order to make the decision whether to have their children immunised with the measles, mumps and rubella (MMR) vaccine. Contested reports associating the MMR vaccine with autism have resulted in diminished confidence and uptake of the vaccine in the UK. Interviews and focus groups were used to develop an in-depth picture of parental notions of risk, trust and decision-making processes. Cultural consensus analysis was used to probe the areas of consensus and divergence of opinion, and a large-scale postal survey (N=996) assessed the level of agreement with the qualitative findings. Parental ambivalence to the safety of the vaccine reflected wider social concerns, and was crucially related to trust in governmental medical authority and medical practitioners. Trust was particularly damaged when practitioners and policy makers failed to recognise parents' concern for their children’s health and their unique knowledge of their own children. A key tool for fostering trust is narrative: this played a central role in galvanising resistance to the vaccine, but was not well used to engender trust and cooperation between parents and medical practitioners. Three practical strategies to protect children from diseases and harmful vaccine side effects, to rebuild trust, and to cope successfully with similar controversies in the future emerged from this research: fully involving the public in framing scientific research agendas, streamlining the reporting procedures for suspected adverse reactions, and fostering trusting personal relationships between patients and health care practitioners

First Annual Workshop on Space Operations Automation and Robotics (SOAR 87)

Several topics relative to automation and robotics technology are discussed. Automation of checkout, ground support, and logistics; automated software development; man-machine interfaces; neural networks; systems engineering and distributed/parallel processing architectures; and artificial intelligence/expert systems are among the topics covered

Safety and Reliability - Safe Societies in a Changing World

The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk managemen

Proceedings of the Fourth MIT/ONR Workshop on Distributed Information and Decision Systems Motivated by Command-Control-Communications (C3) Problems, June 15-June 26, 1981, San Diego, California

"OSP number 85552"--Cover.Library has v. 2 only.Includes bibliographies.Workshop suppported by the Office of Naval Research under contract ONR/N00014-77-C-0532edited by Michael Athans ... [et al.].v.1. Surveillance and target tracking--v.2. Systems architecture and evaluation--v.3. Communication, data bases & decision support--v.4. C3 theory

Desafios do impresso ao digital: questões contemporâneas de informação e conhecimento

428 p., il. ; Documento TécnicoEsta publicação, como o próprio título traduz, concentra o seu foco em temas emergentes da sociedade da informação e do conhecimento, na qual, pelo impulso das tecnologias de informação e comunicação (TICs) e da globalização, informação e conhecimento são potencializados e assumem novo papel no mundo contemporâneo. Um dos objetivos desta coletânea é propiciar, aos interessados e estudiosos de questões de informação e conhecimento, uma perspectiva abrangente, às vezes instigante e não convencional de alguns de seus aspectos.UNESC