Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in the real world. Our approach is based on formal methods, combining formal specification of scenarios and safety properties, algorithmic test case generation using formal simulation, test case selection for track testing, executing test cases on the track, and analyzing the resulting data. Experiments with a real autonomous vehicle at an industrial testing facility support our hypotheses that (i) formal simulation can be effective at identifying test cases to run on the track, and (ii) the gap between simulated and real worlds can be systematically evaluated and bridged.Comment: 9 pages, 6 figures. Full version of an ITSC 2020 pape

Scientific Exploration of Near-Earth Objects via the Crew Exploration Vehicle

The concept of a crewed mission to a Near-Earth Object (NEO) has been analyzed in depth in 1989 as part of the Space Exploration Initiative. Since that time two other studies have investigated the possibility of sending similar missions to NEOs. A more recent study has been sponsored by the Advanced Programs Office within NASA's Constellation Program. This study team has representatives from across NASA and is currently examining the feasibility of sending a Crew Exploration Vehicle (CEV) to a near-Earth object (NEO). The ideal mission profile would involve a crew of 2 or 3 astronauts on a 90 to 120 day flight, which would include a 7 to 14 day stay for proximity operations at the target NEO. One of the significant advantages of this type of mission is that it strengthens and validates the foundational infrastructure for the Vision for Space Exploration (VSE) and Exploration Systems Architecture Study (ESAS) in the run up to the lunar sorties at the end of the next decade (approx.2020). Sending a human expedition to a NEO, within the context of the VSE and ESAS, demonstrates the broad utility of the Constellation Program s Orion (CEV) crew capsule and Ares (CLV) launch systems. This mission would be the first human expedition to an interplanetary body outside of the cislunar system. Also, it will help NASA regain crucial operational experience conducting human exploration missions outside of low Earth orbit, which humanity has not attempted in nearly 40 years

The Democratic Biopolitics of PrEP

PrEP (Pre-Exposure Prophylaxis) is a relatively new drug-based HIV prevention technique and an important means to lower the HIV risk of gay men who are especially vulnerable to HIV. From the perspective of biopolitics, PrEP inscribes itself in a larger trend of medicalization and the rise of pharmapower. This article reconstructs and evaluates contemporary literature on biopolitical theory as it applies to PrEP, by bringing it in a dialogue with a mapping of the political debate on PrEP. As PrEP changes sexual norms and subjectification, for example condom use and its meaning for gay subjectivity, it is highly contested. The article shows that the debate on PrEP can be best described with the concepts ‘sexual-somatic ethics’ and ‘democratic biopolitics’, which I develop based on the biopolitical approach of Nikolas Rose and Paul Rabinow. In contrast, interpretations of PrEP which are following governmentality studies or Italian Theory amount to either farfetched or trivial positions on PrEP, when seen in light of the political debate. Furthermore, the article is a contribution to the scholarship on gay subjectivity, highlighting how homophobia and homonormativity haunts gay sex even in liberal environments, and how PrEP can serve as an entry point for the destigmatization of gay sexuality and transformation of gay subjectivity. ‘Biopolitical democratization’ entails making explicit how medical technology and health care relates to sexual subjectification and ethics, to strengthen the voice of (potential) PrEP users in health politics, and to renegotiate the profit and power of Big Pharma

Perennial snow and ice variations (2000–2008) in the Arctic circumpolar land area from satellite observations

Perennial snow and ice (PSI) extent is an important parameter of mountain environments with regard to its involvement in the hydrological cycle and the surface energy budget. We investigated interannual variations of PSI in nine mountain regions of interest (ROI) between 2000 and 2008. For that purpose, a novel MODIS data set processed at the Canada Centre for Remote Sensing at 250 m spatial resolution was utilized. The extent of PSI exhibited significant interannual variations, with coefficients of variation ranging from 5% to 81% depending on the ROI. A strong negative relationship was found between PSI and positive degree‐days (threshold 0°C) during the summer months in most ROIs, with linear correlation coefficients (r) being as low as r = −0.90. In the European Alps and Scandinavia, PSI extent was significantly correlated with annual net glacier mass balances, with r = 0.91 and r = 0.85, respectively, suggesting that MODIS‐derived PSI extent may be used as an indicator of net glacier mass balances. Validation of PSI extent in two land surface classifications for the years 2000 and 2005, GLC‐2000 and Globcover, revealed significant discrepancies of up to 129% for both classifications. With regard to the importance of such classifications for land surface parameterizations in climate and land surface process models, this is a potential source of error to be investigated in future studies. The results presented here provide an interesting insight into variations of PSI in several ROIs and are instrumental for our understanding of sensitive mountain regions in the context of global climate change assessment

Extreme genetic fragility of the HIV-1 capsid

Genetic robustness, or fragility, is defined as the ability, or lack thereof, of a biological entity to maintain function in the face of mutations. Viruses that replicate via RNA intermediates exhibit high mutation rates, and robustness should be particularly advantageous to them. The capsid (CA) domain of the HIV-1 Gag protein is under strong pressure to conserve functional roles in viral assembly, maturation, uncoating, and nuclear import. However, CA is also under strong immunological pressure to diversify. Therefore, it would be particularly advantageous for CA to evolve genetic robustness. To measure the genetic robustness of HIV-1 CA, we generated a library of single amino acid substitution mutants, encompassing almost half the residues in CA. Strikingly, we found HIV-1 CA to be the most genetically fragile protein that has been analyzed using such an approach, with 70% of mutations yielding replication-defective viruses. Although CA participates in several steps in HIV-1 replication, analysis of conditionally (temperature sensitive) and constitutively non-viable mutants revealed that the biological basis for its genetic fragility was primarily the need to coordinate the accurate and efficient assembly of mature virions. All mutations that exist in naturally occurring HIV-1 subtype B populations at a frequency >3%, and were also present in the mutant library, had fitness levels that were >40% of WT. However, a substantial fraction of mutations with high fitness did not occur in natural populations, suggesting another form of selection pressure limiting variation in vivo. Additionally, known protective CTL epitopes occurred preferentially in domains of the HIV-1 CA that were even more genetically fragile than HIV-1 CA as a whole. The extreme genetic fragility of HIV-1 CA may be one reason why cell-mediated immune responses to Gag correlate with better prognosis in HIV-1 infection, and suggests that CA is a good target for therapy and vaccination strategies

Transcription regulation of the Escherichia coli pcnB gene coding for poly(A) polymerase I: roles of ppGpp, DksA and sigma factors

Poly(A) polymerase I (PAP I), encoded by the pcnB gene, is a major enzyme responsible for RNA polyadenylation in Escherichia coli, a process involved in the global control of gene expression in this bacterium through influencing the rate of transcript degradation. Recent studies have suggested a complicated regulation of pcnB expression, including a complex promoter region, a control at the level of translation initiation and dependence on bacterial growth rate. In this report, studies on transcription regulation of the pcnB gene are described. Results of in vivo and in vitro experiments indicated that (a) there are three σ70-dependent (p1, pB, and p2) and two σS-dependent (pS1 and pS2) promoters of the pcnB gene, (b) guanosine tetraphosphate (ppGpp) and DksA directly inhibit transcription from pB, pS1 and pS2, and (c) pB activity is drastically impaired at the stationary phase of growth. These results indicate that regulation of the pcnB gene transcription is a complex process, which involves several factors acting to ensure precise control of PAP I production. Moreover, inhibition of activities of pS1 and pS2 by ppGpp and DksA suggests that regulation of transcription from promoters requiring alternative σ factors by these effectors of the stringent response might occur according to both passive and active models

Feasibility of a Dragon-Derived Mars Lander for Scientific and Human-Precursor Missions

A minimally-modified SpaceX Dragon capsule launched on a Falcon Heavy rocket presents the possibility of a new low-cost, high-capacity Mars lander for robotic missions. We have been evaluating such a "Red Dragon" platform as an option for the Icebreaker Discovery Program mission concept. Dragon is currently in service ferrying cargo to and from the International Space Station, and a crew transport version is in development. The upcoming version, unlike other Earth-return vehicles, exhibits most of the capabilities necessary to land on Mars. In particular, it has a set of high-thrust, throttleable, storable bi-propellant "SuperDraco" engines integrated directly into the capsule that are intended for launch abort and powered landings on Earth. These thrusters provide the possibility of a parachute-free, fully-propulsive deceleration at Mars from supersonic speeds to the surface, a descent approach which would also scale well to larger future human landers. We will discuss the motivations for exploring a Red Dragon lander, the current results of our analysis of its feasibility and capabilities, and the implications of the platform for the Icebreaker mission concept. In particular, we will examine entry, descent, and landing (EDL) in detail. We will also describe the modifications to Dragon necessary for interplanetary cruise, EDL, and operations on the Martian surface. Our analysis to date indicates that a Red Dragon lander is feasible and that it would be capable of delivering more than 1000 kg of payload to sites at elevations three kilometers below the Mars Orbiter Laser Altimeter (MOLA) reference, which includes sites throughout most of the northern plains and Hellas

Systems serology detects functionally distinct coronavirus antibody features in children and elderly

The hallmarks of COVID-19 are higher pathogenicity and mortality in the elderly compared to children. Examining baseline SARS-CoV-2 cross-reactive immunological responses, induced by circulating human coronaviruses (hCoVs), is needed to understand such divergent clinical outcomes. Here we show analysis of coronavirus antibody responses of pre-pandemic healthy children (n = 89), adults (n = 98), elderly (n = 57), and COVID-19 patients (n = 50) by systems serology. Moderate levels of cross-reactive, but non-neutralizing, SARS-CoV-2 antibodies are detected in pre-pandemic healthy individuals. SARS-CoV-2 antigen-specific Fcγ receptor binding accurately distinguishes COVID-19 patients from healthy individuals, suggesting that SARS-CoV-2 infection induces qualitative changes to antibody Fc, enhancing Fcγ receptor engagement. Higher cross-reactive SARS-CoV-2 IgA and IgG are observed in healthy elderly, while healthy children display elevated SARS-CoV-2 IgM, suggesting that children have fewer hCoV exposures, resulting in less-experienced but more polyreactive humoral immunity. Age-dependent analysis of COVID-19 patients, confirms elevated class-switched antibodies in elderly, while children have stronger Fc responses which we demonstrate are functionally different. These insights will inform COVID-19 vaccination strategies, improved serological diagnostics and therapeutics