Les événements d'Inria

Gildas Avoine, les compromis du temps-mémoire à l'assaut de vos mots de passe

]]>

Gildas Avoine interviendra à l'Ircica le jeudi 20 décembre de 14h à 15h30 sur le thème "les compromis du temps-mémoire à l'assaut de vos mots de passe".

Alexis Kauffmann, fondateur de Framasoft en conférence inédite à la gare Saint Sauveur de Lille

Tue, 27 Nov 2012 16:41:30 GMT

]]>

Dans le cadre de l'évènement foSSa 2012, conférence dédiée à l'Open source, une conférence interactive est proposée à tous les élèves de la spécialité ISN le Mercredi 05 décembre, dans l'auditorium de la gare Saint Sauveur à Lille.

Alexis Kauffmann, fondateur de Framasoft et professeur de Mathématiques nous parlera du logiciel libre, de l'ouverture du code à un enjeu de société :

Le logiciel libre, tout le monde en parle (ou presque), mais de quoi s'agit-il exactement ? Qu'est-ce qui le définit et le distingue des autres logiciels ? En quoi certains y voient l'un des mouvements les plus emblématiques et prometteurs de notre époque ?

Ces questions feront l'objet d'un échange avec le public. A noter que l'entrée est gratuite, mais les places limitées ! Inscrivez-vous auprès d'Hélène Xypas.

fOSSa2012, aux origines de l'open source

Thu, 22 Nov 2012 10:01:08 GMT

]]>

Inria et EuraTechnologies sont heureux de vous annoncer la tenue prochaine de l’édition 2012 des conférences fOSSa (Free Open Source Software for Academia) qui se tiendront les 4, 5 et 6 décembre 2012 à Lille, France.

La qualité des intervenants et de l'auditoire, l’originalité de l'approche et les thématiques abordées à fOSSa rassemblent chaque année plusieurs centaines de passionnés et des grands acteurs de l’open source. C’est la dynamique de cette communauté qui permet à fOSSa de jouer, d’une édition à la suivante, un rôle prédominant dans l’arène de l’open source. Cette année, les intervenants reviendront aux racines de l’open source : développement, recherche, communautés.

fOSSa 2012 abordera :

l’enseignement (Ivaylo Ganchez)
IRILL (Roberto Di Cosmo)
l’Histoire du logiciel libre et de l’open source (Christophe Masutti & Alexis Kaufmann)
Projection du film Revolution OS : un documentaire passionnant sur l’open source. Cette séance sera ouverte au public
Digital Native Generation : (Stéphane Frenot & Stéphane Grumbach)
Openness : Open Arts and Open Hardware (Jérome Copin)
Licences : pas de juristes, pas de consultants, rien que des témoignages et des retours d’expérience (Gabriele Ruffatti)
Communities (Stephane Ribas)

Chaque thème se terminera sur un débat, et des workshops seront également proposés.

Parametric analysis of equilibria of chemical reaction networks

Wed, 21 Nov 2012 17:48:12 GMT

]]>

For large scale systems arising from chemical reaction networks, already the parametric computation of equilibria and singularities in the positive orthant is a major challenge---but also of great importance for applications by understanding properties of the reaction network. We have implemented a newly developed algorithm by Dima Grigoriev, by which we could solve equilibria for most examples from BIOMOD database and also for the examples showing ``absolute concentration robustnest'' (Shinar and Feinberg, 2010).
As the existence of Hopf bifurcations points yield oscillations we build on previous work with M. El Kahoui and T. Sturm that yield reductions to quantifier elimination over the reals (and computations using REDLOG).
In recent joint work with H. Errami, W. Seiler, M. Eiswirth we could compute larger examples fully algorithmically using reaction coordinates.
On the systems side we have recently built PoCaB -- a platform to explore bio-chemical reaction networks by algebraic methods. It does not only provide the software framework for automated computations involving different systems, but also contains a database for the algebraic entities computed from the models of chemical reaction networks.

Differential Algebra methods for the analysis of chemical networks

Wed, 21 Nov 2012 17:42:41 GMT

]]>

The differential algebra is an algebraic theory for polynomial differential equations, such as the ones arising from chemical reaction systems, by application to the mass-action law. In this talk, I will present it through some applications, illustrated by software demonstrations. The software, which is a MAPLE package, actually is just an interface for a stand-alone, open source, C library, developed in the computer algebra team of Lille.

Forum des lauréats en informatique et en mathématiques appliquées

Mon, 19 Nov 2012 17:05:40 GMT

]]>

Venez à la rencontre des lauréats 2012 des prix en informatique et en mathématiques appliquées, à l'occasion de la cérémonie qui aura lieu le 20 décembre, à l'Institut Henri Poincaré à Paris.

Créé en 2003 par Inria et la SMAI, « la cérémonie des prix » est devenue « le Forum des lauréats des prix en informatique et mathématiques appliquées » en 2011. Cet événement organisé chaque année, sous le patronage de l’Académie des Sciences, met à l’honneur des lauréats des prix décernés en mathématiques appliquées et en informatique.

Colloquium Guust Nolet : Seismic Tomography : A Giant Inverse Problem

Fri, 16 Nov 2012 16:58:55 GMT

]]>

In this talk I shall give an overview of the development of seismic tomography: constructing images of elastic properties in the Earth's interior from seismic observations at its surface.

The use of ray-theoretical approximations allows us to image long-wavelength structure. To increase resolution, however, we cannot escape using the wave equation. Modeling the waveforms themselves is highly nonlinear, but the nonlinearity of the problem can be kept under control by using secondary observables such as delays of time- and frequency windowed waveforms. The resulting problem is a giant linear inverse problem that is at the same time under- and overdetermined. Regularization techniques include total variation minimization and compressed sensing. The estimation of accuracy and resolution of a solution poses a number of unsolved questions of mathematical nature.

Semantic data dissemination algorithms for opportunistic networks

Thu, 15 Nov 2012 17:27:50 GMT

]]>

The main goal of Recognition project is to construct data dissemination algorithms in opportunistic networks based on human cognitive mechanisms that allow to sort and evaluate information before transmission. We have applied semantic memory models to construct our data dissemination algorithm and, as in human memory, we simulated forgetting and memorisation processes. Obtained constraints on the forgetting function parameters give as a possibility to maintain stability of the semantic network.
We have constructed two data exchange algorithms and determined the semantic network is scale-free and it could be described by the fitness model of Biaconi-Barabashi. We described the behavior of opportunistic networks with semantic data transfer filter by an epidemic model with heterogeneous transmission parameters.
We are currently running experiments on Flickr and Twitter datasets which will help us to estimate data transfer performance and filtering efficiency compared to previously used non-semantic algorithms.

MIG 2012 : The 5th international conference on Motion in Games

Tue, 13 Nov 2012 16:23:06 GMT

]]>

MIG 2012, the 5th international conference on Motion in Games  Rennes, France, November 15-17, 2012.

Games have become a very important medium for education, therapy and entertainment. Motion plays a crucial role in computer games. Characters move around, objects are manipulated or move due to physical constraints, entities are animated, and the camera moves through the scene. Even the motion of the player nowadays is used as input to games. Motion is currently studied in many different areas of research, including graphics and animation, game technology, robotics, simulation, computer vision, and also physics, psychology, and urban studies. Cross-fertilization between these communities can considerably advance the state-of-the-art in the area. The goal of the Motion in Games conference is to bring together researchers from this variety of fields to present their most recent results, to initiate collaborations, and to contribute to the establishment of the research area. The conference will consist of regular paper sessions, poster presentations, and as well as presentations by a selection of internationally renowned speakers in all areas related to games and simulation. The conference includes entertaining cultural and social events that foster casual and friendly interactions among the participants.

Le colloquium Morgenstern fête ses 10 ans !

Wed, 7 Nov 2012 12:54:34 GMT

]]>

Le colloquium Jacques Morgenstern a été créé en 2002 à l’initiative de la communauté scientifique des Alpes Maritimes (organismes et laboratoires de recherche (Inria, CNRS, I3S), écoles d’ingénieurs (Polytech’Nice Sophia) et Université Nice Sophia Antipolis).

Pour fêter ses 10 ans, un colloquium spécial aura lieu le 14 décembre 2012 après-midi et accueillera trois conférenciers : Jean Céa, Bernard Chazelle et Damien Stehlé, en présence de Suzie Morgenstern.

Voir le programme

Let's imagine the future

Wed, 31 Oct 2012 16:28:57 GMT

]]>

Le centre Inria Rennes – Bretagne Atlantique et l’IRISA organise le séminaire Let’s imagine the future sur les sciences numériques et leur impact sur la société de demain. Cet événement sera également l’occasion de célébrer le départ en retraite de Jean-Pierre Banâtre, professeur à l’Université de Rennes 1 et grand promoteur de l’ERC chez Inria.

Plusieurs scientifiques récompensés par le prestigieux conseil européen de la recherche (CER) viendront exposer leurs travaux dans le domaine des sciences numériques et leurs impacts sur la société de demain.

Ce colloque sera également l’occasion de célébrer le départ à la retraite de Jean-Pierre Banâtre, Professeur à l’Université de Rennes 1. Jean-Pierre Banâtre a été membre de la direction d’Inria pendant 22 ans. Il a été successivement Directeur du centre Inria de Rennes et de l’IRISA, puis du centre de Rocquencourt avant de prendre la direction des Partenariats européens. C’est à ce titre qu’il a été, et reste, le grand promoteur de l’ERC chez Inria en conseillant les candidats lors de la préparation de leurs dossiers.

Programme complet du séminaire.

X-tremLog : du laboratoire de recherche au Marathon des Sables

Mon, 29 Oct 2012 18:10:14 GMT

]]>

Le "Rendez-vous du Plateau" invite Guillaume Chelius (expérience XtremLog), le 21 novembre 2012 de 12h30 à 14h15.

Guillaume Chelius, chercheur à Inria (Grenoble) et ultra-marathonien, a participé au 25ème SULTAN MARATHON DES SABLES (course de 250 km, 7 jours durant au cœur du désert Marocain) équipé de 16 capteurs destinés à enregistrer en temps réel, sans interruption et sans aucune intervention humaine, de nombreuses données physiologiques, biomécaniques et environnementales.
Guillaume Chelius sera là en personne pour vous raconter son aventure et répondre à vos questions.
De très belles vidéos ont été tournées en amont (lors de sa préparation) puis durant la course en plein désert : un moment exceptionnel à vivre.

Sacha Krakowiak, Architecture des systèmes : avancées et défis

Mon, 29 Oct 2012 16:17:42 GMT

]]>

Sacha Krakowiak interviendra à Polytech' Lille le jeudi 15 novembre de 14h à 15h30 sur le thème "Architecture des systèmes : avancées et défis".

La construction des systèmes informatiques s’appuie sur un certain nombre de paradigmes méthodologiques et architecturaux, qui ont été développés et raffinés au cours du temps. Nous examinons trois de ces paradigmes : virtualisation, composition et liaison, adaptation et réflexion. Pour chacun d’eux, nous mettons en évidence les étapes de leur évolution, les avancées qu’ils ont permises et les défis que doivent affronter les architectes de systèmes.

La virtualisation est une application du principe d’abstraction, qui permet 1) de masquer aux utilisateurs d’une infrastructure informatique la complexité des matériels et de logiciels sous-jacents, en leur présentant une interface adaptée à leurs besoins ; 2) de multiplexer des ressources, réelles ou virtuelles, entre des utilisateurs indépendants. Les progrès récents ont largement étendu le champ de la virtualisation.

La construction d’un système complexe à partir de composants élémentaires est un objectif ancien, dont la réalisation s’est révélée beaucoup plus complexe que prévu. Les avancées récentes permettent néanmoins d’entrevoir la possibilité de construire des assemblages de manière rigoureuse, avec des garanties de fonctionnement correct.

Les systèmes informatiques fonctionnent dans un environnement changeant et généralement imprévisible. Ils doivent donc s’adapter à ces variations pour maintenir leur intégrité et leur qualité de service. La complexité des systèmes actuels leur impose une capacité de comportement autonome, avec peu ou pas d’intervention humaine. La réflexivité est une des techniques utiles pour atteindre ce but. Domaine jeune et pluridisciplinaire, la construction de systèmes autonomes a obtenu des résultats significatifs mais est encore confrontée à de nombreux défis conceptuels et pratiques.

Qui est Sacha Krakowiak ?

Sacha Krakowiak a été professeur à l’université de Grenoble de 1973 à 2007. Auparavant, il a travaillé à Inria, où il a contribué à la réalisation d’un des premiers systèmes d’exploitation français en temps partagé. Ses travaux ont porté sur les systèmes d’exploitation, les environnements de développement de logiciel, et les systèmes répartis.

Séminaire In'Tech - Systèmes de Transports Intelligents (ITS) : Algorithmes et technologies

Fri, 26 Oct 2012 16:44:23 GMT

]]>

Le club de veille technologique In'Tech, animé par Inria et le Cluster Isère du logiciel et des services informatiques (GRILOG), organise une demi-journée de rencontres entre chercheurs et industriels sur le thème "Systèmes de Transports Intelligents (ITS) : Algorithmes et technologies". Cet événement aura lieu le jeudi 29 novembre 2012, de 13h45 à 18h, à Inria Montbonnot.

Séminaire animé par Carlos Canudas-de-Wit directeur de recherche au CNRS et responsable de l’équipe-projet NeCS Inria-GIPSA-Lab.

Programme
13h45 - 14h00 Introduction Carlos Canudas-de-Wit , Directeur de recherche CNRS , responsable de l’équipe NeCS, Inria Grenoble Rhône-Alpes /Gipsa-Lab Le développement des réseaux capteurs (magnétomètres, caméras, radars, traçage GPS, etc.) de mesures de données offrent une opportunité pour l’optimisation du trafic dans les villes, les voies périphériques, et dans le transport public. Le but de ce séminaire est de présenter les technologies et solutions utilisées pour améliorer le trafic routier. Des initiatives entreprises par les centres de recherche, les pouvoirs publics, les grands groupes industriels, et des SMEs, dans le domaine ITS, seront aussi présentées. Le séminaire aborde : les aspects algorithmiques de régulation et de prédiction du trafic, l’utilisation des technologies telles que les téléphones portables, les réseaux de magnétomètres sans fil et les caméras les projets européens initiés par les gestionnaires de trafic de Grenoble
14h00 - 14h30 Le GTL un outil expérimental pour la régulation et prédiction du trafic Carlos Canudas-de-Wit , Directeur de recherche CNRS , responsable de l’équipe NeCS, Inria Grenoble Rhône-Alpes /Gipsa-Lab The GTL: a experimental tool for traffic simulation, prediction and regulation. The Grenoble Traffic Lab (GTL http://necs.inrialpes.fr/pages/reseach/gtl.php) initiative is an experimental real-time traffic data center (platform) intended to collect traffic road infrastructure information in real-time with minimum latency and fast sampling periods. The main elements of the GTL are: real-time data-base, traffic forecasting & control algorithms, and a software component-oriented platform. Sensed information come from a dense wireless sensor network providing macroscopic traffic signals such as fluxes and velocities. The talk first present our holistic view of the problem, provides the rationality of using Flow-conservation models as a basis to design new technologies on physical-oriented forecasting & control algorithms, and finally also discuss issues on object/component real-time software platform design for the integration, test and validation those algorithms.
14h30 - 15h00 Traffic Control in action *Markos Papageorgiou*, Dynamic Systems and Simulation Laboratory, Université de Crète Daily traffic congestion on urban road and motorway networks around the world continues to increase, with detrimental effects on travel times, traffic safety, fuel consumption and environmental pollution. Traffic congestion is only partly due to high demand, since the appearing congestion degrades the expensive infrastructure capacity essentially at the only times it is actually needed, i.e. during the daily peak periods. Traffic control measures, if properly designed and deployed, may lead to substantial savings of travel time, fuel consumption and environmental impact, along with an improvement of traffic safety. The presentation will outline some related traffic control problems and methods, with a focus on practicable results. More specifically, the areas of urban signal control; motorway traffic control (local and coordinated ramp metering, variable speed limit control, mainstream traffic flow control); merging traffic control; and route information and guidance will be addressed, along with the presentation of some selected field results.
15h00 - 15h30 Développement et déploiement des ITS par l’achat public de solutions innovantes : Projet européen SYNCRO *Jean-Christophe Maisonobe*, Conseil général de l’Isère Le projet SYNCRO associe deux collectivités transfrontalières, le Conseil général de l’Isère en France et la Province de Turin en Italie, pour déployer un système innovant d’acquisition et de traitement de données trafic, permettant de fournir une information et une assistance temps réel aux usagers de la route. Un des enjeux est de mobiliser les PME innovantes, grâce à l’intervention de la CCI de Grenoble et de la CCIAA di Torino. Il s’agit de réaliser un achat public transfrontalier et tourné vers l’innovation, en mobilisant les PME innovantes à l’échelle européenne. La capacité d’innovation ainsi mobilisée permettra de mettre au point et déployer des systèmes de recueil et de traitement de données routières multifonctions, miniaturisés, bas coûts, basse énergie, et aisés à installer. Un déploiement massif de tels systèmes sur le réseau routier deviendra ainsi possible. Une attention particulière sera de développer un système rapidement opérationnel associant capteurs d’infrastructure et PC routier tout en anticipant l’émergence des systèmes coopératifs (dialogue C2X : véhicule à infrastructure et véhicule à véhicule).
15h30 - 16h30 Pause et découverte des stands
Liste des stands Karrus Sensys Necs (GTL) Citilog Orange
16h30 - 17h00 Systèmes intégrés d'exploitation dynamique du trafic Denis Jacquet, Karrus S'il existe aujourd'hui de nombreuses technologies performantes et économiques de mesure du trafic, l'intelligence trafic, qui consiste à valoriser les données collectées suivant une approche métier, reste un domaine émergent. L'hétérogénéité des données collectées en termes de formats, de résolutions temporelle et spatiale et de sémantique constitue un obstacle aux traitements de ces données et à leur intégration dans des systèmes complexes d'exploitation du trafic. Après une brève présentation des technologies utilisées par Karrus, nous présenterons la plateforme logicielle clés en main que nous avons développée pour la mise en œuvre de stratégie d'exploitation dynamique des infrastructures routières.
17h00 - 17h30 Floting Mobile data et leur utilisation dans les Transport intelligents Sylvain Bourgeois et Remi Hugonin, Orange Enjeu grandissant pour les individus, les entreprises et la planète, l’information trafic routier reste un véritable challenge. Pour y répondre, Orange Business Services propose un nouveau service d’informations routières permettant aux entreprises d’optimiser la supervision et la gestion des routes et d’améliorer la satisfaction des usagers, en les informant sur l’état du trafic en temps réel. Ce service s’appuie notamment sur une nouvelle source d’information innovante basée sur une technologie unique développée par les centres de recherche d’Orange (Orange L@bs) qui s'appuie sur les données anonymisées du réseau mobile.
17h30 - 18h00 Les apports de la Détection Vidéo pour les ITS Jérôme Douret, Grégoire Latourte,Citilog A travers plusieurs applications caractéristiques seront présentés différents Systèmes de Transport Intelligent (ITS) utilisant des technologies de détection vidéo. Un premier focus sera réalisé sur les systèmes de Détection Automatique d’Incidents (DAI) dédiés aux opérateurs de tunnels, ponts, et autoroutes (exemples du tunnel de Rebouças au Brésil, et de BAU dynamique sur le tronc commun A4-A86 en France). Dans un second temps l’accent sera mis sur les systèmes de remplacement de boucles électromagnétiques dédiés à la régulation du trafic routier ainsi qu’au recueil de données trafic (exemples des villes de Cannes (France) et Medellin (Colombie), et du tramway des maréchaux à Paris)

Programme

13h45 - 14h00

Introduction

Carlos Canudas-de-Wit , Directeur de recherche CNRS , responsable de l’équipe NeCS, Inria Grenoble Rhône-Alpes /Gipsa-Lab

Le développement des réseaux capteurs (magnétomètres, caméras, radars, traçage GPS, etc.) de mesures de données offrent une opportunité pour l’optimisation du trafic dans les villes, les voies périphériques, et dans le transport public.
Le but de ce séminaire est de présenter les technologies et solutions utilisées pour améliorer le trafic routier. Des initiatives entreprises par les centres de recherche, les pouvoirs publics, les grands groupes industriels, et des SMEs, dans le domaine ITS, seront aussi présentées.

Le séminaire aborde :

les aspects algorithmiques de régulation et de prédiction du trafic,
l’utilisation des technologies telles que les téléphones portables, les réseaux de magnétomètres sans fil et les caméras
les projets européens initiés par les gestionnaires de trafic de Grenoble

14h00 - 14h30

Le GTL un outil expérimental pour la régulation et prédiction du trafic

Carlos Canudas-de-Wit , Directeur de recherche CNRS , responsable de l’équipe NeCS, Inria Grenoble Rhône-Alpes /Gipsa-Lab

The GTL: a experimental tool for traffic simulation, prediction and regulation.

The Grenoble Traffic Lab (GTL http://necs.inrialpes.fr/pages/reseach/gtl.php) initiative is an experimental real-time traffic data center (platform) intended to collect traffic road infrastructure information in real-time with minimum latency and fast sampling periods. The main elements of the GTL are: real-time data-base, traffic forecasting & control algorithms, and a software component-oriented platform. Sensed information come from a dense wireless sensor network providing macroscopic traffic signals such as fluxes and velocities. The talk first present our holistic view of the problem, provides the rationality of using Flow-conservation models as a basis to design new technologies on physical-oriented forecasting & control algorithms, and finally also discuss issues on object/component real-time software platform design for the integration, test and validation those algorithms.

14h30 - 15h00

Traffic Control in action

Markos Papageorgiou, Dynamic Systems and Simulation Laboratory, Université de Crète

Daily traffic congestion on urban road and motorway networks around the world continues to increase, with detrimental effects on travel times, traffic safety, fuel consumption and environmental pollution. Traffic congestion is only partly due to high demand, since the appearing congestion degrades the expensive infrastructure capacity essentially at the only times it is actually needed, i.e. during the daily peak periods. Traffic control measures, if properly designed and deployed, may lead to substantial savings of travel time, fuel consumption and environmental impact, along with an improvement of traffic safety. The presentation will outline some related traffic control problems and methods, with a focus on practicable results. More specifically, the areas of urban signal control; motorway traffic control (local and coordinated ramp metering, variable speed limit control, mainstream traffic flow control); merging traffic control; and route information and guidance will be addressed, along with the presentation of some selected field results.

15h00 - 15h30

Développement et déploiement des ITS par l’achat public de solutions innovantes : Projet européen SYNCRO

Jean-Christophe Maisonobe, Conseil général de l’Isère

Le projet SYNCRO associe deux collectivités transfrontalières, le Conseil général de l’Isère en France et la Province de Turin en Italie, pour déployer un système innovant d’acquisition et de traitement de données trafic, permettant de fournir une information et une assistance temps réel aux usagers de la route. Un des enjeux est de mobiliser les PME innovantes, grâce à l’intervention de la CCI de Grenoble et de la CCIAA di Torino. Il s’agit de réaliser un achat public transfrontalier et tourné vers l’innovation, en mobilisant les PME innovantes à l’échelle européenne. La capacité d’innovation ainsi mobilisée permettra de mettre au point et déployer des systèmes de recueil et de traitement de données routières multifonctions, miniaturisés, bas coûts, basse énergie, et aisés à installer. Un déploiement massif de tels systèmes sur le réseau routier deviendra ainsi possible. Une attention particulière sera de développer un système rapidement opérationnel associant capteurs d’infrastructure et PC routier tout en anticipant l’émergence des systèmes coopératifs (dialogue C2X : véhicule à infrastructure et véhicule à véhicule).

15h30 - 16h30
Pause et découverte des stands

Liste des stands

Karrus
Sensys
Necs (GTL)
Citilog
Orange

16h30 - 17h00

Systèmes intégrés d'exploitation dynamique du trafic

Denis Jacquet, Karrus

S'il existe aujourd'hui de nombreuses technologies performantes et économiques de mesure du trafic, l'intelligence trafic, qui consiste à valoriser les données collectées suivant une approche métier, reste un domaine émergent. L'hétérogénéité des données collectées en termes de formats, de résolutions temporelle et spatiale et de sémantique constitue un obstacle aux traitements de ces données et à leur intégration dans des systèmes complexes d'exploitation du trafic. Après une brève présentation des technologies utilisées par Karrus, nous présenterons la plateforme logicielle clés en main que nous avons développée pour la mise en œuvre de stratégie d'exploitation dynamique des infrastructures routières.

17h00 - 17h30

Floting Mobile data et leur utilisation dans les Transport intelligents

Sylvain Bourgeois et Remi Hugonin, Orange

Enjeu grandissant pour les individus, les entreprises et la planète, l’information trafic routier reste un véritable challenge. Pour y répondre, Orange Business Services propose un nouveau service d’informations routières permettant aux entreprises d’optimiser la supervision et la gestion des routes et d’améliorer la satisfaction des usagers, en les informant sur l’état du trafic en temps réel. Ce service s’appuie notamment sur une nouvelle source d’information innovante basée sur une technologie unique développée par les centres de recherche d’Orange (Orange L@bs) qui s'appuie sur les données anonymisées du réseau mobile.

17h30 - 18h00

Les apports de la Détection Vidéo pour les ITS

Jérôme Douret, Grégoire Latourte,Citilog

A travers plusieurs applications caractéristiques seront présentés différents Systèmes de Transport Intelligent (ITS) utilisant des technologies de détection vidéo. Un premier focus sera réalisé sur les systèmes de Détection Automatique d’Incidents (DAI) dédiés aux opérateurs de tunnels, ponts, et autoroutes (exemples du tunnel de Rebouças au Brésil, et de BAU dynamique sur le tronc commun A4-A86 en France). Dans un second temps l’accent sera mis sur les systèmes de remplacement de boucles électromagnétiques dédiés à la régulation du trafic routier ainsi qu’au recueil de données trafic (exemples des villes de Cannes (France) et Medellin (Colombie), et du tramway des maréchaux à Paris)

Lancement du deuxième concours Dataconnexions

Fri, 26 Oct 2012 11:48:47 GMT

]]>

Etalab, mission interministérielle chargée de la mise en oeuvre de la politique d'ouverture des données publiques, lance son deuxième concours Dataconnexions qui a pour but de promouvoir des projets innovants utilisant notamment des données publiques ou facilitant leur utilisation.

A noter : La date limite d'inscription à Dataconnexions 2 est fixée au 16 novembre 2012.
Pour en savoir plus sur le concours et vous inscrire, rendez-vous sur le site d'Etalab.

Vers un Musée de l’informatique et de la société numérique en France ?

Thu, 25 Oct 2012 10:50:35 GMT

]]>

Le colloque international "Vers un Musée de l’informatique et de la société numérique en France ?" se tiendra les 7 et 8 novembre 2012 au Musée des arts et métiers, à Paris. Il réunira les collectionneurs, les historiens de l’informatique, les spécialistes de la préservation du patrimoine, des entreprises et des chercheurs, et les initiatives associatives sur ces sujets,

20ième édition de la conférence internationale "Real-Time and Network Systems"

Wed, 24 Oct 2012 18:50:30 GMT

]]>

Nancy accueille cette 20 ième édition d'une conférence reconnue dans le domaine des systèmes temps-réel. Le but de la conférence est de partager idées, expériences et informations entre scientifiques et partenaires industriels du domaine. Les applications sont variées, elles existent dans des domaines comme l'avionique, l'automobile en passant par les télécommunications et le multimédia. Cette conférence se veut ouverte aux étudiants et aux entreprises intéressées par cette thématique.

Jam Session Inria Alumni

Wed, 24 Oct 2012 16:19:35 GMT

]]>

Le 29 novembre prochain se tiendra la prochaine Jam Session Inria Alumni. Une occasion de se retrouver, d'échanger et d'assister à une série de présentations par des alumnis spécialistes de renommée internationale, sur des sujets d'actualité à la jointure entre la recherche et l'industrie, les finances et les questions de société.

Programme

La perfection logicielle est-elle possible? L'exemple du logiciel avionique critique
Xavier Leroy, Directeur de Recherche, Inria
Modèles mathématiques en finance
Olivier Pironneau, Professeur Emérite à l'UPMC, Membre de l’institut, Académie des Sciences
Homme numérique, homme augmenté
Véronique Donzeau-Gouge, Professeur au CNAM et Directrice de la Mission pour l'Interdisciplinarité, CNRS
ProbaYes, une PME issue d'Inria, à vocation de chaînon pérenne entre recherche et application
Jean-Michel Lefebvre, Directeur Général de ProbaYes et Emmanuel Mazer, Directeur de Recherche, Inria
Géopolitique des réseaux sociaux
Stéphane Grumbach, Directeur de Recherche, Inria
Innovations technologiques et nouveaux business models
Lancelot Pecquet, Will Strategy, Entrepreneur, Consultant et Professeur de stratégie et management

Les exposés (d'une durée de 20 minutes chacun) seront suivis d'un temps dédié aux questions et discussions, sans oublier les moments d'échanges et de rencontres : pauses et cocktail en fin d'après-midi.

Lancement du projet « DBpédia en français »

Wed, 24 Oct 2012 12:08:43 GMT

]]>

Le projet « DBpédia en français », dispositif d'extraction de données culturelles en ligne est lancé. La signature de la convention pour la plate-forme collaborative Sémanticpédia, entre Inria, Wikimédia France et le ministère de la culture aura lieu le 19 novembre de 10h30 à 18h à Paris, en présence d'Aurélie Filippetti, ministre de la Culture et de la Communication.

Languages with Zero-Knowledge PCP's are in SZK

Wed, 24 Oct 2012 11:10:02 GMT

]]>

Probabilistically Checkable Proofs (PCPs) allow a verifier to check the validity of a proof by querying very few random positions in the proof string. Zero Knowledge (ZK) Proofs allow a prover to convince a verifier of a statement without revealing any information beyond the validity of the statement. We study for what class of languages it is possible to achieve both, namely to build ZK-PCPs, where additionally we require that the proof be generated efficiently. Such ZK-PCPs could potentially be useful for building UC-secure protocols in the tamper-proof token model.
We show that all languages with efficient statistical ZK-PCPs (i.e. where the ZK property holds against unbounded verifiers) must be in SZK (the class of languages with interactive statistical ZK proofs). We do this by reducing any ZK-PCP to an instance of the Conditional Entropy Approximation problem, which is known to be in SZK.
This implies in particular that such ZK-PCPs are unlikely to exist for NP-complete problems such as SAT.
This is joint work with Mohammad Mahmoody.

On the Fluid Limits of a Resource Sharing Algorithm with Logarithmic Weights

Wed, 24 Oct 2012 10:41:09 GMT

]]>

The following class of resource allocation algorithms for communication networks is investigated: if a node of this network has x requests to transmit, then it receives a fraction of the capacity proportional to
log(x), the logarithm of its current load. A fluid scaling analysis of such a network is presented in a simple setting. It is shown that three different times scales play an important role in the evolution of such a
system. An interesting interaction of time scales phenomenon is exhibited. It is also shown that these algorithms with logarithmics weights have remarkable, unsual, fairness properties. A heavy traffic
limit theorem for the invariant distribution is proved.
Joint work with Amandine Veber (CMAP, Ecole Polytechnique)

Analysis of the Stochastic Variability of Protein Production of Prokaryotic Cells

Wed, 24 Oct 2012 10:30:03 GMT

]]>

The protein production, also referred to as gene expression, is a fundamental process within prokaryotic and eukaryotic cells and has been studied over decades by biologists. Experiments have given direct proof of the stochastic nature of the gene expression. As a consequence, the concentration of a given protein shows stochastic fluctuations, which may be costly given that the whole protein production process consumes 80% of the resources of a prokaryotic cell.
To analyze the fluctuations of the number of copies of a specific protein, a generalized version of some classical Markovian models of the late 70s is presented. These earlier models assumed an exponential distribution for the duration of the different steps of the production process. Nevertheless, it is well-known that some steps of the gene expression, such as the protein elongation, are not exponentially distributed, showing an almost deterministic duration. By using a new representation of the number of proteins in terms of marked Poisson point process, closed formulas for the fluctuations of the number of proteins are obtained in this general setting.
Our results show in particular that the exponential assumption may, surprisingly, underestimate significantly the variance of the number of proteins when some steps are not exponentially distributed with smaller fluctuations than an exponential random variable. This counter-intuitive result stresses the importance of the statistical assumptions in the protein production process.
Joint work with Vincent Fromion (INRA) and Philippe Robert (INRIA)

"20 ans de recherche et d'innovation en sciences du numérique"

Tue, 23 Oct 2012 18:49:37 GMT

]]>

En décembre 1992, était créé le centre Inria Grenoble Rhône-Alpes, en partenariat avec les organismes d’enseignement et de recherche régionaux, pour développer les recherches en informatique. Vingt ans plus tard, le centre Inria de Grenoble célèbre l'histoire et le développement dynamique des sciences du numérique et organise 2 événements invitant à parcourir 20 ans de recherche et innovation en sciences du numérique et à débattre de 2 enjeux futurs : « L’Internet des objets », et « Le numérique au service de la santé ».

"20 ans de recherche et d'innovation en sciences du numérique"

Lors des 2 demi-journées événements, organisées les 20 et 23 novembre 2012 et ouvertes à tous publics, sera proposé un retour en témoignages sur 20 ans de numérique en région Rhône-Alpes pour les domaines de l’habitat et de la santé ainsi que 2 débats sur deux orientations de recherche d’Inria :

A Montbonnot, le 20 novembre 2012

L’Internet des objets : usages et limites

Avec le développement des capacités de communication des objets, quels usages peut-on entrevoir lorsque les objets personnels, les maisons, les véhicules, les villes pourront communiquer avec l’utilisateur et entre eux via internet ? Quelles sont les limites technologiques ? Comment prendre en compte les questions de sécurité, de vie privée ?

A Lyon, le 23 novembre 2012

Le numérique au service de la santé

Dans le domaine de la santé, l'approche numérique complète l'expérimentation et permet un éclairage différent sur les mécanismes biologiques ou biophysiques. Est-il alors possible d’améliorer le traitement de pathologies? De mieux les adapter aux variabilités individuelles? Quels sont les perspectives, les risques, les enjeux ?

Depuis sa création, Inria Grenoble Rhône-Alpes a contribué au développement des sciences du numérique pour la société avec les organismes, laboratoires et industriels partenaires. Quelques exemples : les standards du Web et les services en ligne, la fiabilité des calculs sur ordinateur et le calcul distribué jusqu’au cloud computing, la robotique, la modélisation pour la biologie, la santé, l’environnement et la météo ou le cinéma d’animation, les objets communicants et les performances des infrastructures réseaux, la fiabilité des logiciels et la sécurité des échanges de données, la réalité virtuelle et augmentée.

Avec 4 équipes de recherche en robotique, vision par ordinateur, bases de données et représentation de connaissances lors de sa création en 1992, le centre Inria s’est installé sur le site Inovallée de Montbonnot et à l’ENS à Lyon, en 1996. Vingt ans après, Inria Grenoble Rhône-Alpes compte 35 équipes de recherche localisées à Inovallée Montbonnot, sur le Campus de Grenoble, à l’ENS Lyon et sur le campus scientifique La Doua Villeurbanne.

Journées "Modélisation des Biomolécules et de leurs Interactions"

Thu, 18 Oct 2012 11:47:52 GMT

]]>

Le projet "Modélisation des biomolécules et de leurs interactions" présentent ses résultats. Le projet MBI est pluri-disciplinaire, mathématiciens, biologistes, chimistes et informaticiens travaillent de concert autour d'objectifs bien définis.

Le projet MBI est l'un des 5 projets du Pole Régional Scientifique et Technologique : PRST MISN (Modélisation, Information, Systèmes Numériques) porté par INRIA Nancy Grand-Est dans le cadre du Contrat de Plan Etat-Région avec la Région Lorraine. Le projet MBI a pour objectif de relever deux défis :
- d'une part la prise en compte des connaissances du domaine dans la modélisation des interactions entre biomolécules,
- d'autre part la prise en compte des interactions entre biomolécules dans la modélisation des systèmes biologiques.

Trois axes d'investigations ont été définis sur la base des opérations de recherche en cours : (i) Modélisation 3D des biomolécules et de leurs interactions, (ii) Modélisation de réseaux d'interactions, (iii) Coopération-combinaison de méthodes d'analyse et de fouille de données.
Les journées ouvertes MBI des 25-26 octobre 2012 permettront de faire connaître et de discuter les avancées scientifiques de chaque opération. Nous aurons le plaisir d'accueillir un conférencier invité pour chaque demi-journée.

A reduced order approach based on numerical scattering transform

Wed, 17 Oct 2012 16:38:50 GMT

]]>

In this seminar a reduced order approach is presented, which is based on a set of space-time evolving modes, defined by means of a numerical approximated scattering transform. In the first part, the state of the art of model reduction is recalled, mainly focusing on the problems arising when an efficient representation of progressive waves is sought. Then, some key properties of the scattering transform are introduced and the numerical approximation adopted is detailed. In the last part of the seminar several numerical experiments are commented, in which the technique is applied to partial differential equations, such as KdV, FKPP and 1D Euler flows on networks to model arterial blood flow.

iMatch Optimisation / Contrôle

Tue, 16 Oct 2012 16:25:01 GMT

]]>

Le centre Inria Saclay - Île-de-France, en partenariat avec Systematic, Cap Digital, Medicen, Finance Innovation, Oséo, le centre francilien de l'innovation, la chambre de commerce et d'industrie de l'Essonne et Digiteo organise le mardi 23 octobre à 14h (Campus de l'École Polytechnique à Palaiseau) des rencontres entre industriels et chercheurs sur le thème de l'optimisation et du contrôle.

L'imatch Optimisation / Contrôle sera centré sur les thématiques suivantes :

Contrôle, optimisation, modèles et applications pour les systèmes dynamiques non linéaires,
Algèbres max-plus et mathématiques de la décision,
Systèmes dynamiques interconnectés dans des environnements complexes,
Contrôle géométrique et planification des trajectoires.

L’après-midi sera organisée en deux parties :

Présentation des principales offres/services technologiques sous forme d’interventions de 10 minutes
Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes Commands, Disco, Geco et Maxplus seront présentes.

Zoom sur les technologies présentées :

Bocop : boite à outil dédié à la résolution de problèmes de contrôle optimal
Shoot : résolution numérique de problèmes de commande optimale pour systèmes dynamiques
Yalta : boite à outil d’analyse de stabilité des systèmes à retard classiques et fractionnaires.
Q-Track : logiciel de calcul automatique de lois de commande pour des systèmes quantiques fermés
IRHD : reconstruction d’image par un algorithme biomimétique
TPLib : évaluation des performances de systèmes dynamiques liés aux évènements discrets
PiGames : modèles et algorithmes de résolution de problèmes de contrôle et de jeux stochastiques à somme nulle de grande taille.

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

Robots et corps ; immersion écologique et cognition incarnée

Mon, 15 Oct 2012 17:37:07 GMT

]]>

Immersion écologique et cognition incarnée : des robots en 1ère personne.

Une journée où modélisateurs et philosophes font état de leurs échanges. Les philosophes accompagnent les modélisateurs, les modélisateurs donnent de nouvelles clés de compréhension de l'homme en passant par une tentative de description de ce que peut être la machine demain.

Entrée libre.

Le programme.

Functional Encryption with Bounded Collusions via Multi-Party Computation

Mon, 15 Oct 2012 14:33:29 GMT

]]>

We construct functional encryption schemes for polynomial-time computable functions secure against an a-priori bounded polynomial number of collusions. Our constructions require only semantically secure public-key encryption schemes and pseudorandom generators computable by small-depth circuits (known to be implied by most concrete intractability assumptions). For certain special cases such as predicate encryption schemes with public index, the construction requires only semantically secure encryption schemes.
Along the way, we show a "bootstrapping theorem" that builds a q-query functional encryption scheme for arbitrary functions starting from a q-query functional encryption scheme for bounded-degree functions. All our constructions rely heavily on techniques from secure multi-party computation and randomized encodings.
Our constructions are secure under a strong simulation-based definition of functional encryption.
Joint work with Sergey Gorbunov and Vinod Vaikuntanathan

Improved Algorithms for Composite Search Problems

Mon, 15 Oct 2012 11:20:12 GMT

]]>

Conférence Adi Shamir

Conférence d'Adi Shamir

Mon, 15 Oct 2012 09:49:56 GMT

]]>

Mercredi 17 octobre 2012 à 14h, Adi Shamir, figure emblématique de la cryptographie, donnera une conférence à l'École Normale Supérieure de Paris sur le thème : "Improved Algorithms for Composite Search Problems".

Adi Shamir est par ailleurs lauréat de la Grande Médaille de l'Académie des Sciences qui lui sera remise mardi 16 octobre 2012 sous la Coupole de l'Institut de France.

Biographie d'Adi Shamir

Adi Shamir - © ae-info.org

Professeur au département de mathématiques appliquées du Weizmann Institute of Science depuis 1984, où il occupe la chaire Borman de science informatique, Adi Shamir est né à Tel Aviv, en Israël, en 1952.

Le cryptosystème RSA, découvert en 1978 par Adi Shamir, Ron Rivest et Len Adleman, fut le premier à mettre en oeuvre les concepts de chiffrement à clé publique de signatures numériques, définis antérieurement par Diffie et Hellman. Son élégance mathématique reste inégalée, même après vingtcinq ans de recherche académique en cryptographie. Il est évidemment exceptionnel pour des chercheurs en informatique de voir leurs initiales accolées à des millions de produits : le RSA, utilisé dans le monde entier, permet - entre autres - de protéger la confidentialité des données obtenues sur des serveurs Web.

Adi Shamir est l'une des figures emblématiques de la cryptographie et de la cryptanalyse à travers le monde. Il a introduit et mis en oeuvre la notion de partage du secret qui s'est révélée être une idée fondamentale, utilisée non seulement dans la pratique, mais également dans des centaines de travaux théoriques. Sa proposition de générateurs pseudo-aléatoires, fondée sur l'inviolabilité de la fonction RSA, a inspiré le développement de la théorie de la génération d'aléa.

Adi Shamir est, de loin, l'expert le plus éminent en cryptanalyse. Ses plus grandes réussites, dans ce domaine, sont les attaques sur les cryptosystèmes dits "du sac à dos", qu'il a essentiellement éliminés du paysage cryptographique, et l'invention de la cryptanalyse différentielle, première méthode d'attaque systématique des algorithmes de chiffrement par bloc.

Co-inventeur du célèbre schéma d'identification du "Fiat-Shamir", Adi Shamir a ainsi établi l'intérêt pratique des preuves sans transfert d'information, dites aussi "zero-knowledge", dans le contexte de l'authentification et du contrôle d'accès. Les travaux qu'il a ensuite conduits avec ses élèves sur les preuves à témoin indistinguable et les preuves "zero-knowledge" non interactives sont aujourd'hui des pierres angulaires de la recherche théorique en cryptographie.

Enfin, Adi Shamir a apporté des contributions décisives dans d'autres domaines de l'informatique, notamment en théorie de la complexité algorithmique où il a établi l'identité des classes de complexité IP et PSPACE.

Adi Shamir appartient à une tradition de savants célèbres qui ont dédié une partie de leurs recherches à la cryptographie et accompli d'importantes découvertes. Citons parmi eux, Girolamo Cardano et François Viète au XVIe siècle, John Wallis au XVIIe siècle, Charles Wheatstone au XIXe siècle, et plus récemment, Claude Shannon et Alan Turing.

Donnez votre avis sur la recherche en sciences du numérique - Débat citoyen Inria

Thu, 11 Oct 2012 15:13:43 GMT

]]>

Le 19 novembre 2012 à 18h, venez débattre des priorités Inria de la recherche en sciences du numérique sur le plateau de Saclay ! Le numérique est maintenant plus que jamais au cœur de la société, c'est pourquoi Inria a souhaité demander aux citoyens leur vision de l'avenir de la recherche dans ce domaine. En s'appuyant sur un rapide tour d'horizon des grands champs de recherche en informatique et mathématiques appliquées, venez échanger avec les chercheurs du centre Inria Saclay - Île-de-France sur les orientations du plan stratégique de l'institut. Un cocktail clôturera la session et permettra de poursuivre la discussion de façon informelle.

Programme :

18h - Ouverture de la session par Nozha Boujemaa, directrice du centre
18h10 - Trois thématiques abordées, où alternent explications et moments d'échanges :
- Données et connaissances, avec intervention de Serge Abiteboul (équipe Webdam) et de Jean-Daniel Fekete (équipe Aviz)
- Notre sécurité au quotidien, avec intervention de Jean Goubault-Larrecq (équipe Secsi) et de Kostas Chatzikokolakis (équipe Comete)
- Avenir de la santé, avec intervention de Dominique Chapelle (équipe Macs) et de Bertrand Thirion (équipe Parietal)
19h40 - Discussion avec le public sur des sujets transverses
À partir de 20h - Poursuite des discussions autour d'un cocktail

Simon Godsill, Applications of statistical methods in computer music, tracking and finance

Wed, 10 Oct 2012 17:46:35 GMT

]]>

In this talk, he will give a survey of recent results of his research in the application of probabilistic methods, and in particular Bayesian statistical methods, to various areas, including automated understanding of musical signals, tracking of dynamically networked objects, and financial modelling.

Who's Simon Godsill ?

Professor Simon Godsill coordinates an active research group in Signal Inference and its Applications within the Signal Processing and Communications Laboratory at the University of Cambridge. He specialises in Bayesian computational methodology, multiple object tracking, audio and music processing, and financial time series modelling.

He was Technical Chair of the 2006 IEEE NSSPW workshop on sequential and nonlinear filtering methods and has served as Associate Editor for IEEE Tr. Signal Processing and the Bayesian Analysis journal.

The Signal Processing Laboratory is involvement in audio and music processing, its current research is concerned with accurate modelling of digital audio and automated inference about the parameters and structure of those models.

Professor Godsills current research interests include

Audio signal processing – source separation, music analysis and transcription, noise reduction, audio restoration, multiple channel audio and sparse/overcomplete models
Tracking – sensor function, multiple object tracking, detection, radar and sonar
Signal inference methodology – Bayesian and Monte Carlo methods, particulate filter and model uncertainty

Approches multiéchelles du cerveau visuel...

Tue, 9 Oct 2012 13:27:30 GMT

]]>

Approches multiéchelles du cerveau visuel : des échos synaptiques à la perception des formes et du mouvement.

The field of neuromorphic computation has grown from the idea that inspiration for future computational architectures can be gained from a better understanding of information processing in biological neural networks. Information coding in our brain is both digital, in terms of output spike timing, and analogue, produced by the slower, subthreshold changes in membrane voltage resulting from a continual barrage of synaptic inputs. These small and ever-changing voltage fluctuations in the neuronal membrane potential of the single neuron, control its excitability and spiking reliability. The reverse engineering analysis of these synaptic echoes allows to retrieve the functional effective connectivity of the contextual network within which each cell is embedded.

I will review work from my laboratory (UNIC-CNRS) on spatio-temporal features of the processing realized by the early visual system. Multiscale recordings in the mammalian visual cortex of ongoing and evoked dynamics have been compared using electrophysiological intracellular (single cell) and multiple electrode recording (assembly) techniques. By varying and controlling the visual statistics simulated by a virtual oculomotor exploration of our visual environment, we were able to show that the time precision of the code, the reliability of the evoked dynamics of the visual cortical network and the functional organization of visual cortical receptive fields all adapt to the statistics of the sensory signals. Our observations are best explained by an homeostatic representation principle, where complexities of the input statistics and of V1 receptive fields covary inversely. Generalized recruitment by the stimulus of center-surround interactions and local non-linearities tend to reduce the contextual noise in subthreshold dynamics of the single cortical neuron through a divisive shunt effect. Dynamic full field interactions are shown to regularize the functionally expressed organization of V1 receptive fields, making them more linear and “Simple”-like.

A second illustration of the predictive power of multiscale studies of visual processing has been obtained by comparing intracellular and network imaging (voltage sensitive dye) while exploring the “silent” periphery of visual cortical neurons. Using apparent motion noise at saccadic speed, we have inferred from the synaptic echoes (recorded intracellularly) the existence of long-distance propagation of visually evoked activity through lateral (and possibly feedback) connectivity outside the classical receptive field. VSD imaging has been used to visualize, at the mesoscopic level, the propagation patterns travelling at the speed inferred from our microscopic recordings. Our results demonstrate the propagation at the V1 map level of intracortical depolarizing waves, broadcasting an elementary form of collective “belief” to distant parts of the network. The functional features of these slow waves support the hypothesis of a dynamic perceptual association field, facilitating synaptic modulation in space and time during oculomotor exploration. They may serve as a substrate for implementing the psychological Gestalt principles of common fate and axial collinearity.

We conclude from this review that the early visual system is far from being understood, and that the functional dynamics of visual cortical networks show a much higher level of complexity than initially thought. Comparison between different levels of integration not only shows how limited is our understanding of the emergence of feature selective maps in primary visual areas, but reveals unexpected immergence processes through which collective order regulates more microscopic properties in a top down fashion.

Work supported by CNRS, the French National Research Agency (NatStats and V1-complex) and the European Community (FET integrated (BrainScales) and FET-open (Brain-i-nets) grants).

References:
Chavane, F,. Sharon, D., Jancke, D., Marre, O., Frégnac, Y. and Grinvald, A. (2011). Lateral spread of orientation selectivity in V1 is controlled by intracortical cooperativity. Front. System Neuroscience, 5:4. 1-26. doi: 10.3389/fnsys.2011.00004.
Marre, O., Yger, P., Davison, A.P. and Frégnac, Y. (2009). Reliable recall of spontaneous activity patterns in chaotic cortical networks. Journal of Neuroscience, 2009, 29(46): 14596-14606.
Fournier, J., Monier, C., Pananceau, M. and Frégnac, Y. (2011). Adaptation of the Simple or Complex nature of V1 receptive fields to visual statistics. Nature Neuroscience. 14: 1053-1060.
Frégnac, Y. (2012). Reading out the synaptic echoes of low level perception in V1. Lecture Notes in Computer Science. 7583: 486-495.

Interfaces neuronales : de la pensée à l’action

Mon, 8 Oct 2012 14:59:55 GMT

]]>

Cette rencontre transdisciplinaire sur les interfaces neuronales, qui prendra place les 9 et 10 octobre 2012 à Stereolux, présentera les derniers dispositifs et applications dans le domaine autour de différents ateliers et démonstrations.

Programme

Mardi 09/10/12

9h - 9h30 : accueil des participants et petit-déjeuner

9h - 12h30 : Table ronde sur les interfaces neuronales.
Avec Yann Renard et Laurent Bonnet (Mensia Technologies), Anatole Lécuyer (Inria - Open Vibe), Pr. Sylvie Nguyen (CHU Angers), Dominique Peysson (artiste, enseignante à l’Ecole Nationale des Ponts et Chaussées), Sam@neurohack (temp/lab)…
12h30 - 13h : Présentations de projets/travaux, appels à collaborations.  13h - 14h30 : Déjeuner pris en commun  14h30 - 16h : Démos de projets et temps d'échange
16h - 18h : Workshops

Mercredi 10/10/12

9h30 - 17h30 : A vos neurones ! Créez vos projets d’interfaces || Plateau multi

Inria et ses partenaires fêtent la science

Fri, 5 Oct 2012 17:07:05 GMT

]]>

Le parc et le château du Charmois seront le théâtre d'une série d'animations, d'expositions, d'ateliers et de spectacles. Un espace de rencontre où seront réunis les sciences du numérique, l'environnement, l'archéologie, les mathématiques, les sciences humaines, les métaux, la physique, la chimie… Apprendre tout en s'amusant, tel est l'objectif de cette semaine qui s'adresse aux petits comme aux grands.

Animations spécifiques liées à nos disciplines

Informatique : halte aux idées reçues

Peut-on rester anonymes sur Internet ? L'informatique est plus écologique que le papier ? L'ordinateur est une machine intelligente ? Les robots dominent le monde ? … Autant d'idées reçues qui ont la peau dure…

Omniprésentes dans notre société, les sciences du numérique se sont rendues indispensables dans de nombreux domaines : santé, protection de l'environnement, éducation… Venez en débattre avec Thierry Viéville (équipe-projet Cortex) mercredi 10 octobre à 16 h 30. Echanges illustrés et animés par des saynètes d'improvisation, jouées par des adolescents du club de théâtre impro de la MJC Nomade de Vandoeuvre.

Devenez réalisateur d'un jour

Tout au long de la semaine, des enfants des écoles primaires de Vandoeuvre-lès-Nancy mettront en scène et animeront des éléments de papier géométriques pour illustrer le conte "La tortue qui devint reine". A l'aide de logiciels libres, ces apprentis réalisateurs découvriront les concepts de pixelisation, stop motion et slow motion. Ils pourront ainsi créer des mouvements à partir d'objets immobiles, mais aussi des ralentis, techniques utilisées pour les dessins animés.

Point d'orgue de cet atelier : la diffusion au grand public les samedi 13 et dimanche 14 octobre d'un mini-métrage reprenant les réalisations des enfants, afin de restituer l'interprétation, la sensibilité et la participation de chacun. Une salle du château sera entièrement dédiée aux petits et grands qui souhaitent découvrir ces techniques et réaliser leur propre court-métrage d'animation. Des chercheurs en science du numérique du Centre Inria Nancy - Grand Est et du LORIA seront également présents pour expliquer au grand public des problématiques connexes auxquelles ils s'intéressent : notions d'interpolation, réalité augmentée, interprétation d'images, lumière, scrolling différentiel…

La liberté et le partage logiciel

Venez tout découvrir sur les logiciels libres. Philippe Dosch, chercheur de l'équipe Qgar, vous dira tout samedi 13 octobre de 14 h à 18 h.

L'informatique sans ordinateur

Quels liens peuvent avoir les sciences du numérique, avec des clous, des morceaux de ficelle, des planchettes multicolores, des allumettes, des cailloux, du fil électrique, une recette de cuisine, un manuel de montage de meubles, des cadenas… ? Au travers d'ateliers ludiques et participatifs, quelques notions d'informatique (algorithmes, cryptographie…) seront abordées mercredi 10 octobre de 9 h à 11 h 30 et de 14 h à 17 h 30, ainsi que dimanche 14 octobre de 14 h à 18 h.

Démonstrations

"Réalité augmentée" par Gilles Simon (équipe-projet Magrit) : mercredi 10 octobre après-midi
"Reconnaissance de visage" par Bart Lamiroy (équipe QGar) : mercredi 10 octobre après-midi

N.B. : c'est sur cette opération, construite en association avec la MJC Nomade, le CPIE Champenoux et le CNRS, Inria Nancy Grand Est et le LORIA, qu'aura lieu le lancement de la Fête de la Science en Lorraine.

Venez nombreux !

Free Open Source Academia Conference 2012

Thu, 4 Oct 2012 16:07:07 GMT

]]>

fOSSa 2012 abordera :

l’enseignement (Ivaylo Ganchez)
IRILL (Roberto Di Cosmo)
l’Histoire du logiciel libre et de l’open source (Christophe Masutti & Alexis Kaufmann)
Projection du film Revolution OS : un documentaire passionnant sur l’open source. Cette séance sera ouverte au public
Digital Native Generation : (Stéphane Frenot & Stéphane Grumbach)
Openness : Open Arts and Open Hardware (Jérome Copin)
Licences : pas de juristes, pas de consultants, rien que des témoignages et des retours d’expérience (Gabriele Ruffatti)
Communities (Stephane Ribas)

Chaque thème se terminera sur un débat, et des workshops seront également proposés.

Venez découvrir la science sur le stand Inria !

Wed, 3 Oct 2012 11:11:24 GMT

]]>

Du 12 au 14 octobre 2012, jouez avec les sciences accompagnés de vos enfants sur le plateau de Saclay. Retrouvez les deux ateliers du centre Inria Saclay - Île-de-France dans le village des sciences organisé par Île-de-Science.

Des mots dans le cerveau

Venez jouer pour découvrir comment votre cerveau décode les mots que vous lisez. Défiez-vous les uns les autres pour découvrir le mot mystère !

Mémoire vive

En jouant en équipe, vous pourrez ainsi vous mesurer à vos camarades, vous apprendrez les secrets d'internet, des astuces mathématiques et ce que cache la recherche en informatique.

Numerical continuation methods for slow-fast dynamical systems - application to neuronal systems

Tue, 2 Oct 2012 10:06:34 GMT

]]>

Numerical continuation refers to a family of numerical schemes of predictor-corrector type, which allow to compute solution branches of nonlinear equations depending on one or several parameters. In this talk, I will start by presenting the essentials of pseudo-arclength continuation in the context of parametrized families of differential equations. I will then explain the advantages of using it for equations with multiple time scales, in particular when computing invariant dynamical objects (slow manifolds) and special solutions (e.g. canard orbits, mixed-mode oscillations, bursting oscillations) by continuing families of well-posed boundary-value problems. I will illustrate this approach with examples of neuronal models, both models for single neurons and coupled systems.

Sound Optimisations in the C11/C++11 Memory Model and Applications to Compiler Testing

Tue, 2 Oct 2012 10:00:05 GMT

]]>

Sometimes compilers introduce bugs: the generated code allows behaviours forbidden by the semantics of the source program. Most of the time these misbehaviours materialise as soon as the code is executed. However, in some subtle cases, the compiler generates perfect sequential code but breaks the memory model of the programming language: unexpected behaviours become observable only when the miscompiled function interacts with a concurrent context. We call
these concurrency compiler bugs. In this work we present cpptest, a tool for hunting concurrency compiler bugs in modern C and C++ compilers. First we prove correct a theory of sound optimisations in the C11/C++11 memory model, covering most of the optimisations we have observed testing real compilers (including eliminations, reorderings and a restricted class of introductions of memory accesses). Building on this theory, we show how concurrency compiler bugs can be
identified by comparing the memory trace of compiled code against a reference memory trace for the source code: this effectively reduces
the hard problem of hunting concurrency compilation bugs to differential testing of sequential code. The cpptest tool puts this idea at work: at the time of writing, preliminary testing of gcc and clang has already identified some mistaken write introduction performed by the loop invariant motion optimisation in gcc 4.7.

This is work in progress with Robin Morisset and Pankaj Pawan.

Un second bâtiment pour Inria Lille - Nord Europe

Mon, 1 Oct 2012 11:59:29 GMT

]]>

Le 23 octobre 2012 à 16 h 00, aura lieu l'inauguration du bâtiment B du centre Inria Lille - Nord Europe, en présence de Michel Cosnard, Président Directeur Général d'Inria et David Simplot-Ryl, directeur du centre de recherche.

Installé à la Haute Borne depuis janvier 2008, le centre de recherche Inria Lille - Nord Europe double sa superficie pour soutenir la croissance, passant ainsi de 4000 à 8000m² grâce à un nouveau bâtiment.

Le centre inaugurera son second bâtiment dédié à la recherche en sciences du numérique, en présence de ses partenaires académiques, institutionnels et industriels. L'inauguration commencera à 16 h 00 et sera suivie d'un cocktail.

Le jeu de Go : un défi pour l'intelligence artificielle

Mon, 1 Oct 2012 10:52:11 GMT

]]>

Ce jeu d’origine chinoise pousse les chercheurs à inventer de nouvelles techniques pour tenter de rivaliser avec l’intelligence humaine

Rémi Coulom, maître de conférence à l'Université Lille 3 et chercheur dans l’équipe de recherche Inria Sequel (commune avec Centrale Lille, le CNRS, l'Université Lille1 et l'Université Lille 3) vous présentera son programme informatique "CrazyStone" (médaille d'or aux Olympiades des jeux de programmes,Turin, 2006 ).

Il vous racontera également son incroyable parcours dans le monde du Jeu au Japon, où Crazy Stone a participé avec succès à des tournois en remportant (en 2007 et 2008) l'UEC Cup. Ces victoires lui ont apporté beaucoup de notoriété ainsi qu'une collaboration commerciale avec un éditeur Japonais qui a souhaité y commercialiser ce programme.

Accueil sur le Plateau Inria dès 12h30 ("café gourmand" offert)
Rendez-vous avec Rémi Coulom dès 13h
Questions & Réponses jusqu'à 14h15.

L'entrée est gratuite mais l'inscription obligatoire auprès de Pierre Cappelli.

Inria fête la science à Bordeaux

Tue, 25 Sep 2012 16:14:21 GMT

]]>

C’est cette année dans ses nouveaux locaux du 200 avenue de la Vieille Tour que le Centre Inria Bordeaux – Sud-Ouest accueillera le public à l’occasion de la fête de la science. Du 8 au 12 octobre, collégiens et lycéens sont conviés à venir découvrir les sciences du numérique autour d’ateliers et expositions.

Des ateliers pour découvrir les sciences du numérique

Dans le cadre du circuit scientifique bordelais organisé pour la fête de la science, le Centre propose aux élèves de découvrir les sciences du numérique en sortant des schèmes scolaires : manipulation, jeu de questions-réponses et surtout des sujets originaux qu’ils n’ont pas forcément l’occasion d’aborder en classe.
Au programme : trois ateliers, trois façons de parler informatique et mathématiques et d’éveiller la curiosité d’un public pas toujours averti !

Prédire l’avenir : le pouvoir de la simulation dans le monde des fluides…

Quel est le point commun entre une turbine servant à produire de l’énergie, une capsule spatiale et un tsunami ? Réponse : les fluides ! En effet dans tous ces domaines, on a affaire à des fluides. Quand on dit fluide on pense assez vite aux liquides, et pourtant ce n’est pas tout à fait le cas…

Par ailleurs, les fluides en question ont certains comportements (ils se déplacent, se répartissent, etc.) que l’on cherche à prédire : que se passe-t-il lorsqu’une vague atteint le littoral ou comment se déplace la vapeur dans une turbine ? Autant de questions auxquelles la simulation numérique peut répondre. C’est donc la simulation numérique et des techniques innovantes associées que l’équipe Bacchus présentera pour la fête de la science et tout cela autour d’applications très concrètes !

Seriez-vous plus efficaces que votre ordinateur ?

Saviez-vous que les consoles de jeu sont de véritables calculatrices ? Les processeurs et cartes graphiques qu’elles embarquent, avides de calculs complexes, sont par exemple capables de reproduire les effets de la gravité, du vent, d’anticiper les actions du joueur… bref de rendre les jeux toujours plus réalistes.

Les cartes graphiques ont vu leur usage premier détourné afin de faire grandir la puissance de calcul des ordinateurs. Aujourd’hui une seule machine peut calculer bien plus vite que l’ensemble des habitants de la terre réunis ! Mais pour cela il faut exploiter efficacement ses capacités, c’est-à-dire faire travailler ensemble et intelligemment de nombreux composants indépendants, plus ou moins spécialisés, et organisés de manière hiérarchique. C'est aussi difficile que de manager une équipe dans une entreprise !

On se plaint souvent de la lenteur des ordinateurs. Mais sauriez-vous vous répartir les travaux aussi efficacement qu'eux ? Et si on essayait sur des exemples de la vie courante ?

Devenez les Indiana Jones de la 3D !

Reproduire de vrais objets sur ordinateur, les reconstruire numériquement en 3D, et ce simplement avec quelques clichés … un doux rêve ? Pas du tout, et c’est exactement ce que l’équipe manao, en partenariat avec des archéologues, a entrepris avec les statues entourant le phare d’Alexandrie. Les fragments de ces objets colossaux ne pouvant être réassemblés en réel, c’est la modélisation 3D qui a permit de faire revivre les statues.

L’équipe propose de faire connaître et comprendre les techniques utilisées en reproduisant ces méthodes sur des objets de la vie courante. Ainsi, les élèves peuvent-ils venir avec leur propres objets afin d’en construire un modèle 3D !

L’histoire de nos sciences en objets

Cylindre à crypter, arithmomètre ou autre machine Nema, la science se découvre aussi a travers son histoire et les objets qui l’ont marqué ! Centrée sur l’histoire du calcul et celle de la cryptographie, l’exposition fera un détour par la vie d’Alan Turing qui a notamment travaillé dans ces domaines, et qui fêterait ces 100 ans cette année.

Parcours libre au cœur des sciences du numérique

Les sciences du numérique sont partout, elles inondent notre quotidien et on les retrouve dans tous les domaines. Santé, société, transport, énergie ou encore planète, l’exposition "Parcours au cœur des sciences du numérique", disséminée à travers le bâtiment, revient sur ces différents domaines et fait le focus sur les recherches menées au sein du centre.

Gageons que cette année encore, l’immersion au cœur de sciences du numérique suscitera des vocations chez les jeunes Aquitains !

* Objets prêtés par le collectionneur talençais, Michel Mouyssinat.

Les déplacements du futur

Thu, 20 Sep 2012 18:32:42 GMT

]]>

Les équipes de recherche Wam et Emotion présentent une application de navigation piétonne en réalité augmentée et un système d'aide à la conduite pour les véhicules "intelligents", lors de l'événement "Les déplacements du futur" de la Fête de la Science 2012.

Retrouvez les équipes WAM et E-Motion pour leur conférence jeudi 11 octobre.

11H10 - 12h10

Réseaux de navigation pour piéton et réalité augmentée.
Par Jacques LEMORDANT (équipe WAM)

L'ouverture des données publiques notamment au niveau de la cartographie des villes, les capteurs MEMS embarqués dans les téléphones mobiles, les technologies web et de réalité augmentée sont en train de modifier notre perception d'une ville accessible à tous. Nous présenterons IXE, un de ces nouveaux systèmes permettant une navigation accessible sur des réseaux urbains ne se limitant pas aux trottoirs mais se développant aussi à l'intérieur des bâtiments. Nous décrirons les réseaux et les expériences de navigation qui ont été conduits sur Grenoble mais aussi en Suisse et au Japon avec des personnes ayant des déficiences visuelles.

14H00 - 15H00

Perception Bayesienne pour les véhicules intelligents
Par Anne SPALENZANI et Mathias PERROLLAZ (équipe E-motion)

Les futurs systèmes d'aide à la conduite reposeront sur une perception de l'environnement routier par le véhicule. L'exposé présentera les approches développées par Inria pour permettre à un véhicule de percevoir et comprendre son environnement proche, puis pour identifier les situations à risque.

L'événement "Les déplacements du futur" est organisé du 11 au 14 ocotbre 2012 par l’Union Régionale des Ingénieurs et Scientifiques et les Ingénieurs Arts et Métiers à la Halle Clémenceau, au parc Paul Mistral de Grenoble ainsi qu’à la Chambre de Commerce et d’Industrie de Grenoble (CCI). L'objectif est de faire découvrir et expérimenter les prototypes des véhicules qui nous permettront de nous déplacer dans un futur proche.

Cinq thématiques ont été choisies : Automobile et motos, Modes doux de déplacement et loisirs, Transports en commun et inter-modalité, Production, stockage et distribution de l'énergie.

Cet évènement gratuit et ouvert à tous. Il a été labellisé par le Ministère de l'Enseignement Supérieur et de la Recherchdasn le cadre de la fête de la Science 2012.

Le programme complet sur www.deplacementsdufutur.org

Web and automative

Thu, 20 Sep 2012 14:29:50 GMT

]]>

W3C invites automotive manufacturers and service providers, wireless carriers, media service providers and advertisers, insurance companies, application and solution developers and others to participate in the W3C workshop on Web and Automotive, 14-15 Nov. 2012, Rome, Italy.

People today enjoy applications and services from multiple networked devices: notebook and desktop computers, smart phones, tablets, and Internet TVs. With our increasingly mobile lifestyles, it’s time to include the connected car in this mix. The Web is the ideal platform to offer a rich range of benefits and value-added services to drivers and passengers.

W3C’s Open Web Platform (OWP) is driving this and other industry transformations. The promise of the early information superhighway is being fulfilled. Whether tethering a driver’s smartphone or tablet to work with a car--or embedding technology into the car itself--there’s no need to reinvent the wheel. The Web can take you there.

Participants in this workshop will have the opportunity to share their own perspectives, requirements, and ideas to ensure that emerging global technology standards meet the needs of the Web and Automotive industries.

We want to know more about your state-of-the-art approaches!

Share your knowledge of the topics or other areas of interest to you.
Offer your experiences in using Web-based automotive approaches.
Demonstrate prototypes of emerging technologies that could benefit from global Web standards.
Show research results or lessons learned to ensure others don’t reinvent the wheel.

Top five topics for the workshop:

Putting safety first
Relationship between the car and the mobile phone
Creating markets for automotive applications
Improving quality and reducing costs through Web technologies
Unique opportunities for the automotive user experience

Position papers are required to be eligible to participate in this workshop. Organizations or individuals wishing to attend must submit a position paper explaining their perspectives on a workshop topic of their choice no later than 12 October 2012. W3C membership is not required to participate. Participation is free and open to W3C members and non-members.

Learn more

A la découverte du monde numérique !

Wed, 19 Sep 2012 11:37:55 GMT

]]>

A l’occasion de la 21ème fête de la science, les chercheurs du centre Inria Sophia Antipolis - Méditerranée vous invite à la découverte du monde numérique !

Chercheurs et ingénieurs d'Inria animeront plusieurs ateliers, activités, conférences avec les jeunes et le grand public au Centre International de Valbonne qui accueille cette année la Fête de la Science sur la technopole de Sophia Antipolis.

Programme des animations Inria du 9 au12 octobre :

Mardi 9 octobre

9 à 13 h (Hall amphi prépa) - Atelier : L'art fractal, animé par Anne Charlotte Philippe, doctorante de l'équipe Athena
Les fractales sont fascinantes, elles ressemblent à une multitude de formes qui nous entourent : du chou romanesco jusqu'aux galaxies, en passant par les arbres et les reliefs montagneux... et matérialisent l'infiniment grand comme l'infiniment petit. Ces courbes sont aujourd'hui générées par des artistes, ce qui a donné lieu à un nouveau domaine dans l'art numérique : l'art fractal. C'est autour du processus créatif de génération de fractales que cet atelier passera en revue quelques bases mathématiques et informatiques utiles pour obtenir de telles courbes. Les auditeurs pourront interagir avec l'application pour générer leur propre fractale : les plus jeunes pourront proposer les couleurs et le niveau de détails qu'ils souhaitent et ainsi appréhender le concept d'itération et de suites mathématiques ; les plus grands auront accès à l'algorithme même pour essayer de coder la fameuse fractale de Mandelbrot.
- Présentation Art fractal (pdf, 5 Mo)

Mercredi 10 octobre

9 à 13 h (Salle Harmoniques) - Atelier : Magie et jeux mathématiques, animé par Frédéric Giroire, chercheur de l'équipe Mascotte
Où on montrera comment les graphes et nombres binaires servent à inventer un tour de carte et à gagner aux jeux
- Voir aussi quelques articles sur Interstices.info :

Jeudi 11 octobre

10h - 12h (salle de cinéma) : Conférence sur "Internet et Vie privée", présentée par Arnaud Legout, chercheur de l'équipe Planète
La notion de vie privée sur Internet est vague et le risque d’atteinte à la vie privée largement sous-estimé. On va définir cette notion d’atteinte à la vie privée et décrire les risques qui existent actuellement. On va commencer par décrire les informations que peuvent collecter les grandes sociétés de l’Internet comme Google ou Facebook. On verra, en particulier, qu’il est impossible de se cacher de ces sociétés même si l’on n’utilise jamais aucun de leurs services. On s’intéressera ensuite aux informations que peut collecter n’importe qui (par exemple, votre voisin). On verra que sans infrastructure il est possible de suivre un grand nombre d’activités sur Internet. De plus, on montrera comment il est possible de collecter des informations liées aux personnes telles que leur identité, mais aussi leurs déplacements et leurs interactions sociales.
- Support de présentation de la conférence (vnd.openxmlformats-officedocument.presentationml.presentation, 813 Ko)

13h - 17 h (Hall amphi prépa) - Atelier : Le robot à câbles et les mathématiques, animé par Julien Alexandre Dit-Sandretto, doctorant de l'équipe Coprin
Les robots à câbles sont des robots manipulateurs, c’est à dire capables de déplacer un objet ou une charge d’un point à un autre. On peut les voir comme des grues robotisées, à la différence que plusieurs câbles servent à lever et déplacer le même objet. L’application commerciale la plus connue est sans doute la célèbre Skycam, caméra utilisée pour survoler les matchs de football dans les plus grands stades. Ce type de mécanisme possède de nombreux avantages, il est capable de lever des charges très lourdes, de les déplacer sur de grandes distances tout en étant relativement précis. Un robot à câble modèle réduit sera présenté au cours de cet atelier. On verra que le contrôle du robot permet entre autre d’illustrer des concepts mathématiques comme par exemple le théorème de Pythagore.

Vendredi 12 octobre

9 à 13 h (Hall amphi prépa) Atelier : Petits jeux des mathématiques pour représenter la vie, la lutte biologique, la croissance des plantes... animé par Mélaine Gautier, ingénieur expert de l'équipe Biocore
La vie peut-elle s'écrire sous forme mathématique ? Le rêve de certains d'entre nous, mais on en est encore loin ! En revanche on arrive maintenant à prédire des évolutions, des comportements grâce à des modèles, ce qui nous aide par exemple pour la production de micro-algues ou la lutte biologique. Ces applications/jeux vous proposent d'explorer quelques uns des modèles utilisés dans des milieux expérimentaux.
- Présentation Petits jeux des mathématiques (pdf, 2 Mo)

Village du Week end des Sciences - 13 et 14 octobre

Animations, jeux, chasse au trésor, .... autant d'activités qui seront proposées sur le stand Inria à l'Agora du CIV pour mieux connaître le rôle des sciences informatiques et mathématiques !

Colloquium Paris - Rocquencourt@Paris

Wed, 12 Sep 2012 23:44:06 GMT

]]>

Le colloquium Paris - Rocquencourt est ouvert au plus grand nombre. Venez nombreux !

Le colloquium Paris-Rocquencourt accueille, cinq fois par an, un exposé ouvert à tous et accessible à tous les informaticiens et mathématiciens.

Prochain rendez-vous le vendredi 14 septembre à 10h30 - Salle Orange - Antenne parisienne

Nachum Dershowitz : Algorithmic Paleography

The Cairo Genizah is a collection of hand-written documents containing approximately 350,000 items discovered in the late 19th century, spread out in some 75 libraries and private collections worldwide. Script style and handwriting can be used to identify fragments that might originate from the same original work. Such "joins" are currently identified manually by experts. We have been using vision and machine-learning tools to help in this task, as well as to classify manuscripts by style. We have begun applying these methods to other corpora, including the Dead Sea Scrolls and are also trying to match and piece together fragments based on their shape, in addition to the writing.

30e Forum ORAP

Mon, 10 Sep 2012 11:16:33 GMT

]]>

Le 30eme Forum ORAP, collaboration CEA-CNRS-Inria centrée sur le calcul de haute performance, aura lieu le 4 octobre au siège du CNRS à Paris. Le thème central de cette édition est " Évolution des architectures hautes performances et de leur programmation".

Programme :

8:00 Accueil et enregistrement des participants
9:00 Ouverture du Forum

Actualités du HPC

Président de séance : Mark Asch (CNRS)
9:15     La "Maison de la simulation"  - Edouard Audit, Directeur de la Maison de la Simulation
9:45      Bilan de GENCI et de PRACE -  Catherine Rivière, PDG de GENCI
10:15      ETP4HPC : une plateforme technologique européenne pour le calcul haute performance  - Jean Gonnord, Responsable du programme Simulation Numérique, CEA/DAM
10:45 Pause Café / Coffee breack
Président de séance : Jacques David (CEA)
11:15 Languages and Programming Paradigms for Exascale Computing  - Serge Petiton, LIFL, Université de Lille 1
12:00 Towards Exa-scale Systems: Activity in Japan - Taisuke Boku, Deputy Director, Center for Computational Sciences, University of Tsukuba
12:45 Déjeuner / Lunch
Président de séance : Serge Petiton (Université de Lille 1)
14:00 Many-cores et MIC  Speaker, to be announced, Intel Exascale Lab.
14:35 Les directives OpenACC pour la programmation des accélérateurs de calculs  - Stéphane Chauveau, CAPS Entreprise
15:10 GPU Progress in Sparse Matrix Solvers for Applications in Computational Mechanics -  François Courteille, NVIDIA
15:45 Pause Café / Coffee breack
16:00 Optimisation de BigDFT : des GPUs aux nouvelles architectures, vers une génération dynamique  - Brice Videau, INAC, CEA-Grenoble
16:35 Analyse des performances et de la consommation des processeurs embarqués -  Jean-François Méhaut, IMAG
17:10 Clôture du forum

Conférence d'informatique en Parallélisme, Architecture et Système

Fri, 7 Sep 2012 11:26:53 GMT

]]>

En 2013, les trois conférences RenPar (Rencontres francophones du Parallélisme), SympA (Symposium en Architectures nouvelles de machines) et CFSE (Conférence Française en Systèmes d’Exploitation) auront pour nom commun ComPAS : la Conférence d’informatique en Parallélisme, Architecture et Système. ComPAS’2013 a lieu du 15 au 18 janvier 2013 à Grenoble, au pied des massifs de Chartreuse et de Belledonne. Elle est organisée au centre de recherche INRIA Grenoble.

Depuis plusieurs années, cette série de conférences est devenue une manifestation marquée par des contributions scientifiques de qualité doublée d’un lieu privilégié d’échange où se côtoient chercheurs confirmés, jeunes chercheurs et industriels, permettant le renforcement des liens entre équipes de recherche et l’émergence de sujets de recherche exploratoire.

Nous invitons les auteurs souhaitant répondre à cet appel à communications à consulter le site de la conférence pour de plus amples informations sur les thèmes abordés et les consignes de soumission d'articles.

Dates à retenir

Date limite de soumission d'articles : 24 septembre 2012
Notification aux auteurs : 15 novembre 2012
Envoi de la version finale des articles acceptés : 1er décembre 2012
Conférence: du 15 au 18 janvier 2013

Les Rendez-vous Carnot 2012

Fri, 31 Aug 2012 17:53:21 GMT

]]>

Retrouvez les experts du transfert technologique d'Inria aux Rendez-vous Carnot qui se tiendront à Lyon les 3 et 4 octobre 2012.

Les Rendez-vous CARNOT favorisent les partenariats industriels entre les établissements publics de recherche et les entreprises innovantes. Cette rencontre s'articule autour de trois temps forts :

Des rendez-vous d'affaires;
Des présentations flash;
Des conférences et tables rondes.

Clean Green Event 2012

Fri, 31 Aug 2012 15:58:01 GMT

]]>

Les 22 et 23 novembre prochain, aura lieu la 3e édition du Clean Green Event, à Paris.

Pendant deux jours, plus de 70 entreprises intervenant dans le domaine des technologies propres (cleantech), des énergies renouvelables et du développement durable (green business) dresseront un état de l'art du secteur. En marge des conférences, des rendez-vous permettront de nombreuses rencontres entre spécialistes et investisseurs intéressés par les green-IT.

Open World Forum 2012

Fri, 31 Aug 2012 14:16:16 GMT

]]>

La cinquième édition de l'Open World Forum sur le thème de l'Internet et de l'Open Source s'ouvrira le 11 octobre prochain, à Paris.

L’Open World Forum est le premier sommet mondial rassemblant les décideurs et les communautés pour fertiliser ensembles les initiatives technologiques, économiques et sociétales du numérique ouvert. Au cœur de la révolution du libre, l'événement a été fondé en 2008, et se tient désormais chaque année à Paris. Inria réaffirme son soutien fort au logiciel libre en sponsorisant cette nouvelle édition qui se tiendra donc du 11 au 13 octobre 2012.

Séminaire Digiteo

Thu, 30 Aug 2012 13:48:29 GMT

]]>

Le RTRA Digiteo organise le 27 septembre prochain sur le plateau de Saclay un nouveau séminaire à destination de la communauté scientifique.
Il sera animé par Hermann Ney, professeur à Katholieke Universiteitet, et aura pour thème : "The route to hidden electronics".

Depuis 2011, Digiteo organise, des séminaires portant sur ses thématiques scientifiques.
En invitant des acteurs de renom de la communauté de la recherche en sciences et technologies de l'information et de la communication, ces conférences ont pour objectif de dynamiser l'animation scientifique du réseau de favoriser les rencontres entre ses chercheurs et d'affirmer son rayonnement international.

Journée Lignes de Produits

Mon, 27 Aug 2012 11:30:12 GMT

]]>

La Journée Lignes de Produits est une initiative de la communauté industrielle et académique francophone pour discuter des défis et partager les retours d'expérience et derniers avancements autour des lignes de produits comme nouveau paradigme de production.

Les Lignes de Produits sont une approche innovante de conception et de développement de systèmes, largement expérimentée par les industriels et les chercheurs, qui a pour principe essentiel la réutilisation. Les très nombreuses publications scientifiques et projets industriels montrent que l'Ingénierie des Lignes de Produit est porteuse d'enjeux essentiels, à la fois sur le plan économique et scientifique.

D'un point de vue économique, les témoignages font déjà apparaître de nombreux avantages: meilleure capitalisation de la connaissance en production, amélioration de la qualité, diminution des coûts de conception et de production, soutien à l'innovation, réduction du time-to-market, etc. La communauté francophone ne peut être indifférente aux défis de ce phénomène émergent.

La journée Lignes de Produits est organisée en 2012 par Inria Lille - Nord Europe, l'Université Lille1 Sciences et Technologies, le LIFL UMR 8022 CNRS, et GDR GPL sur le campus de la Haute Borne. La manifestation sera un forum de discussion unique autour de la thématique des Lignes de Produits.

Forum annuel Digiteo 2012

Mon, 27 Aug 2012 10:45:25 GMT

]]>

Pour sa cinquième édition, le forum Digiteo se déroulera le 13 novembre à l'École Polytechnique (Palaiseau).

Rendez-vous annuel de la communauté académique des sciences et technologies de l'information et de la communication (STIC), cette journée s'articulera autour de moments forts : conférences, ateliers et rencontres sur l'espace recherche et innovations.

- 3 sessions plénières : enjeux et perspectives pour la recherche en informatique sur des sujets phares comme la cryptographie, la visualisation des réseaux sociaux et le programme Mobilité 2015,

- 4 ateliers interactifs : réflexions et échanges autour de projets transversaux et collaboratifs dans le périmètre du réseau Digiteo,

- L'espace recherche et innovations permettra aux visiteurs de se plonger au coeur des activités de Digiteo et de rencontrer les acteurs du réseau tout au long de la journée. Dans cet espace, démonstrations et posters scientifiques illustreront les objectifs et les résultats des projets de recherche portés par les équipes du réseau. L'équipe valorisation de Digiteo présentera les résultats de ses activités de transfert technologique.

Tout au long de la journée, les participants pourront voter pour leur poster préféré. Le gagnant remportera le financement d'une mission à l'étranger.

Programme provisoire

8h45 Accueil des participants dans l'espace recherche et innovations
9h15 Ouverture
Dominique Vernay, président de la Fondation de Coopération Scientifique Campus Paris-Saclay

Sessions plénières

9h45 - 10h30 Au-delà des pelotes de fils : progrès et défis de la visualisation des réseaux sociaux
Jean-Daniel Fekete, directeur de recherche, Inria Saclay - Île-de-France

10h30 - 11h15 Les Interfaces de programmations cryptographiques : enjeu critique pour la sécurité des données sensibles
Graham Steel, chargé de recherche, Inria Saclay - Île-de-France

11h15 - 11h30 Pause

11h30 - 12h15 L'apport des TIC pour la mobilité - Le programme Mobilité 2015
Jean-Marc Alexandre, responsable programme innovation Energie & Transport, CEA List

12h15 - 14h Cocktail déjeunatoire dans l'espace Recherche et Innovations

Ateliers en parallèle

14h - 15h30

Les TIC, au coeur de la gestion intelligente de l'énergie

Table ronde animée par Yolaine Bourda, directrice E3S "Supélec Sciences des Systèmes", vice-présidente du groupe de travail Systematic "Gestion intelligente de l'énergie"

DigiWorlds, un laboratoire d'excellence pour relever les défis de la révolution numérique

Table ronde animée par Christine Paulin, coordinatrice du labex DigiWorlds, professeure - Université Paris-Sud
15h30 - 17h

Explorer le fonctionnement cérébral par le signal et l'image

Table ronde animée par Bertrand Thirion, directeur de recherche, Inria Saclay - Île-de-France
Avec : Christophe Pallier, INSERM-CEA Cognitive Neuroimaging unit , Antoine Souloumiac, CEA, LIST, LOAD

Digiteo valorisation : un catalyseur pour le transfert de technologie dans les STIC

Table ronde animée par Françoise Fabre, présidente du comité de valorisation de Digiteo, directrice adjointe à la valorisation du CEA

17h Clôture dans l'espace recherche et innovations
Remise du prix du meilleur poster par Maurice Robin, directeur de Digiteo
Cocktail de clôture dans l'espace Recherche et Innovation

Journée en l'honneur de Rémi Sentis

Mon, 20 Aug 2012 15:42:23 GMT

]]>

Une journée en l'honneur de Rémi Sentis.

Programme

09h30-10h00 - Accueil et historique, par C. Bardos, F. Golse et R. Sentis,
10h00-10h30 - TBA, Guy Métivier
10h30-11h00 - Pause
11h00-11h30 - TBA, Josselin Garnier
11h30-12h00 - TBA, Benoît Perthame
12h00-14h00 - pause déjeuner
14h00-15h00 - Conférence plénière TBA, François Golse
15h00-15h30 - Pause
15h30-16h00 - TBA, Pierre-Henri Maire
16h00-16h30 - TBA, Stéphane Dellacherie
16h30-16h45 - Robert Dautray

À partir de 16h45 - Pôt

Séminaire CCNx

Mon, 20 Aug 2012 09:41:13 GMT

]]>

Le centre Inria Sophia Antipolis - Méditerranée accueille l'édition 2012 du séminaire de la communauté CCNx (Content Centric Networking).

Le projet CCNx a pour objectif le développement, la promotion et l'évaluation d'une nouvelle approche de l'architecture de communication appelée CCN ou Content Centric Networking.

Cette nouvelle approche est basée sur un changement architectural fondamental: l'abstraction principale n'est plus orientée hôte (avec quelle machine je communique), mais orientée données (je veux ces données nommées).

Le programme inclut des présentations techniques, des posters et des démonstrations. Voir le programme pour plus de détails.

La séance d'ouverture (mercredi 12 septembre à 9h) sera assurée par Van Jacobson (PARC) qui présentera les dernières nouvelles et la feuille de route concernant l'architecture réseaux orientée contenu (CCN).

Biographie de Van Jacobson

One of the primary contributors to the technological foundations of today's Internet, Van Jacobson joined PARC in 2006 as a Research Fellow to lead its Content-Centric Networking (CCN) research program. Van's algorithms for the Transmission Control Protocol (TCP) helped solve the problem of congestion and are used in over 90% of Internet hosts today. Widely credited with enabling the Internet to expand in size and support increasing speed demands, Van helped the Internet survive a major traffic surge (1988-89) without collapsing. Van has co-written many network diagnostics tools (traceroute, pathchar, and tcpdump) that are widely used by the Internet research and development community. Besides authoring dozens of seminal, Internet-defining documents, he also helped lead the development of the Internet Multicast Backbone (MBone) and the popular Internet audio and video conferencing tools (vic, vat, wb) that laid the groundwork and defined the standards for current Internet VoIP and multimedia applications.

Prior to joining PARC, Van led networking efforts as Chief Scientist at Cisco Systems and later Packet Design Networks. He also led the groundbreaking Network Research group at Lawrence Berkeley National Laboratory and its collaboration with the Computer Science Research Group at the University of California, Berkeley. Van's industry honors include the prestigious ACM SIGCOMM Award (2001) for outstanding lifetime contribution to the field of communication networks -- especially his contributions to protocol architecture and congestion control. In 2002, the Institute of Electrical and Electronics Engineers (IEEE) honored Van with the Koji Kobayashi Computers and Communications Award for contributing "to the understanding of network congestion," and for developing congestion control mechanisms that enabled the "successful scaling of the Internet". Van was elected to the United States' National Academy of Engineering in 2004. He was inducted into the inaugural Internet Hall of Fame in 2012.

TAG+11: The 11th International Workshop on Tree Adjoining Grammars and Related Formalisms

Fri, 17 Aug 2012 15:31:23 GMT

]]>

TAG+11 will feature talks and posters on a range of aspects of Tree Adjoining Grammar and related systems, including syntactic and semantic theory, mathematical properties, and computational and algorithmic studies of parsing, interpretation and generation, corpus-based research and grammar development, and psycholinguistic modeling.

This year's special focus will be on formalisms based on synchronous tree rewriting, including theoretical aspects, applications to machine translation and syntax-semantics interface.

This edition of TAG+ is endorsed by EACL (the European Chapter of the Association for Computational Linguistics).

La simulation numérique pour la santé

Fri, 10 Aug 2012 11:30:04 GMT

]]>

Le 21 novembre prochain aura lieu une nouvelle édition des Rencontres Inria - Industrie dont le sujet sera la "Simulation numérique en santé, de la cellule à l'humain virtuel". Cette journée qui se déroulera au Palais des Congrès de Strasbourg est organisée en partenariat avec le cluster français Alsace Biovalley et l'Institut hospitalo-universitaire de Strasbourg.

Consulter le dossier

Inria participe à SuperComputing à Salt Lake City

Tue, 7 Aug 2012 10:24:29 GMT

]]>

Les équipes d'Inria spécialisées en calcul haute performance seront présentes à l'édition 2012 de SuperComputing qui se déroulera du 10 au 16 novembre à Salt Lake City.

Inria participe à Supercomputing à Seattle

Tue, 7 Aug 2012 10:23:19 GMT

]]>

Les équipes d'Inria spécialisées en calcul haute performance seront présentes à l'édition 2011 de SuperComputing qui se déroulera du 12 au 18 novembre à Seattle.

Journée d'information du PCN ERC à Nancy

Tue, 31 Jul 2012 11:11:11 GMT

Réunion d'information organisée par le Point de Contact National pour le Conseil Européen de la Recherche (PCN ERC).

L'équipe du Point de Contact National pour le Conseil Européen de la Recherche (PCN ERC) organise une session d'information à Nancy le jeudi 6 septembre 2012, de 14h00 à 17h00 - La réunion aura pour but de présenter le programme de travail 2013, ainsi que les appels Starting Grant, Advanced Grant, Consolidator Grant et Synergy Grant. Des lauréats ERC (Starting Grant 2012) seront aussi présents pour partager leur expérience avec les participants.

Inscription gratuite obligatoire.

Le programme en détail.

]]>

Retrouvez-nous à la Nuit des chercheurs 2012 !

Mon, 30 Jul 2012 10:01:05 GMT

]]>

Le centre Inria Saclay - Île-de-France renouvelle sa participation à la Nuit des chercheurs pour l'édition 2012 qui se tiendra le 28 septembre prochain à l'École Polytechnique à Palaiseau (91). Initié par la Commission Européenne, cet événement a pour but de faire connaître le métier de chercheurs aux citoyens. Ainsi, durant une soirée, expositions, atelier et spectacles sont proposes sur des thèmes scientifiques.

Des chercheurs de centres de recherche et des élèves polytechniciens font partager leur passion des sciences autour d’animations ludiques, instructives et étonnantes pour susciter l’intérêt des petits comme des grands.
Cette année sur le stand d'Inria, des chercheurs de l'équipe Amib vous expliquerons le fonctionnement des ARNs : chaque cellule de notre corps comporte notre ADN, porteur de nos gènes. Pour transmettre des messages à travers le corps, l’ADN a besoin de sa copie : l’ARN. Cet ARN est écrit avec 4 lettres qui fonctionnent 2 par 2 : le A avec le U, et le C avec G.
Dans cette animation, nous jouerons à plier et déplier ces ARN en utilisant le moins d’énergie possible. Vous serez confrontés à l’ordinateur… Saurez-vous faire aussi bien que la machine ?

Séminaire In'Tech - Atmosphère et prévisions météorologiques : nouveaux outils, nouveaux usages

Tue, 10 Jul 2012 16:18:17 GMT

]]>

Le club de veille technologique In'Tech, animé par Inria et le Cluster Isère du logiciel et des services informatiques (GRILOG), organise une demi-journée de rencontres entre chercheurs et industriels sur le thème "Atmosphère et prévisions météorologiques : nouveaux outils, nouveaux usages". Cet événement aura lieu le jeudi 27 septembre 2012, de 13h45 à 18h, à Inria Montbonnot.

Programme

Animé par Eric Blayo responsable scientifique équipe projet MOISE Inria, professeur UJF et Laurent Debreu chercheur, équipe-projet MOISE, Inria Grenoble Rhône-Alpes / LJK

13h45 - 14h00 Introduction
Laurent Debreu, chercheur, équipe-projet MOISE, Inria Grenoble Rhône-Alpes / LJK
- Les enjeux socio-économiques liés à la prévision de l'état de l'atmosphère se sont grandement diversifiés ces dernières années. L'amélioration et la plus large diffusion des outils numériques de prévision ont permis de mieux estimer les variations météorologiques à diverses échelles spatiales et temporelles.
  Au delà du traditionnel "bulletin météo", de nombreuses applications font l'objet de beaucoup d'intérêt, qu'il s'agisse par exemple de prévision météorologique locale à très haute résolution spatiale ou temporelle pour de l'évènementiel, ou encore de calculs liés aux énergies nouvelles (potentiel éolien, ensoleillement).
  La prévision de la qualité de l'air est également un enjeu très fort dans notre société de plus en plus urbanisée. Les autres applications dérivées sont nombreuses (gestion des stocks, transport routier, ...).
  De plus, le contexte actuel de changement climatique pose de multiples questions en terme d'évolution à long terme des conditions météorologiques et de la vulnérabilité pour de nombreux secteurs d'activités, au-delà de l'étude des impacts écologiques.
  Les outils numériques et informatiques au sens large (modélisation numérique, calcul haute performance, outils statistiques, réseaux d'observations et de communications) jouent un rôle central dans ce développement. Dans ce contexte, l'objectif de cette journée est de réunir des acteurs des mondes socio-économiques, institutionnels, et de la recherche pour échanger d'une part sur les connaissances et outils actuels, d'autre part sur les verrous scientifiques et technologiques associés aux enjeux à venir.

14h00 - 14h30 Compétitivité climatique dans l’entreprise : outils, usages, problématiques
Pierre Chantry, Directeur technique, ClimPact 
- De plus en plus d'entreprises s'intéressent aux enjeux de leurs activités liés aux fluctuations météorologiques et climatiques. Tous les secteurs d'activités dans le monde sont impactés par la météo et le climat, et la prise en compte de ces impacts dans la chaîne de décision des entreprises leur permet de gagner en compétitivité. Dans ce contexte, les services de CLIMPACT permettent de transformer les aléas climatiques en avantages compétitifs.
  L'outil de modélisation et de production des impacts météorologiques et climatiques mis en place par CLIMPACT est présenté suivi de quelques exemples représentatifs des besoins et des usages de la solution par ses clients. En particulier dans les secteurs agroalimentaire, pharmaceutique, énergétique, ...
  Dans un second temps, et pour illustrer les principales difficultés auxquelles nous sommes confrontés, un aperçu de quelques verrous techniques est présenté : (1) les fluctuations des prévisions d'impacts constituent par exemple une difficulté nouvelle imposée par la rencontre entre le météorologue et l'industriel puisque le premier conçoit la variabilité de l'atmosphère (et surtout de la prévision) comme un état alors que le second ne peut l'accepter dans ses process opérationnels ; (2) la représentativité spatiale des données météo constitue également une difficulté qui impose une adaptation permanente entre besoins clients, difficultés et coûts de développement ; (3) la cohérence temporelle des horizons de prévisions journalières, hebdomadaires, saisonnières ... constitue enfin une difficulté imposée par exemple par le besoin de fournir une prévision mensuelle cohérente avec les 4 prévisions hebdomadaires du même mois, et cela, sur toutes les échelles de prévisions exploitées par nos clients.
  Il n'y a pas de solutions miracles à ces thématiques de recherche opérationnelle proposées aujourd'hui dans ce séminaire. L'objectif est d'exposer les enjeux et les conséquences opérationnelles de ces difficultés techniques sur les utilisations industrielles.

14h30 - 15h00 Méthodes de régionalisation en environnement : état de l'art et enjeux
Julie Carreau, Ingénieur de recherche, UMR HydroSciences Montpellier
- Les modèles climatiques globaux (GCMs) sont les principaux outils qui permettent d'étudier l'évolution du climat et les impacts du changement climatique. Les méthodes de régionalisation ou "downscaling" servent à opérer un changement d'échelle entre les GCMs qui fonctionnent à basse résolution (de l'ordre de la centaine de km2) et les variables météorologiques locales telles que les précipitations, la température ou le vent, dont la variabilité spatiale est élevée et par conséquent requièrent une fine résolution (de l'ordre du km ou moins).
  Dans cet exposé, je passerai en revue les différentes méthodes de régionalisation qui se divisent en deux classes : les méthodes dynamiques et statistiques. J'aborderai rapidement les méthodes dynamiques et décrirai les différentes approches statistiques de régionalisation. Je terminerai l'exposé en soulevant certains défis et enjeux qui concernent les méthodes de régionalisation.

15h00 - 15h30 Applications de la CFD (Computational Fluid Dynamics) aux écoulements et la dispersion atmosphériques vers l’échelle locale
Claude Souprayen, Directeur environnement et risques, FluidYn
- Pour beaucoup de problématiques liées aux risques industriels ou associés aux études d’impacts et à la surveillance environnementale ou encore en lien avec la sécurité civile, les écoulements atmosphériques et la dispersion de polluants doivent être reproduits à l’échelle locale (au sens météorologique). Les domaines de l’ordre de quelques kilomètres contiennent toujours des environnements 3D avec du bâti, des reliefs et des modes d’usage des sols variés (champs, forêts, zones urbaines, plateforme industrielle) où se développent nécessairement des champs dynamiques complexes 3D, vitesses, turbulences. La modélisation de tels écoulements et de la dispersion associée impose l’usage de la CFD, le choix le plus courant étant les approches Reynolds Average Navier Stokes, RANS de coût numérique encore compatible avec les objectifs d’étude. Le réalisme des simulations doit cependant exploiter les connaissances et principes physiques relatifs à la couche limite atmosphérique (forçages et équilibres). Par ailleurs pour les applications de surveillance (monitoring continu ou prédiction, détection et temps-réel en gestion de risques), le couplage par descente d'échelle depuis des écoulements prédits ou observés à plus grande échelle est incontournable. On se propose d’illustrer les méthodes et outils relatifs à cette application de la CFD avec (1) couplage et intégration de forçages et (2) les développements sous-jacents pour la modélisation inverse dans les applicatifs fluidyn-PANACHE : un cas de modélisation pour la qualité de l’air (problématiques trafic) (couplage avec données synoptiques), un cas de mise en œuvre en monitoring temps réel (odeurs) sur usine de traitement des eaux usées, (couplage avec données Météo France et mâts), et un cas associé à la modélisation inverse (recherche de sources) par méthode d’inférence Bayesienne. Les discussions porteront sur les avantages et limitations de ces méthodes.

15h30 - 16h00 La prévision de production éolienne et photovoltaïque à EDF
Julien Najac, Ingénieur recherche, EDF R&D - MFEE, Météo appliquée & environnement atmosphérique
- Ces dernières années, les parcs de production éolienne et photovoltaïque ont connu une très forte croissance en France métropolitaine et dans les territoires d'outre-mer. Cette production décentralisée, intermittente et non programmable, a un impact important sur plusieurs activités du groupe EDF: production, équilibre offre-demande, gestion du réseau de transport et de distribution, réseaux intelligents. Les prévisions de production éolienne et photovoltaïque sont ainsi rapidement devenues indispensables à ces activités. Nous présenterons ici les enjeux pour EDF de la prévision de production éolienne et photovoltaïque, les outils aujourd'hui développés pour répondre aux besoins d'EDF en fonction des échelles spatiales (du local au global) et temporelles (de quelques minutes à plusieurs années) mises en jeu, et les pistes d'amélioration identifiées.

16h00 - 16h30 Pause

16h30 - 17h00 L'adaptation statistique des prévisions de qualité de l'air
Isabelle RIOS et Steve MICALLEF, Responsables modélisation, Air Rhône-Alpes
- Air Rhône-Alpes est une association agrée de surveillance de la qualité de l’air dont l’une des missions est de prévoir la qualité de l’air. Les prévisions s’appuient sur une chaîne de modélisation de la dispersion et de la chimie des polluants dans l’atmosphère sur toute la région Rhône-Alpes : PREVALP. Les polluants modélisés sont les oxydes d’azote, l’ozone et particules fines. Les modèles météorologiques MM5 et WRF ainsi que le modèle de chimie CHIMERE sont les outils structurant de la chaîne de prévision. Mais pour améliorer les prévisions de qualité de l’air, le recours à une adaptation statistique locale est indispensable. Le couplage entre les modèles déterministes et statistiques permet de disposer d’un outil d’aide à la décision performant. Les cartographies de concentration atmosphérique ainsi produites par le modèle PREVALP à une résolution spatiale de 1km permettent de localiser les territoires les plus pollués, d’informer les populations concernées et les autorités compétentes.

17h00 - 17h30 Simulation numérique et assimilation de données pour la qualité de l’air à l’échelle urbaine
Vivien Mallet, Chargé de recherche, équipe projet CLIME Inria
- La simulation numérique de la qualité de l'air repose sur des modèles complexes, de grande dimension et sujets à de fortes incertitudes. Dans ce contexte, des méthodes sont développées pour exploiter au mieux un ou plusieurs modèles et des données d'observations, par exemple dans le but de réduire les incertitudes des simulations. L'équipe-projet CLIME (Inria / École des Ponts ParisTech) et Numtech travaillent, au sein d'un Ilab, sur ces méthodes pour une application à l'échelle urbaine. La présentation exposera la collaboration (organisation, thèmes) et abordera plus en détail l'assimilation de données pour la simulation en temps réel de la photochimie sur une ville.

17h30 - 18h00 Table ronde : verrous scientifiques et technologiques associés aux enjeux à venir
- Eric Blayo, Professeur UJF, Responsable scientifique de l’équipe-projet MOISE
- Damien Vaille-Brunet, METNEXT
- Vivien Mallet - Chargé de recherche, équipe projet CLIME Inria
- Julien Najac, Ingénieur recherche – EDF R&D, MFEE, Météo appliquée & environnement atmosphérique
- Isabelle RIOS et Steve MICALLEF, Responsables modélisation, Air Rhône-Alpes

Comprendre et surveiller le comportement animal et environnemental via les réseaux de capteurs sans fil

Tue, 10 Jul 2012 15:18:15 GMT

]]>

Le centre de recherche Inria Lille - Nord Europe et l'université sud-africaine Stelenboch organisent un workshop dédié à l'usage des réseaux de capteurs sans fil pour comprendre le comportement animal et végétal en Afrique du sud.

Un second Workshop sera organisé l'été 2013 au centre de recherche Inria Lille - Nord Europe.

Reduction of biochemical networks with multiple time scales

Tue, 10 Jul 2012 10:26:26 GMT

]]>

Biochemical networks are used in computational biology, to model mechanistic details of systems involved in cell signaling, metabolism, regulation of gene expression. Parametric and structural uncertainty, as well as combinatorial explosion are strong obstacles against analyzing the dynamics of large models of this type. Multi-scaleness is another property of these networks, that can be used to get past some of these obstacles. Network with many, well separated, time scales, can be reduced to simpler networks, in a way that does not depend on the exact values of the parameters, but on their order relations. I will show how tropical geometry can be used to unify various approaches to this problem, also provide examples from signaling and cell cycle regulation to illustrate these ideas.

Troisième édition du Forum Interaction Tactile et Gestuelle

Tue, 3 Jul 2012 15:12:46 GMT

]]>

FITG 2012 est la troisième édition d'un forum réunissant chercheurs, entrepreneurs, artistes et curieux pour échanger sur l'interaction tactile et gestuelle.

Comme en 2010 et 2011, ces échanges seront organisés autour de démonstrations et d'exposés illustrant les tendances actuelles des plateformes matérielles et logicielles, des paradigmes et techniques d'interaction, et des usages. Un accent particulier sera mis cette année sur le thème de l'accessibilité pour tous.

Ce forum s’inscrit dans une démarche nationale et euro régionale. Portée par la Plaine Images et le centre de recherche Inria Lille – Nord Europe, l'édition 2012 se déroulera les mardi 13 et mercredi 14 novembre dans l'Imaginarium, à Tourcoing.

Vous souhaitez savoir ce qui se dit sur cet événement ou en parler ? Utilisez le tag #fitg2012

Cédric Villani en conférence grand public à Lille : "la meilleure et la pire des erreurs de Poincaré"

Mon, 2 Jul 2012 11:48:57 GMT

]]>

L’année 2012 marque le centenaire de la disparition d’Henri Poincaré. Avec ses partenaires, l'institut Henri Poincaré a décidé de rendre hommage à son mathématicien éponyme en organisant une série de manifestations qui se dérouleront tout au long de l'année 2012. Cédric Villani donnera une conférence grand public le 19 septembre prochain à Lille. L'occasion de faire découvrir au plus grand nombre deux révolutions scientifiques de la fin du 19ème siècle.

Mercredi 19 septembre 2012 à 17h00

La conférence sera précédée, à partir de 16h, d’une séance de dédicaces du nouveau livre de Cédric Villani «Théorème vivant» (éd. Grasset). Elle aura lieu dans le Hall du 2ème étage du Bât. C (en face des amphis), campus Moulins - Université Lille 2

Le génial mathématicien Henri Poincaré (1854-1912) est resté célèbre pour ses fulgurances et ses intuitions, mais aussi son style approximatif et ses imprécisions. L’une de ses erreurs, menant à la découverte du phénomène de sensibilité aux conditions initiales et portant en germe la théorie du chaos, fut aussi son triomphe. Une autre revanche le fit prendre parti, pour de mauvaises raisons, contre la théorie cinétique des gaz développée par Ludwig Boltzmann. A travers ces deux erreurs, Cédric Villani évoquera deux révolutions scientifiques conceptuelles de la fin du dix-neuvième siècle.

L' inscriptions est obligatoire.

Formal Experiments in Computational Biochemistry

Mon, 2 Jul 2012 11:39:01 GMT

]]>

In this talk I will present my logic of formal experiments. The logic has two layers: temporal logic for classifying behaviour of a system and a contextual operator which classifies behaviour in a given context. The contextual operator is similar to the guarantee operator from spatial logic, allows the introduction of new species into the system, and nests within the temporal modalities to express complex behaviour.

The logic is supported by efficient model checking and tool support and is built into my interpreter for the continuous pi-calculus (cpi), a continuous state-space process algebra for biochemical systems. I will also give an overview of cpi and some of examples of the application of the logic to cpi processes.

Telescopers for Rational and Algebraic Functions via Residues

Mon, 2 Jul 2012 11:28:59 GMT

]]>

We show that the problem of constructing telescopers for rational functions of m + 1 variables is equivalent to the problem of constructing telescopers for algebraic functions of m variables and we present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of the telescopers. This is a joint work with Manuel Kauers (RISC) and Michael F. Singer (NCSU).

Optimal Trade Execution: Mean Variance or Mean Quadratic Variation?

Mon, 2 Jul 2012 11:14:34 GMT

]]>

Algorithmic trade execution has become a standard technique for institutional market players in recent years, particularly in the equity market where electronic trading is most prevalent. A trade execution algorithm typically seeks to execute a trade decision optimally upon receiving inputs from a human trader.

A common form of optimality criterion seeks to strike a balance between minimizing pricing impact and minimizing timing risk. For example, in the case of selling a large number of shares, a fast liquidation will cause the share price to drop, whereas a slow liquidation will expose the seller to timing risk due to the stochastic nature of the share price.

We compare optimal liquidation policies in continuous time in the presence of trading impact using numerical solutions of Hamilton Jacobi Bellman (HJB) partial differential equations (PDE). In particular, we compare the time-consistent mean-quadratic-variation strategy (Almgren and Chriss) with the time-inconsistent (pre-commitment) mean-variance strategy. The Almgren and Chriss strategy should be viewed as the industry standard.

We show that the two different risk measures lead to very different strategies and liquidation profiles.

In terms of the mean variance efficient frontier, the original Almgren/Chriss strategy is significantly sub-optimal compared to the (pre-commitment) mean-variance strategy.

This is joint work with Stephen Tse, Health Windcliff and Shannon Kenn.

4ème séminaire Bioenergiesud - Innovations dans la mesure et le controle de procedes des filieres bioenergies

Fri, 29 Jun 2012 13:54:06 GMT

]]>

Le réseau Bioénergiesud, les pôles de compétitivité DERBI, OPTITEC et POPSUD organisent le 4ème séminaire du Bioénergiesud qui propose de dresser un panorama des outils, techniques et méthodes qui interviennent dans la mesure et le contrôle de procédés de filières bioénergies.

Le développement industriel et la pérennité des procédés complexes de bioénergies, qu'ils soient biochimiques ou thermochimiques, imposent de disposer d'outils d'analyse, de contrôle et de conduite, des matières et des procédés. Une offre technologique innovante est clairement en train de se déployer en France, au plan académique et industriel, et sera un facteur clé du succès des filières bioénergies.

Parmi les intervenants, Olivier Bernard, directeur de recherche Inria dans l'équipe Biocore présentera la plateforme ODIN développée dans le but de superviser des bioréacteurs (contrôleurs, observateurs, diagnostic), en implémentant de manière simple des algorithmes de contrôle et de supervision avancés.

Human Activity and Vision Summer School

Wed, 27 Jun 2012 11:22:46 GMT

]]>

The Human Activity and Vision Summer School (HAVSS) will address the broad domains of human activity modeling and human behavior recognition, with an emphasis on vision sensors as capturing modality. Courses will comprise both tutorials and presentations of state-of-the-art methods by active researchers in the field.

The goal of the courses will be to cover most of the whole human activity analysis chain, starting from the low level processing of videos and audio for detection and feature extraction, to medium level (tracking and behavior cue extraction) and higher level modeling and recognition using both supervised and unsupervised techniques. Applications of the different methods to action and activity recognition in different domains ranging from Activities of Daily Living to surveillance (individual behavior recognition, crowd monitoring) will be considered.

List of considered topics and methodologies:

low-level feature extraction (background subtraction, space-time interest points, tracklets)
object detection (human, body)
tracking (multi-object, multi-camera, audio-visual)
behavior cue extraction (body or head pose)
crowd monitoring
supervised behavior recognition (statistical and symbolic approaches)
(temporal data mining, probabilistic topic models -Latent Dirichlet Allocation, Dirichlet Processes,…)
active learning

Presentation of real uses cases, market needs, and current bottlenecks in the surveillance domain will also be addressed, with one half day devoted to presentations and panel discussions with professional and industrial presenters.

Les sciences du numérique en fête !

Wed, 27 Jun 2012 10:24:37 GMT

]]>

Venez vivre une aventure numérique au centre de recherche Inria Paris - Rocquencourt !

A l’occasion de la 21ème fête de la science qui se déroulera du 11 au 13 octobre 2012, le centre de recherche Inria Paris – Rocquencourt ouvre ses portes au grand public. Un événement inédit au cœur des Yvelines qui offre à tous, la possibilité de mieux comprendre comment les sciences informatiques et mathématiques s’intègrent dans leur vie quotidienne.

Environnement, santé, cryptographie, programmation, réseaux, finance, art ou langage, seront au programme de ses trois journées portes ouvertes, où le grand public sera accueilli par plus de 20 équipes de recherche. Grâce à cet événement, petits et grands pourront rencontrer et échanger avec des chercheurs, assister à des conférences, films et démonstrations, autour de la qualité de l’air, l’acupuncture, l’accompagnement musical automatique, la chronothérapie, la programmation du vivant ou encore la sûreté et la sécurité des données personnelles et des logiciels.

Au programme, des conférences, des démonstrations, des films, un spectacle et une exposition autour d'Alan Turing et de sa machine. Tout pour mieux connaître le rôle des sciences informatiques et mathématiques !

Programme des conférences (amphithéâtre Jacques-Louis Lions)

Jeudi 11 octobre

10h30 - Paul Louis George (Gamma3): Triangulation(s) et maillages pour les simulations numérique

14h00 - Gilles Dowek (Deducteam) : Le jeu du solitaire et les démonstrations mathématiques
15h00 - Marie Doumic-Jauffret (Bang) : Comment comprendre la croissance des populations et l'appliquer en biologie ?

Vendredi 12 octobre

10h20 - Francis Bach (Sierra) : Comment apprendre à une machine à traiter les données ?

16h00 - Gilles Dowek (Deducteam), Thierry Vieville : Partage des grandes orientations en sciences du numérique

Samedi 13 octobre

11h00 - Michel Kern (Pomdapi) : Des mathématiques pour modéliser les eaux souterraines

12h00 - Méthodologie de la recherche documentaire organisé par le service IST

14h00 - Jean-Frédéric Gerbeau (Reo): Les promesses d'un système cardiovasculaire numérique
15h00 - L'île logique - Spectacle des clowns scientifiques : Pilouface, quand les clowns tombent sur la tranche...
16h00 - Benjamin Billet (Arles): Jeux vidéo générés par ordinateur

Démonstrations et ateliers par thème

Environnement

Clime : Simuler les niveaux de pollution atmosphérique à l'aide d'un modèle numérique et d'un réseau d'observations.
Imara : Améliorer le transport routier en termes de sécurité, d’efficacité, de confort et de réduction des nuisances.

Santé

Bang : Optimiser les protocoles de chimiothérapie administrés en fonction des rythmes biologiques du patient sur 24 h. (Animation + jeu vidéo)
Sisyphe : 2 films : Analyse de signaux cardiaques pour la détection de signes de souffrance du fœtus et Méthode de contrôle appliquée au bon usage des pots catalytiques. 10 ans plus tard que sont devenus les résultats de recherche.
Contraintes : (Re)programmation du vivant – La biologie synthétique vise à construire des organismes accomplissant des fonctions biologiques complexes répondant à diverses applications. La question centrale de la biologie synthétique, ou bio-ingénierie, est de comprendre comment développer, c'est à dire concevoir et construire, de façon fiable et robuste des systèmes biologiques nouveaux.

Sécurité des données

Cascade : Atelier de cryptographie avec la mallette « Petits débrouillards »

Sûreté des logiciels (programmation, preuve de programme) :

PiR2 : Programmation de robot - Les robots sont-ils notre avenir ? Comment les animer ? Qu’est-ce que la programmation ?

Réseaux

Hipercom : L'Internet des objets avec les réseaux sans fil multi-sauts : communiquer avec tous les objets environnants, pour économiser l'énergie, contrôler, surveiller.
Gang : Trouver sa route dans un réseau - L'atelier consiste à connecter plusieurs personnes de manière virtuelle. Elles doivent alors s'échanger des messages à la manière d'un tchat pour trouver à qui faire passer un message pour tel ou tel participant. Le jeu est gagné quand on arrive à acheminer des messages de tout le monde vers tout le monde.
Arles : Description à venir

Art

Musync : Déléguer l'écriture musicale et l'interprétation à un ordinateur, est-ce possible? Démo du logiciel Antescofo

Langage

Alpage : Quand l'ordinateur rencontre le langage ! En tant qu'humains, le langage que nous écrivons et parlons nous semble très naturel et (relativement) facile à manipuler. Cela est loin d'être le cas pour les ordinateurs, mais les démonstrations que nous présentons montrent des évolutions intéressantes, que ce soit en analyse grammaticale, en extraction d'information ou en acquisition de connaissances à partir de Wikipedia.

Inria participe au salon Solutions Linux

Mon, 18 Jun 2012 17:38:31 GMT

]]>

Inria participe au salon Solutions Linux, salon européen dédié à Linux et aux logiciels libres qui se déroule du 19 au 21 juin 2012 au Cnit à La Défense. Les équipes Ascola et Myriads, du centre Inria Rennes – Bretagne Atlantique présenteront leurs travaux au sein du village OW2 (stand D25) sur toute la durée du salon. Mardi 19 juin, dans le cadre d’un atelier dédié à sa politique de développement logiciel et aux opportunités de carrière pour les développeurs de logiciels libres, l’institut présentera les résultats de son concours Boost Your Code en invitant notamment le lauréat et les finalistes à présenter leurs projets. Venez découvrir des solutions logicielles d’avenir pour le cloud et la maîtrise d’énergie mais aussi les nouveaux talents du développement logiciel français !

Les démonstrations d’équipes Inria au sein du village OW2

L’équipe Inria Myriads présentera le système VEP (Virtual Execution Platform) qu'elle développe dans le cadre du projet européen Contrail. Ce système est chargé de déployer et de gérer de manière élastique des applications distribuées constituées de machines virtuelles, au format standard OVF, sur des infrastructures de type Cloud et sous diverses contraintes d'utilisation, de placement, de performance et qualité de services.
L’équipe Inria Ascola présentera btrCloud une solution logicielle pour une meilleure maîtrise énergétique des centres de données. L'énergie devient en effet une ressource précieuse pour les centres de données, or peu de solutions logicielles permettent de mesurer, contrôler et optimiser la consommation électrique directe et indirecte des salles serveur. Au travers d'un démonstrateur de btrCloud, l'équipe Ascola montrera les voix d'optimisation possibles.

Au programme

Un rendez-vous dédié aux perspectives de carrières chez Inria pour les développeurs de logiciels libres autour des résultats du concours Boost Your Code 2012

Dans le cadre d’un atelier qui se déroulera mardi 19 juin, de 14h30 à 15h30, Inria présentera sa politique de développement logiciel et les opportunités de carrières pour les développeurs de logiciels libres. Le directeur du centre de recherche Inria Lille-Nord Europe, David Simplot-Ryl présentera notamment le projet Aspire-RFID mené par l’équipe Pops qui coopère avec de nombreux partenaires européens, pour mettre à disposition des entreprises une suite logicielle leur permettant d’intégrer la technologie RFID dans leur système d’information.

Au cours de l’atelier, l’institut présentera également les résultats du concours Boost Your Code 2012. Après Gabriel Cardoso, lauréat 2011 avec son projet de développement d’une plateforme collaborative de création musicale, c’est Christophe Desclaux, de Polytech Nice qui devient le lauréat du concours 2012 et qui rejoindra donc Inria pour y développer son projet ZONE (Ze Ontology News Extractor). Le choix des membres du jury ne fut pas simple au vu de la qualité des propositions reçues de nouveau cette année. Les projets des finalistes du concours font la preuve du dynamisme du développement logiciel en France portés par d’incroyables jeunes talents !

Demi-journée d'information et d'échanges sur les projets collaboratifs européens

Mon, 18 Jun 2012 17:35:01 GMT

]]>

Le mercredi 4 juillet, le centre Inria de Rennes accueille, avec les technopoles de Rennes Atalante et Anticipa et le pôle Images & Réseaux, une demi-journée d'information et d'échanges sur les projets collaboratifs européens. Cet événement est organisé en partenariat avec Bretagne Développement Innovation et le Réseau NOE.

Claire Ferten, du service pôles de compétitivité & partenariats technologiques chez UBIFRANCE, présentera le 10ème appel à propositions de la thématique TIC. À la suite de cette présentation, il sera proposé aux participants de prendre RDV avec Madame Ferte, ou les organisateurs locaux, pour présenter leur projet ou leurs compétences pour ceux qui souhaitent devenir partenaire.

Le programme

12h15 - 13h30 : Déjeuner
13h30 - 15h00 : Présentation du Call 10 et quelques conseils pour le montage de projet - Claire FERTE (UBIFRANCE - Service pôles de compétitivité & partenariats technologiques) - Point de contact national TIC
15h00 - 15h15 : Pause café
15H15 -16H45 : RDV individuel

Cet événement prendra place simultanément :

à Rennes dans les locaux d'Inria (Salle de conférence Michel Métivier) (plan d’accès)
à Lannion dans les locaux de la technopole Anticipa (en visio)
à Brest dans les locaux de la maison du Technopole (en visio)
à Nantes (en visio - le lieu sera précisé ultérieurement)

Cette journée, sans frais, est ouverte à tous (industriels, académiques, PME/PMI, sociétés de services...) mais uniquement sur inscriptions.

Lors de votre inscription, merci de préciser si vous souhaitez participer au déjeuner et si vous souhaitez prendre un RDV.

Inria Alumni: Jam Session 2012

Fri, 15 Jun 2012 15:07:36 GMT

Une jam session sur le thème de la sécurité informatique

Le centre de recherche Inria Nancy - Grand est accueille la prochaine Jam Session Alumni.

Elle est ouverte à tous, il suffit de s'inscrire ici.

L'association Inria Alumni est le réseau des collaborateurs et ex-collaborateurs d'Inria et de ses établissements partenaires.

Lieu : amphithéâtre C

Programme :

Accueil et café
13h45 - 14H00 : Bienvenue, Karl Tombre, Directeur du centre de recherche
INRIA Nancy - Grand'Est
14h00 - 15h00 : Table ronde - Le vote électronique
    Animateur panel : Steve Kremer, Inria
    * Olivier Pereira, Université de Louvain-la-Neuve, BE
    * Roberto DiCosmo, Université Paris 7
    * Peter Ryan, Université Luxembourg

15h00 - 15h45 : Cryptographie et factorisation, Pierrick Gaudry, équipe Caramel
15h45 - 16h15 : Pause café
16h15 - 17h00 : Geometry processing, Nicolas Ray, équipe Alice
17h00- 17h45 : Computable Analysis: Computability and complexity over the reals.
                        Emmanuel Hainry, équipe Cartes
17h45 - 18H00 : Clôture, François Bancilhon, Président d'Inria Alumni, Data
Publica
18h00 : Cocktail

]]>

L'héritage d'Alan Turing

Fri, 15 Jun 2012 14:29:27 GMT

]]>

Le 23 juin 2012 est l’anniversaire du centenaire de la naissance d'Alan Turing. La conférence célébrant cet anniversaire se déroulera à l’ENS de lyon, du 2 au 4 juillet 2012.

Le département Informatique de l’ENS de Lyon, le laboratoire d’Informatique du Parallélisme de l’ENS de Lyon (LIP), le Laboratoire d’Excellence Mathématiques et Informatique à Lyon (MILYON) et Inria s’associent pour célébrer le centième anniversaire de la naissance d’Alan Turing. De nombreuses autres initiatives sont prises à travers le monde au travers de ‘l’année Alan Turing‘.

Cet événement s’articule autour de 4 temps forts :

une première journée (2/07/2012) francophone grand public et multi-disciplinaire (informatique, philosophie, épistémologie, etc.) autour de l’héritage d’Alan Turing et de l’influence de la notion fondamentale d’ordinateur / calculateur / machine universelle;
à la fin de la première journée, la remise du premier doctorat honoris causa en informatique de l’ENS de Lyon à Leslie Valiant. Il occupe actuellement la chaire T. Jefferson Coolidge de professeur d’Informatique et de mathématique appliquée dans le département d’Ingénierie et sciences appliquées (School of Engineering and Applied Sciences) de l’University d’Harvard à Cambridge. Leslie Valiant est lauréat du prix Turing en 2010;
le deuxième jour (3/07/2012), une conférence internationale en langue anglaise intitulée “Turing’s heritage: Logic, Computation & Complexity”
et le dernier jour (4/07/2012), un atelier du groupe de travail “complexité et modèles finis” du GDR CNRS Informatique Mathématique.

Inria partenaire de la MPSI 2 du LIV

Thu, 14 Jun 2012 15:09:54 GMT

]]>

Dans le cadre du partenariat avec le Lycée International de Valbonne (LIV), le centre Inria Sophia Antipolis - Méditerranée accueille des étudiants d'une classe de MPSI2 (Mathématiques, Physiques Sciences de l'Ingénieur) pour une immersion dans le monde de la recherche.

Depuis la rentrée 2011, une seconde classe de MPSI a été ouverte au Lycée International de Valbonne avec une option informatique renforcée par rapport à l'option informatique des MPSI (Sciences de l'ingénieur) classique et dispensée dès septembre. Des chercheurs d'Inria ont contribué au programme de cette option informatique en particulier sur des axes liés aux mathématiques et aux sciences du numérique et sont intervenus dans les cours tout au long de l'année. L'objectif, au delà de la réussite aux concours, est de préparer l'avenir des étudiants.

A l'heure où l'informatique et les sciences du numérique sont omniprésents, la formation des ingénieurs dans ce domaine est fondamentale et Inria a un rôle important à jouer dans ces formations des classes préparatoires, mais également en amont dans le futur enseignement de l'informatique et des sciences du numérique dans les lycées.

C'est dans le cadre de ce partenariat, qu'Inria accueillera le 18 juin prochain des étudiants de cette classe de MPSI 2 pour une présentation d'équipes de recherche du Centre illustrant certaines thématiques de l'enseignement qu'ils ont eu. Dans le cadre d'un exercice, les étudiants présenteront leur compréhension de ce qu'ils ont entendu devant un jury composé de professeurs du LIV et de chercheurs d'Inria mais également de jeunes lycéens. Une remise de prix clôturera cette journée.

A Inria, ce partenariat est piloté par Nicolas Nisse, chercheur dans l'équipe-projet Inria MASCOTTE (commune avec le laboratoire I3S (CNRS - Université Nice Sophia Antipolis)).

Nicolas est un spécialiste de l'algorithmique des graphes et enseigne en Master MDFI (Mathématiques Discrètes et Fondements de l'Informatique) de l'Université de la Méditerranée et dans le Master 2 Ubinet (Ubiquitous Networking and Computing) de l'Université Nice Sophia Antipolis.

"Cette expérience a été très enrichissante pour moi ! c'est avec Marc de Falco, professeur de mathématiques au Lycée International de Valbonne, que nous avons monté ce projet innovant et construit le programme de cette classe de MPSI2, qui est une première en France. La classe comptait en septembre 2011, 75 élèves qui ont suivi le cursus normal et l'option informatique, puis en janvier 2012, 25 d'entre eux ont choisi de poursuivre avec cette option, ce qui est une réussite. Cette expérience sera renouvelée l'année prochaine"

Enseignement de la MPSI2

L'enseignement est celui d'une MPSI option informatique classique, de plus la classe offre:

le démarrage de l'option informatique dès septembre et non pas en janvier
un volume horaire renforcé en informatique (plus de cours, de travaux dirigés, presque 3 fois plus de travaux pratiques)
la moitié des cours et des travaux dirigés par un chercheur en informatique d'Inria
des visites chez Inria
un cycle de conférences autour de l'évolution de l'informatique

Les cours de l'option informatique sont découpés, pour moitié, entre:

une partie théorique, où l'on se pose des problèmes concrets apparaissant dans la société (attribution d'un ordre d'arrivée pour des avions dans un aéroport, réalisation d'une tournée la moins couteuse en énergie pour un facteur...) et où l'on cherche à les résoudre par des procédés :
- automatiques, pouvant être réalisés par un ordinateur;
- corrects, c'est-à-dire répondant au problème posé en toutes circonstances;
- rapides, pour pouvoir donner une réponse rapide en un temps prévisible
et une partie pratique, où l'on apprend, depuis le début, à implémenter sur machine de tels procédés. Cette partie permet de mettre immédiatement en pratique les résultats de la partie théorique. Le langage utilisé est OCaml, ayant le double avantage d'être à la fois très proche des mathématiques et très efficace, au point qu'il soit devenu le langage de choix dans de nombreuses entreprises.

Biomedical Image Analysis Summer School

Thu, 14 Jun 2012 10:42:32 GMT

]]>

Le Center for Visual Computing de l'École Centrale de Paris et l'École des Ponts-ParisTech organisent une école d'été sur le thème de "Biomedical Image Analysis: modalities, methodologies and clinical research du 9 au 13 juillet 2012 à l'École Centrale Paris. Cet événement s'inscrit dans le cadre du "Medical image computing and computer assisted intervention society" (MICCAI).

The school will offer tutorial and advanced imaging lectures. Tutorial lectures will aim to provide access to the research areas in medical physics, applied mathematics & computer science that are used as basis towards developing advanced computer aided diagnosis solutions. Clinical research lectures will be given from leading researchers in the field aiming to present a wide range of clinical imaging research projects and state of the art methods towards their solutions from biomedical imaging view point. The summer school will last five days (Monday to Friday) with morning tutorial lectures and afternoon clinical research lectures.

Streaming Cryptography

Wed, 13 Jun 2012 13:46:07 GMT

]]>

Three years ago we introduced the concept of Streaming Cryptography; i.e. the possibility of computing cryptographic primitives using a device severely restricted in memory and in its ability to scan its external tape(s). Is it possible to do cryptography in such a setting, or the limitations of these devices rule-out such a possibility? For several, natural, black-box settings, and pretty-much all popular cryptographic assumptions used today we can show the impossibility of realizing cryptography in a streaming setting.

Recently we complemented the above results by devising a non-black-box technique, showing that Streaming Cryptography is possible if one uses two external streams, and in total 3 passes over them. Roughly speaking, instead of computing a function (e.g. multiplying integers) which is impossible in the streaming setting, we encrypt enough information from its computation (when we view this computation appropriately). Thus, we are able to make somewhat counter-intuitive statements, such as: computing the product of two numbers (and any of its permuted variants) is unconditionally impossible in a streaming fashion, however we are still able to base streaming cryptography on the hardness of factoring a composite integer.

To the best of our knowledge, this is the first practical, non-black-box cryptographic construction (note that the vast majority of cryptographic constructions are black-box).

This is joint work with Guang Yang. Preliminary impossibility results appear in joint works with Josh Bronson, Ali Juma, and Guang Yang.

Arbres évolutifs aléatoires, reconstruire le passé et prédire l'avenir

Wed, 13 Jun 2012 11:18:18 GMT

]]>

Olivier Gascuel, directeur de recherches CNRS au Laboratoire d’Informatique, de robotique et de microélectronique de Montpellier (LIRMM) de l’UM2, est lauréat 2009 de la médaille d’argent du CNRS.
Spécialiste en bioinformatique appliquée au domaine de l’évolution, il est l’un des fondateurs d’une méthode particulièrement rapide pour l’inférence phylogénétique par maximum de vraisemblance. Il est à l’origine de l’article d’écologie et environnement actuellement le plus cité. Venez nombreux découvrir comment reconstruire le passé et prédire l'avenir...

Depuis Darwin les arbres sont centraux pour représenter l'évolution des espèces et des objets biologiques. Un objectif majeur est de reconstruire tout ou partie de l’arbre de la vie, contenant l’histoire évolutive de l’ensemble des espèces vivant à la surface du globe. L’inférence d’arbres évolutifs ou phylogénies s’avère un outil essentiel en biologie moléculaire pour décrypter les génomes. Les progrès dans ce domaine sont rapides en raison de l’afflux des données de séquences et du développement de méthodes d’inférences toujours plus performantes.

Plusieurs modèles mathématiques ont été proposés pour les arbres évolutifs, depuis les premiers travaux de Galton-Watson à la fin du 19ème siècle. Deux modèles très simples ont émergé : le modèle de Yule utilisé pour représenter les spéciations successives, et le modèle du coalescent utilisé pour représenter les généalogies. Je décrirai ces modèles, leurs points communs, leurs différences et leurs variantes. Puis je décrirai des travaux récents que nous avons réalisés sur le modèle de Yule.

Comment ça marche ?

Les approches combineront la modélisation, la statistique, l’algorithmique et les bases de données et de connaissances, pour répertorier et intégrer ces masses de données hétérogènes. Au-delà de l’acquisition des données, une large place sera faite à la validation expérimentale des modèles et des prédictions, en se basant notamment sur les constructions biomimétiques et les simulations informatiques. Les questions biologiques visées sont très larges et concernent la santé (par exemple : cancer, génomes pathogènes, maladies génétiques, épidémiologie), l’environnement (par exemple : biodiversité, croissance des plantes et génomique végétale, interactions entre espèces, notamment les systèmes hôtes-parasites), et la biologie en général (par exemple : évolution, développement, biologie structurale, vie cellulaire, organisation du vivant).

Stage MathC2+ : Au coeur d'un centre de recherche, des lycéens découvrent les mathématiques autrement !

Tue, 12 Jun 2012 12:57:43 GMT

]]>

Le centre de recherche Inria Sophia Antipolis - Méditerranée accueillera du 19 au 22 juin un stage de mathématiques labellisé MathC2+ organisé par l'académie de Nice.

Pour la 2^ème année consécutive, des lycéens vont bénéficier de stages labellisés MathC2+ afin de découvrir les mathématiques autrement, de manière ludique et concrète. Ces stages de mathématiques s’adressent à des élèves motivés des classes de seconde et prioritairement à des élèves à potentiel qui ne bénéficient pas dans leur entourage d’un environnement propice au développement d’un projet d’études scientifiques à long terme.

Les 50 lycéens des Alpes-Maritimes sont accueillis au centre Inria Sophia Antipolis - Méditerranée et 25 d’entre eux sont hébergés au Centre International de Valbonne, partenaire de cette opération. Durant 4 jours, du 19 au 22 juin, des chercheurs d’Inria et de ses partenaires (Polytech‘Nice Sophia, l’association Pobot et Linux Azur), feront découvrir aux lycéens les mathématiques autrement, grâce à l’informatique et la robotique. Chaque élève va travailler sur un micro projet informatique qu'il présentera à ses camarades à la fin du stage.

Le programme MathC2+, mis en place en partenariat avec la fondation Sciences mathématiques de Paris et l'association Animath, s'inscrit dans le plan sciences et technologies à l'École, et bénéficie du soutien de partenaires industriels et académiques locaux (Casio, EADS, Crédit Mutuel Enseignant, CNRS).

7ème école d'été Évolution Artificielle : état de la recherche

Mon, 11 Jun 2012 16:25:05 GMT

]]>

La septième école d'été Évolution Artificielle 2012 arrive à Quiberon ! Les chercheurs impliqués dans l'évolution artificielle s'intéressent aux mécanismes du vivant, telles que l'évolution naturelle ou l'organisation des sociétés animales, et utilisent les outils techniques ou théoriques récents pour en extraire de nouvelles méthodes de résolution de problèmes ou de nouvelles connaissances.

Les thématiques abordées :

Évolution artificielle
Algorithmes évolutionnaires, métaheuristiques
Optimisation continue, optimisation combinatoire

Cours

Introduction à l'évolution artificielleOrateur : Marc Schoenauer, Inria Saclay - Ile de France
Interlocuteur : Jin-Kao Hao, Université d'Angers
Durée : 90 minutes + 30 minutes de discussions
Métaheuristiques et optimisation combinatoireOrateur : Jin-Kao Hao, Université d'Angers
Interlocuteur : Nicolas Monmarché, Université de Tours
Durée : 90 minutes + 30 minutes de discussions
Stratégies d'évolution et optimisation continueOrateur : Anne Auger, Inria Saclay - Ile de France
Interlocuteur : Dimo Brockhoff, Inria Lille - Nord Europe
Durée : 90 minutes + 30 minutes de discussions

Orateur invité

Matheuristiques pour la problématique des réseaux de capteurs sans filsOrateur : Marc Sevaux, Université de Bretagne-Sud
Interlocuteur : Laetitia Jourdan, Université Lille 1
Durée : 45 minutes + 15 minutes de discussions

Tutoriaux

Optimisation multi-objectif évolutionnaire (introductif) ★ en anglais ★Orateur : Dimo Brockhoff, INRIA Lille - Nord Europe
Interlocuteur : Arnaud Liefooghe, Université Lille 1
Durée : 45 minutes + 15 minutes de discussions
Programmation génétique (introductif)Orateur : Denis Robilliard, Université du Littoral Côte d’Opale
Interlocuteur : Pierrick Legrand, Université Bordeaux 2
Durée : 45 minutes + 15 minutes de discussions
Parallélisation massive d'algorithmes évolutionnaires sur cartes GPU avec EASEA (avancé)Orateur : Frédéric Krüger, Université de Strasbourg
Interlocuteur : Johann Dréo, Thales Research & Technology
Durée : 45 minutes + 15 minutes de discussions
Analyse de paysages de fitness (avancé)Orateur : Sébastien Verel, Université Nice Sophia Antipolis
Interlocuteur : Denis Robilliard, Université du Littoral Côte d’Opale
Durée : 45 minutes + 15 minutes de discussions
Algorithmes évolutionnaires autonomes (avancé)Orateur : Frédéric Saubion, Université d'Angers
Interlocuteur : Anne Auger, Inria Saclay - Ile de France
Durée : 45 minutes + 15 minutes de discussions
Robotique évolutionnaire (spécialisé)Orateur : Nicolas Bredèche, Université Paris 11
Interlocuteur : Amine Boumaza, Université du Littoral Côte d’Opale
Durée : 45 minutes + 15 minutes de discussions
L'évolution artificielle dans le monde industriel (spécialisé)Orateur : Johann Dréo, Thales Research & Technology
Interlocuteur : Marc Schoenauer, Inria Saclay - Ile de France
Durée : 45 minutes + 15 minutes de discussions

Assemblé générale de l'association EA

MajecSTIC 2012

Thu, 7 Jun 2012 16:58:43 GMT

]]>

La 9ème édition de la conférence MajecSTIC aura lieu les 29, 30 et 31 octobre 2012 à Lille. Cette année, la conférence est organisée par des doctorants de l’Université Lille1, du LIFL, d'Inria Lille - Nord Europe et du LAGIS.

MajecSTIC est une conférence francophone organisée par des doctorants pour les chercheurs débutants (Master 2, doctorants, post-docs, ATER, …) dans les domaines des Sciences et Technologies de l’Information et de la Communication (STIC).

MajecSTIC vise à fournir un lieu d’échange scientifique autour de divers travaux des domaines des STIC. De plus, elle permet la rencontre de chercheurs débutants, futurs acteurs de collaborations entre laboratoires de recherche, partenaires industriels, etc.

La participation aux sessions/keynote de la conférence est gratuite. Inscription obligatoire pour les membres d'Inria Lille Nord Europe, du LIFL et du LAGIS.

Historique

Bordeaux, du 13 au 15 octobre 2010. Organisée par les doctorants de l’IMS et du LaBRI.
Avignon, du 16 au 18 novembre 2009. Organisée par les doctorants du LIA.
Marseille, du 29 au 31 octobre 2008. Organisée par les doctorants du LSIS.
Caen, du 29 au 31 octobre 2007. Organisée par des doctorants du GREYC.
Lorient, du 22 au 24 novembre 2006. Organisée par des doctorants de l’UBS.
Rennes, du 16 au 18 octobre 2005. Organisée par des doctorants de l’Irisa, de l’IETR et du LTSI.
Calais, du 13 au 15 octobre 2004. Organisée par des doctorants du LIL et du LASL.
Marseille, du 29 au 31 octobre 2003. Organisée par des doctorants de l’A2DL et du LSIS.

Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach

Thu, 7 Jun 2012 16:54:05 GMT

]]>

A key difficulty in concurrent program verification is the large number of interleavings of fine-grain actions. The typical correctness argument makes use of a separation of concerns. At each phase, one worries only about interference due to concurrency, or the sequential behavior of a code block. We present a proof system, QED, that builds on this intuition. In QED, we formulate semantic conditions under which actions commute, and a somewhat different notion of program abstraction. Commutativity checks between actions and abstraction checks are converted to verification conditions and are checked by the Z3 theorem prover. A key computational advantage is that QED proof steps have locally-checkable antecedents. QED proofs apply reduction and abstraction iteratively and transform a program to consist of larger-grain actions. We show that this approach greatly simplifies proofs of assertions, atomicity and linearizability, even in optimistically concurrent programs.

A la découverte des pépites de la métropole lilloise

Thu, 7 Jun 2012 14:52:21 GMT

]]>

Le Conseil de développement de Lille Métropole a initié une démarche de valorisation des laboratoires et structures de recherche d’excellence implantés sur le territoire métropolitain. Objectif : mettre en lumière ces structures d’excellence appelées désormais « pépites » parfois visibles mondialement dans leur(s) domaine(s) et pourtant peu connues des acteurs locaux…

Programme

La séance sera animée par Faustin AISSI

17h30 - Introduction (15 minutes)
Faustin AISSI, Conseiller communautaire délégué à la recherche et aux universités
Patrick PEUGEOT, Past President du Conseil de développement de Lille Métropole

17h45 - Présentation du centre de recherche Inria Lille – Nord Europe (20 minutes)
David SIMPLOT-RYL, Directeur du centre de recherche Inria Lille – Nord Europe

18h05 - Innovation & Transfert à Inria (15 minutes)
Simon VANDERMEERSCH, Chargé des partenariats et des projets d’innovation

18h20 - Trois illustrations de pépites de recherche collaboratives en sciences du numérique :

Sysiass : un fauteuil roulant plus intelligent (15 minutes) Wilfried PERRUQUETTI, Professeur à l’Ecole Centrale Lille et Responsable permanent de l’équipe Non-A

Le projet CMDU : un nouveau mode de transport de marchandises à Lille (15 minutes) Luce BROTCORNE, Chargée de recherche Inria et membre de l’équipe Dolphin

Retour tactile sur surface tactile : sentez ce que vous touchez (15minutes) Nicolas ROUSSEL, Directeur de recherche Inria et membre de l’équipe Mint

19h10 - Échanges avec la salle – Conclusion (20 minutes)

19h30 - Cocktail dinatoire : poursuite des échanges

Algorithmique de l'algèbre de décomposition universelle

Wed, 6 Jun 2012 10:30:30 GMT

]]>

Fixons un corps effectif k et un polynôme f dans k[T] de degré n. Nous appellerons relations symétriques les polynômes symétriques à coefficients dans k qui s'annulent sur les racines de f dans une extension appropriée. Ces relations forment un idéal I. L'algèbre de décomposition universelle est l'algèbre quotient A := k[X₁ , …, X_n ] / I. Cette algèbre est liée au corps de décomposition L de f. Par exemple, pour des coefficients de f génériques, L s'identifie à A. Dans cet exposé, nous montrons comment obtenir une algorithmique efficace dans A. Pour cela, on utilise une représentation à une variable de A, c'est-à-dire un isomorphisme explicite de la forme A ~ k[T] / Q(T). Dans cette représentation, les opérations arithmétiques de A ont naturellement une complexité quasi-optimale. Nous détaillerons deux algorithmes intrinsèquement liés explicitant d'une part l'isomorphisme et d'autre part calculant le polynôme caractéristique d'un élément P de A. Puis nous parlerons des généralisations possibles de cette méthode. Travail en collaboration avec Éric Schost.

Séries de Fourier généralisées solutions d'équations différentielles

Wed, 6 Jun 2012 10:26:41 GMT

]]>

Les polynômes de Tchebychev, de Hermite ou autres polynômes orthogonaux classiques, les fonctions de Bessel et certaines autres familles de fonctions spéciales, forment des bases d'espaces hilbertiens adaptés. Il est donc utile de pouvoir développer des fonctions sur ces bases, et ces développements s'appellent des séries de Fourier généralisées. Les séries de Taylor sont un cas particulier (base monomiale), mais aussi les séries de Tchebychev ou de Neumann (base des fonctions de Bessel). Quand une telle série est solution d'une équation différentielle linéaire à coefficients polynomiaux, ses coefficients eux-mêmes satisfont une récurrence linéaire à coefficients polynomiaux. Dans ce travail nous interprétons cette équation comme le numérateur d'une fraction d'opérateurs de récurrence. Cette interprétation nous permet de donner un algorithme général pour calculer de telles récurrences et fournit une vision simple des algorithmes existants pour plusieurs familles de fonctions spécifiques. Travail en collaboration avec Bruno Salvy.

SophiaConf 2012

Tue, 5 Jun 2012 16:32:21 GMT

]]>

Juste avant les vacances, la Commission Open Source de Telecom Valley vous invite au cycle de conférences gratuit SophiaConf2012, du 2 au 4 juillet, où vous pourrez apprendre et échanger avec les meilleurs experts, vos confrères et consoeurs de Sophia Antipolis.

SophiaConf2012 vous propose un programme technique et sociétal pointu au cours duquel nous échangerons sur l'Open Data, la supervision et l'administration en Open Source, ainsi que l'actualité du Big data, NoSQL et Big Search.

Lundi 2 juillet : OPEN SOURCE: ADMIN & SUPERVISION (Polytech'Nice Sophia)
Mardi 3 juillet : BIG DATA, NOSQL, BIG SEARCH (Inria)
Mercredi 4 juillet (Inria) :
- 14h : OPEN DATA: DES PAROLES AUX ACTES (1ère partie)
- 18h : OPEN DATA: DES PAROLES AUX ACTES (2ème partie)

Programme complet

Déroulement des conférences

Conférences alliant interventions d'experts des thématiques abordées et retours d'expériences effectuées par des entités locales
Un cocktail networking où intervenants et participants se rencontrent et poursuivent les échanges

Olympiades de Mathématiques 2012

Fri, 1 Jun 2012 11:39:06 GMT

]]>

En partenariat avec l’Académie et l'UFR de mathématiques (Université Lille1) et EuraTechnologies Développement, Inria reçoit les lauréats des Olympiades de mathématiques pour une remise de prix.

Durant cette cérémonie, les démonstrations de l'option ISN (Informatique et Science du Numérique) des élèves de seconde du lycée Jean Rostand de Roubaix, du LICP Tourcoing et du Lycée André Malraux de Béthune seront mises à l'honneur et récompensées.

La cérémonie se clôturera par une visite du Plateau Inria où les élèves découvriront les dernières innovations technologiques des équipes Inria.

Pour rapprocher l'univers de la recherche en mathématiques de celui des lycées, Inria engage des actions vers les jeunes et développe les partenariats avec l'Éducation nationale notamment en s'associant aux Olympiades de mathématiques. Les objectifs des Olympiades trouvent en effet un écho particulier à l'institut qui mène une politique active auprès des jeunes pour développer leur intérêt pour les sciences, leur faire connaître la recherche en informatique et en mathématiques et les innovations dont ces disciplines sont à l'origine, telles que l'internet, le téléphone mobile, la carte à puce, etc.

Avis de recherche, un docu-fiction qui présente le cheminement du travail de recherche scientifique sera projeté aux élèves.

Avis de recherche a été produit par Inria, établissement public sous la double tutelle du ministère de la recherche et de l’industrie. Cette production a été faite dans le cadre du projet SPHERE, parc virtuel des sciences et technologies, avec le soutien financier du Ministère de l’économie, de l’industrie et de la Direction générale de la compétitivité, de l'industrie et des services.

Web distribué

Wed, 30 May 2012 22:16:43 GMT

]]>

Les services relations industrielles et valorisation des centres de recherche Inria franciliens avec la direction du transfert d’Inria et Cap Digital, ont organisé une rencontre dédiée au Web distribué le vendredi 15 Juin 2012, dans le cadre de Futur en Seine.

A l'occasion de cet événement, les chercheurs ont présenté des offres technologiques liées au Web distribué.

Cette présentation a été suivie de rendez-vous personnalisés et confidentiels entre les porteurs de technologies et les entreprises intéressées, l'objectif étant de générer de nouveaux projets de partenariat et de transfert.

Thématiques abordées

Middleware pour l’ internet des objets et réseau sociaux mobiles

iThing(s) : middleware pour l’internet des objets
Yarta : middleware pour les réseaux sociaux mobiles
Coccinelle : outils de détection de bug dans du code d’infrastructure

Outils de programmation d’applications Web 3.0

Srijan : outils de developpement d’applications pour l’internet des objets
Ocsigen : ensemble d’outils de programmation d’applications Web html5

Optimiser le stockage et l’interrogation des données distribuées

ViP2P : dissémination et interrogation efficicace de données web distribuée
Amada : Gestion des données du web dans le cloud
RDFViewS : stockage optimisé de données du web sémantique

Analyse et visualisation de grande quantité de données

ScatterDice : exploration interactive de données multidimensionnelles par matrices de nuages de points
NodeTrix : visualisation hybride de réseau sociaux
Geneaquilts : Système pour l’exploration interactive de grandes généalogies
Obvious InfoVis Toolkit : boite à outils pour le developpement du système de visualisation d’information

Les équipes ARLES, AVIZ, IRILL, OAK et REGAL étaient présentes.

La matinée s'est organisée en deux parties :

Présentations de 10 minutes des principales offres technologiques.
Rendez-vous privés de 20 minutes.

École Jeunes Chercheurs en Programmation 2012

Tue, 29 May 2012 12:07:30 GMT

]]>

L'École Jeunes Chercheurs en Programmation se déroulera cette année du 15 juin au 23 juin à Dinard et à Rennes, conjointement aux journées GDR – GPL et à la conférence CIEL.

L'École jeunes chercheurs en programmation accueille chaque année pendant 10 jours une quarantaine de jeunes chercheurs en première année de thèse dans la communauté informatique.

Les jeunes doctorants découvrent à cette occasion un ensemble de thèmes de recherche qui n'auront pas été abordés pendant leur MASTER. De plus, à l'issue de l'École, tous connaîtront l'ensemble des thèmes étudiés dans nos équipes et les spécialistes de chaque domaine.

Grâce à l'enthousiasme sans cesse renouvelé des intervenants, les cours sont de très grande qualité : théorie du domaine, illustrations des concepts, bibliographie, démonstrations et support de cours.
Cette année, l'école aura lieu au Manoir de la Vicomté à Dinard du vendredi 15 juin au dimanche 17 juin et au centre de recherche Inria Rennes - Bretagne Atlantique du lundi 18 juin au vendredi 22 juin.

Interdisciplinary Workshop on Inference

Fri, 25 May 2012 15:40:11 GMT

]]>

Inria et les Mines ParisTech organisent le 12 juin 2012 à l'antenne parisienne du centre Inria Paris-Rocquencourt un workshop intitulé "Interdisciplinary workshop on Inference - Information processing in complex systems with applications to traffic forecasting".

This workshop brings together researchers from statistics, statistical mechanics and machine learning interested in the development of methods and algorithms to process data emerging from complex systems. It is an informal continuation of a preceding meeting (PEPS) held in 2009 in Orsay on similar topics, at the interface between statistical physics and computer science. Some recent convergence of interest between statistical mechanics and machine learning resides in particular in the fact that mean-field methods of statistical mechanics have found their counterpart in terms of powerful message passing algorithms in machine learning. Theoretical questions concerning inverse problem, high dimensional data reduction, compression and restoration will be discussed, to confront complementary viewpoints from the statistics, machine learning and statistical mechanics communities. As a guideline, a special attention will be paid on applications concerning road traffic forecast on large scale networks.

Speakers :

Thibault Espinasse (ESP, Paul Sabatier University, Toulouse): Whittle's approximation for Gaussian fields indexed by graphs: an extension of the theory of time series for applications to road traffic prediction [Abstract]
Florent Krzakala (ESPCI, Paris): Optimal compressed sensing and statistical physics [Abstract]
Jean-Michel Loubes (ESP, Paul Sabatier University, Toulouse): Trafic modelling with processes on graphs
Victorin Martin (Imara, INRIA): a latent Ising model for real-valued variables inference [Abstract]
Marc Mézard (Lptms, CNRS, Orsay)
Yufei Han (CAOR, Mines ParisTech and Imara, INRIA): Towards understanding of global traffic states in large-scale transportation networks [Abstract]
Kazuyuki Tanaka (Tohoku University): Bayesian image modeling by means of generalized sparse prior and loopy belief propagation [Abstract]
Muneki Yasuda (Tohoku University): Advanced susceptibility propagation [Abstract]
Lenka Zdeborová (IPhT, CEA Saclay)

Conférence DD21

Fri, 25 May 2012 15:10:08 GMT

]]>

Du 25 au 29 juin, Inria accueillera la conférence DD21. La 21ème rencontre internationale sur les méthodes de décomposition de domaines. Cet événement est organisé sous la responsabilité de Jocelyne Erhel, directrice de recherche Inria, et est soutenu par l’association DDM.org.

Les rencontres annuelles dédiées aux méthodes de décomposition de domaine sont devenues une étape incontournable pour la présentation des nouveaux résultats de recherche dans ce domaine. Les thèmes scientifiques majeurs de DD21 sont :

les mathématiques
la physique-chimie
les sciences de la vie et de la terre
l’informatique

Les objectifs communs sont de développer des outils de modélisation et simulation pour comprendre, prévoir et aider à la décision. Les retombées industrielles et sociétales sont nombreuses et variées, dans différents secteurs :

le transport
l’énergie
le développement durable
la médecine

Programmation et génie logiciel

Thu, 24 May 2012 11:13:01 GMT

]]>

Software Carpentry organise, en partenariat avec Inria, une formation à la programmation et au génie logiciel les 28 et 29 juin 2012 à l'antenne Inria à Paris.

What: Our goal is to help scientists and engineers become more productive by teaching them basic computing skills like program design, version control. In this two-day boot camp, short tutorials will alternate with hands-on practical exercises. Participants will be encouraged both to help one another, and to apply what they have learned to their own research problems during and between sessions.

Who: The course is aimed at postgraduate students and other scientists who are familiar with basic programming concepts (like loops, conditionals, arrays, and functions) but need help to translate this knowledge into practical tools to help them work more productively.

Requirements: Participants must bring a laptop with a few specific software packages installed. (The list will be sent to participants a week before the boot camp.)

Content: The syllabus for this boot camp will include:

Using version control to manage and share information: an introduction to git and github
Introduction to Python for scientists
Numerical programming with Numpy and Scipy

Olympiades de Mathématiques et Géosciences : 34 élèves niçois récompensés

Wed, 23 May 2012 16:50:19 GMT

]]>

Le Rectorat de Nice, l'Observatoire de la Côte d'Azur, l'Unité Mixte de Recherche Géoazur et Inria organisent la remise des prix de la session 2012 des Olympiades de Mathématiques et de Géosciences.

Les olympiades de mathématiques et de géosciences participent au développement et à la valorisation de la culture scientifique et stimulent chez les élèves l'initiative et le goût de la recherche.

Ce sont 21 candidats de l'académie qui seront récompensés pour ces 12èmes Olympiades de Mathématiques, tandis que 13 candidats le seront pour ces 5èmes Olympiades de Géosciences.

Programme de la remise des prix :

10h00 : Accueil dans les locaux du GREDEG CNRS
10h30 : Conférence "Prévoir les mouvements du sol dus à un séisme", par Françoise Courboulex, sismologue, chargée de recherche CNRS (Géoazur)
11h30 : Remise des prix aux lauréats
12h00 : Cocktail

Les Olympiades de mathématiques

Les Olympiades académiques de mathématiques ont été créées au cours de l’année scolaire 2000/2001, en direction des élèves des classes de premières scientifiques des lycées, dans le but de favoriser l'émergence d'une nouvelle culture scientifique et technologique. La démarche conduit à développer chez les élèves l'initiative et le goût de la recherche. Sa dimension académique a pour objectif de favoriser les relations entre les professeurs d'une même Académie et les corps d'inspection, tout en stimulant l’ouverture de clubs et d’ateliers de mathématiques. Depuis 2005, les Olympiades de mathématiques sont ouvertes, toujours sur la base du volontariat, aux lycéens des classes de première de toutes les séries. Ce type d’opération répond au souci du ministère qui fait du développement de la culture scientifique au sens large un objectif pour les prochaines années. Cette opération s’inscrit également dans une perspective à plus long terme : faire émerger de nouveaux talents. En effet, un certain nombre de médailles Fields ont fait leurs premières apparitions dans des Olympiades et autres concours généraux. L'épreuve d'une durée de quatre heures consiste en quatre exercices indépendants : deux exercices sont communs à tous les candidats, les deux autres diffèrent d'une académie à l'autre. Chaque académie distribue ses prix et un palmarès national est établi.

Les Olympiades de géosciences

2007 a été déclarée Année internationale de la Planète Terre. C’est dans ce cadre qu’ont été créées les Olympiades des Géosciences. Ce concours, qui est ouvert aux lycéens de première des séries scientifiques de l’enseignement public et privé sous contrat, sur la base du volontariat, a pour objectifs :

de stimuler chez les élèves l’initiative et le goût de la recherche en abordant les géosciences de manière ouverte
de favoriser l’émergence d’une nouvelle culture des géosciences
de susciter une prise de conscience en soulignant le lien étroit entre les géosciences, les autres disciplines et un riche éventail des métiers associés dont notre société aura tant besoin dans les années à venir.

L'épreuve d'une durée de quatre heures consiste en quatre exercices indépendants : deux exercices sont communs à tous les candidats, les deux autres diffèrent d'une académie à l'autre. Les meilleures copies feront l’objet d’une sélection pour concourir au palmarès national.

L'Académie de Nice

L’académie de Nice compte plus de 400 000 élèves, apprentis et étudiants dans les départements des Alpes-Maritimes et du Var. L’académie est dotée d’un maillage de 1431 écoles, collèges et lycées publics et privés sous contrat, d’un environnement universitaire, scientifique et technologique de premier plan avec les universités de Nice Sophia Antipolis et du Sud-Toulon Var, les 2 écoles d’ingénieurs rattachées (l’école polytechnique universitaire et l’institut des sciences de l’ingénieur de Toulon et du Var), 2 IUT déployés sur 7 sites ou encore l’Observatoire de la Côte d’Azur.

L’académie possède également un réseau de laboratoires de recherche particulièrement dense, dans ce qui fut historiquement la première technopole provinciale française : Sophia Antipolis.

L’académie de Nice est particulièrement impliquée dans le développement de l’enseignement des sciences et de l’accès à la culture scientifique en lien avec l’académie des Sciences. Les actions du rectorat sont menées suivant quatre axes :

les innovations pédagogiques, suivies par les corps d’inspection
la généralisation de l’accès à la culture scientifique
l’information sur les possibilités de carrières scientifiques
la formation scientifique dans le cadre du plan académique de formation

L'Observatoire de la Côte d'Azur

L’Observatoire de la Côte d’Azur (OCA) est un Etablissement Public à Caractère Administratif en sciences de la Terre et de l’Univers, autonome, lié par convention à l’Université de Nice Sophia Antipolis (UNS). Fort de quelques 450 agents localisés sur 4 sites géographiques (site historique de l’Observatoire de Nice, campus Valrose à Nice, Sophia Antipolis et le site d’observation du plateau de Calern), l’OCA regroupe 3 unités de recherche multitutelles (CNRS, UNS, IRD, OCA) : astrophysique (planétologie, physique stellaire et solaire, galaxies, cosmologie), dynamique des fluides, traitement du signal et des images, et instrumentation au sein du laboratoire Lagrange ; astrophysique multi-messagers pour le laboratoire Artémis ; dynamique de la Terre et métrologie de l’Univers proche au sein du laboratoire Géoazur.

En collaboration avec les 24 autres Observatoires des sciences de l’Univers (OSU) français, l’OCA contribue au recueil de données observationnelles continues et systématiques de la Terre et de l’Univers.

Par ailleurs, l’OCA contribue activement à la formation universitaire à tous les niveaux, et met actuellement en place une base unique d’observations en astrophysique et en géosciences, dédiée à l’enseignement universitaire et à la recherche sur le plateau de Calern (C2PU). Enfin, l’OCA est également très impliqué dans sa mission de diffusion des connaissances vers tous les publics, s’appuyant sur la combinaison unique entre son patrimoine exceptionnel et les recherches contemporaines.

L'unité mixte de recherche Géoazur

L’unité de recherche Géoazur est une unité mixte UNS-CNRS-IRD-OCA créée en 1996 dont la thématique principale est l’étude de la dynamique de la lithosphère aussi bien à terre qu’en mer. Cette thématique intègre depuis janvier 2008 la métrologie de la Terre et de l’Univers proche dans le cadre de l’élargissement à une équipe d’astronomie, de géodésie et de métrologie de l’Univers. L’unité est aussi depuis cette date rattachée à l’Observatoire de la Côte d’Azur, établissement public administratif associé à l’Université de Nice Sophia-Antipolis.

Le laboratoire réunit 170 personnes, chercheurs, enseignants-chercheurs, ingénieurs, techniciens, doctorants dans une unité mixte de recherche pluridisciplinaire, composée de géophysiciens, géologues, géochimistes, astronomes et métrologistes.

De par ses activités de recherche, Géoazur aborde de très nombreux enjeux sociétaux tels que les aléas sismiques, gravitaires et tsunamis, la surveillance du niveau moyen des mers et des débris spatiaux.

Le laboratoire s’adresse depuis de nombreuses années aux jeunes afin de leur redonner le goût des sciences, notamment des géosciences. Le laboratoire assure le pilotage national du programme éducatif ‘Sismos à l’Ecole’ initié dans les Alpes Maritimes en partenariat étroit avec le Rectorat, le Conseil Général et la Région.

Inria

Créé en 1967, Inria est le seul institut public de recherche entièrement dédié aux sciences du numérique. A l’interface des sciences informatiques et des mathématiques, les chercheurs d’Inria inventent les technologies numériques de demain. Issus des plus grandes universités, ils croisent avec créativité recherche fondamentale et recherche appliquée. Ils se consacrent à des problèmes concrets, collaborent avec les acteurs de la recherche publique et privée en France et à l’étranger, et transfèrent le fruit de leurs travaux vers les entreprises innovantes.

L'institut accueille 3 800 personnes réparties dans ses 8 centres de recherche situés à Rocquencourt, Rennes, Sophia Antipolis, Grenoble, Nancy, Bordeaux, Lille et Saclay. L’Institut cherche en particulier à s’adresser aux jeunes afin de leur redonner le goût des sciences, notamment des mathématiques. Il cherche ainsi à faire connaître au plus grand nombre le rôle majeur des sciences du numérique qui sont au cœur de notre société.

Séminaire de Combinatoire Philippe Flajolet

Wed, 23 May 2012 11:40:26 GMT

]]>

Le Séminaire de Combinatoire Enumérative et Analytique, rebaptisé Séminaire Philippe Flajolet le 7 avril 2011, a pour objectif de couvrir un large spectre de recherche en combinatoire, et est ouvert à tous les chercheurs et étudiants intéressés.

10h30 -11h30 : Marc Mezard (LPTMS, Paris Sud) Une approche probabiliste au problème d'acquisition comprimée (compressed sensing)
14h00 - 15h00 : Christian Krattenthaler (Wien Universitat) Crible cyclique pour partitions non-croisées généralisées associées aux groupes de reflection complexes
15h00 - 15h30 : Pause-café
15h30 - 16h30 : Frédérique Bassino (LIPN, Paris Nord) Enumération asymptotique d'automates finis

L'analogue du phénomène de Stokes pour les équations aux q-différences.

Wed, 23 May 2012 11:31:03 GMT

]]>

Dans la dernière décennie, nous (= Ramis, Sauloy, Zhang) avons défini un phénomène de Stokes pour les équations aux q-différences linéaires analytiques complexes. Nous l'avons appliqué à la classification analytique locale et à la théorie de Galois locale. Je décrirai ce phénomène en le comparant au phénomène de Stokes "classique" des équations différentielles et je résumerai les principaux résultats obtenus et les problèmes en suspens.

Calcul des racines multiples

Wed, 23 May 2012 11:28:31 GMT

]]>

Il est bien connu que la méthode de Newton ne converge pas quadratiquement au voisinage d'une racine multiple. Le but de cet exposé est d'expliquer comment retrouver cette convergence quadratique.

Design, optimization and control in systems and synthetic biology

Wed, 23 May 2012 11:22:05 GMT

]]>

Topics of interest include quantitative biology, control and optimization, microfluidics and single cell biology, biological noise, synthetic biology, deterministic and stochastic modeling. In addition, there will be a specific emphasis on novel approaches for in silico feedback control of live cells.

The list of confirmed speakers include Gilles Charvin (IGMBC, France), Hidde de Jong (INRIA, France), Domitilla del Vecchio (MIT), Diego di Bernardo (Tigem, Italy), Alfonso Jaramillo (ISSB, France), Eric Klavins (U. Washington, USA), Heinz Koeppl (ETHZ, Switzerland), Wendell Lim (UCSF, USA), Ariel Lindner (INSERM, France), John Lygeros (ETHZ, Switzerland), Brian Munsky (LANL, USA), Guy-Bart Stan (Imperial college, UK), and Ron Weiss (MIT, USA).