Fair Testing

In this paper we present a solution to the long-standing problem of characterising the coarsest liveness-preserving pre-congruence with respect to a full (TCSP-inspired) process algebra. In fact, we present two distinct characterisations, which give rise to the same relation: an operational one based on a De Nicola-Hennessy-like testing modality which we call should-testing, and a denotational one based on a refined notion of failures. One of the distinguishing characteristics of the should-testing pre-congruence is that it abstracts from divergences in the same way as Milner¿s observation congruence, and as a consequence is strictly coarser than observation congruence. In other words, should-testing has a built-in fairness assumption. This is in itself a property long sought-after; it is in notable contrast to the well-known must-testing of De Nicola and Hennessy (denotationally characterised by a combination of failures and divergences), which treats divergence as catrastrophic and hence is incompatible with observation congruence. Due to these characteristics, should-testing supports modular reasoning and allows to use the proof techniques of observation congruence, but also supports additional laws and techniques. Moreover, we show decidability of should-testing (on the basis of the denotational characterisation). Finally, we demonstrate its advantages by the application to a number of examples, including a scheduling problem, a version of the Alternating Bit-protocol, and fair lossy communication channel

Physical activity modification in youth with congenital heart disease: a comprehensive narrative review

Congenital heart disease (CHD) affects nearly 1% of births. As survival rates have dramatically improved, the majority of individuals with CHD now live into adulthood. As these patients age, they become prone to a large range of complications, such as chronic heart failure and acquired cardiovascular disease. Promotion of a healthy and active lifestyle from childhood onwards has been suggested as a sustainable and effective strategy to enhance cardiovascular health, improve quality of life and reduce immediate and long-term risk in people with CHD. Well-established physical activity consensus statements for youth with CHD have now been published. In this article, we review how increasing physical activity in youth with CHD may offer immediate and long-term cardiovascular benefits, what is known about physical activity in children with CHD, describe the unique factors that contribute to achieving sufficient and insufficient physical activity levels and summarize the evidence of trials on physical activity promotion in youth with CHD. Furthermore, we discuss some of the challenges that need to be addressed by further research regarding the optimal strategy, timing and format of physical activity intervention programmes in children and adolescents with CHD. IMPACT: Congenital heart disease (CHD) affects nearly 1% of births, with the majority of individuals with CHD now living into adulthood due to improved survival. As CHD patients age, they become prone to a large range of cardiovascular complications. This article discusses how and why increasing physical activity in youth with CHD may offer immediate and long-term cardiovascular benefits, the barriers to achieving sufficient physical activity levels and the evidence from trials on physical activity promotion in youth with CHD. The optimal strategy, timing and format of physical activity intervention programmes in children and adolescents with CHD are discussed

Data Analysis Techniques for Fan Performance in Highly-Distorted Flows from Boundary Layer Ingesting Inlets

The design of a unique distortion-tolerant fan for a high-bypass ratio boundary-layer ingesting propulsion system has been completed and a rig constructed and tested in the NASA Glenn 8x6 wind tunnel. Processing the data from the experiment presented some interesting challenges because of the complexity of the experimental setup and the flow through the test rig. The experiment was run in three phases, each of which employed a unique complement of inlet throat and fan face instrumentation to avoid the blockage that would have resulted from simultaneously installing all of the rakes. The measurement from the individual test points were subsequently combined to compute the overall stage performance. A CFD model of the experiment was used to gain understanding of the flow field and to test some of the techniques proposed for interpolating and extrapolating the measurements into regions where measurements were not made. This capability became extremely useful when it was discovered that there was an unexpected total temperature distortion in the tunnel. The CFD model was modified by inserting a total temperature profile at the upstream boundary that mimicked the measured distortion where measurements were available and that CFD solution was used to investigate methods to infer the complete total temperature field at the fan face

Diffusion mechanisms of localised knots along a polymer

We consider the diffusive motion of a localized knot along a linear polymer chain. In particular, we derive the mean diffusion time of the knot before it escapes from the chain once it gets close to one of the chain ends. Self-reptation of the entire chain between either end and the knot position, during which the knot is provided with free volume, leads to an L^3 scaling of diffusion time; for sufficiently long chains, subdiffusion will enhance this time even more. Conversely, we propose local ``breathing'', i.e., local conformational rearrangement inside the knot region (KR) and its immediate neighbourhood, as additional mechanism. The contribution of KR-breathing to the diffusion time scales only quadratically, L^2, speeding up the knot escape considerably and guaranteeing finite knot mobility even for very long chains.Comment: 7 pages, 2 figures. Accepted to Europhys. Let

Do Spin-Offs Make the Academics’ Heads Spin?: The Impacts of Spin-Off Companies on Their Parent Research Organisation

As public research organisations are increasingly driven by their national and regional governments to engage in knowledge transfer, they have started to support the creation of companies. These research based spin-off companies (RBSOs) often keep contacts with the research institutes they originate from. In this paper we present the results of a study of four research institutes within two universities and two non-university public research organisations (PROs) in the Netherlands. We show that research organisations have distinct motivations to support the creation of spin-off companies. In terms of resources RBSOs contribute, mostly in a modest way, to research activities by providing information, equipment and monetary resources. In particular, RBSOs are helpful for researchers competing for research grants that demand participation of industry. Furthermore, RBSOs may be seen as a proactive response by Dutch public research organisations to demands of economic relevance from their institutional environment. RBSOs enhance the prestige of their parent organisations and create legitimacy for public funds invested in PROs. At the same time, most RBSOs do not have a significant impact on the direction of the research conducted at the PROs

Interference of multi-mode photon echoes generated in spatially separated solid-state atomic ensembles

High-visibility interference of photon echoes generated in spatially separated solid-state atomic ensembles is demonstrated. The solid state ensembles were LiNbO$_3$ waveguides doped with Erbium ions absorbing at 1.53 $\mu$m. Bright coherent states of light in several temporal modes (up to 3) are stored and retrieved from the optical memories using two-pulse photon echoes. The stored and retrieved optical pulses, when combined at a beam splitter, show almost perfect interference, which demonstrates both phase preserving storage and indistinguishability of photon echoes from separate optical memories. By measuring interference fringes for different storage times, we also show explicitly that the visibility is not limited by atomic decoherence. These results are relevant for novel quantum repeaters architectures with photon echo based multimode quantum memories

Simulation of photo-excited adenine in water with a hierarchy of equations of motion approach

We present a theoretical method to simulate the electronic dynamics and two-dimensional ultraviolet spectra of the nucleobase adenine in water. The method is an extension of the hierarchy of equation of motion approach to treat a model with one or more conical intersections. The application to adenine shows that a two-level model with a direct conical intersection between the optically bright state and the ground state, generating a hot ground state, is not consistent with experimental observations. This supports a three-level model for the decay of electronically excited adenine in water as was previously proposed in [Prokhorenko et al., J. Phys. Chem. Lett. 7, 4445 (2016)]

Simulation of an Optional Strategy in the Prisoner's Dilemma in Spatial and Non-spatial Environments

This paper presents research comparing the effects of different environments on the outcome of an extended Prisoner's Dilemma, in which agents have the option to abstain from playing the game. We consider three different pure strategies: cooperation, defection and abstinence. We adopt an evolutionary game theoretic approach and consider two different environments: the first which imposes no spatial constraints and the second in which agents are placed on a lattice grid. We analyse the performance of the three strategies as we vary the loner's payoff in both structured and unstructured environments. Furthermore we also present the results of simulations which identify scenarios in which cooperative clusters of agents emerge and persist in both environments.Comment: 12 pages, 8 figures. International Conference on the Simulation of Adaptive Behavio