TABLE RONDE : LA MIXITE DES USAGES A L'ECHELLE LOCALE

5 p

ENJEUX ET PRATIQUES DE L'ASSAINISSEMENT EN AFRIQUE SUB-SAHARIENNE

10 p. (version corrigée après relecture et mise en forme)Cet article a comme objectif de donner un bref aperçu de l'état de l'assainissement en Afrique de l'Ouest et de présenter quelques chiffres issus d'une étude réalisée sur trois grandes villes du sous-continent

Belo Horizonte – Brésil :<br />Etude sur les services essentiels des ménages à faible revenu

La présente étude traite de l'accès aux services essentiels (service public de l'eau, de l'assainissement et la collecte des déchets ménagers) de la ville de Belo Horizonte et en particulier celui des populations défavorisées des quartiers non formalisés

PetroSurf3D - A Dataset for high-resolution 3D Surface Segmentation

The development of powerful 3D scanning hardware and reconstruction algorithms has strongly promoted the generation of 3D surface reconstructions in different domains. An area of special interest for such 3D reconstructions is the cultural heritage domain, where surface reconstructions are generated to digitally preserve historical artifacts. While reconstruction quality nowadays is sufficient in many cases, the robust analysis (e.g. segmentation, matching, and classification) of reconstructed 3D data is still an open topic. In this paper, we target the automatic and interactive segmentation of high-resolution 3D surface reconstructions from the archaeological domain. To foster research in this field, we introduce a fully annotated and publicly available large-scale 3D surface dataset including high-resolution meshes, depth maps and point clouds as a novel benchmark dataset to the community. We provide baseline results for our existing random forest-based approach and for the first time investigate segmentation with convolutional neural networks (CNNs) on the data. Results show that both approaches have complementary strengths and weaknesses and that the provided dataset represents a challenge for future research.Comment: CBMI Submission; Dataset and more information can be found at http://lrs.icg.tugraz.at/research/petroglyphsegmentation

Self-organizing distributed digital library supporting audio-video

The StreamOnTheFly network combines peer-to-peer networking and open-archive principles for community radio channels and TV stations in Europe. StreamOnTheFly demonstrates new methods of archive management and personalization technologies for both audio and video. It also provides a collaboration platform for community purposes that suits the flexible activity patterns of these kinds of broadcaster communities

L’utilisation de ressources alternatives à l’eau potable révélatrice d’un nouveau rapport à l’eau en ville. Analyse des controverses autour de la conservation du réseau d’eau non potable Paris.

Cet article cherche à comprendre pourquoi et comment se pose aujourd’hui la question de la réhabilitation du réseau d’eau non potable parisien. La conférence de consensus ainsi que les études et séminaires qui ont suivi ont été l’occasion de discuter de l’utilisation de cette ressource, ainsi que d’autres ressources alternatives telle que l’eau de pluie, pour des usages urbains existants ou potentiels. A travers l’analyse de ces débats et des enjeux sous-tendus, nous défendons la thèse que l'utilisation de l’eau non potable passe par une « démarche patrimoniale » apparemment paradoxale puisque signifiant non pas la conservation du patrimoine de réseau d’eau non potable existant mais l’invention de nouveaux usages dont la faisabilité et l’acceptabilité par l’ensemble des acteurs concernées doit être vérifiée, d’une mise en compatibilité avec une réglementation aujourd’hui inadéquate et la reconfiguration en conséquence dudit réseau. Dans la métropole parisienne, la réhabilitation du double réseau conduit ainsi à poser la question bien plus générale du rapport à l’eau des acteurs de l’eau et de l’assainissement (Eau de Paris, le SIAAP) mais aussi des usagers, qu’ils s’agissent des grands consommateurs (les services municipaux) ou du « grand public » parisien. Son maintien pose de manière assez abrupte la question de savoir quels usages existants doivent être encouragés, quels nouveaux usages sont envisageables mais aussi quelles ressources (eau d’exhaure, eau brute, eau de pluie) peuvent être utilisées pour le réseau d’eau non potable ou parallèlement à celui-ci. Nous étudions donc dans une première partie le basculement opéré lors de la conférence de consensus vers une patrimonialisation du RENP. Comment l’élaboration et la mise en œuvre de cette procédure dite de conférence de consensus a-t-elle permis de remettre en débat, et d’invalider l’expertise existante ? Que signifie cette performance opérée au terme de la conférence en termes de gestion future du réseau ?La deuxième partie de l’article est consacrée à l’identification et l’analyse des potentialités offertes par le RENP, tant en ce qui concerne les usages (deux usages sont approfondis : la régulation du climat urbain et l’arrosage des espaces verts) qu’en ce qui concerne les différents types de ressources. Cette analyse des potentialités est doublée dans la troisième partie d’une étude de l’acceptabilité sociale et politique d’un approvisionnement protéiforme en eau non potable (eau brute de rivière, eau d’exhaure et eau de pluie). Il s’agit de comprendre, dans une perspective exploratoire, d’une part les représentations que le grand public se fait de cet approvisionnement lorsqu’on lui suggère cette possibilité, d’autre part la manière dont les grands producteurs et les grands consommateurs ressentent les opportunités et les contraintes d’une telle solution.La quatrième et dernière partie est consacrée à une analyse de la législation et de la réglementation relative aux ressources alternatives à l’eau potable. Elle permet d’identifier les grandes logiques à l’œuvre dans la façon dont le droit se saisit de ces objets et de suggérer des pistes de réforme

Logical Reasoning for Higher-Order Functions with Local State

We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exported outside their scope, may store higher-order functions and may be used to construct complex mutable data structures. This primitive is captured logically using a predicate asserting reachability of a reference name from a possibly higher-order datum and quantifiers over hidden references. We explore the logic's descriptive and reasoning power with non-trivial programming examples combining higher-order procedures and dynamically generated local state. Axioms for reachability and local invariant play a central role for reasoning about the examples.Comment: 68 page