361 research outputs found

    Alternating Tree Automata with Qualitative Semantics

    Get PDF
    We study alternating automata with qualitative semantics over infinite binary trees: Alternation means that two opposing players construct a decoration of the input tree called a run, and the qualitative semantics says that a run of the automaton is accepting if almost all branches of the run are accepting. In this article, we prove a positive and a negative result for the emptiness problem of alternating automata with qualitative semantics. The positive result is the decidability of the emptiness problem for the case of BĂŒchi acceptance condition. An interesting aspect of our approach is that we do not extend the classical solution for solving the emptiness problem of alternating automata, which first constructs an equivalent non-deterministic automaton. Instead, we directly construct an emptiness game making use of imperfect information. The negative result is the undecidability of the emptiness problem for the case of co-BĂŒchi acceptance condition. This result has two direct consequences: The undecidability of monadic second-order logic extended with the qualitative path-measure quantifier and the undecidability of the emptiness problem for alternating tree automata with non-zero semantics, a recently introduced probabilistic model of alternating tree automata

    Considerations for the design and conduct of human gut microbiota intervention studies relating to foods

    Get PDF
    With the growing appreciation for the influence of the intestinal microbiota on human health, there is increasing motivation to design and refine interventions to promote favorable shifts in the microbiota and their interactions with the host. Technological advances have improved our understanding and ability to measure this indigenous population and the impact of such interventions. However, the rapid growth and evolution of the field, as well as the diversity of methods used, parameters measured and populations studied, make it difficult to interpret the significance of the findings and translate their outcomes to the wider population. This can prevent comparisons across studies and hinder the drawing of appropriate conclusions. This review outlines considerations to facilitate the design, implementation and interpretation of human gut microbiota intervention studies relating to foods based upon our current understanding of the intestinal microbiota, its functionality and interactions with the human host. This includes parameters associated with study design, eligibility criteria, statistical considerations, characterization of products and the measurement of compliance. Methodologies and markers to assess compositional and functional changes in the microbiota, following interventions are discussed in addition to approaches to assess changes in microbiota–host interactions and host responses. Last, EU legislative aspects in relation to foods and health claims are presented. While it is appreciated that the field of gastrointestinal microbiology is rapidly evolving, such guidance will assist in the design and interpretation of human gut microbiota interventional studies relating to foods

    Numerical simulation of strongly nonlinear and dispersive waves using a Green-Naghdi model

    Full text link
    We investigate here the ability of a Green-Naghdi model to reproduce strongly nonlinear and dispersive wave propagation. We test in particular the behavior of the new hybrid finite-volume and finite-difference splitting approach recently developed by the authors and collaborators on the challenging benchmark of waves propagating over a submerged bar. Such a configuration requires a model with very good dispersive properties, because of the high-order harmonics generated by topography-induced nonlinear interactions. We thus depart from the aforementioned work and choose to use a new Green-Naghdi system with improved frequency dispersion characteristics. The absence of dry areas also allows us to improve the treatment of the hyperbolic part of the equations. This leads to very satisfying results for the demanding benchmarks under consideration

    Clinical relevance of genetic instability in prostatic cells obtained by prostatic massage in early prostate cancer

    Get PDF
    We investigated whether genetic lesions such as loss of heterozygosity (LOH) are detected in prostatic cells obtained by prostatic massage during early diagnosis of prostate cancer (CaP) and discussed their clinical relevance. Blood and first urine voided after prostatic massage were collected in 99 patients with total prostate-specific antigen (PSA) between 4 and 10 ng ml−1, prior to prostate biopsies. Presence of prostatic cells was confirmed by quantitative RT–PCR analysis of PSA mRNA. Genomic DNA was analysed for LOH on six chromosomal regions. One or more allelic deletions were found in prostatic fluid from 57 patients analysed, of whom 33 (58%) had CaP. Sensitivity and specificity of LOH detection and PSA free to total ratio <15% for positive biopsy were respectively 86.7 and 44% (P=0.002) for LOH, and 55 and 74% (P=0.006) for PSA ratio <15%. Analysis of LOH obtained from prostatic tumours revealed similar patterns compared to prostatic fluid cells in 86% of cases, confirming its accuracy. The presence of LOH of urinary prostatic cells obtained after prostatic massage is significantly associated with CaP on biopsy and may potentially help to identify a set of patients who are candidates for further prostate biopsies

    Intercalibration of the barrel electromagnetic calorimeter of the CMS experiment at start-up

    Get PDF
    Calibration of the relative response of the individual channels of the barrel electromagnetic calorimeter of the CMS detector was accomplished, before installation, with cosmic ray muons and test beams. One fourth of the calorimeter was exposed to a beam of high energy electrons and the relative calibration of the channels, the intercalibration, was found to be reproducible to a precision of about 0.3%. Additionally, data were collected with cosmic rays for the entire ECAL barrel during the commissioning phase. By comparing the intercalibration constants obtained with the electron beam data with those from the cosmic ray data, it is demonstrated that the latter provide an intercalibration precision of 1.5% over most of the barrel ECAL. The best intercalibration precision is expected to come from the analysis of events collected in situ during the LHC operation. Using data collected with both electrons and pion beams, several aspects of the intercalibration procedures based on electrons or neutral pions were investigated

    They are not all same: variations in Asian consumers' value perceptions of luxury brands

    Get PDF
    Asian markets are steadily becoming key growth regions for luxury brands. However, despite the growth, many luxury brand firms are unable to obtain the desired economic returns through their marketing strategies in Asia. Often these firms treat consumers across Asian markets as homogenous groups, which could lead to inaccurate luxury brand management strategy. Additionally, there is limited understanding of consumer value perceptions toward luxury brands across the Asian markets. Employing impression management theory and the horizontal/vertical collectivistic cultural distinctions, this study examines differences and similarities in constituent luxury value perceptions across three prominent Asian markets, namely China, India, and Indonesia. The results of a quantitative survey conducted with 626 real luxury consumers in these three countries identify variations in perceptions of symbolic, experiential, and functional value of luxury brands. The study contributes to knowledge on constituent luxury value perceptions, along with providing theoretical explanations for the differences between consumers across Asian markets. With the emerging novel insights on Asian consumers, luxury brand firms can align their marketing strategies to respective markets by leveraging the similarities and differences in consumer value perceptions. This approach, informed by empirical evidence, will enhance luxury brands’ competitiveness and profit opportunities in the high-growth Asian markets. The study identifies a number of future research directions

    Elongation, rooting and acclimatization of micropropagated shoots from mature material of hybrid larch

    Get PDF
    Factors were defined for elongation, rooting and acclimatization of micropropagated shoots of Larix x eurolepis Henry initiated from short shoot buds of plagiotropic stecklings serially propagated for 9 years from an 8-year-old tree. Initiation and multiplication were on Schenk and Hildebrandt (SH) medium supplemented with 5 ÎŒM 6-benzyladenine (BA) and 1 ÎŒM indole-butyric acid (IBA). Stem elongation was obtained in 36% of the shoots on SH medium containing 0.5 ÎŒM BA and 63% of the remaining non-elongated shoots initiated stem elongation after transfer on SH medium devoid of growth regulators. Rooting involved 2 steps: root induction on Campbell and Durzan mineral salts and Murashige and Skoog organic elements, both half-strength (CD-MS/2), supplemented with 1 ÎŒM of both naphthaleneacetic acid (NAA) and IBA, and root elongation following transfer to CD-MS/2 medium devoid of growth regulators. Repeating this 2-step sequence yielded up to 67% rooted shoots. Acclimatization of plantlets ranged from 83% to 100%. Over 300 plants were transferred to the greenhouse; some showed plagiotropic growth
    • 

    corecore