27 research outputs found
Les enjeux pour Israël de la Conférence internationale sur l’eau au Proche-Orient
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
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
On the expressive power of temporal logic for infinite words
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
Anniversaire de l'indépendance de la Côte d'Ivoire marqué par le développemnt économiqu
Etude algebrique de la logique temporelle
SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc