Self-Stabilizing Message Routing in Mobile ad hoc Networks

We present a self-stabilizing algorithm for routing messages between arbitrary pairs of nodes in a mobile ad hoc network. Our algorithm assumes the availability of a reliable GPS service, which supplies mobile nodes with accurate information about real time and about their own geographical locations. The GPS service provides an external, shared source of consistency for mobile nodes, allowing them to label and timestamp messages, and thereby aiding in recovery from failures. Our algorithm utilizes a Virtual Infrastructure programming abstraction layer, consisting of mobile client nodes, virtual stationary timed machines called Virtual Stationary Automata (VSAs), and a local broadcast service connecting VSAs and mobile clients. VSAs are associated with predetermined regions in the plane, and are emulated in a self-stabilizing manner by the mobile nodes. VSAs are relatively stable in the face of node mobility and failure, and can be used to simplify algorithm development for mobile networks. Our routing algorithm consists of three subalgorithms: [(1)] a VSA-to-VSA geographical routing algorithm, [2] a mobile client location management algorithm, and [3] the main algorithm, which utilizes both location management and geographical routing. All three subalgorithms are self-stabilizing, and consequently, the entire algorithm is also self-stabilizing

Virtual stationary timed automata for mobile networks

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.Includes bibliographical references (p. 339-347).In this thesis, we formally define a programming abstraction for mobile networks called the Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and client nodes. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We present a theory of self-stabilizing emulation and use this theory to prove correct a self-stabilizing algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VSA's region. We also specify two important services for mobile networks: motion coordination and end-to-end routing. We split the implementation of the end-to-end routing service into three smaller pieces, consisting of geographic routing and location management services with an end-to-end routing service built on top of them. We provide stabilizing implementations of each of these services using the VSA abstraction, and provide formal correctness analyses for each implementation.by Tina Ann Nolte.Ph.D

Polygenic risk for aggressive behavior from late childhood through early adulthood

Twin studies suggest a substantial role for genes in explaining individual differences in aggressive behavior across development. It is unclear, however, how directly measured genetic risk is associated with aggressive behavior at different moments across adolescence and how genes might distinguish developmental trajectories of aggressive behavior. Here, a polygenic risk score derived from the EAGLE-Consortium genome-wide association study of aggressive behavior in children was tested as predictor of latent growth classes derived from those measures in an adolescent population (n = 2229, of which n = 1246 with genetic information) and a high-risk sample (n = 543, of which n = 335 with genetic information). In the population sample, the polygenic risk score explained variation in parent-reported aggressive behavior at all ages and distinguished between stable low aggressive behavior and moderate and high-decreasing trajectories based on parent-report. In contrast, the polygenic risk score was not associated with self- and teacher-reported aggressive behavior, and no associations were found in the high-risk sample. This pattern of results suggests that methodological choices made in genome-wide association studies impact the predictive strength of polygenic risk scores, not just with respect to power but likely also in terms of generalizability and specificity.</p

Self-stabilizing robot formations over unreliable networks

We describe how a set of mobile robots can arrange themselves on any specified curve on the plane in the presence of dynamic changes both in the underlying ad hoc network and in the set of participating robots. Our strategy is for the mobile robots to implement a self-stabilizing virtual layer consisting of mobile client nodes, stationary Virtual Nodes (VNs), and local broadcast communication. The VNs are associated with predetermined regions in the plane and coordinate among themselves to distribute the client nodes relatively uniformly among the VNs' regions. Each VN directs its local client nodes to align themselves on the local portion of the target curve. The resulting motion coordination protocol is self-stabilizing, in that each robot can begin the execution in any arbitrary state and at any arbitrary location in the plane. In addition, self-stabilization ensures that the robots can adapt to changes in the desired target formation.National Science Foundation (U.S.) (Grant No. CNS-0614993

Gene-Environment Interplay in the Development of Overweight

PURPOSE: Overweight in youth is influenced by genes and environment. Gene-environment interaction (G×E) has been demonstrated in twin studies and recent developments in genetics allow for studying G×E using individual genetic predispositions for overweight. We examine genetic influence on trajectories of overweight during adolescence and early adulthood and determine whether genetic predisposition is attenuated by higher socioeconomic status and having physically active parents.METHODS: Latent class growth models of overweight were fitted using data from the TRacking Adolescents' Individual Lives Survey (n = 2720). A polygenic score for body mass index (BMI) was derived using summary statistics from a genome-wide association study of adult BMI (N = ∼700,000) and tested as predictor of developmental pathways of overweight. Multinomial logistic regression models were used to examine effects of interactions of genetic predisposition with socioeconomic status and parental physical activity (n = 1675).RESULTS: A three-class model of developmental pathways of overweight fitted the data best ("non-overweight", "adolescent-onset overweight", and "persistent overweight"). The polygenic score for BMI and socioeconomic status distinguished the persistent overweight and adolescent-onset overweight trajectories from the non-overweight trajectory. Only genetic predisposition differentiated the adolescent-onset from the persistent overweight trajectory. There was no evidence for G×E.DISCUSSION: Higher genetic predisposition increased the risk of developing overweight during adolescence and young adulthood and was associated with an earlier age at onset. We did not find that genetic predisposition was offset by higher socioeconomic status or having physically active parents. Instead, lower socioeconomic status and higher genetic predisposition acted as additive risk factors for developing overweight.</p

Feasibility and validity of a low-cost racing simulator in driving assessment after stroke

There is a myriad of methodologies to assess driving performance after a stroke. These include psychometric tests, driving simulation, questionnaires, and/or road tests. Research-based driving simulators have emerged as a safe, convenient way to assess driving performance after a stroke. Such traditional research simulators are useful in recreating street traffic scenarios, but are often expensive, with limited physics models and graphics rendering. In contrast, racing simulators developed for motorsport professionals and enthusiasts offer high levels of realism, run on consumer-grade hardware, and can provide rich telemetric data. However, most offer limited simulation of traffic scenarios. This pilot study compares the feasibility of research simulation and racing simulation in a sample with minor stroke. We determine that the racing simulator is tolerated well in subjects with a minor stroke. There were correlations between research and racing simulator outcomes with psychometric tests associated with driving performance, such as the Trails Making Test Part A, Snellgrove Maze Task, and the Motricity Index. We found correlations between measures of driving speed on a complex research simulator scenario and racing simulator lap time and maximum tires off track. Finally, we present two models, using outcomes from either the research or racing simulator, predicting road test failure as linked to a previously published fitness-to-drive calculator that uses psychometric screening

Macrophages and glia are the dominant P2X7-expressing cell types in the gut nervous system—No evidence for the role of neuronal P2X7 receptors in colitis

The blockade or deletion of the pro-inflammatory P2X7 receptor channel has been shown to reduce tissue damage and symptoms in models of inflammatory bowel disease, and P2X7 receptors on enteric neurons were suggested to mediate neuronal death and associated motility changes. Here, we used P2X7-specific antibodies and nanobodies, as well as a bacterial artificial chromosome transgenic P2X7-EGFP reporter mouse model and P2rx7$^{-/-}$ controls to perform a detailed analysis of cell type-specific P2X7 expression and possible overexpression effects in the enteric nervous system of the distal colon. In contrast to previous studies, we did not detect P2X7 in neurons but found dominant expression in glia and macrophages, which closely interact with the neurons. The overexpression of P2X7 per se did not induce significant pathological effects. Our data indicate that macrophages and/or glia account for P2X7-mediated neuronal damage in inflammatory bowel disease and provide a refined basis for the exploration of P2X7-based therapeutic strategies

MassCode Liquid Arrays as a Tool for Multiplexed High-Throughput Genetic Profiling

Multiplexed detection assays that analyze a modest number of nucleic acid targets over large sample sets are emerging as the preferred testing approach in such applications as routine pathogen typing, outbreak monitoring, and diagnostics. However, very few DNA testing platforms have proven to offer a solution for mid-plexed analysis that is high-throughput, sensitive, and with a low cost per test. In this work, an enhanced genotyping method based on MassCode technology was devised and integrated as part of a high-throughput mid-plexing analytical system that facilitates robust qualitative differential detection of DNA targets. Samples are first analyzed using MassCode PCR (MC-PCR) performed with an array of primer sets encoded with unique mass tags. Lambda exonuclease and an array of MassCode probes are then contacted with MC-PCR products for further interrogation and target sequences are specifically identified. Primer and probe hybridizations occur in homogeneous solution, a clear advantage over micro- or nanoparticle suspension arrays. The two cognate tags coupled to resultant MassCode hybrids are detected in an automated process using a benchtop single quadrupole mass spectrometer. The prospective value of using MassCode probe arrays for multiplexed bioanalysis was demonstrated after developing a 14plex proof of concept assay designed to subtype a select panel of Salmonella enterica serogroups and serovars. This MassCode system is very flexible and test panels can be customized to include more, less, or different markers

Non-Standard Errors

In statistics, samples are drawn from a population in a data-generating process (DGP). Standard errors measure the uncertainty in estimates of population parameters. In science, evidence is generated to test hypotheses in an evidence-generating process (EGP). We claim that EGP variation across researchers adds uncertainty: Non-standard errors (NSEs). We study NSEs by letting 164 teams test the same hypotheses on the same data. NSEs turn out to be sizable, but smaller for better reproducible or higher rated research. Adding peer-review stages reduces NSEs. We further find that this type of uncertainty is underestimated by participants

Minimal information for studies of extracellular vesicles 2018 (MISEV2018):a position statement of the International Society for Extracellular Vesicles and update of the MISEV2014 guidelines

The last decade has seen a sharp increase in the number of scientific publications describing physiological and pathological functions of extracellular vesicles (EVs), a collective term covering various subtypes of cell-released, membranous structures, called exosomes, microvesicles, microparticles, ectosomes, oncosomes, apoptotic bodies, and many other names. However, specific issues arise when working with these entities, whose size and amount often make them difficult to obtain as relatively pure preparations, and to characterize properly. The International Society for Extracellular Vesicles (ISEV) proposed Minimal Information for Studies of Extracellular Vesicles (“MISEV”) guidelines for the field in 2014. We now update these “MISEV2014” guidelines based on evolution of the collective knowledge in the last four years. An important point to consider is that ascribing a specific function to EVs in general, or to subtypes of EVs, requires reporting of specific information beyond mere description of function in a crude, potentially contaminated, and heterogeneous preparation. For example, claims that exosomes are endowed with exquisite and specific activities remain difficult to support experimentally, given our still limited knowledge of their specific molecular machineries of biogenesis and release, as compared with other biophysically similar EVs. The MISEV2018 guidelines include tables and outlines of suggested protocols and steps to follow to document specific EV-associated functional activities. Finally, a checklist is provided with summaries of key points