An Upper Bound on the Complexity of Recognizable Tree Languages

The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class $\Game (D\_n({\bf\Sigma}^0\_2))$ for some natural number $n\geq 1$, where $\Game$ is the game quantifier. We first give a detailed exposition of this result. Next, using an embedding of the Wadge hierarchy of non self-dual Borel subsets of the Cantor space $2^\omega$ into the class ${\bf\Delta}^1\_2$, and the notions of Wadge degree and Veblen function, we argue that this upper bound on the topological complexity of regular tree languages is much better than the usual ${\bf\Delta}^1\_2$

Baire and automata

In his thesis Baire defined functions of Baire class 1. A function f is of Baire class 1 if it is the pointwise limit of a sequence of continuous functions. Baire proves the following theorem. A function f is not of class 1 if and only if there exists a closed nonempty set F such that the restriction of f to F has no point of continuity. We prove the automaton version of this theorem. An ω-rational function is not of class 1 if and only if there exists a closed nonempty set F recognized by a Büchi automaton such that the restriction of f to F has no point of continuity. This gives us the opportunity for a discussion on Hausdorff's analysis of Δ°2, ordinals, transfinite induction and some applications of computer science

Renal tubular absorption of β2 microglobulin

Renal tubular absorption of β2 microglobulin. 125Iodinated human β2 microglobulin (β2m, 5 to 30 mg) was administered to anesthetized rats. Clearance studies showed a low threshold of excretion of injected β2m and a high Tm of 400 to 600 µg · min-1 · kg-1. A glomerular sieving coefficient of 0.97 was calculated as the slope of the curve: β2m excretion rate = F (plasma β2m × glomerular filtration rate) for values above saturation. Electrophoresis analysis of proteinuria in agarose gel and sodium dodecyl sulfate polyacrylamide gel showed that injection of saturating doses of β2m induced the excretion of proteins of similar size but different charge and that of other proteins of different size. Among the latter, some were excreted transiently in association with β2m, whereas others had a delayed excretion suggesting existence of a complex mechanism of reabsorption whose steps remain to be elucidated.Absorption tubulaire rénale de la β2 microglobuline. De 5 à30 mg de β2 microglobuline (β2m) humaine marquée à l'Iode 125 ont été injectés à des rats anesthésiés. Des études de clairance ont montré un seuil d'excrétion bas et un Tm élevé de 400 à 600 µg · min-1 · kg-1. Un coefficient de tamisage de 0,97 a été mesuré à partir de la pente de la courbe: excretion de β2m = F (concentration plasmatique de β2m × filtration glomérulaire) pour les points au-dessus de la saturation. L'analyse de la protéinurie par électrophorèse sur gel d'agarose et sur gel de polyacrylamide avec dodecyl-sulfate de sodium a montré que l'injection de doses saturantes de β2m provoque l'excretion de protéines de même taille mais de charge différente, ainsi que de protéines de taille différente. Parmi ces dernières, certaines sont excrétées de manière transitoire et en même temps que la β2m, tandis que d'autres ont une excrétion retardée suggérant l'existence d'un mécanisme de réabsorption complexe dont les étapes restent à étudier

On the Continuity Set of an omega Rational Function

In this paper, we study the continuity of rational functions realized by B\"uchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function F has at least one point of continuity and that its continuity set C(F) cannot be computed. In the case of a synchronous rational function, we show that its continuity set is rational and that it can be computed. Furthermore we prove that any rational Pi^0_2-subset of X^omega for some alphabet X is the continuity set C(F) of an omega-rational synchronous function F defined on X^omega.Comment: Dedicated to Serge Grigorieff on the occasion of his 60th Birthda

Simulation of a viscous fluid spreading by a bidimensional shallow water model

In this paper we propose a numerical method to solve the Cauchy problem based on the viscous shallow water equations in an horizontally moving domain. More precisely, we are interested in a flooding and drying model, used to modelize the overflow of a river or the intrusion of a tsunami on ground. We use a non conservative form of the two-dimensional shallow water equations, in eight velocity formulation and we build a numerical approximation, based on the Arbitrary Lagrangian Eulerian formulation, in order to compute the solution in the moving domain

Projet de conservation de la biodiversité dans la moyenne vallée du Zambèze après éradication de la mouche tsé-tsé (Zimbabwé). Etude de faisabilité d'un microprojet : le ranch communal de gibier de Gonono (Gonono communal game ranch)

Le "ranch communal de gibier de Gonono" s'inscrit dans le cadre des micro-projets proposés de manière consensuelle au Comité exécutif du "Projet de Conservation de la Biodiversité dans la Moyenne Vallée du Zambèze après l'Eradication. de la Mouche Tsé-tsé". Dans le but global d'améliorer durablement les conditions de vie de la population du Ward de Gonono, l'objectif spécifique de ce micro-projet est de mettre au point un mode local de production alternative de viande à bas prix à partir de la faune sauvage. Décidé et conçu avec les autorités du Ward, le ranch doit être progressivement géré par et pour la population du Ward. Il doit d'abord produire sur place une viande de gibier recherchée par les communautés locales qui n'y avaient accès jusqu'à présent que de manière illégale. Cette viande doit être produite à un coût modéré accessible à la population. Le ranch doit aussi permettre de conserver un espace étendu encore faiblement anthropisé en le valorisant par des productions à faible impact écologique. En phase de croisière, l'exploitation sur 3.000 hectares du peuplement multispécifique de gibier devrait permettre la fourniture annuelle de 3 0 tonnes carcasse de viande d'impala et 10. tonnes carcasse de viande d'autres espèces, soit une productivité de 13 kg carcasse de venaison par hectare. Quelques productions annexes sont aussi prévues. L'objectif économique est la couverture du prix de revient de la viande et non pas la recherche d'un profit financier. La création de ce ranch communal de gibier est une entreprise à caractère hautement innovant aux plans institutionnel et technique. Il doit donc être considéré comme une opération pilote à part entière et, à ce titre, doit pouvoir bénéficier d'un encadrement serré et d'un appui scientifique conséquent, tout au moins les premières années. (Résumé d'auteur

Chronologie et spatialisation de retombées de cendres volcaniques tardiglaciaires dans les massifs des Vosges et du Jura, et le plateau suisse

L’établissement d’une chronologie précise des différents événements climatiques du Tardiglaciaire et de l’Holocène nécessite l’emploi de différents moyens de datation. Parmi ceux-ci, la téphrochronologie apparaît comme un outil permettant à la fois une datation précise et une synchronisation à l’échelle inter-régionale de ces événements. Dans le cadre de l’étude de l’enregistrement des variations du climat ayant régné en Europe de l’Ouest durant les 20 000 dernières années, des niveaux de téphras et de « cryptotéphras » ont été détectés dans des remplissages de lacs situés dans les massifs du Jura, des Vosges et sur le Plateau suisse. Certains de ces niveaux étant invisibles à l’œil nu, leur détection a été rendue possible grâce à l’emploi de la mesure de la susceptibilité magnétique à un pas de 5 mm. Nos observations permettent de compléter l’extension géographique de la bordure ouest du nuage de dispersion méridional du Laacher See Tephra (env. 12900 ans, Eifel, Allemagne) déjà observé dans d’autres remplissages lacustres du Jura et de l’Europe de l’Ouest et du Nord. Dans les sites étudiés, les échardes de verre volcanique présentent des compositions chimiques comparables à celles des phases les plus jeunes du Laacher See Tephra. D’autres niveaux de téphras, non répertoriés jusqu’à présent dans cette région, ont été détectés et caractérisés. Deux niveaux, très discrets et uniquement présents dans les sites du massif du Jura et du Plateau suisse, sont caractérisés par des âges et compositions chimiques de phénocristaux compatibles avec les produits émis par le Puy de la Nugère (Chaîne des Puys, France) pendant l’Allerød (autour de 13300 ans). Les sites du massif des Vosges, quant à eux, sont caractérisés par l’occurence d’un téphra rhyolitique, le Vedde Ash (env. 12000 ans), déposé durant le Dryas récent. Actuellement, il s’agit là de l’occurence la plus méridio‑occidentale de ce téphra. Nos résultats complètent la téphrochronologie tardiglaciaire de l’Est de la France et offrent donc un « pont » chronologique supplémentaire entre les séquences sédimentaires nord- et centreeuropéennes et celles situées plus à l’ouest. Ils soulignent l’importance du Laacher See Tephra et du Vedde Ash pour les études paléoenvironnementales dans cette partie de l’Europe puisque ces deux téphras encadrent la limite Allerød - Dryas récent et permettent, pour cet intervalle de temps, de pallier l’absence de données radiochronologiques.Establishment of a precise chronicle of the lateglacial and holocene climatic variations requires the use of various dating methods. Among them, tephrochronology allows high-resolution dating and synchronization of these events at a regional scale and sometimes at a continental scale. Study of the record of the climatic variations occuring in western Europe since twenty thousands years leads to the discovery of tephras levels and “cryptotephras” in sediments cored in lakes from the Jura and Vosges mountains, and the Swiss plateau. Some of these levels are invisible to the naked eye. Their detection was obtained using magnetic susceptibility measurement with a 5 mm step along the cores. Our observations allow to complete the western boundary of the southern distribution of the Laacher See Tephra (ca. 12,900 yr, Eifel, Germany). This tephra has been already described in others lacustrine sequences from the Jura and the western and northern Europe. In the sites we have studied, the volcanic glass shards show geochemical compositions comparable to those of the youngest phases of the Laacher See Tephra eruption. Other tephra levels, never described in this region until then, have been detected and characterized. Two very discrete tephra levels, only observed in sites from the Jura and the Swiss plateau, present ages, mineral assemblages and chemical compositions close to those of tephras that were emitted by the Puy de la Nugère (Chaîne des Puys, France) during the Alleröd (about 13,300 yr). Sites from the Vosges mountains are characterized by the occurrence of the rhyolitic Vedde Ash (ca. 12,000 yr, from the icelandic Katla volcano), deposited during the Younger Dryas. Presently, this is the most southwestern occurrence of the Vedde Ash. Our data make up the Eastern France Lateglacial tephrochrology and offer an additional chronological bridge between sedimentary sequences from northern and central Europe and those situated more westerly. They show the importance of the Laacher See Tephra and the Vedde Ash for palaeoenvironmental studies in western Europe since they are flanking the AllerödYounger Dryas transition and allow to compensate the lack of radiochronological data