Amicus Curiae Brief of Professors Karen Boxx and Gregory Hicks, May v. County of Spokane, 199 Wash.2d 389 (2022) (No. 99598-2)

This case raises the difficult question of how to deal with the stain of racial restrictive covenants that have long been rendered unenforceable and illegal but remain in the property records. Petitioner is seeking to have such an offending covenant physically removed from the public records relating to his real property under authority of former Washington statute RCW 49.60.227 (2018). Since Petitioner has begun this quest, the legislature amended RCW 49.60.227 to provide a more detailed procedure to address the remnants of racism in property records, but this new procedure does not afford Petitioner the remedy that he sought under the former statute. The goal of this brief is not to set forth the shameful history of these covenants or their lasting and devastating effects, but rather to assist the Court by providing information about the role of property records and the feasibility and advantages of Petitioner’s request for physical removal

Formal Type Soundness for Cyclone's Region System

Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goals of Cyclone are to let programmers control data representations and memory management without sacrificing type-safety. In this paper, we focus on the region-based memory management of Cyclone and its static typing discipline. The design incorporates several advancements, including support for region subtyping and a coherent integration with stack allocation and a garbage collector. To support separate compilation, Cyclone requires programmers to write some explicit region annotations, but uses a combination of default annotations, local type inference, and a novel treatment of region effects to reduce this burden. As a result, we integrate C idioms in a region-based framework. In our experience, porting legacy C to Cyclone has required altering about 8\% of the code; of the changes, only 6\% (of the 8\%) were region annotations. This technical report is really two documents in one: The first part is a paper submitted for publication in November, 2001. The second part is the full formal language and type-safety proof mentioned briefly in the first part. If you have already read a version of, ``Region-Based Memory Management in Cyclone'', then you should proceed directly to Section 9

Updates to the RMAP short-read mapping software

Summary: We report on a major new version of the RMAP software for mapping reads from short-read sequencing technology. General improvements to accuracy and space requirements are included, along with novel functionality. Included in the RMAP software package are tools for mapping paired-end reads, mapping using more sophisticated use of quality scores, collecting ambiguous mapping locations and mapping bisulfite-treated reads

Integrated System Health Management (ISHM) Technology Demonstration Project Final Report

Integrated System Health Management (ISHM) is an essential capability that will be required to enable upcoming explorations mission systems such as the Crew Exploration Vehicle (CEV) and Crew Launch Vehicle (CLV), as well as NASA aeronautics missions. However, the lack of flight experience and available test platforms have held back the infusion by NASA Ames Research Center (ARC) and the Jet Propulsion Laboratory (JPL) of ISHM technologies into future space and aeronautical missions. To address this problem, a pioneer project was conceived to use a high-performance aircraft as a low-cost proxy to develop, mature, and verify the effectiveness of candidate ISHM technologies. Given the similarities between spacecraft and aircraft, an F/A-18 currently stationed at Dryden Flight Research Center (DFRC) was chosen as a suitable host platform for the test bed. This report describes how the test bed was conceived, how the technologies were integrated on to the aircraft, and how these technologies were matured during the project. It also describes the lessons learned during the project and a forward path for continued work

Prospective, multisite, international comparison of \u3csup\u3e18\u3c/sup\u3eF-fluoromethylcholine PET/CT, multiparametric MRI, and \u3csup\u3e68\u3c/sup\u3eGa-HBED-CC PSMA-11 PET/CT in men with high-risk features and biochemical failure after radical prostatectomy: Clinical performance and patient outcomes

A significant proportion of men with rising prostate-specific antigen (PSA) levels after radical prostatectomy (RP) fail prostate fossa (PF) salvage radiation treatment (SRT). This study was done to assess the ability of F-fluoromethylcholine ( F-FCH) PET/CT (hereafter referred to as F-FCH), Ga-HBED-CC PSMA-11 PET/CT (hereafter referred to as PSMA), and pelvic multiparametric MRI (hereafter referred to as pelvic MRI) to identify men who will best benefit from SRT. Methods: Prospective, multisite imaging studies were carried out in men who had rising PSA levels after RP, high-risk features, and negative/equivocal conventional imaging results and who were being considered for SRT. F-FCH (91/91), pelvic MRI (88/91), and PSMA (31/91) (Australia) were all performed within 2 wk. Imaging was interpreted by experienced local/central interpreters who were masked with regard to other imaging results, with consensus being reached for discordant interpretations. Expected management was documented before and after imaging, and data about all treatments and PSA levels were collected for 3 y. The treatment response to SRT was defined as a reduction in PSA levels of .50% without androgen deprivation therapy. Results: The median Gleason score, PSA level at imaging, and PSA doubling time were 8, 0.42 (interquartile range, 0.29–0.93) ng/mL, and 5.0 (interquartile range, 3.3–7.6) months. Recurrent prostate cancer was detected in 28% (25/88) by pelvic MRI, 32% (29/91) by F-FCH, and 42% (13/31) by PSMA. This recurrence was found within the PF in 21.5% (19/88), 13% (12/91), and 19% (6/31) and at sites outside the PF (extra-PF) in 8% (7/88), 19% (17/91), and 32% (10/31) by MRI, F-FCH, and PSMA, respectively (P, 0.004). A total of 94% (16/17) of extra-PF sites on F-FCH were within the pelvic MRI field. Intra-pelvic extra-PF disease was detected in 90% (9/10) by PSMA and in 31% (5/16) by MRI. F-FCH changed management in 46% (42/91), and MRI changed management in 24% (21/88). PSMA provided additional management changes over F-FCH in 23% (7/31). The treatment response to SRT was higher in men with negative results or disease confined to the PF than in men with extra-PF disease ( F-FCH 73% [32/44] versus 33% [3/9] [P, 0.02], pelvic MRI 70% [32/46] versus 50% [2/4] [P was not significant], and PSMA 88% [7/ 8] versus 14% [1/7] [P, 0.005]). Men with negative imaging results (MRI, F-FCH, or PSMA) had high (78%) SRT response rates. Conclusion: F-FCH and PSMA had high detection rates for extra-PF disease in men with negative/equivocal conventional imaging results and rising PSA levels after RP. These findings affected management and treatment responses, suggesting an important role for PET in triaging men being considered for curative SRT. 18 18 18 68 18 18 18 18 18 18 18 18 1

New Limits on the Low-frequency Radio Transient Sky Using 31 hr of All-sky Data with the OVRO-LWA

We present the results of the first transient survey from the Owens Valley Radio Observatory Long Wavelength Array (OVRO–LWA) using 31 hr of data, in which we place the most constraining limits on the instantaneous transient surface density at timescales of 13 s to a few minutes and at frequencies below 100 MHz. The OVRO–LWA is a dipole array that images the entire viewable hemisphere with 58 MHz of bandwidth from 27 to 84 MHz at 13 s cadence. No transients are detected above a 6.5σ flux density limit of 10.5 Jy, implying an upper limit to the transient surface density of 2.5 × 10⁻⁸ deg⁻² at the shortest timescales probed, which is orders of magnitude deeper than has been achieved at sub-100 MHz frequencies and comparable flux densities to date. The nondetection of transients in the OVRO–LWA survey, particularly at minutes-long timescales, allows us to place further constraints on the rate of the potential population of transients uncovered by Stewart et al. From their transient rate, we expect a detection of 8.4^(+31.8)_(-8.0) events, and the probability of our null detection is 1.9^(+644)_(-1.9) x 10⁻³, ruling out a transient rate >1.4 × 10⁻⁴ days⁻¹ deg⁻² with 95% confidence at a flux density limit of 18.1 Jy, under the assumption of a flat spectrum and wide bandwidth. We discuss the implications of our nondetection for this population and further constraints that can be made on the source spectral index, intrinsic emission bandwidth, and resulting luminosity distribution

Global Air Quality and Health Co-benefits of Mitigating Near-Term Climate Change through Methane and Black Carbon Emission Controls

Background: Tropospheric ozone and black carbon (BC), a component of fine particulate matter (PM ≤ 2.5 µm in aerodynamic diameter; PM:2.5), are associated with premature mortality and they disrupt global and regional climate. Objectives: We examined the air quality and health benefits of 14 specific emission control measures targeting BC and methane, an ozone precursor, that were selected because of their potential to reduce the rate of climate change over the next 20–40 years.: Methods: We simulated the impacts of mitigation measures on outdoor concentrations of PM2.5 and ozone using two composition-climate models, and calculated associated changes in premature PM2.5- and ozone-related deaths using epidemiologically derived concentration–response functions. Results: We estimated that, for PM:2.5 and ozone, respectively, fully implementing these measures could reduce global population-weighted average surface concentrations by 23–34% and 7–17% and avoid 0.6–4.4 and 0.04–0.52 million annual premature deaths globally in 2030. More than 80% of the health benefits are estimated to occur in Asia. We estimated that BC mitigation measures would achieve approximately 98% of the deaths that would be avoided if all BC and methane mitigation measures were implemented, due to reduced BC and associated reductions of nonmethane ozone precursor and organic carbon emissions as well as stronger mortality relationships for PM2.5 relative to ozone. Although subject to large uncertainty, these estimates and conclusions are not strongly dependent on assumptions for the concentration–response function. Conclusions: In addition to climate benefits, our findings indicate that the methane and BC emission control measures would have substantial co-benefits for air quality and public health worldwide, potentially reversing trends of increasing air pollution concentrations and mortality in Africa and South, West, and Central Asia. These projected benefits are independent of carbon dioxide mitigation measures. Benefits of BC measures are underestimated because we did not account for benefits from reduced indoor exposures and because outdoor exposure estimates were limited by model spatial resolution.