Toward Comprehensive Specification of Distributed Systems

A new approach to modelling distributed systems is presented. It uses sequential processes and event synchronization as building blocks to construct a cohesive picture of the interdependent requirements for the functionality, architecture, scheduling policies, and performance attributes of a distributed system. A language called CSPS (an extension of Hoare\u27s CSP) is used in the illustration of the approach. Employing CSP as a base allows modelled systems to be verified using techniques already developed for verifying CSP programs and leads to the emergence of a uniform incremental strategy for verifying both logical and performance properties of distributed systems. Several small distributed systems have been modelled using this approach. These exercises enabled us to evaluate the notation system and to gain some expertise on how to approach the specification of distributed systems. This paper describes one of the models and the modelling strategy that has emerged from these exercises

Sexual Attraction to Others: A Comparison of Two Models of Alloerotic Responding in Men

The penile response profiles of homosexual and heterosexual pedophiles, hebephiles, and teleiophiles to laboratory stimuli depicting male and female children and adults may be conceptualized as a series of overlapping stimulus generalization gradients. This study used such profile data to compare two models of alloerotic responding (sexual responding to other people) in men. The first model was based on the notion that men respond to a potential sexual object as a compound stimulus made up of an age component and a gender component. The second model was based on the notion that men respond to a potential sexual object as a gestalt, which they evaluate in terms of global similarity to other potential sexual objects. The analytic strategy was to compare the accuracy of these models in predicting a man’s penile response to each of his less arousing (nonpreferred) stimulus categories from his response to his most arousing (preferred) stimulus category. Both models based their predictions on the degree of dissimilarity between the preferred stimulus category and a given nonpreferred stimulus category, but each model used its own measure of dissimilarity. According to the first model (“summation model”), penile response should vary inversely as the sum of stimulus differences on separate dimensions of age and gender. According to the second model (“bipolar model”), penile response should vary inversely as the distance between stimulus categories on a single, bipolar dimension of morphological similarity—a dimension on which children are located near the middle, and adult men and women are located at opposite ends. The subjects were 2,278 male patients referred to a specialty clinic for phallometric assessment of their erotic preferences. Comparisons of goodness of fit to the observed data favored the unidimensional bipolar model

Hydrogen Two-Photon Continuum Emission from the Horseshoe Filament in NGC 1275

Far ultraviolet emission has been detected from a knot of Halpha emission in the Horseshoe filament, far out in the NGC 1275 nebula. The flux detected relative to the brightness of the Halpha line in the same spatial region is very close to that expected from Hydrogen two-photon continuum emission in the particle heating model of Ferland et al. (2009) if reddening internal to the filaments is taken into account. We find no need to invoke other sources of far ultraviolet emission such as hot stars or emission lines from CIV in intermediate temperature gas to explain these data.Comment: 9 pages, 8 figures. Accepted for publication in MNRA

Implications of Coronal Line Emission in NGC 4696*

We announce a new facility in the spectral code cloudy that enables tracking the evolution of a cooling parcel of gas with time. For gas cooling from temperatures relevant to galaxy clusters, earlier calculations estimated the [Fe xiv] λ5303/[Fe x] λ6375 luminosity ratio, a critical diagnostic of a cooling plasma, to slightly less than unity. By contrast, our calculations predict a ratio of ∼3. We revisit recent optical coronal line observations along the X-ray cool arc around NGC 4696 by Canning et al., which detected [Fe x] λ6375, but not [Fe xiv] λ5303. We show that these observations are not consistent with predictions of cooling flow models. Differential extinction could in principle account for the observations, but it requires extinction levels (AV \u3e 3.625) incompatible with previous observations. The non-detection of [Fe xiv] implies a temperature ceiling of 2.1 million K. Assuming cylindrical geometry and transonic turbulent pressure support, we estimate the gas mass at ∼1 million M⊙. The coronal gas is cooling isochorically. We propose that the coronal gas has not condensed out of the intracluster medium, but instead is the conductive or mixing interface between the X-ray plume and the optical filaments. We present a number of emission lines that may be pursued to test this hypothesis and constrain the amount of intermediate-temperature gas in the system

The Eyes Have It: Sex and Sexual Orientation Differences in Pupil Dilation Patterns

Recent research suggests profound sex and sexual orientation differences in sexual response. These results, however, are based on measures of genital arousal, which have potential limitations such as volunteer bias and differential measures for the sexes. The present study introduces a measure less affected by these limitations. We assessed the pupil dilation of 325 men and women of various sexual orientations to male and female erotic stimuli. Results supported hypotheses. In general, self-reported sexual orientation corresponded with pupil dilation to men and women. Among men, substantial dilation to both sexes was most common in bisexual-identified men. In contrast, among women, substantial dilation to both sexes was most common in heterosexual-identified women. Possible reasons for these differences are discussed. Because the measure of pupil dilation is less invasive than previous measures of sexual response, it allows for studying diverse age and cultural populations, usually not included in sexuality research

Women gaze behaviour in assessing female bodies: the effects of clothing, body size, own body composition and body satisfaction

Often with minimally clothed figures depicting extreme body sizes, previous studies have shown women tend to gaze at evolutionary determinants of attractiveness when viewing female bodies, possibly for self-evaluation purposes, and their gaze distribution is modulated by own body dissatisfaction level. To explore to what extent women’s body-viewing gaze behaviour is affected by clothing type, dress size, subjective measurements of regional body satisfaction and objective measurements of own body composition (e.g., chest size, body mass index, waist-to-hip ratio), in this self-paced body attractiveness and body size judgement experiment, we compared healthy, young women’s gaze distributions when viewing female bodies in tight and loose clothing of different dress sizes. In contrast to tight clothing, loose clothing biased gaze away from the waist-hip to the leg region, and subsequently led to enhanced body attractiveness ratings and body size underestimation for larger female bodies, indicating the important role of clothing in mediating women’s body perception. When viewing preferred female bodies, women’s higher satisfaction of a specific body region was associated with an increased gaze towards neighbouring body areas, implying satisfaction might reduce the need for comparison of confident body parts; furthermore undesirable body composition measurements were correlated with a gaze avoidance process if the construct was less changeable (i.e. chest size) but a gaze comparison process if the region was more changeable (i.e. body mass index, dress size). Clearly, own body satisfaction and body composition measurements had an evident impact on women’s body-viewing gaze allocation, possibly through different cognitive processes

Adjuvanted multi-epitope vaccines protect HLA-A*11:01 transgenic mice against Toxoplasma gondii

We created and tested multi-epitope DNA or protein vaccines with TLR4 ligand emulsion adjuvant (gluco glucopyranosyl lipid adjuvant in a stable emulsion [GLA-SE]) for their ability to protect against Toxoplasma gondii in HLA transgenic mice. Our constructs each included 5 of our best down-selected CD8(+) T cell-eliciting epitopes, a universal CD4(+) helper T lymphocyte epitope (PADRE), and a secretory signal, all arranged for optimal MHC-I presentation. Their capacity to elicit immune and protective responses was studied using immunization of HLA-A*11:01 transgenic mice. These multi-epitope vaccines increased memory CD8(+) T cells that produced IFN-γ and protected mice against parasite burden when challenged with T. gondii. Endocytosis of emulsion-trapped protein and cross presentation of the antigens must account for the immunogenicity of our adjuvanted protein. Thus, our work creates an adjuvanted platform assembly of peptides resulting in cross presentation of CD8(+) T cell-eliciting epitopes in a vaccine that prevents toxoplasmosis

Pupil Dilation to Explicit and Non-Explicit Sexual Stimuli

Pupil dilation to explicit sexual stimuli (footage of naked and aroused men or women) can elicit sex and sexual orientation differences in sexual response. If similar patterns were replicated with non-explicit sexual stimuli (footage of dressed men and women), then pupil dilation could be indicative of automatic sexual response in fully noninvasive designs. We examined this in 325 men and women with varied sexual orientations to determine whether dilation patterns to non-explicit sexual stimuli resembled those to explicit sexual stimuli depicting the same sex or other sex. Sexual orientation differences in pupil dilation to non-explicit sexual stimuli mirrored those to explicit sexual stimuli. However, the relationship of dilation to non-explicit sexual stimuli with dilation to corresponding explicit sexual stimuli was modest, and effect magnitudes were smaller with non-explicit sexual stimuli than explicit sexual stimuli. The prediction that sexual orientation differences in pupil dilation are larger in men than in women was confirmed with explicit sexual stimuli but not with non-explicit sexual stimuli

New paradigms for understanding and step changes in treating active and chronic, persistent apicomplexan infections

Toxoplasma gondii, the most common parasitic infection of human brain and eye, persists across lifetimes, can progressively damage sight, and is currently incurable. New, curative medicines are needed urgently. Herein, we develop novel models to facilitate drug development: EGS strain T. gondii forms cysts in vitro that induce oocysts in cats, the gold standard criterion for cysts. These cysts highly express cytochrome b. Using these models, we envisioned, and then created, novel 4-(1H)-quinolone scaffolds that target the cytochrome bc1 complex Qi site, of which, a substituted 5,6,7,8-tetrahydroquinolin-4-one inhibits active infection (IC50, 30 nM) and cysts (IC50, 4 μM) in vitro, and in vivo (25 mg/kg), and drug resistant Plasmodium falciparum (IC50, <30 nM), with clinically relevant synergy. Mutant yeast and co-crystallographic studies demonstrate binding to the bc1 complex Qi site. Our results have direct impact on improving outcomes for those with toxoplasmosis, malaria, and ~2 billion persons chronically infected with encysted bradyzoites

Author Correction: New paradigms for understanding and step changes in treating active and chronic, persistent apicomplexan infections

Correction to: Scientific Reports https://doi.org/10.1038/srep29179, published online 14 July 201