This paper starts by setting the ground for a lambda calculus notation that strongly mirrors the two fundamental operations of term construction, namely abstraction and application. In particular, we single out those parts of a term, called items in the paper, that are added during abstraction and application. This item notation proves to be a powerful device for the representation of basic sub...

The effects of HU, the histone-like protein from Escherichia coli, on the equilibrium cyclization of duplex DNAs have been observed as a function of protein concentration and DNA sequence. The results indicate that the presence of HU significantly enhances the extent of cyclization and increases the melting temperature, T(m), of the cyclized form of the DNA by >10 K. The stabilization of equili...

Current software applications for densitometric analysis, such as ImageJ, QuantityOne (BioRad) and the Intelligent or Advanced Quantifier (Bio Image) do not allow to take the non-linearity of autoradiographic films into account during calibration. As a consequence, quantification of autoradiographs is often regarded as problematic, and phosphorimaging is the preferred alternative. However, the ...

Acetohydroxamic acid reacts with the enzyme-CoA form of succinyl-CoA:3-ketoacid coenzyme A transferase to give an inactive product with a rate constant of 860 M-1 min-1 at pH 8.1, 25 degrees C. The reaction is reversible in the presence of coenzyme A and has an equilibrium constant of 0.040. The product is an anhydride that is an analog of the intermediate that has been postulated in the normal...

‘Big’ history treats events between the Big Bang and contemporary technological life on Earth as a single narrative, suggesting that cosmological, biological and social processes can be treated similarly. An obvious trend in big history is the development of increasingly complex systems. This implies that the degree to which historical systems have deviated from thermodynamic equilibrium has in...

10.1083/jcb.1727rr3jcb.1727rr3William A. [email protected] receptor activation T he FGF receptor gets its multiple phosphorylations not randomly but in a strictly ordered sequence, say Cristina Furdul, Erin Lew, Joseph Schlessinger, and Karen Anderson (Yale University, New Haven, CT). The intermediate phosphorylation states—neither ful...

Given data y and k covariates x one problem in linear regression is to decide which in any of the covariates to include when regressing y on the x. If k is small it is possible to evaluate each subset of the x. If however k is large then some other procedure must be use. Stepwise regression and the lasso are two such procedures but they both assume a linear model with error term. A different ap...

We analyze the optimal investment strategy of a firm that can complete a project either in one stage at a single freely chosen time point or in incremental steps at distinct time points. The presence of economies of scale gives rise to the following trade-off: lumpy investment has a lower total cost, but stepwise investment gives more flexibility by letting the firm choose the timing individual...

In this paper, rigorous application of stepwise refinement is explored. The steps of definition, decomposition, and completion are described, where completion is a newly introduced step. This combination of steps extends the use of stepwise refinement to larger systems. The notions of range, active objects, and backlog interface are introduced. Verification of incomplete programs via interactiv...

Androgen-regulated gene expression is a highly coordinated dynamic process mediated by androgen receptor (AR) ligand binding and DNA binding, and by specific AR protein-protein interactions. The latter include DNA-binding domain (D-box) interactions in AR homodimers, and the interaction of the FQNLF motif in the AR N-terminal domain and the coactivator groove in the ligand-binding domain (N/C i...