A Logic of Blockchain Updates

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model

Marginal Pinning of Quenched Random Polymers

An elastic string embedded in 3D space and subject to a short-range correlated random potential exhibits marginal pinning at high temperatures, with the pinning length $L_c(T)$ becoming exponentially sensitive to temperature. Using a functional renormalization group (FRG) approach we find $L_c(T) \propto \exp[(32/\pi)(T/T_{\rm dp})^3]$, with $T_{\rm dp}$ the depinning temperature. A slow decay of disorder correlations as it appears in the problem of flux line pinning in superconductors modifies this result, $\ln L_c(T)\propto T^{3/2}$.Comment: 4 pages, RevTeX, 1 figure inserte

Functional Renormalization Group and the Field Theory of Disordered Elastic Systems

We study elastic systems such as interfaces or lattices, pinned by quenched disorder. To escape triviality as a result of ``dimensional reduction'', we use the functional renormalization group. Difficulties arise in the calculation of the renormalization group functions beyond 1-loop order. Even worse, observables such as the 2-point correlation function exhibit the same problem already at 1-loop order. These difficulties are due to the non-analyticity of the renormalized disorder correlator at zero temperature, which is inherent to the physics beyond the Larkin length, characterized by many metastable states. As a result, 2-loop diagrams, which involve derivatives of the disorder correlator at the non-analytic point, are naively "ambiguous''. We examine several routes out of this dilemma, which lead to a unique renormalizable field-theory at 2-loop order. It is also the only theory consistent with the potentiality of the problem. The beta-function differs from previous work and the one at depinning by novel "anomalous terms''. For interfaces and random bond disorder we find a roughness exponent zeta = 0.20829804 epsilon + 0.006858 epsilon^2, epsilon = 4-d. For random field disorder we find zeta = epsilon/3 and compute universal amplitudes to order epsilon^2. For periodic systems we evaluate the universal amplitude of the 2-point function. We also clarify the dependence of universal amplitudes on the boundary conditions at large scale. All predictions are in good agreement with numerical and exact results, and an improvement over one loop. Finally we calculate higher correlation functions, which turn out to be equivalent to those at depinning to leading order in epsilon.Comment: 42 pages, 41 figure

Unphosphorylated SR-Like Protein Npl3 Stimulates RNA Polymerase II Elongation

The production of a functional mRNA is regulated at every step of transcription. An area not well-understood is the transition of RNA polymerase II from elongation to termination. The S. cerevisiae SR-like protein Npl3 functions to negatively regulate transcription termination by antagonizing the binding of polyA/termination proteins to the mRNA. In this study, Npl3 is shown to interact with the CTD and have a direct stimulatory effect on the elongation activity of the polymerase. The interaction is inhibited by phosphorylation of Npl3. In addition, Casein Kinase 2 was found to be required for the phosphorylation of Npl3 and affect its ability to compete against Rna15 (Cleavage Factor I) for binding to polyA signals. Our results suggest that phosphorylation of Npl3 promotes its dissociation from the mRNA/RNAP II, and contributes to the association of the polyA/termination factor Rna15. This work defines a novel role for Npl3 in elongation and its regulation by phosphorylation

Effects of water potential on spore germination and viability of Fusarium species

Germination of macroconidia and/or microconidia of 24 strains of Fusarium solani, F. chlamydosporum, F. culmorum, F. equiseti, F. verticillioides, F. sambucinum, F. oxysporum and F. proliferatum isolated from fluvial channels and sea beds of the south-eastern coast of Spain, and three control strains (F. oxysporum isolated from affected cultures) was studied in distilled water in response to a range of water potentials adjusted with NaCI. (0, -13.79, -41.79, -70.37, -99.56 and -144.54 bars). The vialibility (UFC/ml) of suspension was also tested in three time periods (0,24 and 48h). Conidia always germinated in distilled water. The pattern of conidial germination obseved of F. verticillioides, F. oxysporum, F. proliferatum, F. chlamydosporum and F. culmorum was similar. A great diminution of spore germination was found in -13.79 bars solutions. Spore germination percentage for F. solani isolates was maximal at 48 h. and -13.79 bars with 21.33% spore germination, 16% higher than germination in distilled water. F. equiseti shows the maximum germination percentage in -144.54 bars solution in 24 h time with 12.36% germination. These results did not agree with those obtained in the viability test where maximum germination was found in distilled water. The viability analysis showed the great capacity of F. verticilloides strains to form viable colonies, even in such extreme conditions as -144,54 bars after 24 h F. proliferatum colony formation was prevented in the range of -70.37 bars. These results show the clear affectation of water potential to conidia germination of Fusaria. The ability of certain species of Fusarium to develop a saprophytic life in the salt water of the Mediterraneam Sea could be certain. Successful germination, even under high salty media conditions, suggests taht Fusarium spp. could have a competitive advantage over other soil fungi in crops irrigated with saline water. In the specific case of F. solani, water potential of -13.79 bars affected germination positively. It could indicate that F. solani has an special physiological mechanism of survival in low water potential environments

Dissection of Pol II Trigger Loop Function and Pol II Activity–Dependent Control of Start Site Selection In Vivo

Structural and biochemical studies have revealed the importance of a conserved, mobile domain of RNA Polymerase II (Pol II), the Trigger Loop (TL), in substrate selection and catalysis. The relative contributions of different residues within the TL to Pol II function and how Pol II activity defects correlate with gene expression alteration in vivo are unknown. Using Saccharomyces cerevisiae Pol II as a model, we uncover complex genetic relationships between mutated TL residues by combinatorial analysis of multiply substituted TL variants. We show that in vitro biochemical activity is highly predictive of in vivo transcription phenotypes, suggesting direct relationships between phenotypes and Pol II activity. Interestingly, while multiple TL residues function together to promote proper transcription, individual residues can be separated into distinct functional classes likely relevant to the TL mechanism. In vivo, Pol II activity defects disrupt regulation of the GTP-sensitive IMD2 gene, explaining sensitivities to GTP-production inhibitors, but contrasting with commonly cited models for this sensitivity in the literature. Our data provide support for an existing model whereby Pol II transcriptional activity provides a proxy for direct sensing of NTP levels in vivo leading to IMD2 activation. Finally, we connect Pol II activity to transcription start site selection in vivo, implicating the Pol II active site and transcription itself as a driver for start site scanning, contravening current models for this process

Conceptualizing historical organization studies

© 2016 Academy of Management Review. The promise of a closer union between organizational and historical research has long been recognized. However, its potential remains unfulfilled: The authenticity of theory development expected by organization studies and the authenticity of historical veracity required by historical research place exceptional conceptual and empirical demands on researchers. We elaborate the idea of historical organization studies-organizational research that draws extensively on historical data, methods, and knowledge to promote historically informed theoretical narratives attentive to both disciplines. Building on prior research, we propose a typology of four differing conceptions of history in organizational research: History as evaluating, explicating, conceptualizing, and narrating. We identify five principles of historical organization studies-dual integrity, pluralistic understanding, representational truth, context sensitivity, and theoretical fluency-and illustrate our typology holistically from the perspective of institutional entrepreneurship. We explore practical avenues for a creative synthesis, drawing examples from social movement research and microhistory. Historically informed theoretical narratives whose validity derives from both historical veracity and conceptual rigor afford dual integrity that enhances scholarly legitimacy, enriching understanding of historical, contemporary, and future-directed social realities