Story in Brief Corn steep liquor (CSL) and fermented ammoniated condensed whey (FACW) were compared to cottonseed meal (CS1\I) as protein sources f())' wintering 6 I lactating first-calf Hereford heifers and 32 yearling HerefOl'd heifers on nati\'e range. Cattle were allotted by weight and individually fed 6 days per week fill' 12 weeks one of four protein treatments: negative control (I\C). po...

We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be treated as a specialization of the A-G method for well-synchronized concurrent programs. First, we present an A-G based program logic for a low-level language with built-in locking primitives. Then we extend the program ...

The “measurement problem” can be thought of as indicating a serious flaw in the foundations of quantum theory[1], and therefore a potential clue to new physics. When a measurement is described by Schrödinger’s equation, the statevector evolves to a superposition of apparatus states, each recording a different outcome. This conflicts with the interpretation of the statevector as describing “real...

The Continuous Stochastic Logic (CSL) is a powerful means to state properties which refer to Continuous Time Markov Chains (CTMCs). The verification of such properties on a model can be achieved through a suitable algorithm. In this doctoral thesis, the CSL logic has been considered and two major aspects have been addressed: the analysis of its expressiveness and the study of methods for a deco...

The grain boundary embrittlement (GBE) of metal copper caused by bismuth segregation has been extensively studied both experimentally and theoretically(l-10). By using the orientation-controlled bicrystals, the strong dependence of Bi segregation and GBE upon grain boundary(GB) structures has been revealed (3-7). A systematic study of the dependence of the GBE upon the GB structures, for [ 1 lo...

Notch is a conserved signaling pathway that specifies cell fates in metazoans. Receptor-ligand interactions induce changes in gene expression, which is regulated by the transcription factor CBF1/Su(H)/Lag-1 (CSL). CSL interacts with coregulators to repress and activate transcription from Notch target genes. While the molecular details of the activator complex are relatively well understood, the...

BACKGROUND Cbf11 and Cbf12, the fission yeast CSL transcription factors, have been implicated in the regulation of cell-cycle progression, but no specific roles have been described and their target genes have been only partially mapped. METHODOLOGY/PRINCIPAL FINDINGS Using a combination of transcriptome profiling under various conditions and genome-wide analysis of CSL-DNA interactions, we id...

BACKGROUND High-density lipoproteins (HDL) favorably affect endothelial progenitor cells (EPC). Circulating progenitor cell level and function are impaired in patients with acute coronary syndrome (ACS). This study investigates the short-term effects of reconstituted HDL (rHDL) on circulating progenitor cells in patients with ACS. METHODS AND FINDINGS The study population consisted of 33 pati...

We argue that Chinese Sign Language (CSL) provides new insights into temporal anaphora, as well puzzles. Partee 1973 showed talk in English involves abstract anaphoric mechanisms akin to pronouns, although with a very different form. Schlenker 2013 argued American (ASL), one and the same overt pronominal form, pointing sign, can have individual uses, but his data involved loci across domains: n...

in this paper, the removal of phenol by using aqueous solution in a low pressure reverse osmosis membrane was investigated. the effect of feed pressure, feed concentration, feed flow rate and feed ph on phenol rejection was investigated. the results showed that feed ph is the most affective parameter on the phenol rejection. rejection of phenol increased with increasing ph from 2 to 10 under th...