Reasoning about goal-directed real-time teleo-reactive programs

The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are particularly useful for implementing controllers for autonomous agents that must react robustly to their dynamically changing environments. In this paper, we develop a real-time logic that is based on Duration Calculus and use this logic to formalise the semantics of teleo-reactive programs. We develop rely/guarantee rules that facilitate reasoning about a program and its environment in a compositional manner. We present several theorems for simplifying proofs of teleo-reactive programs and present a partially mechanised method for proving progress properties of goal-directed agents. © 2013 British Computer Society

Methods of Generating Submicrometer Phase-Shift Perfluorocarbon Droplets for Applications in Medical Ultrasonography

Continued advances in the field of ultrasound and ultrasound contrast agents have created new approaches to imaging and medical intervention. Phase-shift perfluorocarbon droplets, which can be vaporized by ultrasound energy to transition from the liquid to the vapor state, are one of the most highly researched alternatives to clinical ultrasound contrast agents (i.e., microbubbles). In this paper, part of a special issue on methods in biomedical ultrasonics, we survey current techniques to prepare ultrasound-activated nanoscale phase-shift perfluorocarbon droplets, including sonication, extrusion, homogenization, microfluidics, and microbubble condensation. We provide example protocols and discuss advantages and limitations of each approach. Finally, we discuss best practice in characterization of this class of contrast agents with respect to size distribution and ultrasound activation

Performance-based building and innovation: Balancing client and industry needs

One reason for the interest in performance-based building is that it is commonly advocated as a powerful way of enhancing innovation performance by articulating building performance outcomes, and by offering relevant procurement actors the discretion to innovate to meet these performance requirements more effectively and/or efficiently. The paper argues that the current approach to performance-based building assumes that relevant actors have the capacity, ability and motivation to innovate from a business perspective. It is proposed that the prevailing conceptualization of PBB is too restrictive and should be broadened explicitly to accommodate the required business logic that must be in place before actors will innovate. The relevant performance-based building and innovation literature is synthesized to support the assertion. The paper concludes with an innovation-focused definition of performance-based building

Early ultraviolet emission in the Type Ia supernova LSQ12gdj: No evidence for ongoing shock interaction

We present photospheric-phase observations of LSQ12gdj, a slowly declining, UV-bright Type Ia supernova. Classified well before maximum light, LSQ12gdj has extinction-corrected absolute magnitude MB = -19.8, and pre-maximum spectroscopic evolution similar to SN 1991T and the super-Chandrasekhar-mass SN 2007if. We use ultraviolet photometry from Swift, ground-based optical photometry, and corrections from a near-infrared photometric template to construct the bolometric (1600-23 800 Å) light curve out to 45 d past B-band maximum light. We estimate that LSQ12gdj produced 0.96 ± 0.07 M· of 56Ni, with an ejected mass near or slightly above the Chandrasekhar mass. As much as 27 per cent of the flux at the earliest observed phases, and 17 per cent at maximum light, is emitted bluewards of 3300 Å. The absence of excess luminosity at late times, the cutoff of the spectral energy distribution bluewards of 3000 Å and the absence of narrow line emission and strong Na I D absorption all argue against a significant contribution from ongoing shock interaction. However, ~10 per cent of LSQ12gdj's luminosity near maximum light could be produced by the release of trapped radiation, including kinetic energy thermalized during a brief interaction with a compact, hydrogen-poor envelope (radius <1013 cm) shortly after explosion; such an envelope arises generically in double-degenerate merger scenarios

Retinoic Acid Accelerates the Specification of Enteric Neural Progenitors from In-Vitro-Derived Neural Crest

The enteric nervous system (ENS) is derived primarily from the vagal neural crest, a migratory multipotent cell population emerging from the dorsal neural tube between somites 1 and 7. Defects in the development and function of the ENS cause a range of enteric neuropathies, including Hirschsprung disease. Little is known about the signals that specify early ENS progenitors, limiting progress in the generation of enteric neurons from human pluripotent stem cells (hPSCs) to provide tools for disease modeling and regenerative medicine for enteric neuropathies. We describe the efficient and accelerated generation of ENS progenitors from hPSCs, revealing that retinoic acid is critical for the acquisition of vagal axial identity and early ENS progenitor specification. These ENS progenitors generate enteric neurons in vitro and, following in vivo transplantation, achieved long-term colonization of the ENS in adult mice. Thus, hPSC-derived ENS progenitors may provide the basis for cell therapy for defects in the ENS. In this article, Frith and colleagues show that retinoic acid (RA) signaling alters the axial identity of hPSC-derived neural crest cells in a time- and dose-dependent manner. They utilized this to derive enteric nervous system (ENS) proge

A Speed Bump: SN 2021aefx Shows that Doppler Shift Alone Can Explain Early Excess Blue Flux in Some Type Ia Supernovae

We present early-time photometric and spectroscopic observations of the Type Ia supernova (SN Ia) 2021aefx. The early-time u-band light curve shows an excess flux when compared to normal SNe Ia. We suggest that the early excess blue flux may be due to a rapid change in spectral velocity in the first few days post explosion, produced by the emission of the Ca ii H&K feature passing from the u to the B bands on the timescale of a few days. This effect could be dominant for all SNe Ia that have broad absorption features and early-time velocities over 25,000 km s. It is likely to be one of the main causes of early excess u-band flux in SNe Ia that have early-time high velocities. This effect may also be dominant in the UV filters, as well as in places where the SN spectral energy distribution is quickly rising to longer wavelengths. The rapid change in velocity can only produce a monotonic change (in flux-space) in the u band. For objects that explode at lower velocities, and have a more structured shape in the early excess emission, there must also be an additional parameter producing the early-time diversity. More early-time observations, in particular early spectra, are required to determine how prominent this effect is within SNe Ia.C.A. and B.J.S. are supported by NSF grants AST-1907570, AST-1908952, AST-1920392, and AST-1911074. M.D.S. is funded in part by an Experiment grant (No. 28021) from the Villum FONDEN, and by a project 1 grant (No. 8021-00170B) from the Independent Research Fund Denmark (IRFD). P.H. acknowledges support by National Science Foundation (NSF) grant AST- 1715133. E.B. and J.D. are supported in part by NASA grant 80NSSC20K0538. This work has been generously supported by the National Science Foundation under grants AST-1008343, AST-1613426, AST-1613455, and AST1613472. This paper includes data gathered with the 6.5 meter Magellan Telescopes located at the Las Campanas Observatory, Chile. We would like to thank the technical staff for constant support for observations on the Swope telescope. The early-time spectrum that was critical for this analysis came from SALT through Rutgers University time via program 2021-1-MLT-007 (PI: Jha). L.G. acknowledges financial support from the Spanish Ministerio de Ciencia e Innovación (MCIN), the Agencia Estatal de Investigación (AEI) 10.13039/501100011033, and the European Social Fund (ESF) "Investing in your future" under the 2019 Ramón y Cajal program RYC2019-027683-I and the PID2020-115253GA-I00 HOSTFLOWS project, from Centro Superior de Investigaciones Científicas (CSIC) under the PIE project 20215AT016, and the program Unidad de Excelencia María de Maeztu CEX2020-001058-M

Understanding experiences of potential harm among MSM (cis and trans) using HIV self-testing in the SELPHI randomised controlled trial in England and Wales: a mixed-methods study

Background: The potential of HIV self-testing (HIVST) to cause harm is a concern hindering widespread implementation. The aim of this paper is to understand the relationship between HIVST and harm in SELPHI (An HIV Self-testing Public Health Intervention), the largest randomised trial of HIVST in a high-income country to date. Methods: 10 111 cis and trans men who have sex with men (MSM) recruited online (geolocation social/sexual networking apps, social media), aged 16+, reporting previous anal intercourse and resident in England or Wales were first randomised 60/40 to baseline HIVST (baseline testing, BT) or not (no baseline testing, nBT) (randomisation A). BT participants reporting negative baseline test, sexual risk at 3 months and interest in further HIVST were randomised to three-monthly HIVST (repeat testing, RT) or not (no repeat testing, nRT) (randomisation B). All received an exit survey collecting data on harms (to relationships, well-being, false results or being pressured/persuaded to test). Nine participants reporting harm were interviewed in-depth about their experiences in an exploratory substudy; qualitative data were analysed narratively. Results Baseline: predominantly cis MSM, 90% white, 88% gay, 47% university educated and 7% current/former pre-exposure prophylaxis (PrEP) users. Final survey response rate was: nBT=26% (1056/4062), BT=45% (1674/3741), nRT=41% (471/1147), RT=50% (581/1161). Harms were rare and reported by 4% (n=138/3691) in exit surveys, with an additional two false positive results captured in other study surveys. 1% reported harm to relationships and to well-being in BT, nRT and RT combined. In all arms combined, being pressured or persuaded to test was reported by 1% (n=54/3678) and false positive results in 0.7% (n=34/4665). Qualitative analysis revealed harms arose from the kit itself (technological harms), the intervention (intervention harms) or from the social context of the participant (socially emergent harms). Intervention and socially emergent harms did not reduce HIVST acceptability, whereas technological harms did. Discussion: HIVST harms were rare but strategies to link individuals experiencing harms with psychosocial support should be considered for HIVST scale-up

Exploring Mechanisms of Action: Using a Testing Typology to Understand Intervention Performance in an HIV Self-Testing RCT in England and Wales.

SELPHI involves two interventions: (A) It provides one HIV self-testing (HIVST) kit; (B) It offers 3-monthly repeat HIVST kits if participants report ongoing risk. A logic model underpinned by the Behaviour Change Wheel informed the design of the intervention. SELPHI recruited 10,135 cis-men and trans people in England and Wales, all reporting anal sex with a man. This paper explores how the interventions were experienced and the pathways to impact for different groups of trial participants. In-depth interviews with 37 cis-men who have sex with men (MSM) were used to inductively categorise participants based on sexual and HIV testing histories. Themes relating to intervention experiences and impacts were mapped onto SELPHI-hypothesised intermediate outcomes to consider intervention impacts. Three groups were identified: 'Inexperienced testers' engaged with SELPHI to overcome motivational and social and physical opportunity testing barriers. For 'pro self-testers', testing frequency was constrained by psychological and social barriers and lack of opportunity. 'Opportunistic adopters' engaged in HIVST for novelty and convenience. Perceived impacts for inexperienced testers were most closely aligned with the logic model, but for opportunistic adopters there was little evidence of impact. Distinctive groups were discernible with divergent intervention experiences. Using COM-B as a model for understanding behaviour change in relation to HIVST, our results indicate how HIVST interventions could be adapted to respond to different needs based on the target population's demographic and behavioural features

Strong Ultraviolet Pulse From a Newborn Type Ia Supernova

Type Ia supernovae are destructive explosions of carbon oxygen white dwarfs. Although they are used empirically to measure cosmological distances, the nature of their progenitors remains mysterious, One of the leading progenitor models, called the single degenerate channel, hypothesizes that a white dwarf accretes matter from a companion star and the resulting increase in its central pressure and temperature ignites thermonuclear explosion. Here we report observations of strong but declining ultraviolet emission from a Type Ia supernova within four days of its explosion. This emission is consistent with theoretical expectations of collision between material ejected by the supernova and a companion star, and therefore provides evidence that some Type Ia supernovae arise from the single degenerate channel.Comment: Accepted for publication on the 21 May 2015 issue of Natur

Risk, reassurance and routine: a qualitative study of narrative understandings of the potential for HIV self-testing among men who have sex with men in England

BACKGROUND: HIV testing has seen a rapid evolution over the last decade with multiple modalities now in use globally. In recent years HIV self-testing (HIVST) has been legalised in the UK paving the way for further expansion of testing. Interventions are delivered in particular social contexts which shape uptake. It is therefore important to understand how novel interventions are likely to be received by their intended users. This study aims to understand how HIVST compliments existing testing strategies considered or adopted by men who have sex with men (MSM). We do this by analysing normative discourses surrounding HIV testing and their perceptions of HIVST's potential future roles. METHODS: Six focus group discussions (FGDs) were conducted with 47 MSM in London, Manchester and Plymouth. One focus group included only MSM who reported higher risk behaviours and one with those who had never tested for HIV. Data were analysed through a thematic framework analysis. RESULTS: Three main narratives for testing for HIV were identified: (i) testing in response to a specific risk event; (ii) as reassurance when there was a small amount of doubt or anxiety related to HIV; and (iii) in response to social norms perpetuated through peers, HIV community groups and the medical establishment to test regularly for HIV. HIVST had limited utility for men when testing in response to specific risk events except in the case of significant structural barriers to other testing opportunities. HIVST was considered to have utility when seeking reassurance, and was thought to be very useful when testing to satisfy the needs and expectations of others around regular testing. There was some ambivalence about the incursion of a clinical intervention into the home. CONCLUSIONS: HIVST following risk events will likely be limited to those for whom existing service provision is insufficient to meet immediate needs based on structural or personal barriers to testing. Obligations of biological citizenship are central to MSM's understanding of the utility of HIVST. In the context of discourses of biocitizenship, men perceive HIVST to have dual roles: firstly as a tool to manage (mild) anxiety around one's HIV status based on an acknowledgment of HIV vulnerability arising from being homosexually active. Secondly, HIVST is useful in complying with social norms and meeting the perceived demands of biomedicine