An Execution Model for Fine-Grained Parallelism in Ada

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of abstract executors, detailing the progress guarantees that these executors must provide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied to real-time systems

How Black Holes Form in High Energy Collisions

We elucidate how black holes form in trans-Planckian collisions. In the rest frame of one of the incident particles, the gravitational field of the other, which is rapidly moving, looks like a gravitational shock wave. The shock wave focuses the target particle down to a much smaller impact parameter. In turn, the gravitational field of the target particle captures the projectile when the resultant impact parameter is smaller than its own Schwarzschild radius, forming a black hole. One can deduce this by referring to the original argument of escape velocities exceeding the speed of light, which Michell and Laplace used to discover the existence of black holes.Comment: 8 pages, 3 .eps figures, essa

Unsteady effects during resistance tests on a ship model in a towing tank

It is known that there are oscillations in the wave resistance during the constantvelocity phase of a towing-tank resistance test on a ship model. In this work, the unsteady thin-ship resistance theory has been applied to this case. The results have been compared with experiment data obtained using a towing carriage the velocity history of which can be programmed. It is demonstrated here that generally excellent correlation exists between the theory and the experiments. In particular, one can predict the influence of Froude number, rate of acceleration, and type of smoothing of the acceleration on the characteristics of the oscillations. These characteristics include the amplitude, rate of decay, frequency, and phasing of the oscillations in the curve of wave resistance versus time

Coefficient of restitution for elastic disks

We calculate the coefficient of restitution, $\epsilon$, starting from a microscopic model of elastic disks. The theory is shown to agree with the approach of Hertz in the quasistatic limit, but predicts inelastic collisions for finite relative velocities of two approaching disks. The velocity dependence of $\epsilon$ is calculated numerically for a wide range of velocities. The coefficient of restitution furthermore depends on the elastic constants of the material via Poisson's number. The elastic vibrations absorb kinetic energy more effectively for materials with low values of the shear modulus.Comment: 25 pages, 12 Postscript figures, LaTex2

The ambiguous utility of psychometrics for the interpretative foundation of socially relevant avatars

Accepted for publication in Theory & PsychologyInternational audienceThe persisting debates that measurement in psychology elicits can be explained by the conflict between two aspiration types. One, the epistemologic aspiration, resting on the search for scientific truth, and two, the social aspiration, resting on the demonstration of a capacity to contribute to psychological assessment problems in particular. Psychometrics answer essentially to psychology's demand for social utility, leading to the quasi-exclusive attribution of importance to quantitative interpretation. For psychology to be considered an empirical science, it has to establish its capacity for the measurement of psychological phenomena, even if this means that it recognizes that these phenomena are essentially qualitative

Sensory Measurements: Coordination and Standardization

Do sensory measurements deserve the label of “measurement”? We argue that they do. They fit with an epistemological view of measurement held in current philosophy of science, and they face the same kinds of epistemological challenges as physical measurements do: the problem of coordination and the problem of standardization. These problems are addressed through the process of “epistemic iteration,” for all measurements. We also argue for distinguishing the problem of standardization from the problem of coordination. To exemplify our claims, we draw on olfactory performance tests, especially studies linking olfactory decline to neurodegenerative disorders

"They think we're OK and we know we're not". A qualitative study of asylum seekers' access, knowledge and views to health care in the UK

<i>Background</i>: The provision of healthcare for asylum seekers is a global issue. Providing appropriate and culturally sensitive services requires us to understand the barriers facing asylum seekers and the facilitators that help them access health care. Here, we report on two linked studies exploring these issues, along with the health care needs and beliefs of asylum seekers living in the UK. <i>Methods</i>: Two qualitative methods were employed: focus groups facilitated by members of the asylum seeking community and interviews, either one-to-one or in a group, conducted through an interpreter. Analysis was facilitated using the Framework method. <i>Results</i>: Most asylum seekers were registered with a GP, facilitated for some by an Asylum Support nurse. Many experienced difficulty getting timely appointments with their doctor, especially for self-limiting symptoms that they felt could become more serious, especially in children. Most were positive about the health care they received, although some commented on the lack of continuity. However, there was surprise and disappointment at the length of waiting times both for hospital appointments and when attending accident and emergency departments. Most had attended a dentist, but usually only when there was a clinical need. The provision of interpreters in primary care was generally good, although there was a tension between interpreters translating verbatim and acting as patient advocates. Access to interpreters in other settings, e.g. in-patient hospital stays, was problematic. Barriers included the cost of over-the-counter medication, e.g. children's paracetamol; knowledge of out-of-hours medical care; and access to specialists in secondary care. Most respondents came from countries with no system of primary medical care, which impacted on their expectations of the UK system. <i>Conclusion</i>: Most asylum seekers were positive about their experiences of health care. However, we have identified issues regarding their understanding of how the UK system works, in particular the role of general practitioners and referral to hospital specialists. The provision of an Asylum Support nurse was clearly a facilitator to accessing primary medical care. Initiatives to increase their awareness and understanding of the UK system would be beneficial. Interpreting services also need to be developed, in particular their role in secondary care and the development of the role of interpreter as patient advocate

Companions of Stars: From Other Stars to Brown Dwarfs to Planets: The Discovery of the First Methane Brown Dwarf

The discovery of the first methane brown dwarf provides a framework for describing the important advances in both fundamental physics and astrophysics that are due to the study of companions of stars. I present a few highlights of the history of this subject along with details of the discovery of the brown dwarf Gliese 229B. The nature of companions of stars is discussed with an attempt to avoid biases induced by anthropocentric nomenclature. With the newer types of remote reconnaissance of nearby stars and their systems of companions, an exciting and perhaps even more profound set of contributions to science is within reach in the near future. This includes an exploration of the diversity of planets in the universe and perhaps soon the first solid evidence for biological activity outside our Solar System.Comment: 31 pages, 13 figure

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

There is a growing need to support parallel computation in Ada to cope with the performance requirements of the most advanced functionalities of safety-critical systems. In that regard, the use of parallel programming models is paramount to exploit the benefits of parallelism. Recent works motivate the use of OpenMP for being a de facto standard in high-performance computing for programming shared memory architectures. These works address two important aspects towards the introduction of OpenMP in Ada: the compatibility of the OpenMP syntax with the Ada language, and the interoperability of the OpenMP and the Ada runtimes, demonstrating that OpenMP complements and supports the structured parallelism approach of the tasklet model. This paper addresses a third fundamental aspect: functional safety from a compiler perspective. Particularly, it focuses on race conditions and considers the fine-grain and unstructured capabilities of OpenMP. Hereof, this paper presents a new compiler analysis technique that: (1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and (2) provides solutions for the detected races.This work was supported by the Spanish Ministry of Science and Innovation under contract TIN2015-65316-P, and by the FCT (Portuguese Foundation for Science and Technology) within the CISTER Research Unit (CEC/04234).Peer ReviewedPostprint (author's final draft

Astrophysical evidence for the existence of black holes

Following a short account of the history of the idea of black holes, we present a review of the current status of the search for observational evidence of their existence aimed at an audience of relativists rather than astronomers or astrophysicists. We focus on two different regimes: that of stellar-mass black holes and that of black holes with the masses of galactic nuclei.Comment: 23 pages, 3 figures, TeX forma