406,438 research outputs found

    Almost Linear B\"uchi Automata

    Full text link
    We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two formalisms are expressively equivalent. While standard translations of LTL into BA use some intermediate formalisms, the presented translation of LIO into ALBA is direct. As we expect applications of ALBA in model checking, we compare the expressiveness of ALBA with other classes of Buechi automata studied in this context and we indicate possible applications

    Cultural contacts and ethnic origins in Viking Age Wales and northern Britain: the case of Albanus, Britain's first inhabitant and Scottish ancestor

    Get PDF
    Albanus, an eponymous ancestor for the kingdom of Alba, provides an example of the extent to which the creation of an ethnic identity was accompanied by new ideas about origins, which replaced previous accounts. Through an analysis of the Historia Brittonum’s textual tradition and Welsh knowledge of early Roman history and medieval ethnic groups, this article establishes that Albanus was added to the Historia Brittonum in the late ninth or early tenth century as an ancestral figure for the new kingdom of Alba in northern Britain. This was potentially a result of shared political situations in Gwynedd, Alba (formerly Pictland) and Strathclyde in relation to Scandinavian power at this time, which encouraged contacts and the spread of Alba-based ideology to Gwynedd. The later development of this idea and its significance in Alba itself, Geoffrey of Monmouth's account and English claims to supremacy over Scotland are also traced

    Dimer-dimer stacking interactions are important for nucleic acid binding by the archaeal chromatin protein Alba

    Get PDF
    Archaea use a variety of small basic proteins to package their DNA. One of the most widespread and highly conserved is the Alba (Sso10b) protein. Alba interacts with both DNA and RNA in vitro, and we show in the present study that it binds more tightly to dsDNA (double-stranded DNA) than to either ssDNA (single-stranded DNA) or RNA. The Alba protein is dimeric in solution, and forms distinct ordered complexes with DNA that have been visualized by electron microscopy studies; these studies suggest that, on binding dsDNA, the protein forms extended helical protein fibres. An end-to-end association of consecutive Alba dimers is suggested by the presence of a dimer-dimer interface in crystal structures of Alba from several species, and by the strong conservation of the interface residues, centred on Are and Phe(60). In the present study we map perturbation of the polypeptide backbone of Alba upon binding to DNA and RNA by NMR, and demonstrate the central role of Phe(60) in forming the dimer dimer interface. Site-directed spin labelling and pulsed ESR are used to confirm that an end-to-end, dimer dimer interaction forms in the presence of dsDNA.Publisher PDFPeer reviewe

    Congener Host Selection by the Pre-Dispersal Seed Predator, \u3ci\u3eApion Rostrum\u3c/i\u3e (Coleoptera: Apionidae)

    Get PDF
    Apion rostrum Say (Coleoptera: Apionidae) is the major seed predator of the wild indigo congeners, Baptisia alba and B. bracteata in the Russell Kirt Tallgrass Prairie, a reconstructed prairie located at College of DuPage, Illinois. This study, conducted during 2006, investigated factors attracting A. rostrum to each congener. The two Baptisia differ in developmental period, stature, and patterns of dispersion. B. bracteata flowers and initiates pods usually along a single raceme during late spring, and is a shorter plant that grows in clusters. In contrast, B. alba flowers and initiates pods beginning a month after B. bracteata, produces a tall central raceme with often several satellite racemes, and does not grow in dense clusters. Mating and ovipositing A. rostrum were observed on B. bracteata during the first half of June, and with greater abundance on B. alba from early June through mid July. Results of stepwise multiple regression showed a positive relationship of weevil counts per plant to raceme counts per cluster for B. bracteata and to inflated pod counts per plant for B. alba. The developmental synchrony between A. rostrum and pods of B. alba is evidence of a closer evolutionary relationship than the seed predator has with B. bracteata. This can explain the greater number of reproductive weevils seen on B. alba as well as the higher levels of pod infestations

    ALBA Synchrotron Light Source

    Get PDF
    ALBA synchrotron light source (www.cells.es) is the largest Spanish research infrastructure that started full operation of its first 7 beamlines on February 2013. I will divide the talk in three parts: i) the general description of the facility; ii) the seven bealines and current ALBA usage; and iii) the future ALBA beamlines and possibilities for collaboration. Two beamlines (phase-II) are under construction and six proposals for new beamlines (phase-III) have been positively evaluated by ALBA-SAC (Scientific Advisory Committee). I will start with a very brief description of the facility including the construction costs, staff structure and general parameters. Then, I will briefly describe our three accelerators: LINAC, booster and the store ring. Some characteristic parameters will be described. To finish this part, I will touch the three main magnetic technologies to produce X-rays from the ALBA electron beam. Secondly, I will concisely describe the seven beamlines with their main application fields. A photography of our experimental hall with a Table displaying the seven current beamlines is shown just below. The ways to use ALBA including the call-for-proposals will be described. The proposals (both national and internationals) are judged by an international panel on the basis of scientific excellence. Thirdly, I will briefly explain the current phase II with the construction of two beamlines, infrared microspectroscopy and angular-resolved photoemission. Finally, I will then present the plans for the phase-III beamlines as well as examples of ways to collaborate with ALBA synchrotron.Universidad de MĂĄlaga. Campus de Excelencia Internacional AndalucĂ­a Tech

    Synchrotron Radiation and ALBA Facility

    Get PDF
    ALBA synchrotron light source (www.cells.es) is the largest Spanish research infrastructure that started full operation of its first 7 beamlines on February 2013. I will divide the talk in three parts: i) the general description of the facility; ii) the eight beamlines currently operating at ALBA; and iii) the three beamlines which are under design/construction. I will start with a very brief description of the facility including the construction costs, staff structure and general parameters. Then, I will briefly describe our three accelerators: LINAC, booster and the store ring. Some characteristic parameters will be described. To finish this part, I will touch the three main magnetic technologies to produce X-rays from the ALBA electron beam. Secondly, I will concisely describe the eight beamlines with their main application fields. A photography of our experimental hall with a Table displaying the current beamlines is shown just below. The ways to use ALBA including the call-for-proposals will be described. The proposals (both national and internationals) are judged by an international panel on the basis of scientific excellence. Finally, I will briefly explain the current construction stage of the new beamlines.Universidad de MĂĄlaga. Campus de Excelencia Internacional AndalucĂ­a Tech

    STUDY REGARDING THE PERCEPTION OF THE CSR CONCEPT AMONG THE ALBA IULIA ENTERPRISES

    Get PDF
    Although several years ago people rejected the idea of corporate responsibility, todayCSR is a concept directly related to sustainable development, competitive companies, to modernfirms. But unfortunately, in Romania companies still have several years to catch the Europeanmodern enterprises from the member states. The aim of this article is to emphasize the fact that the majority of the firms from Alba Iuliastill do not know what CSR concept mean. In order to demonstrate that we applied a CSRquestionnaire on 111 firms from Alba Iulia and analyzed their answers.corporate social responsibility, Alba Iulia enterprises, sustainable development
    • 

    corecore