27 research outputs found

    Les enjeux pour Israël de la Conférence internationale sur l’eau au Proche-Orient

    Get PDF
    Le 12 mai 1992 s'ouvrait à Vienne, en présence de 130 experts et diplomates représentant 38 pays et organisations, la conférence internationale sur l'eau au Proche-Orient, ceci dans le cadre des négociations multilatérales israélo-arabes co-parrainées par les États-Unis et l'ex-Union soviétique. Cette conférence visait à jeter les bases d'une coopération dans un domaine constituant l'une des principales sources de tension dans la région et qui pourrait devenir, dans le futur, un des facteurs ..

    Combination of nitrate (N, O) and boron isotopic ratios with microbiological indicators for the determination of nitrate sources in karstic groundwater

    Get PDF
    International audienceA new approach based on measurements of nitrate and boron isotopic composition associated with microbiological indicators for the determination of nitrate origin in karstic groundwater (SW, France) is presented. Nitrate and boron isotopic data indicate an animal source of nitrate (delta N-15-NO3- > 5 parts per thousand, delta O-18-NO3- < 10 parts per thousand and delta B-11 similar to 25 parts per thousand). Microorganism detection (bacteriophages) confirmed contamination from animal sources and proved fast water transfer (2-3 days) from surface to groundwater

    Cathédrale de Korhogo

    No full text

    Faut-il avoir peur du Qatar ?

    No full text

    On the expressive power of temporal logic for infinite words

    Get PDF
    AbstractIn this paper, we give an algebraic proof of the equivalence between temporal logic and star-free languages on infinite words. The proof is based on a result of SchĂĽtzenberger that characterizes the star-free languages of finite words by using particular prefix codes

    17ème anniversaire de l'indépendance

    No full text
    Anniversaire de l'indépendance de la Côte d'Ivoire marqué par le développemnt économiqu

    Etude algebrique de la logique temporelle

    No full text
    SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
    corecore