On Probabilistic Applicative Bisimulation and Call-by-Value λ\lambda-Calculi (Long Version)

Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus. Surprisingly, the obtained relation coincides with context equivalence, contrary to what happens when call-by-name evaluation is considered. Even more surprisingly, full-abstraction only holds in a symmetric setting.Comment: 30 page

Multiwavelength Observations of the Hot DB Star PG 0112+104

We present a comprehensive multiwavelength analysis of the hot DB white dwarf PG 0112+104. Our analysis relies on newly-acquired FUSE observations, on medium-resolution FOS and GHRS data, on archival high-resolution GHRS observations, on optical spectrophotometry both in the blue and around Halpha, as well as on time-resolved photometry. From the optical data, we derive a self-consistent effective temperature of 31,300+-500 K, a surface gravity of log g = 7.8 +- 0.1 (M=0.52 Msun), and a hydrogen abundance of log N(H)/N(He) < -4.0. The FUSE spectra reveal the presence of CII and CIII lines that complement the previous detection of CII transitions with the GHRS. The improved carbon abundance in this hot object is log N(C)/N(He) = -6.15 +- 0.23. No photospheric features associated with other heavy elements are detected. We reconsider the role of PG 0112+104 in the definition of the blue edge of the V777 Her instability strip in light of our high-speed photometry, and contrast our results with those of previous observations carried out at the McDonald Observatory.Comment: 10 pages in emulateapj, 9 figures, accepted for publication in Ap

Probabilistic Mobility Models for Mobile and Wireless Networks

International audienceIn this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus, broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location, it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of nodes is not arbitrary but guarded by a probabilistic mobility function (PMF), and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We furthermore examine the relation between our weak bisimulation and a minor variant of PCTL* [1]. Finally, we apply our calculus on a small example called the Zeroconf protocol [2]

Water Fractions in Extrasolar Planetesimals

With the goal of using externally-polluted white dwarfs to investigate the water fractions of extrasolar planetesimals, we assemble from the literature a sample that we estimate to be more than 60% complete of DB white dwarfs warmer than 13,000 K, more luminous than 3 ${\times}$ 10$^{-3}$ L$_{\odot}$ and within 80 pc of the Sun. When considering all the stars together, we find the summed mass accretion rate of heavy atoms exceeds that of hydrogen by over a factor of 1000. If so, this sub-population of extrasolar asteroids treated as an ensemble has little water and is at least a factor of 20 drier than CI chondrites, the most primitive meteorites. In contrast, while an apparent "excess" of oxygen in a single DB can be interpreted as evidence that the accreted material originated in a water-rich parent body, we show that at least in some cases, there can be sufficient uncertainties in the time history of the accretion rate that such an argument may be ambiguous. Regardless of the difficulty associated with interpreting the results from an individual object, our analysis of the population of polluted DBs provides indirect observational support for the theoretical view that a snow line is important in disks where rocky planetesimals form.Comment: Accepted for publication in the Astronomical Journal, 22 pages, 4 figures, 1 tabl

Two Extrasolar Asteroids with Low Volatile-Element Mass Fractions

Using ultraviolet spectra obtained with the Cosmic Origins Spectrograph on the Hubble Space Telescope, we extend our previous ground-based optical determinations of the composition of the extrasolar asteroids accreted onto two white dwarfs, GD 40 and G241-6. Combining optical and ultraviolet spectra of these stars with He-dominated atmospheres, 13 and 12 polluting elements are confidently detected in GD 40 and G241-6, respectively. For the material accreted onto GD 40, the volatile elements C and S are deficient by more than a factor of 10 and N by at least a factor of 5 compared to their mass fractions in primitive CI chondrites and approach what is inferred for bulk Earth. A similar pattern is found for G241-6 except that S is undepleted. We have also newly detected or placed meaningful upper limits for the amount of Cl, Al, P, Ni and Cu in the accreted matter. Extending results from optical studies, the mass fractions of refractory elements in the accreted parent bodies are similar to what is measured for bulk Earth and chondrites. Thermal processing, perhaps interior to a snow line, appears to be of central importance in determining the elemental compositions of these particular extrasolar asteroids.Comment: 37 pages, 13 figures, 5 tables, ApJ, accepte

The Survival of Water within Extrasolar Minor Planets

We compute that extrasolar minor planets can retain much of their internal H_2O during their host star's red giant evolution. The eventual accretion of a water-rich body or bodies onto a helium white dwarf might supply an observable amount of atmospheric hydrogen, as seems likely for GD 362. More generally, if hydrogen pollution in helium white dwarfs typically results from accretion of large parent bodies rather than interstellar gas as previously supposed, then H_2O probably constitutes at least 10% of the aggregate mass of extrasolar minor planets. One observational test of this possibility is to examine the atmospheres of externally-polluted white dwarfs for oxygen in excess of that likely contributed by oxides such as SiO_2. The relatively high oxygen abundance previously reported in GD 378 plausibly but not uniquely can be explained by accretion of an H_2O-rich parent body or bodies. Future ultraviolet observations of white dwarf pollutions can serve to investigate the hypothesis that environments with liquid water that are suitable habitats for extremophiles are widespread in the Milky Way.Comment: Astronomical Journal, in press, 24 pages, 7 figure

Lumpability Abstractions of Rule-based Systems

The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial process in a mathematical model is an important challenge in systems biology. Exploiting the limited context on which most binding and modification events are conditioned, attempts have been made to reduce the combinatorial complexity by quotienting the reachable set of molecular species, into species aggregates while preserving the deterministic semantics of the thermodynamic limit. Recently we proposed a quotienting that also preserves the stochastic semantics and that is complete in the sense that the semantics of individual species can be recovered from the aggregate semantics. In this paper we prove that this quotienting yields a sufficient condition for weak lumpability and that it gives rise to a backward Markov bisimulation between the original and aggregated transition system. We illustrate the framework on a case study of the EGF/insulin receptor crosstalk.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005

Psychological determinants of whole-body endurance performance

Background: No literature reviews have systematically identified and evaluated research on the psychological determinants of endurance performance, and sport psychology performance-enhancement guidelines for endurance sports are not founded on a systematic appraisal of endurance-specific research. Objective: A systematic literature review was conducted to identify practical psychological interventions that improve endurance performance and to identify additional psychological factors that affect endurance performance. Additional objectives were to evaluate the research practices of included studies, to suggest theoretical and applied implications, and to guide future research. Methods: Electronic databases, forward-citation searches, and manual searches of reference lists were used to locate relevant studies. Peer-reviewed studies were included when they chose an experimental or quasi-experimental research design, a psychological manipulation, endurance performance as the dependent variable, and athletes or physically-active, healthy adults as participants. Results: Consistent support was found for using imagery, self-talk, and goal setting to improve endurance performance, but it is unclear whether learning multiple psychological skills is more beneficial than learning one psychological skill. The results also demonstrated that mental fatigue undermines endurance performance, and verbal encouragement and head-to-head competition can have a beneficial effect. Interventions that influenced perception of effort consistently affected endurance performance. Conclusions: Psychological skills training could benefit an endurance athlete. Researchers are encouraged to compare different practical psychological interventions, to examine the effects of these interventions for athletes in competition, and to include a placebo control condition or an alternative control treatment. Researchers are also encouraged to explore additional psychological factors that could have a negative effect on endurance performance. Future research should include psychological mediating variables and moderating variables. Implications for theoretical explanations of endurance performance and evidence-based practice are described

Probabilistic Bisimulation for Realistic Schedulers

Weak distribution bisimilarity is an equivalence notion on probabilistic automata, originally proposed for Markov automata. It has gained some popularity as the coarsest behavioral equivalence enjoying valuable properties like preservation of trace distribution equivalence and compositionality. This holds in the classical context of arbitrary schedulers, but it has been argued that this class of schedulers is unrealistically powerful. This paper studies a strictly coarser notion of bisimilarity, which still enjoys these properties in the context of realistic subclasses of schedulers: Trace distribution equivalence is implied for partial information schedulers, and compositionality is preserved by distributed schedulers. The intersection of the two scheduler classes thus spans a coarser and still reasonable compositional theory of behavioral semantics

Loneliness in the United States: A 2018 National Panel Survey of Demographic, Structural, Cognitive, and Behavioral Characteristics

Purpose: To inform health behavior intervention design, we sought to quantify loneliness and its correlates, including social media use, among adults in the United States. Design: Cross-sectional research panel questionnaire. Setting: Responses were gathered from individuals in all 50 states surveyed via Internet from February 2018 to March 2018. Participants: A total of 20 096 US panel respondents aged 18þ. Measures: The University of California at Los Angeles (UCLA) Loneliness Scale (theoretical score range ¼ 20-80) was administered along with demographic, structural, cognitive, and behavioral items. Analysis: After calibrating the sample to population norms, we conducted multivariable linear regression analysis. Results: The overall mean survey-weighted loneliness score was 44.03 (standard error ¼ 0.09). Social support (standardized b [sb] ¼ 0.19) and meaningful daily interactions (sb ¼ 0.14) had the strongest associations with lower loneliness, along with reporting good relationships, family life, physical and mental health, friendships, greater age, being in a couple, and balancing one’s daily time. Social anxiety was most strongly associated with greater loneliness (sb ¼ þ0.20), followed by self-reported social media overuse (sb ¼ þ0.05) and daily use of text-based social media (sb ¼ þ0.03). Conclusion: Our findings confirm that loneliness decreases with age, and that being in a relationship as well as everyday behavioral factors in people’s control are most strongly related to loneliness. Population health promotion efforts to reduce loneliness should focus on improving social support, decreasing social anxiety, and promoting healthy daily behaviors