Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning

A runtime assurance system (RTA) for a given plant enables the exercise of an untrusted or experimental controller while assuring safety with a backup (or safety) controller. The relevant computational design problem is to create a logic that assures safety by switching to the safety controller as needed, while maximizing some performance criteria, such as the utilization of the untrusted controller. Existing RTA design strategies are well-known to be overly conservative and, in principle, can lead to safety violations. In this paper, we formulate the optimal RTA design problem and present a new approach for solving it. Our approach relies on reward shaping and reinforcement learning. It can guarantee safety and leverage machine learning technologies for scalability. We have implemented this algorithm and present experimental results comparing our approach with state-of-the-art reachability and simulation-based RTA approaches in a number of scenarios using aircraft models in 3D space with complex safety requirements. Our approach can guarantee safety while increasing utilization of the experimental controller over existing approaches

Quiet Supersonic Flights 2018 (QSF18) Test: Galveston, Texas Risk Reduction for Future Community Testing with a Low-Boom Flight Demonstration Vehicle

The Quiet Supersonic Flights 2018 (QSF18) Program was designed to develop tools and methods for demonstration of overland supersonic flight with an acceptable sonic boom, and collect a large dataset of responses from a representative sample of the population. Phase 1 provided the basis for a low amplitude sonic boom testing in six different climate regions that will enable international regulatory agencies to draft a noise-based standard for certifying civilian supersonic overland flight. Phase 2 successfully executed a large scale test in Galveston, Texas, developed well documented data sets, calculated dose response relationships, yielded lessons, and identified future risk reduction activities

Computational approach to predict species-specific type III secretion system (T3SS) effectors using single and multiple genomes

Positive (effectors), negative (non-effectors), and testing sets of the five organisms that we used in the GenSET studies. (ALL Tags denotes all proteins encoded in the genome; Positive Set denotes known effector proteins used for training; Negative Set denotes non-effector proteins used for training; Testing Set denotes all proteins in the bacteria minus the Positive and Negative Sets; Positives in Testing Set denotes known effector proteins included in the Testing Set). (XLSX 48 kb

The influence of barefoot and barefoot inspired footwear on the kinetics and kinematics of running in comparison to conventional running shoes.

Barefoot running has experienced a resurgence in footwear biomechanics literature, based on the supposition that it serves to reduce the occurrence of overuse injuries in comparison to conventional shoe models. This consensus has lead footwear manufacturers to develop shoes which aim to mimic the mechanics of barefoot locomotion. This study compared the impact kinetics and 3-D joint angular kinematics observed whilst running: barefoot, in conventional cushioned running shoes and in shoes designed to integrate the perceived benefits of barefoot locomotion. The aim of the current investigation was therefore to determine whether differences in impact kinetics exist between the footwear conditions and whether shoes which aim to simulate barefoot movement patterns can closely mimic the 3-D kinematics of barefoot running. Twelve participants ran at 4.0 m.s-1±5% in each footwear condition. Angular joint kinematics from the hip, knee and ankle in the sagittal, coronal and transverse planes were measured using an eight camera motion analysis system. In addition simultaneous tibial acceleration and ground reaction forces were obtained. Impact parameters and joint kinematics were subsequently compared using repeated measures ANOVAs. The kinematic analysis indicates that in comparison to the conventional and barefoot inspired shoes that running barefoot was associated significantly greater plantar-flexion at footstrike and range of motion to peak dorsiflexion. Furthermore, the kinetic analysis revealed that compared to the conventional footwear impact parameters were significantly greater in the barefoot condition. Therefore this study suggests that barefoot running is associated with impact kinetics linked to an increased risk of overuse injury, when compared to conventional shod running. Furthermore, the mechanics of the shoes which aim to simulate barefoot movement patterns do not appear to closely mimic the kinematics of barefoot locomotion

Report on the 2013 Rapid Assessment Survey of Marine Species at New England Bays and Harbors

Introduced species (i.e., non-native species that have become established in a new location) have increasingly been recognized as a concern as they have become more prevalent in marine and terrestrial environments (Mooney and Cleland 2001; Simberloff et al. 2005). The ability of introduced species to alter population, community, and ecosystem structure and function, as well as cause significant economic damage is well documented (Carlton 1989, 1996b, 2000; Cohen and Carlton 1995; Cohen et al. 1995; Elton 1958; Meinesz et al. 1993; Occhipinti-Ambrogi and Sheppard 2007; Pimentel et al. 2005; Thresher 2000). The annual economic costs incurred from managing the approximately 50,000 introduced species in the United States alone are estimated to be over $120 billion (Pimentel et al. 2005). Having a monitoring network in place to track new introductions and distributional changes of introduced species is critical for effective management, as these efforts may be more successful when species are detected before they have the chance to become established. A rapid assessment survey is one such method for early detection of introduced species. With rapid assessment surveys, a team of taxonomic experts record and monitor marine species–providing a baseline inventory of native, introduced, and cryptogenic (i.e., unknown origin) species (as defined by Carlton 1996a)–and document range expansions of previously identified species. Since 2000, five rapid assessment surveys have been conducted in New England. These surveys focus on recording species at marinas, which often are in close proximity to transportation vectors (i.e., recreational boats). Species are collected from floating docks and piers because these structures are accessible regardless of the tidal cycle. Another reason for sampling floating docks and other floating structures is that marine introduced species are often found to be more prevalent on artificial surfaces than natural surfaces (Glasby and Connell 2001; Paulay et al. 2002). The primary objectives of these surveys are to: (1) identify native, introduced, and cryptogenic marine species, (2) expand on data collected in past surveys, (3) assess the introduction status and range extensions of documented introduced species, and (4) detect new introductions. This report presents the introduced, cryptogenic, and native species recorded during the 2013 survey

A perspective on using experiment and theory to identify design principles in dye-sensitized solar cells

Dye-sensitized solar cells (DSCs) have been the subject of wide-ranging studies for many years because of their potential for large-scale manufacturing using roll-to-roll processing allied to their use of earth abundant raw materials. Two main challenges exist for DSC devices to achieve this goal; uplifting device efficiency from the 12 to 14% currently achieved for laboratory-scale ‘hero’ cells and replacement of the widely-used liquid electrolytes which can limit device lifetimes. To increase device efficiency requires optimized dye injection and regeneration, most likely from multiple dyes while replacement of liquid electrolytes requires solid charge transporters (most likely hole transport materials – HTMs). While theoretical and experimental work have both been widely applied to different aspects of DSC research, these approaches are most effective when working in tandem. In this context, this perspective paper considers the key parameters which influence electron transfer processes in DSC devices using one or more dye molecules and how modelling and experimental approaches can work together to optimize electron injection and dye regeneration. This paper provides a perspective that theory and experiment are best used in tandem to study DSC device

Quiet Supersonic Flights 2018 (QSF18) Test: Galveston, Texas Risk Reduction for Future Community Testing with a Low-Boom Flight Demonstration Vehicle

The Quiet Supersonic Flights 2018 (QSF18) Program was designed to develop tools and methods for demonstration of overland supersonic flight with an acceptable sonic boom, and collect a large dataset of responses from a representative sample of the population. Phase 1 provided the basis for a low amplitude sonic boom testing in six different climate regions that will enable international regulatory agencies to draft a noise-based standard for certifying civilian supersonic overland flight. Phase 2 successfully executed a large scale test in Galveston, Texas, developed well documented data sets, calculated dose response relationships, yielded lessons, and identified future risk reduction activities

COVID-19 booster vaccination uptake and infection breakthrough amongst health care workers in Wales:A national prospective cohort study

Background: From September 2021, Health Care Workers (HCWs) in Wales began receiving a COVID-19 booster vaccination. This is the first dose beyond the primary vaccination schedule. Given the emergence of new variants, vaccine waning vaccine, and increasing vaccination hesitancy, there is a need to understand booster vaccine uptake and subsequent breakthrough in this high-risk population. Methods: We conducted a prospective, national-scale, observational cohort study of HCWs in Wales using anonymised, linked data from the SAIL Databank. We analysed uptake of COVID-19 booster vaccinations from September 2021 to February 2022, with comparisons against uptake of the initial primary vaccination schedule. We also analysed booster breakthrough, in the form of PCR-confirmed SARS-Cov-2 infection, comparing to the second primary dose. Cox proportional hazard models were used to estimate associations for vaccination uptake and breakthrough regarding staff roles, socio-demographics, household composition, and other factors. Results: We derived a cohort of 73,030 HCWs living in Wales (78% female, 60% 18–49 years old). Uptake was quickest amongst HCWs aged 60 + years old (aHR 2.54, 95%CI 2.45–2.63), compared with those aged 18–29. Asian HCWs had quicker uptake (aHR 1.18, 95%CI 1.14–1.22), whilst Black HCWs had slower uptake (aHR 0.67, 95%CI 0.61–0.74), compared to white HCWs. HCWs residing in the least deprived areas were slightly quicker to have received a booster dose (aHR 1.12, 95%CI 1.09–1.16), compared with those in the most deprived areas. Strongest associations with breakthrough infections were found for those living with children (aHR 1.52, 95%CI 1.41–1.63), compared to two-adult only households. HCWs aged 60 + years old were less likely to get breakthrough infections, compared to those aged 18–29 (aHR 0.42, 95%CI 0.38–0.47). Conclusion: Vaccination uptake was consistently lower among black HCWs, as well as those from deprived areas. Whilst breakthrough infections were highest in households with children

On the temperature dependence of enzyme-catalyzed rates

One of the critical variables that determine the rate of any reaction is temperature. For biological systems, the effects of temperature are convoluted with myriad (and often opposing) contributions from enzyme catalysis, protein stability, and temperature-dependent regulation, for example. We have coined the phrase “macromolecular rate theory (MMRT)” to describe the temperature dependence of enzyme-catalyzed rates independent of stability or regulatory processes. Central to MMRT is the observation that enzyme-catalyzed reactions occur with significant values of Δ<i>C</i>_<i>p</i>^‡ that are in general negative. That is, the heat capacity (<i>C</i>_<i>p</i>) for the enzyme–substrate complex is generally larger than the <i>C</i>_<i>p</i> for the enzyme-transition state complex. Consistent with a classical description of enzyme catalysis, a negative value for Δ<i>C</i>_<i>p</i>^‡ is the result of the enzyme binding relatively weakly to the substrate and very tightly to the transition state. This observation of negative Δ<i>C</i>_<i>p</i>^‡ has important implications for the temperature dependence of enzyme-catalyzed rates. Here, we lay out the fundamentals of MMRT. We present a number of hypotheses that arise directly from MMRT including a theoretical justification for the large size of enzymes and the basis for their optimum temperatures. We rationalize the behavior of psychrophilic enzymes and describe a “psychrophilic trap” which places limits on the evolution of enzymes in low temperature environments. One of the defining characteristics of biology is catalysis of chemical reactions by enzymes, and enzymes drive much of metabolism. Therefore, we also expect to see characteristics of MMRT at the level of cells, whole organisms, and even ecosystems

Traces of past activity in the Galactic Centre

The Milky Way centre hosts a supermassive Black Hole (BH) with a mass of ~4*10^6 M_Sun. Sgr A*, its electromagnetic counterpart, currently appears as an extremely weak source with a luminosity L~10^-9 L_Edd. The lowest known Eddington ratio BH. However, it was not always so; traces of "glorious" active periods can be found in the surrounding medium. We review here our current view of the X-ray emission from the Galactic Center (GC) and its environment, and the expected signatures (e.g. X-ray reflection) of a past flare. We discuss the history of Sgr A*'s past activity and its impact on the surrounding medium. The structure of the Central Molecular Zone (CMZ) has not changed significantly since the last active phase of Sgr A*. This relic torus provides us with the opportunity to image the structure of an AGN torus in exquisite detail.Comment: Invited refereed review. Chapter of the book: "Cosmic ray induced phenomenology in star forming environments" (eds. Olaf Reimer and Diego F. Torres