7 research outputs found

    B\"uchi VASS recognise w-languages that are Sigma^1_1 - complete

    Full text link
    This short note exhibits an example of a Sigma^1_1-complete language that can be recognised by a one blind counter B\"uchi automaton (or equivalently a B\"uchi VASS with only one place)

    MOESM1 of Statistical prediction of immunity to placental malaria based on multi-assay antibody data for malarial antigens

    Get PDF
    Additional file 1. A heatmap that illustrates the observed antibody levels, along with clustering among antibodies (dendrogram in right) and 1377 patients (dendrogram on top). Below the top dendrogram, the panel with red and blue vertical bars represents malaria infected (in red) and none infected (in blue) subjects. Note that log-transformed antibody levels was used for the ease of visualization

    Additional file 1: of Prevalence of malaria, typhoid, toxoplasmosis and rubella among febrile children in Cameroon

    No full text
    Diagnostic performance of RDTs used for diagnosis of commonly treatable or preventable febrile illnesses in children. Table shows the diagnostic performance of rapid diagnostic tests used for the diagnosis of commonly treatable or preventable febrile illnesses in children as reported by the manufacturer. (DOCX 13 kb

    Additional file 1: of PCR-based detection of Plasmodium falciparum in saliva using mitochondrial cox3 and varATS primers

    No full text
    Table S1. Raw data are provided in the Table. The results have been sorted by parasitemia that was determined by thick-film microscopy. Shaded blocks indicate where a difference between the three PCR assays evaluated was seen. (DOCX 26 kb

    Vliv růstových stimulátorů a vybraných hnojiv na revitalizaci lesních ekosystémů ve stadiu kultur v oblasti skarifikovaných degradací Krušných hor (LS Klášterec n. O.)

    No full text
    On scarification surfaces 7. forest vegetation in the Ore Mts., was founded by research area is 6 fertilizer plots. This area is examined the influence of individual fertilizer on food and grip of Norway spruce (Picea abies Karst./L./). On the individual parcels to fertilising seedlings and higher trees given problems applied pelletized fertilizer Silvamix series (Silvamix R30S, Silvamix R50S promoters and Silvamix Forte), Agluform 90S and organo - stimulatory product Vermaktil Stimul + Cu. Of these variants were individually sampled the youngest needles and once a year at the end of the growing season. In addition, once a year measured the top shoots on the individual variations. To this research area will clearly determine the contribution of fertilizer to promote nutrition and cultures Norway spruce grip
    corecore