Definitions of basic terms relating to polymer liquid crystals (IUPAC Recommendations 2001)

The document first gives definitions of basic terms related to liquid-crystalline and mesomorphic states of matter and then terms specific to the classification of liquid-crystal polymers. The terms have been restricted to those most commonly encountered in the structural description of the latter class of materials. The terms have been selected from the recently published comprehensive document "Definitions of basic terms relating to low-molar-mass and polymer liquid crystals" [Pure and Applied Chemistry 73 (5), 845-895 (2001)] and are intended to form a readily usable guide for the reader interested in the structural description of polymer liquid crystals. The more comprehensive document should be used for terminology associated with types of mesophases and the optical and physical characteristics of liquid-crystalline materials. The advice given by representatives of the International Liquid Crystal Society for the preparation of this document is gratefully acknowledged.Fil:Barón, M. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

Automata for true concurrency properties

We present an automata-theoretic framework for the model checking of true concurrency properties. These are specified in a fixpoint logic, corresponding to history-preserving bisimilarity, capable of describing events in computations and their dependencies. The models of the logic are event structures or any formalism which can be given a causal semantics, like Petri nets. Given a formula and an event structure satisfying suitable regularity conditions we show how to construct a parity tree automaton whose language is non-empty if and only if the event structure satisfies the formula. The automaton, due to the nature of event structure models, is usually infinite. We discuss how it can be quotiented to an equivalent finite automaton, where emptiness can be checked effectively. In order to show the applicability of the approach, we discuss how it instantiates to finite safe Petri nets. As a proof of concept we provide a model checking tool implementing the technique

MCMAS: an open-source model checker for the verification of multi-agent systems

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent systems against specifications representing temporal, epistemic and strategic properties. We present the underlying semantics of the specification language supported and the algorithms implemented in MCMAS, including its fairness and counterexample generation features. We provide a detailed description of the implementation. We illustrate its use by discussing a number of examples and evaluate its performance by comparing it against other model checkers for multi-agent systems on a common case study

Marker-free image registration of electron tomography tilt-series

<p>Abstract</p> <p>Background</p> <p>Tilt series are commonly used in electron tomography as a means of collecting three-dimensional information from two-dimensional projections. A common problem encountered is the projection alignment prior to 3D reconstruction. Current alignment techniques usually employ gold particles or image derived markers to correctly align the images. When these markers are not present, correlation between adjacent views is used to align them. However, sequential pairwise correlation is prone to bias and the resulting alignment is not always optimal.</p> <p>Results</p> <p>In this paper we introduce an algorithm to find regions of the tilt series which can be tracked within a subseries of the tilt series. These regions act as landmarks allowing the determination of the alignment parameters. We show our results with synthetic data as well as experimental cryo electron tomography.</p> <p>Conclusion</p> <p>Our algorithm is able to correctly align a single-tilt tomographic series without the help of fiducial markers thanks to the detection of thousands of small image patches that can be tracked over a short number of images in the series.</p

Labeled EF-Tus for rapid kinetic studies of pretranslocation complex formation

The universally conserved translation elongation factor EF-Tu delivers aminoacyl(aa)-tRNA in the form of an aa-tRNA·EF-Tu·GTP ternary complex (TC) to the ribosome where it binds to the cognate mRNA codon within the ribosomal A-site, leading to formation of a pretranslocation (PRE) complex. Here we describe preparation of QSY9 and Cy5 derivatives of the variant E348C-EF-Tu that are functional in translation elongation. Together with fluorophore derivatives of aa-tRNA and of ribosomal protein L11, located within the GTPase associated center (GAC), these labeled EF-Tus allow development of two new FRET assays that permit the dynamics of distance changes between EF-Tu and both L11 (Tu-L11 assay) and aa-tRNA (Tu-tRNA assay) to be determined during the decoding process. We use these assays to examine: (i) the relative rates of EF-Tu movement away from the GAC and from aa-tRNA during decoding, (ii) the effects of the misreading-inducing antibiotics streptomycin and paromomycin on tRNA selection at the A-site, and (iii) how strengthening the binding of aa-tRNA to EF-Tu affects the rate of EF-Tu movement away from L11 on the ribosome. These FRET assays have the potential to be adapted for high throughput screening of ribosomal antibiotics

Structure of the pre-60S ribosomal subunit with nuclear export factor Arx1 bound at the exit tunnel

Pre-ribosomal particles evolve in the nucleus through transient interaction with biogenesis factors, before export to the cytoplasm. Here, we report the architecture of the late pre-60S particle purified from Saccharomyces cerevisiae through Arx1, a nuclear export factor with structural homology to methionine aminopeptidases, or its binding partner Alb1. Cryo-electron microscopy reconstruction of the Arx1-particle at 11.9 Å resolution reveals regions of extra densities on the pre-60S particle attributed to associated biogenesis factors, confirming the immature state of the nascent subunit. One of these densities could be unambiguously assigned to Arx1. Immuno-electron microscopy and UV cross-linking localize Arx1 close to the ribosomal exit tunnel in direct contact with ES27, a highly dynamic eukaryotic rRNA expansion segment. The binding of Arx1 at the exit tunnel may position this export factor to prevent premature recruitment of ribosome-associated factors active during translation

Complete Structural Model of Escherichia coli RNA Polymerase from a Hybrid Approach

A combination of structural approaches yields a complete atomic model of the highly biochemically characterized Escherichia coli RNA polymerase, enabling fuller exploitation of E. coli as a model for understanding transcription