We prove the following theorem: For a partially ordered set Q such that every countable subset of Q has a strict upper bound, there is a forcing notion satisfying the countable chain condition such that, in the forcing extension, there is a basis of the null ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler’s classical result in ...

We analyze in detail a leader election protocol that we call the Swedish leader election protocol. The goal is to select one among n > 0 players, by proceeding through a number of rounds. If there is only one player remaining, the protocol stops and the player is declared the leader. Otherwise, all remaining players flip a biased coin; with probability q the player survives to the next round, w...

The arterial blood PO(2) is increased in the prone position in animals and humans because of an improvement in ventilation (VA) and perfusion (Q) matching. However, the mechanism of improved VA/Q is unknown. This experiment measured regional VA/Q heterogeneity and the correlation between VA and Q in supine and prone positions in pigs. Eight ketamine-diazepam-anesthetized, mechanically ventilate...

The Groucho (Gro)/transducin-like enhancer of split family of transcriptional corepressors are implicated in many signalling pathways that are important in development and disease, including those mediated by Notch, Wnt and Hedgehog. Here, we describe a genetic screen in Drosophila that yielded 50 new gro alleles, including the first protein-null allele, and has two mutations in the conserved Q...

We investigate the Penrose limit of various brane solutions including Dp-branes, NS5-branes, fundamental strings, (p, q) fivebranes and (p, q) strings. We obtain special null geodesics with the fixed radial coordinate (critical radius), along which the Penrose limit gives string theories with constant mass. We also study string theories with time-dependent mass, which arise from the Penrose lim...

We demonstrate that the amorphous material PAF-1, C[(C6H4)2]2, forms a continuous random network in which tetrahedral carbon sites are connected by 4,4'-biphenyl linkers. Experimental neutron total scattering measurements on deuterated, hydrogenous, and null-scattering samples agree with molecular dynamics simulations based this model. From MD model, we able for first time to interrogate atomis...

A Lorentzian manifold endowed with a time function, $\tau$, can be converted into metric space using the null distance, $\hat{d}_\tau$, defined by Sormani and Vega. We show that if function is proper regular cosmological as studied Andersson, Galloway Howard, also Wald Yip, or if, more generally, it satisfies anti-Lipschitz condition of Chru\'sciel, Grant Minguzzi, then causal structure encoded...

In R/qtl version 1.04, the functions summary.scantwo and plot.scantwo have been changed quite substantially. Also, the permutations with scantwo have been changed to match the new format for summary.scantwo. In this document, I describe the revisions and how to use the new functions. We'll look at the hyper data as an example. First we need to load the package and the data. > library(qtl) > dat...

Ras guanine nucleotide exchange factor (GEF) Q, a nucleotide exchange factor from Dictyostelium discoideum, is a 143-kD protein containing RasGEF domains and a DEP domain. We show that RasGEF Q can bind to F-actin, has the potential to form complexes with myosin heavy chain kinase (MHCK) A that contain active RasB, and is the predominant exchange factor for RasB. Overexpression of the RasGEF Q ...