5,424 research outputs found

    Assembly of the precursor and processed light-harvesting chlorophyll a/b protein of Lemna into the light-harvesting complex II of barley etiochloroplasts.

    Get PDF
    When the in vitro synthesized precursor of a light-harvesting chlorophyll a/b binding protein (LHCP) from Lemna gibba is imported into barley etiochloroplasts, it is processed to a single form. Both the processed form and the precursor are found in the thylakoid membranes, assembled into the light-harvesting complex of photosystem II. Neither form can be detected in the stromal fraction. The relative amounts of precursor and processed forms observed in the thylakoids are dependent on the developmental stage of the plastids used for uptake. The precursor as well as the processed form can also be detected in thylakoids of greening maize plastids used in similar uptake experiments. This detection of a precursor in the thylakoids, which has not been previously reported, could be a result of using rapidly developing plastids and/or using an heterologous system. Our results demonstrate that the extent of processing of LHCP precursor is not a prerequisite for its inclusion in the complex. They are also consistent with the possibility that the processing step can occur after insertion of the protein into the thylakoid membrane

    Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

    Full text link
    For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in contrast to pure PDL. For regular, visibly pushdown and deterministic context-free languages, the separation of the respective PDLs can be proven by automata-theoretic techniques. However, these techniques introduce non-determinism on the automata side. As non-determinism is also the difference between DCFL and CFL, these techniques seem to be inappropriate to separate PDL[DCFL] from PDL[CFL]. Nevertheless, this separation is shown but for programs without test operators.Comment: In Proceedings GandALF 2011, arXiv:1106.081

    Non-Holonomic Control IV : Coherence Protection in a Rubidium isotope

    Full text link
    In this paper, we present a realistic application of the coherence protection method proposed in the previous article. A qubit of information encoded on the two spin states of a Rubidium isotope is protected from the action of electric and magnetic fields

    Non-Holonomic Control I

    Full text link
    In this paper, we present a universal control technique, the non-holonomic control, which allows us to impose any arbitrarily prescribed unitary evolution to any quantum system through the alternate application of two well-chosen perturbations

    Student perspectives on the relationship between a curve and its tangent in the transition from Euclidean Geometry to Analysis

    Get PDF
    The tangent line is a central concept in many mathematics and science courses. In this paper we describe a model of students’ thinking – concept images as well as ability in symbolic manipulation – about the tangent line of a curve as it has developed through students’ experiences in Euclidean Geometry and Analysis courses. Data was collected through a questionnaire administered to 196 Year 12 students. Through Latent Class Analysis, the participants were classified in three hierarchical groups representing the transition from a Geometrical Global perspective on the tangent line to an Analytical Local perspective. In the light of this classification, and through qualitative explanations of the students’ responses, we describe students’ thinking about tangents in terms of seven factors. We confirm the model constituted by these seven factors through Confirmatory Factor Analysis

    From Interaction Overview Diagrams to Temporal Logic

    Get PDF
    In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly, intuitive, modeling notation that is well-suited for the design of complex, heterogeneous, embedded systems developed by domain experts with little background on modeling software-based systems. To allow designers to precisely analyze models written with this notation, we provide (part of) it with a formal semantics based on temporal logic, upon which a fully automated, tool supported, verification technique is built. The modeling and verification technique is presented and discussed through the aid of an example system
    • …
    corecore