Direct measurement of the hemispheric poleward flux of water vapor

The average meridional flux of water vapor in the atmosphere is evaluated for the northern hemisphere from suitably distributed daily observations of wind and moisture during the year 1950. Zonal averages for five latitude circles are presented, and these are compared with the corresponding requirements calculated from estimates of zonally averaged precipitation and evaporation given in climatological literature. Considering the nature and scope of the work, the extent of the agreement obtained is considered noteworthy

Backward Reachability Analysis for Neural Feedback Loops

The increasing prevalence of neural networks (NNs) in safety-critical applications calls for methods to certify their behavior and guarantee safety. This paper presents a backward reachability approach for safety verification of neural feedback loops (NFLs), i.e., closed-loop systems with NN control policies. While recent works have focused on forward reachability as a strategy for safety certification of NFLs, backward reachability offers advantages over the forward strategy, particularly in obstacle avoidance scenarios. Prior works have developed techniques for backward reachability analysis for systems without NNs, but the presence of NNs in the feedback loop presents a unique set of problems due to the nonlinearities in their activation functions and because NN models are generally not invertible. To overcome these challenges, we use existing forward NN analysis tools to find affine bounds on the control inputs and solve a series of linear programs (LPs) to efficiently find an approximation of the backprojection (BP) set, i.e., the set of states for which the NN control policy will drive the system to a given target set. We present an algorithm to iteratively find BP set estimates over a given time horizon and demonstrate the ability to reduce conservativeness in the BP set estimates by up to 88% with low additional computational cost. We use numerical results from a double integrator model to verify the efficacy of these algorithms and demonstrate the ability to certify safety for a linearized ground robot model in a collision avoidance scenario where forward reachability fails.Comment: 8 pages, 5 figure

Growing up with a mother with depression: an interpretative phenomenological analysis

The aim of this study was to explore the childhood experience of living with a parent with depression from a retrospective point of view. Five women between 39 and 47 years of age, who grew up with a mother with depression, were interviewed about their current perspectives on their childhood experiences. Interviews were semi-structured and the data were analyzed using interpretative phenomenological analysis. Data analysis led to a narrative organized in two parts. The first part (retrospective understanding of childhood experiences) reports on feelings of desolation contrasted to exceptional support, context-related dwelling on own experiences, and growing into a caring role as a way to keep standing. The second part (towards an integration of childhood experiences in adult realities) evidences ongoing processes of growing understanding of the situation at home, coping with own vulnerabilities, making the difference in their current family life and finding balance in the continued bond with the parents. This retrospective investigation of adults’ perspectives on their childhood experiences gave access to aspects of their experience that remain underexposed in research based on data from children and adolescents

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backward reachability approaches for safety certification of neural feedback loops (NFLs), i.e., closed-loop systems with NN control policies. While backward reachability strategies have been developed for systems without NN components, the nonlinearities in NN activation functions and general noninvertibility of NN weight matrices make backward reachability for NFLs a challenging problem. To avoid the difficulties associated with propagating sets backward through NNs, we introduce a framework that leverages standard forward NN analysis tools to efficiently find over-approximations to backprojection (BP) sets, i.e., sets of states for which an NN policy will lead a system to a given target set. We present frameworks for calculating BP over approximations for both linear and nonlinear systems with control policies represented by feedforward NNs and propose computationally efficient strategies. We use numerical results from a variety of models to showcase the proposed algorithms, including a demonstration of safety certification for a 6D system.Comment: 17 pages, 15 figures. Journal extension of arXiv:2204.0831

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances

Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to disturbances that affect their performance, but are unknown a priori. This work develops a safety-verification strategy wherein data is collected online and incorporated into a reachability analysis approach to check in real-time that the system avoids dangerous regions of the state space. Specifically, we employ an optimization-based moving horizon estimator (MHE) to characterize the disturbance affecting the system, which is incorporated into an online reachability calculation. Reachable sets are calculated using a computational graph analysis tool to predict the possible future states of the system and verify that they satisfy safety constraints. We include theoretical arguments proving our approach generates reachable sets that bound the future states of the system, as well as numerical results demonstrating how it can be used for safety verification. Finally, we present results from hardware experiments demonstrating our approach's ability to perform online reachability calculations for an unmanned surface vehicle subject to currents and actuator failures.Comment: 6 pages, 7 figure

Using airborne and DESIS imaging spectroscopy to map plant diversity across the largest contiguous tract of tallgrass prairie on earth

Grassland ecosystems are under threat globally, primarily due to land-use and land-cover changes that have adversely affected their biodiversity. Given the negative ecological impacts of biodiversity loss in grasslands, there is an urgent need for developing an operational biodiversity monitoring system that functions in these ecosystems. In this paper, we assessed the capability of airborne and spaceborne imaging spectroscopy (also known as hyperspectral imaging) to capture plant α-diversity in a large naturally-assembled grassland while considering the impact of common management practices, specifically prescribed fire. We collected a robust insitu plant diversity data set, including species composition and percent cover from 2500 sampling points with different burn ages, from recently-burned to transitional and pre-prescribed fire at the Joseph H. Williams Tallgrass Prairie Preserve in Oklahoma, USA. We expressed in-situ plant α-diversity using the first three Hill numbers, including species richness (number of observed species in a plant community), exponential Shannon entropy index (hereafter Shannon diversity; effective number of common species, where species are weighed proportional to their percent cover), and inverse Simpson concentration index (hereafter Simpson diversity; effective number of dominant species, where more weight is given to dominant species) at four different plot sizes, including 60 m × 60 m, 120 m × 120 m, 180 m × 180 m, and 240 m × 240 m. We collected full-range airborne hyperspectral data with fine spatial resolution (1 m) and visible and near-infrared spaceborne hyperspectral data from DESIS sensor with coarse spatial resolution (30 m), and used the spectral diversity hypothesis— i.e., that the variability in spectral data is largely driven by plant diversity—to estimate α-diversity remotely. In recently-burned plots and those at the transitional stage, both airborne and spaceborne data were capable of capturing Simpson diversity—a metric that calculates the effective number of dominant species by emphasizing abundant species and discounting rare species—but not species richness or Shannon diversity. Further, neither airborne nor spaceborne hyperspectral data sets were capable of capturing plant α-diversity of 60 m × 60 m or 120 m × 120 m plots. Based on these results, three main findings emerged: (1) management practices influence grassland biodiversity patterns that can be remotely detected, (2) both fine- and coarse-resolution remotely-sensed data can detect the effective number of dominant species (e.g., Simpson diversity), and (3) attention should be given to site-specific plant diversity field data collection to appropriately interpret remote sensing results. Findings of this study indicate the feasibility of estimating Simpson diversity in naturally-assembled grasslands using forthcoming spaceborne imagers such as National Aeronautics and Space Administration’s Surface Biology and Geology mission

Discordant Gene Expression Signatures and Related Phenotypic Differences in Lamin A- and A/C-Related Hutchinson-Gilford Progeria Syndrome (HGPS)

Hutchinson-Gilford progeria syndrome (HGPS) is a genetic disorder displaying features reminiscent of premature senescence caused by germline mutations in the LMNA gene encoding lamin A and C, essential components of the nuclear lamina. By studying a family with homozygous LMNA mutation (K542N), we showed that HGPS can also be caused by mutations affecting both isoforms, lamin A and C. Here, we aimed to elucidate the molecular mechanisms underlying the pathogenesis in both, lamin A- (sporadic) and lamin A and C-related (hereditary) HGPS. For this, we performed detailed molecular studies on primary fibroblasts of hetero- and homozygous LMNA K542N mutation carriers, accompanied with clinical examinations related to the molecular findings. By assessing global gene expression we found substantial overlap in altered transcription profiles (13.7%; 90/657) in sporadic and hereditary HGPS, with 83.3% (75/90) concordant and 16.7% (15/90) discordant transcriptional changes. Among the concordant ones we observed down-regulation of TWIST2, whose inactivation in mice and humans leads to loss of subcutaneous fat and dermal appendages, and loss of expression in dermal fibroblasts and periadnexial cells from a LMNAK542N/K542N patient further confirming its pivotal role in skin development. Among the discordant transcriptional profiles we identified two key mediators of vascular calcification and bone metabolism, ENPP1 and OPG, which offer a molecular explanation for the major phenotypic differences in vascular and bone disease in sporadic and hereditary HGPS. Finally, this study correlates reduced TWIST2 and OPG expression with increased osteocalcin levels, thereby linking altered bone remodeling to energy homeostasis in hereditary HGPS

The Mutant Form of Lamin A that Causes Hutchinson-Gilford Progeria Is a Biomarker of Cellular Aging in Human Skin

Hutchinson-Gilford progeria syndrome (HGPS, OMIM 176670) is a rare disorder characterized by accelerated aging and early death, frequently from stroke or coronary artery disease. 90% of HGPS cases carry the LMNA G608G (GGC>GGT) mutation within exon 11 of LMNA, activating a splice donor site that results in production of a dominant negative form of lamin A protein, denoted progerin. Screening 150 skin biopsies from unaffected individuals (newborn to 97 years) showed that a similar splicing event occurs in vivo at a low level in the skin at all ages. While progerin mRNA remains low, the protein accumulates in the skin with age in a subset of dermal fibroblasts and in a few terminally differentiated keratinocytes. Progerin-positive fibroblasts localize near the basement membrane and in the papillary dermis of young adult skin; however, their numbers increase and their distribution reaches the deep reticular dermis in elderly skin. Our findings demonstrate that progerin expression is a biomarker of normal cellular aging and may potentially be linked to terminal differentiation and senescence in elderly individuals

Nuclear envelope protein Lem2 is required for mouse development and regulates MAP and AKT kinases

The nuclear lamina, along with associated nuclear membrane proteins, is a nexus for regulating signaling in the nucleus. Numerous human diseases arise from mutations in lamina proteins, and experimental models for these disorders have revealed aberrant regulation of various signaling pathways. Previously, we reported that the inner nuclear membrane protein Lem2, which is expressed at high levels in muscle, promotes the differentiation of cultured myoblasts by attenuating ERK signaling. Here, we have analyzed mice harboring a disrupted allele for the Lem2 gene (Lemd2). No gross phenotypic defects were seen in heterozygotes, although muscle regeneration induced by cardiotoxin was delayed. By contrast, homozygous Lemd2 knockout mice died by E11.5. Although many normal morphogenetic hallmarks were observed in E10.5 knockout embryos, most tissues were substantially reduced in size. This was accompanied by activation of multiple MAP kinases (ERK1/2, JNK, p38) and AKT. Knockdown of Lem2 expression in C2C12 myoblasts also led to activation of MAP kinases and AKT. These findings indicate that Lemd2 plays an essential role in mouse embryonic development and that it is involved in regulating several signaling pathways. Since increased MAP kinase and AKT/mTORC signaling is found in other animal models for diseases linked to nuclear lamina proteins, LEMD2 should be considered to be another candidate gene for human disease