Characterizing Van Kampen Squares via Descent Data

Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categorical tool yields two main results: A simple condition which characterizes the reachable part of the above mentioned functor in terms of liftings of involved equivalence relations and (as a consequence) a necessary and sufficient condition for a pushout to be a Van Kampen square formulated in a purely algebraic manner.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Post-assembly modification of kinetically metastable Fe(II)2L3 triple helicates.

We report the covalent post-assembly modification of kinetically metastable amine-bearing Fe(II)2L3 triple helicates via acylation and azidation. Covalent modification of the metastable helicates prevented their reorganization to the thermodynamically favored Fe(II)4L4 tetrahedral cages, thus trapping the system at the non-equilibrium helicate structure. This functionalization strategy also conveniently provides access to a higher-order tris(porphyrinatoruthenium)-helicate complex that would be difficult to prepare by de novo ligand synthesis.This work was supported by the UK Engineering and Physical Sciences Research Council (EPSRC). D.A.R. acknowledges the Gates Cambridge Trust for Ph.D. (Gates Cambridge Scholarship) and conference funding.This is the final published version. It first appeared at http://pubs.acs.org/doi/abs/10.1021/ja5042397

ATPase Subdomain IA Is a Mediator of Interdomain Allostery in Hsp70 Molecular Chaperones

The versatile functions of the heat shock protein 70 (Hsp70) family of molecular chaperones rely on allosteric interactions between their nucleotide-binding and substrate-binding domains, NBD and SBD. Understanding the mechanism of interdomain allostery is essential to rational design of Hsp70 modulators. Yet, despite significant progress in recent years, how the two Hsp70 domains regulate each other's activity remains elusive. Covariance data from experiments and computations emerged in recent years as valuable sources of information towards gaining insights into the molecular events that mediate allostery. In the present study, conservation and covariance properties derived from both sequence and structural dynamics data are integrated with results from Perturbation Response Scanning and in vivo functional assays, so as to establish the dynamical basis of interdomain signal transduction in Hsp70s. Our study highlights the critical roles of SBD residues D481 and T417 in mediating the coupled motions of the two domains, as well as that of G506 in enabling the movements of the α-helical lid with respect to the β-sandwich. It also draws attention to the distinctive role of the NBD subdomains: Subdomain IA acts as a key mediator of signal transduction between the ATP- and substrate-binding sites, this function being achieved by a cascade of interactions predominantly involving conserved residues such as V139, D148, R167 and K155. Subdomain IIA, on the other hand, is distinguished by strong coevolutionary signals (with the SBD) exhibited by a series of residues (D211, E217, L219, T383) implicated in DnaJ recognition. The occurrence of coevolving residues at the DnaJ recognition region parallels the behavior recently observed at the nucleotide-exchange-factor recognition region of subdomain IIB. These findings suggest that Hsp70 tends to adapt to co-chaperone recognition and activity via coevolving residues, whereas interdomain allostery, critical to chaperoning, is robustly enabled by conserved interactions. © 2014 General et al

Canonical Derivations with Negative Application Conditions

Using graph transformations to specify the dynamics of distributed systems and networks, we require a precise understanding of concurrency. Negative application conditions (NACs) are an essential means for controlling the application of rules, extending our ability to model complex systems. A classical notion of concurrency in graph transformation is based on shift equivalence and its representation by canonical derivations, i.e., normal forms of the shift operation anticipating independent steps. These concepts are lifted to graph transformation systems with NACs and it is shown that canonical derivations exist for so-called incremental NACs

Compound heterozygosity for lossâ ofâ function GARS variants results in a multisystem developmental syndrome that includes severe growth retardation

Aminoacylâ tRNA synthetases (ARSs) are ubiquitously expressed enzymes that ligate amino acids onto tRNA molecules. Genes encoding ARSs have been implicated in myriad dominant and recessive disease phenotypes. Glycylâ tRNA synthetase (GARS) is a bifunctional ARS that charges tRNAGly in the cytoplasm and mitochondria. GARS variants have been associated with dominant Charcotâ Marieâ Tooth disease but have not been convincingly implicated in recessive phenotypes. Here, we describe a patient from the NIH Undiagnosed Diseases Program with a multisystem, developmental phenotype. Wholeâ exome sequence analysis revealed that the patient is compound heterozygous for one frameshift (p.Glu83Ilefs*6) and one missense (p.Arg310Gln) GARS variant. Using in vitro and in vivo functional studies, we show that both GARS variants cause a lossâ ofâ function effect: the frameshift variant results in depleted protein levels and the missense variant reduces GARS tRNA charging activity. In support of GARS variant pathogenicity, our patient shows striking phenotypic overlap with other patients having ARSâ related recessive diseases, including features associated with variants in both cytoplasmic and mitochondrial ARSs; this observation is consistent with the essential function of GARS in both cellular locations. In summary, our clinical, genetic, and functional analyses expand the phenotypic spectrum associated with GARS variants.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/138288/1/humu23287-sup-0001-text.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/138288/2/humu23287.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/138288/3/humu23287_am.pd

Inferring infection hazard in wildlife populations by linking data across individual and population scales

Our ability to infer unobservable disease-dynamic processes such as force of infection (infection hazard for susceptible hosts) has transformed our understanding of disease transmission mechanisms and capacity to predict disease dynamics. Conventional methods for inferring FOI estimate a time-averaged value and are based on population-level processes. Because many pathogens exhibit epidemic cycling and FOI is the result of processes acting across the scales of individuals and populations, a flexible framework that extends to epidemic dynamics and links within-host processes to FOI is needed. Specifically, within-host antibody kinetics in wildlife hosts can be short-lived and produce patterns that are repeatable across individuals, suggesting individual-level antibody concentrations could be used to infer time since infection and hence FOI. Using simulations and case studies (influenza A in lesser snow geese and Yersinia pestis in coyotes), we argue that with careful experimental and surveillance design, the population-level FOI signal can be recovered from individual-level antibody kinetics, despite substantial individual-level variation. In addition to improving inference, the cross-scale quantitative antibody approach we describe can reveal insights into drivers of individual-based variation in disease response, and the role of poorly understood processes such as secondary infections, in population-level dynamics of disease