129 research outputs found

    On the Hierarchy of Block Deterministic Languages

    Full text link
    A regular language is kk-lookahead deterministic (resp. kk-block deterministic) if it is specified by a kk-lookahead deterministic (resp. kk-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood (kk-lookahead determinism) and by Giammarresi et al. (kk-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each kk-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a kk-block deterministic regular language to a kk-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in kk-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in kk-block deterministic regular languages. We also prove that there is a proper hierarchy in kk-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of kk-block deterministic regular languages is strictly included into the one of kk-lookahead deterministic regular languages by showing that any kk-block deterministic unary language is one-unambiguous

    Balancing scientific interests and the rights of participants in designing a recall by genotype study

    Get PDF
    Recall by genotype (RbG) studies aim to better understand the phenotypes that correspond to genetic variants of interest, by recruiting carriers of such variants for further phenotyping. RbG approaches pose major ethical and legal challenges related to the disclosure of possibly unwanted genetic information. The Cooperative Health Research in South Tyrol (CHRIS) study is a longitudinal cohort study based in South Tyrol, Italy. Demand has grown for CHRIS study participants to be enrolled in RbG studies, thus making the design of a suitable ethical framework a pressing need. We here report upon the design of a pilot RbG study conducted with CHRIS study participants. By reviewing the literature and by consulting relevant stakeholders (CHRIS participants, clinical geneticists, ethics board, GPs), we identified key ethical issues in RbG approaches (e.g. complexity of the context, communication of genetic results, measures to further protect participants). The design of the pilot was based on a feasibility assessment, the selection of a suitable test case within the ProtectMove Research Unit on reduced penetrance of hereditary movement disorders, and the development of appropriate recruitment and communication strategies. An empirical study was embedded in the pilot study with the aim of understanding participants’ views on RbG. Our experience with the pilot study in CHRIS allowed us to contribute to the development of best practices and policies for RbG studies by drawing recommendations: addressing the possibility of RbG in the original consent, implementing tailored communication strategies, engaging stakeholders, designing embedded empirical studies, and sharing research experiences and methodology

    Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata

    Get PDF
    International audienceWe study the problem of whether regular expressions for nested words can be compiled to small deterministic nested word au-tomata (NWAs). In theory, we obtain a positive answer for small deter-ministic regular expressions for nested words. In practice of navigational path queries, nondeterministic NWAs are obtained for which NWA de-terminization explodes. We show that practical good solutions can be obtained by using stepwise hedge automata as intermediates

    Position Automaton Construction for Regular Expressions with Intersection

    Get PDF
    Positions and derivatives are two essential notions in the conversion methods from regular expressions to equivalent finite automata. Partial derivative based methods have recently been extended to regular expressions with intersection. In this paper, we present a position automaton construction for those expressions. This construction generalizes the notion of position making it compatible with intersection. The resulting automaton is homogeneous and has the partial derivative automaton as its quotient

    The Solution Structures of Two Human IgG1 Antibodies Show Conformational Stability and Accommodate Their C1q and FcγR Ligands.

    Get PDF
    The human IgG1 antibody subclass shows distinct properties compared with the IgG2, IgG3, and IgG4 subclasses and is the most exploited subclass in therapeutic antibodies. It is the most abundant subclass, has a half-life as long as that of IgG2 and IgG4, binds the FcγR receptor, and activates complement. There is limited structural information on full-length human IgG1 because of the challenges of crystallization. To rectify this, we have studied the solution structures of two human IgG1 6a and 19a monoclonal antibodies in different buffers at different temperatures. Analytical ultracentrifugation showed that both antibodies were predominantly monomeric, with sedimentation coefficients s20,w (0) of 6.3-6.4 S. Only a minor dimer peak was observed, and the amount was not dependent on buffer conditions. Solution scattering showed that the x-ray radius of gyration Rg increased with salt concentration, whereas the neutron Rg values remained unchanged with temperature. The x-ray and neutron distance distribution curves P(r) revealed two peaks, M1 and M2, whose positions were unchanged in different buffers to indicate conformational stability. Constrained atomistic scattering modeling revealed predominantly asymmetric solution structures for both antibodies with extended hinge structures. Both structures were similar to the only known crystal structure of full-length human IgG1. The Fab conformations in both structures were suitably positioned to permit the Fc region to bind readily to its FcγR and C1q ligands without steric clashes, unlike human IgG4. Our molecular models for human IgG1 explain its immune activities, and we discuss its stability and function for therapeutic applications

    Radio emission of highly inclined cosmic ray air showers measured with LOPES

    Get PDF
    LOPES-10 (the first phase of LOPES, consisting of 10 antennas) detected a significant number of cosmic ray air showers with a zenith angle larger than 50^{\circ}, and many of these have very high radio field strengths. The most inclined event that has been detected with LOPES-10 has a zenith angle of almost 80^{\circ}. This is proof that the new technique is also applicable for cosmic ray air showers with high inclinations, which in the case that they are initiated close to the ground, can be a signature of neutrino events.Our results indicate that arrays of simple radio antennas can be used for the detection of highly inclined air showers, which might be triggered by neutrinos. In addition, we found that the radio pulse height (normalized with the muon number) for highly inclined events increases with the geomagnetic angle, which confirms the geomagnetic origin of radio emission in cosmic ray air showers.Comment: A&A accepte

    Results from the KASCADE, KASCADE-Grande, and LOPES experiments

    Get PDF
    The origin of high-energy cosmic rays in the energy range from 10^14 to 10^18 eV is explored with the KASCADE and KASCADE-Grande experiments. Radio signals from air showers are measured with the LOPES experiment. An overview on results is given.Comment: Talk at The ninth International Conference on Topics in Astroparticle and Underground Physics, TAUP 2005, Zaragoza, September 10-14, 200

    Balancing scientific interests and the rights of participants in designing a recall by genotype study

    Get PDF
    Recall by genotype (RbG) studies aim to better understand the phenotypes that correspond to genetic variants of interest, by recruiting carriers of such variants for further phenotyping. RbG approaches pose major ethical and legal challenges related to the disclosure of possibly unwanted genetic information. The Cooperative Health Research in South Tyrol (CHRIS) study is a longitudinal cohort study based in South Tyrol, Italy. Demand has grown for CHRIS study participants to be enrolled in RbG studies, thus making the design of a suitable ethical framework a pressing need. We here report upon the design of a pilot RbG study conducted with CHRIS study participants. By reviewing the literature and by consulting relevant stakeholders (CHRIS participants, clinical geneticists, ethics board, GPs), we identified key ethical issues in RbG approaches (e.g. complexity of the context, communication of genetic results, measures to further protect participants). The design of the pilot was based on a feasibility assessment, the selection of a suitable test case within the ProtectMove Research Unit on reduced penetrance of hereditary movement disorders, and the development of appropriate recruitment and communication strategies. An empirical study was embedded in the pilot study with the aim of understanding participants’ views on RbG. Our experience with the pilot study in CHRIS allowed us to contribute to the development of best practices and policies for RbG studies by drawing recommendations: addressing the possibility of RbG in the original consent, implementing tailored communication strategies, engaging stakeholders, designing embedded empirical studies, and sharing research experiences and methodology

    LIPAD (LRRK2/Luebeck International Parkinson's Disease) Study Protocol:Deep Phenotyping of an International Genetic Cohort

    Get PDF
    Background: Pathogenic variants in the Leucine-rich repeat kinase 2 (LRRK2) gene are the most common known monogenic cause of Parkinson's disease (PD). LRRK2-linked PD is clinically indistinguishable from idiopathic PD and inherited in an autosomal dominant fashion with reduced penetrance and variable expressivity that differ across ethnicities and geographic regions.Objective: To systematically assess clinical signs and symptoms including non-motor features, comorbidities, medication and environmental factors in PD patients, unaffected LRRK2 pathogenic variant carriers, and controls. A further focus is to enable the investigation of modifiers of penetrance and expressivity of LRRK2 pathogenic variants using genetic and environmental data.Methods: Eligible participants are invited for a personal or online examination which comprises completion of a detailed eCRF and collection of blood samples (to obtain DNA, RNA, serum/plasma, immune cells), urine as well as household dust. We plan to enroll 1,000 participants internationally: 300 with LRRK2-linked PD, 200 with LRRK2 pathogenic variants but without PD, 100 PD patients with pathogenic variants in the GBA or PRKN genes, 200 patients with idiopathic PD, and 200 healthy persons without pathogenic variants.Results: The eCRF consists of an investigator-rated (1 h) and a self-rated (1.5 h) part. The first part includes the Movement Disorder Society Unified Parkinson's Disease Rating, Hoehn &Yahr, and Schwab & England Scales, the Brief Smell Identification Test, and Montreal Cognitive Assessment. The self-rating part consists of a PD risk factor, food frequency, autonomic dysfunction, and quality of life questionnaires, the Pittsburgh Sleep Quality Inventory, and the Epworth Sleepiness as well as the Hospital Anxiety and Depression Scales. The first 15 centers have been initiated and the first 150 participants enrolled (as of March 25th, 2021).Conclusions: LIPAD is a large-scale international scientific effort focusing on deep phenotyping of LRRK2-linked PD and healthy pathogenic variant carriers, including the comparison with additional relatively frequent genetic forms of PD, with a future perspective to identify genetic and environmental modifiers of penetrance and expressivityClinical Trial Registration:ClinicalTrials.gov, NCT04214509
    corecore