1,447,318 research outputs found

    ROSA Analyser: An automatized approach to analyse processes of ROSA

    Full text link
    In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stage, ROSA Analyser is able to generate the Labelled Transition System, according to ROSA Operational Semantics. ROSA Analyser performance starts with the Syntactic Analysis so generating a layered structure, suitable to then, apply the Operational Semantics Transition rules in the easier way. ROSA Analyser is able to recognize some states identities deeper than the Syntactic ones. This is the very first step in the way to reduce the size of the LTS and then to avoid the state explosion problem, so making this task more tractable. For the sake of better illustrating the usefulness of ROSA Analyser, a case study is also provided within this work.Comment: In Proceedings WS-FMDS 2012, arXiv:1207.1841. Formal model's too

    Guest Editorial for a Special Issue of Religions of South Asia: Yoga Darśana, Yoga Sādhana: traditions, transmissions and transformations

    Get PDF
    This special issue of Religions of South Asia is born out of this expanding area of study and collaboration between contemporary practitioners and established academic methods of study. Most of the articles in this volume were first presented at an international ‘Yoga Darśana, Yoga Sādhana’ conference hosted in Kraków, Poland in May 2016. The Krakow conference was initiated by Matylda Ciołkosz and Robert Czyżykowski of the Institute for the Study of Religions, Jagiellonian University and was co-sponsored by the Modern Yoga Research network established by Elizabeth de Michelis, with the help of Mark Singleton and Suzanne Newcombe

    “Red Rosa”: Rosa Luxemburg’s Utopia of Revolution

    Get PDF
    Rosa Luxemburg è stata un outsider sotto molti punti di vista: convinta fautrice dell’internazionalismo nel panorama politico polacco, in cui prevaleva la “questione nazionale” dell’indipendenza e dell’unificazione dei territori polacchi separati, ha polemizzato direttamente col Lenin sul problema della democrazia all’interno del partito e dello Stato comunista; la sua visione politica era i9n netto contrasto con quella del Partito Socialdemocratico Tedesco (SPD) sulla questione dei crediti di guerra; è stata, nella teoria e nella prassi, una sostenitrice dei diritti delle donne. Ma è rimasta un’ebrea senza radici, senza tradizione e senza patria. La morte di Rosa Luxemburg ha segnato la fine di ogni possibilità di una rivoluzione bolscevica in Germania, ma anche la fine di ogni alternativa alla dittatura del partito all’interno del movimento comunista internazionale. Al fallimento politico è seguita la condanna all’oblio. Esiste quasi una conventio ad excludendum nei confronti di Rosa Luxemburg: i polacchi la rifiutano a causa del suo internbazionalismo, gli ebrei a causa della sua freddezza nei confronti della “questione ebraica”, i comunisti perché la considerano “estremista e deviazionista”, i socialdemocratici perché “rivoluzionaria”, i liberali perché la considerano “una terrorista sovversiva e sanguinaria”. Rosa “la rossa”, ebrea senza patria, condizionata dalla sua furia per il suo internazionalismo, è stata vittima della sua stessa euforia, ha tentato di realizzare una rivoluzione politica e sociale, di fondare una repubblica dei consigli dei soldati, degli operai e dei contadini, sbagliando la valutazione delle forze in campo. Ma la sua scelta è stata consapevole e razionale. Una scelta politica e ideale che si pone sulla scia dell’ illuminismo tedesco e della Haskalah. Rosa Luxembur rappresenta una variante radicale degli ebrei assimilate tedeschi, polacchi e russi che hanno tentato di razionalizzare, di far crescere e di “rivoluzionare” la società civile per liberare l’umanità oppressa.Rosa Luxemburg was an outsider in many ways: she vehemently supported internationalism within the Polish political landscape, in which the “national question” of the independence and unification of Polish separated territories prevailed; she argued directly with Lenin about the democracy in the party and in the communist state; her views were in stark contrast to the German Social Democratic party (SPD) on the question of war credits; she was, in theory as well as in practice, a representative of women’s liberation. She remained a Jewess without roots, without tradition and without country. The death of Rosa Luxemburg marked the end of every possibility of Bolshevik revolution in Germany, but also the end of every alternative to the dictatorship of the party within the international communist movement. The political defeat was followed by the condemnation to oblivion. There is almost a conventio ad excludendum against Red Rosa: Poles reject her for her anti-nationalism, Jews because of her indifference to the “Jewish question”, the Communists because they considered her “extremist and deviationist”, the Social Democrats because she was “revolutionary”, the liberals because she was considered a “subversive and bloody terrorist”. Red Rosa, Jewess without homeland, conditioned by the fury of her internationalism, fell victim to her own utopia, she tried to realize a social and political revolution, to build a republic of councils of soldiers, workers, and peasants, missing the valuation of the fighting forces. But her choice was rational and conscious. An ideal and political choice that inherits the tradition of the deutsche Aufklärung and the Haskalah. Rosa Luxemburg represents a radical variant of German, Polish, Russian assimilated Jews who tried to rationalize, to improve, to “revolutionize” civil society to free oppressed humanity

    Anchoring linkage groups of the Rosa genetic map to physical chromosomes with tyramide-FISH and EST-SNP markers

    Get PDF
    In order to anchor Rosa linkage groups to physical chromosomes, a combination of the Tyramide-FISH technology and the modern molecular marker system based on High Resolution Melting (HRM) is an efficient approach. Although, Tyramide-FISH is a very promising technique for the visualization of short DNA probes, it is very challenging for plant species with small chromosomes such as Rosa. In this study, we successfully applied the Tyramide-FISH technique for Rosa and compared different detection systems. An indirect detection system exploiting biotinylated tyramides was shown to be the most suitable technique for reliable signal detection. Three gene fragments with a size of 1100 pb-1700 bp (Phenylalanine Ammonia Lyase, Pyrroline-5-Carboxylate Synthase and Orcinol O-Methyl Transferase) have been physically mapped on chromosomes 7, 4 and 1, respectively, of Rosa wichurana. The signal frequency was between 25% and 40%. HRM markers of these 3 gene fragments were used to include the gene fragments on the existing genetic linkage map of Rosa wichurana. As a result, three linkage groups could be anchored to their physical chromosomes. The information was used to check for synteny between the Rosa chromosomes and Fragaria

    Implementation of ROSA radio occultation data handling into EUMETSAT and GRAS SAF processing

    Get PDF
    Within this contribution, outcomes from a GRAS - SAF Visiting Scientist activity focused on the analysis of ROSA data quality for their use in operational weather forecasting will be described and main results will be shown. The ROSA Radio Occultation instrument has been developed by Thales-Alenia-Space, Italy and was funded by the Italian Space Agency (ASI). Such instrument is actually flying on-board three opportunity missions: the Indian OCEANSAT-2, the Argentinean SAC-D and the Indian-French MEGATROPIQUES. Focus of this Visiting Scientist activity has primarily been the analysis of ROSA data from OCEANSAT-2.This activity was divided into two parts. In the first one, performed at EUMETSAT, ROSA data processing was implemented into the EUMETSAT YAROS processor. The required updates into such processing package were implemented in order to make it able to properly manage also ROSA raw observations. It has to be noted that this processor is the baseline for the operational next generation EUMETSAT Radio Occultation ground segment: any changes performed in the framework of YAROS can easily be transferred to the operational ground segment. The YAROS - EUMETSAT processor was then updated and adapted to work with the ROSA raw data, tracking frequencies and instrument database. Adaptation to open loop data, navigation bits acquisition and potentially ionospheric measurement will be performed in the next future. NetCDF-4 YAROS output files are phases, amplitudes, bending angles over impact parameter, along with all other required data. Robust bias and standard deviation of bending angles to ECMWF collocated data were the statistical indicators generated to evaluate the quality of the ROSA observations. The second part of the activity was the adaptation of the GRAS-SAF ROPP (Radio Occultation Processing Package) processor for ROSA data processing. This second part was performed at Danish Meteorological Institute and has been focused on bending angles, refractivity and higher level product generation and validation against ECMWF and co-located occultation profiles. For the first time, one month of ROSA data have been deeply analyzed by a state-of-the-art Radio Occultation processing software and results will be described in the framework of this contributio

    High resolution physical mapping of single gene fragments on pachytene chromosome 4 and 7 of Rosa

    Get PDF
    Background: Rosaceae is a family containing many economically important fruit and ornamental species. Although fluorescence in situ hybridization (FISH)-based physical mapping of plant genomes is a valuable tool for map-based cloning, comparative genomics and evolutionary studies, no studies using high resolution physical mapping have been performed in this family. Previously we proved that physical mapping of single-copy genes as small as 1.1 kb is possible on mitotic metaphase chromosomes of Rosa wichurana using Tyramide-FISH. In this study we aimed to further improve the physical map of Rosa wichurana by applying high resolution FISH to pachytene chromosomes. Results: Using high resolution Tyramide-FISH and multicolor Tyramide-FISH, 7 genes (1.7-3 kb) were successfully mapped on pachytene chromosomes 4 and 7 of Rosa wichurana. Additionally, by using multicolor Tyramide-FISH three closely located genes were simultaneously visualized on chromosome 7. A detailed map of heterochromatine/euchromatine patterns of chromosome 4 and 7 was developed with indication of the physical position of these 7 genes. Comparison of the gene order between Rosa wichurana and Fragaria vesca revealed a poor collinearity for chromosome 7, but a perfect collinearity for chromosome 4. Conclusions: High resolution physical mapping of short probes on pachytene chromosomes of Rosa wichurana was successfully performed for the first time. Application of Tyramide-FISH on pachytene chromosomes allowed the mapping resolution to be increased up to 20 times compared to mitotic metaphase chromosomes. High resolution Tyramide-FISH and multicolor Tyramide-FISH might become useful tools for further physical mapping of single-copy genes and for the integration of physical and genetic maps of Rosa wichurana and other members of the Rosaceae

    Discovery of non-climacteric and suppressed climacteric bud sport mutations originating from a climacteric Japanese plum cultivar (Prunus salicina Lindl.).

    Get PDF
    Japanese plums are classified as climacteric; however, some economically important cultivars selected in California produce very little ethylene and require long ripening both "on" and "off" the tree to reach eating-ripe firmness. To unravel the ripening behavior of different Japanese plum cultivars, ripening was examined in the absence (air) or in the presence of ethylene or propylene (an ethylene analog) following a treatment or not with 1-methylcyclopropene (1-MCP, an ethylene action inhibitor). Detailed physiological studies revealed for the first time three distinct ripening types in plum fruit: climacteric, suppressed-climacteric, and non-climacteric. Responding to exogenous ethylene or propylene, the slow-softening supressed-climacteric cultivars produced detectable amounts of ethylene, in contrast to the novel non-climacteric cultivar that produced no ethylene and softened extremely slowly. Genetic analysis using microsatellite markers produced identical DNA profiles for the climacteric cultivars "Santa Rosa" and "July Santa Rosa," the suppressed-climacteric cultivars "Late Santa Rosa," "Casselman," and "Roysum" and the novel non-climacteric "Sweet Miriam," as expected since historic records present most of these cultivars as bud-sport mutations derived initially from "Santa Rosa." This present study provides a novel fruit system to address the molecular basis of ripening and to develop markers that assist breeders in providing high-quality stone fruit cultivars that can remain "on-tree," increasing fruit flavor, saving harvesting costs, and potentially reducing the need for low-temperature storage during postharvest handling

    Profiles of Jesus

    Get PDF
    Title: Profiles of Jesus. Profiles of Jesus 256 p. Publisher: Santa Rosa, Calif : Polebridge Press, 2002
    corecore