@rchiveSIC :: Accueil StopFingerprinting » How trackable is your browser in a long term? HAL-SHS :: Accueil Revues.org : portail de revues en sciences humaines et sociales Bulletin RI » Le bulletin des Relations Internationales du centre Inria Rennes - Bretagne Atlantique In this 9th issue ♦♦♦ NewsThe second edition of the Meeting Pot is to be held this Thursday at the cafeteria. The 2014 BIS workshop will be held in June.The workshop to strengthen cooperations between China and France on ICST will be held in Paris on May, 16th. Letter of the Direction of European Partnerships ♦♦♦ Current Calls for projectsAll the calls towards scientific cooperation and mobility. 2nd Edition of the Meeting PotThe second edition of “Meeting Pot : rencontres de l’international” is held this Thursday, April 17th at 11am at the cafeteria. Do not hesitate to join us! Inria@SiliconValley : the 2014 BIS WorkshopThe 2014 Berkeley-Inria-Stanford Workshop will be held in Paris from June 17th to 19th (at the CNAM). It will be held in Paris on May, 16th.Information and registration here. Letter of the Direction of European PartnershipsThis letter, along with their website, is up-to-date regarding the European Programs of H2020 : do not hesitate to check onto their well-organized info.
AFC :: Accueil Cette collection est destinée à présenter la production scientifique de l’Association Francophone de Comptabilité : communications, ouvrages et chapitres d'ouvrages scientifiques, thèses, documents de travail, etc. L'AFC, créée le 17 mai 1979, sous la dénomination d'Association Française de Comptabilité, regroupe des enseignants et des chercheurs dans les disciplines de la comptabilité, du contrôle de gestion et de l'audit. En 2002, l'AFC est devenu l'Association Francophone de Comptabilité. Les finalités de cette association sont les suivantes : Contribuer au développement et à la diffusion des connaissances dans ces domaines.Créer et entretenir des réseaux d'échanges nationaux et internationaux entre les personnes concernées par l'enseignement et la recherche.Favoriser les liaisons entre les praticiens et les enseignants-chercheurs. Site internet : Adresse postale Association Francophone de Comptabilité c/o CNAM-INTEC 40 rue des Jeûneurs 75002 PARIS
TREASURE » Treatment and Sustainable Reuse of Effluents in semiarid climates TREASURE (for Treatment and Sustainable Reuse of Effluents in semiarid climates) is a scientific Euro-Mediterranean research consortium associating institutions from Southern Europe and Northern Africa countries about biological wastewater treatment plants and microbial ecosystems. It is coordinated by the MODEMIC research team and a research group in mathematics and automatic control of the University of Tlemcen, Algeria. At the origin of the consortium, in 2006, the involved partners only consisted of academics from France, Algeria, Italy and Tunisia. Today, it is a network of a dozen of partners from eight Mediterranean countries (cf. the “Partners” section). The network aims at promoting both research and education activities, the improvement and the diffusion of knowledge on bioprocesses and microbial ecosystems being among the main components of the project. In terms of research, this leads to :
HAL Univ-Paris1 :: Accueil ITSSv6 » IPv6 Stack for Cooperative ITS ITSSv6 builds on existing standards from ETSI, ISO and IETF and IPv6 software available from the CVIS and GeoNet projects. The IPv6 lTS station stack provided by ITSSv6 supports at least 802.11p and 2G/3G media types and is configured differently according to the role played by the ITS station (roadside, vehicle, central). Implemented IPv6 features specific to the Vehicle ITS station include NEMO and MCoA to maintain Internet continuity over multiple medias and IPv6 GeoNetworking for multi-hop communications between Vehicle and Roadside ITS stations over 802.11p. The IPv6 ITS station stack will be tested in relevant EU or National Cooperative Intelligent Transport Systems’ Field Operational Tests (Cooperative ITS FOTs) and projects. The tasks of ITSSv6 tasks are to:
QUAIL » Quantitative Analyzer for Imperative Languages QUAIL is a tool to evaluate the security of systems through a quantitative analysis of information leakage. It takes as an input a program written in a simple imperative language with randomized primitives. It builds a Markovian model of the program and analyzes the information leakage in the model. The tool consists in a preprocessor and an analyzer. The tool outputs the leakage expressed as a number of bits of information with the chosen precision. QUAIL is the result of a collaboration between INRIA Rennes and IT University in Copenhagen. Fabrizio Biondi is a PhD student at IT University, lead developer of the project.Axel Legay is a researcher at INRIA Rennes and supervisor of the project.Louis-Marie Traonouez is a postdoc researcher at INRIA Rennes and developer on the project.Andrzej Wąsowski is a professor at IT University and supervisor of the project.
PyECDAR » Timed games for Timed Specifications PyECDAR is a free software that analyses timed games and timed specifications. The tool allows to solve timed games based on timed automata models. These can be extended with adaptive features to represent dynamicity and model software product lines. The tool implements original algorithms for solving Timed AdaCTL formulae. Timed specifications allow compositional reasoning between components based on Timed I/O Automata (TIOA). the computation of parallel composition and conjunctionrefinement checkingconsistency checkingcompatibility checkingrobust satisfaction checkingrobust consistency checkingrobust compatibility checking The tool implements its own engines: pytiga for timed games analysis and T-AdaCTL checkingpyreachability for reachability and safety analysispyrobustcegar for robustness analysis Additional algorithms are based on model transformations. parallel compositionconjunctionquotientconsistency gamecompatibility gameconstant scalingrobust game
Kinovis » a large environment for the visual perception of shapes in motion.