Les événements d'Inria Sophia Antipolis - Méditerranée

fOSSa2012, aux origines de l'open source

]]>

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.

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.

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

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.

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 !

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.

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.

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.

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).

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 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é.

Risque, Science et Pluralisme

Mon, 21 May 2012 10:49:25 GMT

]]>

En partant des probabilités philosophiques de Cournot, et en étudiant l'accueil dans le monde scientifique de la notion de hasard chez Jacques Monod, ainsi que quelques cas de l'histoire de l'astronomie, nous nous sensibiliserons à la nature des risques que prend la construction de connaissance.
Ceci nous permettra de pousser la réflexion épistémologique dans la ligne mais au delà de Thomas Kuhn et de Paul Feyerabend, dans le but premièrement d'un fonctionnement plus ouvert de la communauté scientifique, deuxièmement de prise en compte de problèmes environnementaux et écologiques mal appréhendés par la pensée économique.

W3C Advisory committee meeting

Fri, 11 May 2012 12:53:57 GMT

]]>

Le centre Inria Sophia Antipolis - Méditerranée accueille le "Advisory committee meeting" du W3C rassemblant les représentants des membres internationaux du Consortium World Wide Web.

Au cours de ces deux journées, les participants pourront assister à des démonstrations issues des travaux d'équipes de recherche Inria :

SemanticWebImport, par Erwan Demairy (Equipe Wimmics)
Claw (Cloud Audio Workstation), par Gabriel Cardoso (Service DREAM)
Semantic and social networks for Business Intelligence, par Nicolas Delaforge (Equipe Wimmics)
iSpace immersive experience / virtual reality, par Jean-Christophe Lombardo (Service DREAM), dans l'espace immersif "Gouraud-Phong"

Récentes avancées dans l'analyse et les applications des systèmes dynamiques

Mon, 16 Apr 2012 16:54:38 GMT

]]>

Cette journée de séminaires, organisée par l'équipe-projet Neuromathcomp, a pour but de réunir des chercheurs de tous horizons et de présenter leurs récentes avancées dans le cadre des systèmes dynamiques. Un accent sera mis sur les applications dans les systèmes du vivant.

La parcimonie : une valeur d'avenir ?

Thu, 29 Mar 2012 09:38:25 GMT

]]>

Cet exposé dressera un panorama des principales avancées mathématiques et algorithmiques récentes exploitant la parcimonie des signaux et des images, c'est à dire le fait qu'ils peuvent être exprimés de façon concise comme combinaison linéaire d'un petit nombre de formes de bases, appelés atomes.

L’exemple de la séparation aveugle de N sources audio à partir de M < N capteurs illustrera dans un premier temps l’apport de la parcimonie pour résoudre des problèmes inverses avec plus d'inconnues que d'équations. J'évoquerai alors les fondements mathématiques de ces techniques, qui ont pu apparaître comme "miraculeuses", et décrirai pour conclure quelques applications émergentes de ces outils ainsi que quelques nouveaux défis.

Prix du Territoire Innovant attribué à la Communauté d'Agglomération Sophia Antipolis pour son projet "Extranet Communautaire"

Fri, 16 Mar 2012 14:19:56 GMT

]]>

Le prix du Territoire Innovant (catégorie Performance & Mutualisation) a été attribué à la Communauté d'Agglomération Sophia Antipolis pour son projet "Extranet Communautaire" visant à sécuriser l'accès aux informations pour les membres du conseil communautaire grâce à une technologie d'ADN du Numérique. C'est donc tout naturellement à Michel Cosnard, Président-Directeur général d'Inria, Institut dédié aux sciences du numérique, qu'il a été demandé de remettre ce prix à Jean Leonetti, président de la CASA et ministre chargé des Affaires Européennes.

Un Extranet Communautaire monté avec la société sophipolitaine Login People

Les 16 maires de communes, les conseillers communautaires titulaires et suppléants, au total une centaine d'élus de la Communauté d'Agglomération, recevaient les informations relatives au conseil communautaire par simple plis postal. Il a été décidé de mettre à disposition les documents relatifs au bon déroulement sur un Extranet. Ces données étant parfois sensibles la protection illusoire d'un simple mot de passe ne suffisait pas. Pour pallier ce risque sans rendre le contrôle d'accès plus complexe pour les utilisateurs, la CASA a choisi la solution d'authentification forte pour Extranet à base d'ADN du Numérique.

L'ADN du Numérique est une technologie Login People, protégée par des brevets internationaux qui permet d'identifier de manière unique tout équipement informatique. Un utilisateur peut alors s'authentifier avec sa clé USB, et aussi avec son ordinateur et son smartphone, utilisés soit en remplacement soit en complément du mot de passe.

Une clé USB comme sésame

Pour simplifier l'expérience utilisateur et l'accès pour les élus, la CASA a opté pour la suppression des mots de passe, et pour renforcer le message symbolique de l'opération, elle a choisi une clé comme nouveau sésame à son Extranet. Elle a donc fourni à chaque élu une clé USB personnalisée, gravée à son nom et portant le logo de la Communauté d'Agglomération.

Désormais, pour accéder au service, l'utilisateur saisit son identifiant et connecte sa clé USB. Cette solution, qui évite de se souvenir d'un mot de passe, permet surtout à l'élu de déléguer facilement une tâche à un collaborateur pour une durée limitée. Alors que jusqu'ici les mots de passe étaient trop souvent confiés à des tiers, il faut désormais prêter la clé, qui ne peut être dupliquée.

Calculer avec des modèles analogiques ou avec des aspects analogiques.

Thu, 8 Mar 2012 11:33:54 GMT

]]>

Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini.

Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous les modèles digitaux, dès qu'ils sont suffisamment puissants, sont équivalents. On peut aussi considérer des modèles analogiques ou avec des aspects analogiques. À vrai dire, chaque époque a ses systèmes de calculs et ses questions de calculabilité: au 19e siècle, l'essor des communications a mené à se poser des questions sur la possibilité de calculer certains mouvements. Au début du 20e siècle, l'apparition de dispositifs informatiques mécaniques pour résoudre des problèmes d'ingénierie a mené à se poser des questions sur la possibilité de calculer mécaniquement certaines fonctions. Au 21e siècle, l'essor des télécommunications fait que certains systèmes distribués actuels se décrivent et se programment aussi avec des aspects analogiques: par exemple, la grande taille de certains systèmes fait que leur description naturelle devient une description statistique et thermodynamique. Chacun de ces systèmes se programme. Chacun de ces systèmes n’est pas clairement couvert par la calculabilité et la complexité classique moderne, qui parle de modèles comme les machines de Turing. Certains de ces systèmes ont toutefois une théorie très riche, avec des notions par exemple d'universalité, différentes, mais tout aussi utiles que celles de la calculabilité moderne. L'objectif de cet exposé sera d'introduire quelques un de ces modèles, et de présenter ce que l'on sait sur leur puissance de calculs.

Conférence Management Agile

Tue, 6 Mar 2012 13:58:30 GMT

]]>

Dans un concert mondial en mutation rapide, l'avenir des TIC de notre région est de plus en plus lié à l'emploi de business models disruptifs (Open Source) et de méthodologies innovantes (agiles) pour pouvoir se positionner efficacement et durablement.

Forte des différentes manifestations organisées par la commission Open Source de Telecom Valley, dont notamment SophiaConf2010 et 2011 qui ont par deux fois accueilli des conférences sur les méthodes agiles, ainsi que l’étape Agile Tour de Sophia Antipolis, sur laquelle l’association était co-organisateur en 2011, Telecom Valley organise le 27 mars 2012 la conférence « Agile Management » à Sophia Antipolis.

Cette conférence a pour objectif de permettre aux managers, dirigeants et professionnels sophipolitains de découvrir ou mieux connaitre la vision et les bonnes pratiques du « Management 3.0 » par l’un des pères fondateurs des méthodes agiles pour le management, Jurgen Appelo, et d’échanger avec lui sur le sujet.

Programme

17h00 : Accueil

17h30 - 19h00 : Jurgen Appelo

"Agile Management: Why do we need management & leadership?" (45 min)
"Complexity Thinking: How must we solve problems in organizations?" (45 min)

19h00 : Pause

19h15 - 20h30 : Jurgen Appelo

"How to Change the World: How can we change behavior of people?" (1h15)

20h30 : Cocktail

1er colloque du CENRob

Tue, 6 Mar 2012 13:47:00 GMT

]]>

Le 1er colloque national du CENRob aura lieu les 5 et 6 avril prochains à la Faculté de Médecine de Montpellier. Ce colloque en partenariat avec l'Association approche sera dédié à la Robotique d'assistance à la compensation du handicap et à la rééducation.

Des ateliers animés, tables rondes, sessions plénières et démonstrations de dispositifs robotiques sont prévus pendant ces deux jours.

Visite d'une délégation Université d'Athènes

Sun, 4 Mar 2012 15:21:59 GMT

]]>

Dans le cadre de l’accord bilatéral entre l’Université d’Athènes (NKUA: National and Kapodistrian University of Athens) et Inria Sophia Antipolis – Méditerranée, une délégation de 5 professeurs de cette université sont venus les 14 et 15 février afin de développer différentes pistes de collaborations futures.

Le programme comprenait des sessions privées, d’autres publiques, telles la présentation des activités du Département Informatique et Télécoms de l’Université d’Athènes, les présentations des équipes-projets ABS, Athena, Coprin, Galaad, Geometrica, Mascotte, Planete, Reves et Wimmics ainsi qu' une présentation des masters respectifs à Athènes et à Nice Sophia Antipolis (parcours internationaux: BioComp et Ubinet) .

Afin d’aider à la mise en place d’un programme d’échanges d’étudiants et autres collaborations de recherche, il est prévu que quelques chercheurs du centre effectuent une mission d’étude de quelques jours à Athènes.

Ecole d'hiver : Algorithms in Structural Bio-Informatics

Fri, 24 Feb 2012 10:14:16 GMT

]]>

The goal of this winter school is to present state-of-the-art concepts, algorithms and software tools meant to analyze and predict macro-molecular assemblies, with a focus on methodological developments and the corresponding software.

It aims at gathering 20 students from all over Europe during 5,5 days, at the master and phd level, and is organized as follows:

During the first afternoon, the students will introduce their research interests. Pairs of students will be formed, for the so-called projects to be undertaken during the practicals.
Each of the remaining five days will consist of a lecture (morning session), followed by a computer practical (afternoon). The practical will consist of applying concepts and tools learned during the lecture to macro-molecular structures related to the project.

8th International Conference on emerging Networking EXperiments and Technologies

Fri, 24 Feb 2012 09:59:32 GMT

]]>

The 8th International Conference on emerging Networking EXperiments and Technologies (CoNEXT) will be held from December 10th to 13th in Nice, located at the wonderful Côte d’Azur in France.

CoNEXT 2012 will be a major forum for presentations and discussions of novel networking technologies that will shape the future of Internetworking. The conference is single track and features a high-quality technical program with significant opportunities for individual and small-group technical and social interactions among a diverse set of participants. The CoNEXT conferences focus on stimulating exchanges between various international research communities.

Visualisation et analyse de données avec ParaView

Thu, 16 Feb 2012 13:51:50 GMT

]]>

Dans le cadre de ses séminaires, l'Equipe-Projet GALAAD reçoit Philippe Pebay (Kitware) qui présentera ParaView, une application multi-plateforme pour la visualisation des données scientifiques en 2 et 3 dimensions.

ParaView est une application multi-plateforme pour la visualisation des données en 2 et 3 dimensions, distribuée sous forme de logiciel libre (BSD-2). ParaView est conçu pour pouvoir être exécuté aussi bien sur des machines mono-processeur que sur des plateformes parallèles de grande taille, et a été testé avec succès sous Linux, Windows, Mac OS X, IBM Blue Gene, Cray XT3 et divers autres systèmes UNIX, en série et en parallèle. Sur une machine parallèle, ParaView peut traiter efficacement de très grands ensembles de données : à ce jour, ParaView a été utilisé par Sandia National Laboratories pour visualiser des maillages structurés contenant jusqu'à 6 milliards d'éléments, et des maillages non structurés en contenant un quart de milliard.

ParaView utilise le Visualization Tool Kit (VTK) comme moteur d'analyse, de visualisation et de rendu des données, dont il expose une bonne partie des algorithmes et de leurs options au moyen d'une interface utilisateur graphique Qt intuitive, modulaire et adaptable, permettant un assemblage aisé de "pipelines" de visualisation complexes. Toutefois, bien que l'interface habituellement utilisée par la majorité des utilisateurs pour accéder aux fonctionnalités de ParaView soit cette interface graphique, qui est en fait un client d'un ou plusieurs serveurs ParaView, il est possible de la remplacer entièrement par une interface spécialisée en vue d'application particulière ou d'un "workflow" typique. De plus, l'interface Python de ParaView donne accès à tous les algorithmes ou paramètres non présentés dans le client graphique, le prototypage rapide, ou encore l'exécution en mode "batch".
ParaView est utilisé par de nombreuses institutions gouvernementales, académiques, ou commerciales sur tous les continents. Sa licence ouverte ne permet pas de connaître de manière précise son nombre d'utilisateurs actifs, mais il est raisonnable de penser que celui-ci est de l'ordre de plusieurs milliers, en se basant par exemple sur le nombre de téléchargements (73.000 depuis des adresses IP uniques en 2010). Sa communauté de développeurs actifs, en intégrant celle de VTK sur laquelle ParaView est fondé, compte plusieurs dizaines de membres.
Le but the cette présentation est de donner un aperçu global de ParaView, en expliquant les traits saillants du processus de visualisation et d'exploration de données, en particulier dans le contexte du calcul et du post-traitement en parallèle Les concepts essentiels tels que "pipeline" et "filtres" seront abordés et illustrés par de nombreux exemples tirés d'applications à divers domaines du calcul scientifique et de l'ingénierie numérique. Enfin, l'accent sera mis sur les données de très grande taille traitées en parallèle sur des machines distribuées.

Colloque ModSysC2020 - Données, modèles et théories pour les systèmes complexes : défis et opportunités

Mon, 13 Feb 2012 12:02:05 GMT

]]>

Des chercheurs de disciplines variées se réunissent à Montpellier le mercredi 7 mars 2012 autour de la modélisation des systèmes complexes. Objectif : mieux comprendre les mécanismes fondamentaux de la vie et de l’environnement pour mieux faire face aux défis de demain.

Que sont les systèmes complexes ?

Un système complexe est constitué d'un grand nombre d'acteurs en interaction, ce qui empêche l'observateur de prévoir son comportement ou son évolution par le calcul.

Pourquoi les étudier ?

Les lois qui régulent l’environnement et la vie sur Terre impliquent des processus intervenant à des échelles spatiales et temporelles très différentes.

La modélisation et la simulation numérique de ces systèmes complexes sont cruciales pour comprendre les phénomènes et mécanismes fondamentaux de la vie et de l’environnement mais aussi des dynamiques sociales et économiques qui en découlent, pour améliorer notre capacité à faire face aux défis de demain dans un monde où les changements s’accélèrent.

Notre monde de plus en plus équipé technologiquement produit à chaque instant de grandes masses de données et d’informations. Toutes ces données doivent être collectées, traitées, stockées et partagées afin de créer des solutions intelligentes qui analysent, interprètent et prédisent des processus complexes pour les décideurs des secteurs publics et privés.

L'étude des systèmes complexes est menée par des communautés de chercheurs d'origines diverses : biologistes, informaticiens, mathématiciens, physiciens, chimistes, spécialistes de la biodiversité, l'écologie, l’environnement, l’eau, les sciences de la terre, l'agronomie, le management, les sciences politiques et sociales, l’économie...

La région de Montpellier présente l’avantage de réunir des communautés scientifiques visibles et reconnues internationalement, qui réalisent déjà des recherches de renommée mondiale dans de nombreux domaines, tant en recherche fondamentale qu’appliquée.

Comment étudier les systèmes complexes ?

Les systèmes complexes sont par essence… complexes donc compliqués.

Ils ne sont compréhensibles que s’ils sont appréhendés par une chaîne scientifique qui va de leur observation à leur modélisation et leur simulation. Il est important de d’abord les observer en détail en prenant tout le temps nécessaire, car les relations nouées dans ces systèmes se déroulent sur des durées parfois longues pour être correctement observées. Cette observation génère un énorme flux de données qu’il faut sauver, préserver et organiser de façon à pouvoir utiliser l’ensemble de ces données facilement. Il y a un vrai défi dans la capacité à pérenniser et organiser les masses de données de l’observation des systèmes complexes.

Mais il est impossible de les comprendre par la seule observation car les relations entre acteurs de ces systèmes sont trop complexes et certaines demeurent difficiles à observer. Il faut donc utiliser l’énorme corpus d’information récolté pour développer les modèles qui peuvent expliquer ces données et construire les simulations qui permettront de prédire leur évolution.

i-Snake - Imaging–Sensing Navigated and Kinematically Enhanced Surgical Robot

Fri, 3 Feb 2012 13:10:06 GMT

]]>

Reduced patient trauma and recovery time combined with improved precision and dexterity for micro-scale tasks are major benefits of robotically assisted Minimal Invasive Surgery (MIS).

This lecture outlines key clinical challenges and research opportunities in developing biomimetic robotic systems integrated with in situ, in vivo imaging and sensing towards the future evolution of medical robotics. The lecture will cover the latest developments in fully articulated, bio-inspired (e.g. Snake) robot platforms that facilitate intra-luminal or extra-luminal anatomical curved pathway navigation with integrated sensing and navigation. It addresses key theoretical considerations of bio-mimetic control for intra-operative manipulation under dynamic local/global constraints, as well as the current paradigm shift and clinical demand for bringing cellular and molecular imaging modalities to an in vivo, in situ setting to allow for real-time tissue characterization, functional assessment, and intraoperative guidance. Issues concerning effective, natural human-robot interface are discussed and example implementations for these highly redundant robot platforms based on the concept of perceptual docking are provided.

International Spring School on Formalization of Mathematics

Tue, 22 Nov 2011 11:20:58 GMT

]]>

Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library

A growing population of mathematicians, computer scientists, and engineers use computers to construct and verify proofs of mathematical results. Among the various approaches to this activity, a fruitful one relies on interactive theorem proving. When following this approach, researchers have to use the formal language of a theorem prover to encode their mathematical knowledge and the proofs they want to scrutinize. The mathematical knowledge often contains two parts: a static part describing structures and a dynamic part describing algorithms. Then proofs are made in a style that is inspired from usual mathematical practice but often differs enough that it requires some training. A key ingredient for the mathematical practicionner is the amount of mathematical knowledge that is already available in the system's library.

The Coq system is an interactive theorem prover based on Type Theory. It was recently used to study the proofs of advanced mathematical results. In particular, it was used to provide a mechanically verified proof of the four-colour theorem and it is now being used in a long term effort, called Mathematical Components to verify results in group theory, with a specific focus on the odd order theorem, also known as the Feit-Thompson theorem. These two examples rely on a structured library that covers various aspects of finite set theory, group theory, arithmetic, and algebra.

The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library. The topics covered are:

Formal proof techniques
Structuration of libraries
Encoding of common mathematical structures
Formal description of algorithms

An overview of advanced projects:

The odd order theorem
Constructive algebraic topology
Kepler's conjecture,
Computational analysis,
Fondational investigations.

The school's contents will be organized as a balanced schedule between lectures and laboratory sessions where participants will be invited to work on their own computer and try their hands on a progressive collection of exercices.

15th International Conference on Medical Image Computing and Computer Assisted Intervention

Tue, 22 Nov 2011 10:54:01 GMT

]]>

Inria (French Institute for Research in Computer Science and Applied Mathematics) is organising MICCAI 2012, the 15^th International Conference on Medical Image Computing and Computer Assisted Intervention. MICCAI attracts annually world leading scientists, engineers and clinicians from a wide range of disciplines associated with medical imaging and computer assisted surgery.

General topics of the conference include medical image computing, computer-assisted intervention, guidance systems and robotics, visualization and virtual reality, computer-aided diagnosis, bioscience and biology applications, specific imaging systems, and new imaging applications. The conference series includes three days of oral presentations and poster sessions.

The quality and importance of posters are considered to be on a part with oral platform presentations. All oral and poster papers are published in the MICCAI Conference Proceedings, which is having an increasing impact on the field. The conference series includes workshops and seminars just before and/or after the conference. These associated workshops and seminars focus in detail on current status and advances in the topics of MICCAI.

Action recognition from video: some recent results

Mon, 21 Nov 2011 11:04:46 GMT

]]>

While recognition in still images has received a lot of attention over the past years, recognition in videos is just emerging. In this talk I will present some recent results.

Bags of features have demonstrated good performance for action recognition in videos. We briefly review the underlying principles and introduce trajectory-based video features, which have shown to outperform the state of the art. These features are obtained by dense point sampling in each frame and tracking them based on displacement information from a dense optical flow field. Trajectory descriptors are obtained from motion boundary histograms, which are robust to camera motion.

We then show how to integrate temporal structure into a bag-of-features model based on so-called actom sequences. We localize actions based on sequences of atomic actions, i.e., represent the temporal structure by sequences of histograms of actom-anchored visual features. This representation is flexible, sparse and discriminative. The resulting model is shown to significantly improve performance over existing methods for temporal action localization. Finally, we show how to move towards more structured representations by explicitly modeling human-object interactions. We learn how to represent human actions as interactions between persons and objects. We localize in space and track over time both the object and the person, and represent an action as the trajectory of the object with respect to the person position, i.e., our human-object interaction features capture the relative trajectory of the object with respect to the human. This is shown to improve over existing methods for action localization.

Introduction to Kernelization

Mon, 14 Nov 2011 17:37:04 GMT

]]>

Preprocessing or data reductions means reducing the input to something simpler by solving an easy part of the input and this is the type of algorithms used in almost every application. In spite of wide practical applications of preprocessing, a systematic theoretical study of such algorithms remains elusive.

The framework of parameterized complexity can be used as an approach to analyse preprocessing algorithms. Input to parameterized algorithms include a parameter (in addition to the input) which is likely to be small, and this resulted in a study of preprocessing algorithms that reduce the size of the input to a pure function of the parameter (independent of the input size). Such type of preprocessing algorithms are called kernelization algorithms. In the talk we give an overview of some classical and new techniques in the design of kernelization algorithms.

Semaine européenne de la Robotique : Journée Portes ouvertes à Inria

Fri, 4 Nov 2011 11:24:29 GMT

]]>

Sous l’égide des réseaux de robotique académique EURON et de robotique industrielle EUROP, et pendant une semaine, les acteurs de la robotique européenne mettent en place diverses initiatives à travers toute l’Europe pour promouvoir auprès du grand public les recherches et avancées technologiques dans ce domaine.

A ce titre, les chercheurs des équipes Coprin et Arobas du Centre Inria à Sophia Antipolis feront découvrir, à l’occasion d’une journée portes ouvertes au grand public et aux scolaires, leurs dernières avancées dans les domaines de la navigation automatique, des véhicules autonomes et de l’assistance à personnes à mobilité réduite.

Déroulement journée du mardi 29 novembre

Matinée 9 h à 13 h : réservée à l'accueil de scolaires (niveaux collèges et lycées)
Après-midi 14 à 17 h : ouverte à tous

Démonstrations proposées

Par l'équipe Arobas sur la navigation automatique :
- Démo 1 (en intérieur) : Reconstruction 3D photo-réaliste et localisation temps réel par vision
- Démo 2 (en extérieur) : Véhicule autonome en environnement urbain
Par l'équipe Coprin et le projet PAL sur l'assistance à la personne :
- Démo 1 : Un déambulateur pour l'analyse de la marche et la détection de chute
- Démo 2 : Environnement pour l'assistance à domicile

Depuis de nombreuses années, la robotique est un des axes majeurs de la politique scientifique d’Inria.

Dans le domaine de l’assistance à la personne, l’action d’envergure PAL (Personally Assisted Living) vise à créer une infrastructure qui permette à ces équipes d’Inria qui travaillent sur ces technologies d’assistance à la personne de les expérimenter ensemble et de partager leur expérience. L’objectif est de rétablir une certaine autonomie et une qualité de vie aux personnes âgées ou dépendantes.

Dans le domaine du développement durable, la problématique de la cité du futur est également abordée au travers de nouveaux modes de transports autonomes, non polluants et bien adaptés aux centres urbains. Ces nouveaux modes de transports exploitables en mode partagé doivent s’intégrer dans une réflexion plus globale d’interopérabilité avec les transports de masse.

Le coeur numérique personnalisé

Thu, 27 Oct 2011 15:34:04 GMT

]]>

Dans le cadre de la séance thématique de l'Académie de Médecine, sur la "Modélisation numérique des organes. Vers une médecine et une chirurgie personnalisées", Nicholas Ayache, responsable de l'équipe-projet Asclepios, interviendra sur le thème "Le coeur numérique personnalisé".

Programme de la séance du 22 novembre 2011 :

Introduction par Gilles CREPIN (Académie nationale de Médecine)

Communications :

Modélisation de la colonne vertébrale et du rachis par Jean DUBOUSSET

Modélisation du thorax en choc automobile par Xavier TROSSEILLE

Le cœur numérique personnalisé par Nicholas AYACHE

Modélisation biomécanique des mobilités des organes pelviens : vers une médecine personnalisée par Michel COSSON

Estimation non paramétrique de dynamique non linéaires

Fri, 21 Oct 2011 16:39:13 GMT

]]>

L'équipe-projet Modemic (commune avec INRA et SupAgro) organise un cycle de séminaires dans le domaine de la modélisation mathématique.

Dans la plupart des analyses de données dynamiques, on suppose connu un modèle d'équation différentielle et l'objectif est d'estimer les paramètres associés. Notre objectif est sensiblement différent, puisque nous supposerons inconnue la forme de l'équation ou alors nous voudrons vérifier qu'un modèle proposé s'ajuste bien aux données. Dans un premier temps, nous remarquerons que tout processus suffisamment régulier est une solution d'une équation différentielle du premier ordre perturbée par un terme stochastique. En utilisant une méthode d'estimation à noyaux, nous obtiendrons un estimateur non paramétrique de cette équation différentielle. Les propriétés de l'estimateur seront étudiées puis illustrées sur des données de croissance humaine.

Erol Gelenbe's seminars

Thu, 20 Oct 2011 13:23:31 GMT

]]>

These seminars give the opportunity to researchers and PhD students to present their work in the field of telecommunication networks.

At Inria Sophia Antipolis centre, this research is leaded by three projects:

MASCOTTE, for the development of methods and tools, with particular emphasis on the design of the telecommunication networks, circuit-switched networks and mobile networks (graph theory, parallel algorithms....)
MAESTRO, for the modelling and performance evaluation of networks (queueing theory, Markov chains....)
PLANETE, for the design, implementation and evaluation of Internet protocols and applications.

Each week, a member of one of these three projects or an invited speaker gives a presentation of one hour, with a particular emphasis on the general problem considered and on the technics used. These seminars are intended for a large and non-specialist audience.

On october, the invited speaker is Erol Gelenbe, Professor in the Dennis Gabor Chair, Electrical and Electronic Engineering Department, Imperial College London. He will present two seminars :

25th of october (2 pm): Self Aware Networks and QoS

We will present results from an ongoing experimental research project which focuses on ways in which a packet network can pursue goals that satisfy its users needs, based on self-observation and adaptation by the network itself. The technique uses our ideas from the Cognitive Packet Network patent with smart packets that are routed to search the best available paths according to user specified QoS criteria. The method has been applied to conventional QoS metrics such as delay, loss and jitter as well as to other criteria such as energy consumption and security.

27th of october (2 pm): Networked Auctions

Auctions have become a common technique for economic exchanges in the Internet, and this talk will outline a theory of auctions where buyers and sellers compete collectively, resulting in the emergence of equilibrium economic outcomes. The underlying mathematics is derived from queueing theory and the analysis we present results in product form equilibrium solutions.

About the Speaker

Erol's current research addresses self-organised communications, as well as broader issues of the theory of networked systems including chemistry, bioinformatics, economics and physics, and his recent papers appear in the Physical Review, as well as in ACM and IEEE journals. Born in Turkey, Erol founded the performance evaluation research activities at Inria and in French Universities, and his work has had world wide impact. As a result he was the first computer scientist to receive the Prix France Telecom in 1996, he was elected to the Academy of Sciences of Hungary and Turkey, he received the ACM SIGMETRICS Life-Time Achievement Award and is a Fellow of ACM and IEEE. A member of Academie des Technologies, he received honoris causa doctorates from the Universities of Liege, Roma II, and Bogazi i (Istanbul), and Italy awarded him the Commander of Merit and Grand Officer Medals.

Data Management in the Cloud

Tue, 11 Oct 2011 14:46:08 GMT

]]>

Le Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM) organisera un Colloquium animé par le Pr. Amr El Abbadi, « Data Management in the Cloud », dans l’amphithéâtre Saint Priest (situé sur le Campus Saint Priest, au nord de Montpellier). La conférence sera donnée en anglais.

Invité par l'équipe de recherche Zénith (INRIA, LIRMM), M. Amr El Abbadi est Professeur d'Informatique à l'Université de Californie, Santa Barbara (USA).

La présentation du Pr. Amr El Abbadi aura lieu à 10h30 dans l’amphithéâtre Saint Priest.

Un accueil petit-déjeuner sera proposé sur place à partir de 10h. Si vous souhaitez en bénéficier, merci de vous inscrire au plus vite auprès de Justine Landais : landais@lirmm.fr ou 04 67 14 97 48.

Résumé

In this talk, we analyse the design choices that allowed modern scalable data management systems to achieve orders of magnitude higher levels of scalability compared to traditional databases.With this understanding, we highlight some design principles for data management systèmes that can be used to augment existing databases with new cloud features such as scalability, elasticity and autonomy.

Réseaux d'automates: trente ans de recherche

Tue, 4 Oct 2011 13:23:21 GMT

]]>

Je vais vous raconter comment on a obtenu, aux alentours de l'année 1979, les premiers résultats mathématiques sur la dynamique de ce qui s’appelle aujourd'hui les réseaux de neurones artificiels et qui font aujourd’hui partie du cursus classique de toute école d’ingénieurs.

Le succès de ces résultats m’a amené, à partir d’une étrange lettre que j’ai reçue au début de vacances à Grenoble, à me passionner pour les fourmis. Je suis quand même arrivé à tirer de certains modèles formels de ces séduisants insectes quelques résultats de complexité .... Et, s’il s'agit des fourmis, pourquoi pas les tas de sable? Beaucoup d’individus interagissant de façon simple, mais, avec des résultats globaux étonnants ? Et voilà que, à partir d'une suggestion que m’a faite le mathématicien L. Lovasz à un congrès à Sao Paulo vers la fin des années 1980 et les conversations que j’ai eues à Santiago et à Paris avec le cher feu Schutz (Marco Schützenberger), je me suis attaqué a ce sujet avec un tel succès que je peux dire sans trop me tromper que c’est moi qui ai inoculé cette maladie ou ce virus à un grand nombre de collègues français. Pour finir, si j’ai le temps, je voudrais vous faire rigoler un peu. Etant donné que je vous ai déjà parlé des fourmis je me permettrai de vous raconter mon histoire personnelle de cigale : je vous dirai pourquoi il y a des espèces qui ne chantent que tout les 17 ans et ... si jamais j’ai encore un petit brin de temps, je vous raconterai également comment des informaticiens et un physicien peuvent interpréter les phénomènes de ségrégation. Toute autre chose que je n’ai pas dite ici pourra être évoquée dans la conférence ou bien elle était inscrite dans la marge de ce cahier.

Finale 9ème édition Challenge Jeunes Pousses

Mon, 26 Sep 2011 15:17:49 GMT

]]>

Le centre Inria Sophia Antipolis - Méditerranée accueille la finale de la 9ème édition du Challenge Jeunes Pousses !

Il y a bientôt un an, 9 équipes d'étudiants se formaient pour porter leur projets de création d'entreprise en compétition. Après six mois de coaching et une demi-finale serrée en mars dernier, les trois meilleurs projets, Alter'Innov (levée de fonds par "crowdfunding" et "web participatif"), Light Care (un bracelet médical alliant technologie, design et bien-être) et Program'O (un boitier de douche high tech qui règle température et pression de l'eau) ont été retenus pour la finale du CJP.

Programme :

16h30 : Accueil - Amphithéâtre Morgenstern

16h45 : Présentation des projets en compétition

18h15 : Délibération du Jury

18h45 : Remise du Prix Isabelle Attali à l’équipe gagnante

19h15 : Cocktail

Le Challenge Jeunes Pousses porté par la commission Emploi-Formation de l'association Telecom Valley est un concours qui a pour objectif principal de sensibiliser les étudiants des Alpes-Maritimes à l'entrepreunariat dans le domaine de l'innovation (à partir de BAC+4). Plus largement, ce concours a pour vocation de créer une véritable passerelle entre le monde académique et le monde industriel.

Le prix remis au gagnant porte le nom d'Isabelle Attali, directrice de recherche Inria. Dès 2002, Isabelle Attali, alors responsable de la Commission «Emploi-Formation» de l'association Telecom Valley, convainc cette dernière et plusieurs entreprises de sponsoriser cette initiative. Au cours du Challenge Jeunes Pousses les étudiants des deux mondes se rencontrent et travaillent ensemble sur le «business plan» de leur future entreprise. Les étudiants ont ainsi la possibilité de se frotter à l'expérience enrichissante de la création d'entreprise au cours de leur cursus universitaire.

"L'important pour nous ce n'est pas tant que ces projets aboutissent réellement à la création d'une entreprise, mais que nous ayons pu donner l'envie de créer et que les étudiants aient pu avoir, à travers ce challenge, une expérience de création d'entreprise. Le challenge s'inscrit avant tout dans le programme de formation qu'ils suivent."
Isabelle Attali

En mission scientifique au Sri Lanka en décembre 2004, Isabelle Attali est surprise et emportée par la vague déferlante du tsunami. Isabelle était attachée à cet esprit d'échange et de challenge, c'est pourquoi Telecom Valley, Inria où travaillait Isabelle, et l'ensemble de l'équipe organisatrice ont décidé de lui rendre un hommage particulier en remettant le Prix Isabelle Attali aux gagnants du Challenge Jeunes Pousses qui recevront également un prix d'aide au démarrage de leur structure.

Fête de la science 2011

Fri, 23 Sep 2011 17:19:59 GMT

]]>

Les chercheurs du centre Inria Sophia Antipolis - Méditerranée participent à plusieurs événements : rencontres et échanges avec des lycéens et participation au Week end des Sciences à Sophia Antipolis.

Du 10 au14 octobre : Pour la quatrième année consécutive, les chercheurs Inria animeront plusieurs ateliers, activités, conférences avec les jeunes toute la semaine dans plusieurs lycées des Alpes Maritimes.
- Au lycée Audiberti à Antibes :
  - Lundi 10 octobre : Thierry Viéville et Martine Olivi débattront sur les sciences du numérique
- Au lycée Henri Matisse à Vence :
  - Mardi 11 octobre : Pierre Bernhard interviendra sur 2 sujets : "Des insectes et des mathématiques" et "D’un paradoxe en trafic urbain à la théorie de l’évolution, l’équilibre de Wardrop et ses avatars"
  - Vendredi 14 octobre : Monique Teillaud présentera le "Traitement numérique de la géométrie (Lorsque nos maths s’incarnent dans les ordinateurs)"
- Au lycée Jules Ferry à Cannes :
  - Mercredi 12 octobre : Maureen Clerc interviendra sur le sujet Cerveau-Ordinateur
- Au Centre International de Valbonne :
  - les jeudi 13 et vendredi 14 octobre : stand "Comptoirs du numérique" avec projection d'un film sur l'histoire de l'informatique et des interventions de chercheurs sur différents sujets : Tokamak et la fusion, les ondes et leur propagation, les biocarburants......
  - Vendredi 14 octobre (10 à 12 h, grand amphi) conférence de Fabien Gandon : Les quatre aveugles et l'éléphant web, ou les chroniques d'un web non documentaire

Le samedi 15 et dimanche 16 octobre : Participation au "Week end des sciences à Sophia Antipolis" avec plusieurs animations au programme :
- La robotique pour tous
- Shamash : des algues en biocarburant : comment faire que les sciences informatiques
  aident à un développement plus durable
- Démo OpenVibe : Interface Homme Machine: de l'activité cérébrale à la commande numérique.
- Une main gauche artificielle : quand les équations de mathématiques s'incarnent dans un système robotique
- Grâce au jeu de l'oie Mémoire vive, vous pourrez confirmer ou enrichir vos connaissances en informatique en vous amusant.
Et plein d'autres animations organisés par les partenaires de Persan : concert des sciences, chasse au trésor....

Riviera DEV 2011

Fri, 23 Sep 2011 17:03:23 GMT

]]>

Le centre de recherche Inria Sophia Antipolis - Méditerranée accueille la prochaine grande conférence de développeurs de la Côte d´Azur.

Après Sophia fait sa Java en 2009, et Sophia Conf 2010, le Riviera JUG et Inria continuent sur leur lancée et vous proposent une nouvelle conférence pour développeurs sur Sophia Antipolis avec cette fois encore, de la grande qualité, des bons orateurs sur des technos modernes et innovantes, et surtout une conférence conviviale dans notre belle région.

Cette année, nous changeons une fois de plus notre conférence de nom, puisque nous devenons Riviera DEV, ce qui comprend:

1 keynote
2 jours
3 tracks (Java, Recherche et Web)
6 talks par track chaque jour
…soit pas moins de 34 conférences

Semaine de la mobilité

Mon, 19 Sep 2011 08:23:34 GMT

]]>

Dans le cadre de la semaine européenne de la mobilité, l'équipe-projet Axis organise une série de rencontres avec les citoyens à Nice, Antibes et Sophia Antipolis autour de la qualité urbaine et/ou des transports. Ces expérimentations s'inscrivent dans le cadre du ICT usage Lab qui vise à mettre au point de nouveaux produits et services s'appuyant sur les sciences du numérique centrés sur les utilisateurs et les usages des nouvelles technologies.

Mesurer plus pour polluer moins 20/09/2011 (Journée) - 22/09/2011 (Journée)
Venez découvrir des approches participatives d'amélioration de la qualité urbaine en venant participer aux expérimentations ELLIOT et rencontrer l’équipe-projet AxIS d'Inria à Nice les 20 (promenade des Anglais station vélo bleu 89) et 22 (Place Masséna) septembre 2011.

L'info qu'il me faut quand il faut ! 19/09/2011 - 08:30 - 21/09/2011 - 18:00
Créons ensemble les services de mobilité de demain ! l’équipe AxIS de l’INRIA animera un atelier créatif conçu comme un lieu d’échange et de partage d’expériences des transports en commun.
L’objectif est de concevoir de nouveaux services de mobilité répondant au besoin de l’usager des transports en commun.
Venez exprimer vos besoins et créons ensemble les services de mobilité de demain !

Le ICT Usage Lab a pour objectif d'aider les différents acteurs de la chaîne de l'innovation technologique de la région PACA, à concevoir et mettre au point de nouveaux produits et services s'appuyant sur le STIC. Les différents partenaires du ICT Usage Lab mutualisent leurs ressources matérielles, techniques et humaines pour supporter des expérimentations d'innovation ouverte centrées sur les utilisateurs et les usages des nouvelles technologies.

Workshop PAL 2011 : Workshop Health & Well-being

Tue, 6 Sep 2011 15:53:09 GMT

]]>

L'autonomie des personnes âgées et leur maintien à domicile est un enjeu important ouvrant des perspectives de recherche intéressantes pour les Equipes-Projets inria (EPI). Afin de promouvoir cette thématique et de coordonner au sein de l'Institut les activités de recherches concernées, une Action d'Envergure rassemble neuf équipes-projets des centres de Nancy, Grenoble, Sophia Antipolis, et Rennes en une entité transversale appelée PAL (Personally Assisted Living).

Le 19 septembre 2011, un atelier de travail est organisé au Centre de Recherche Inria Sophia Antipolis - Méditerranée pour présenter cette Action d'Envergure et les recherches engagées. Le but de cette réunion est de partager les expériences et les ambitions avec des acteurs extérieurs intéressés par la thématique de la santé et du bien vivre au domicile.

Ce workshop est organisé dans le cadre de la 8ème conférence internationale sur les systèmes de vision par ordinateur (ICVS2011).

European Research Network on System Identification

Thu, 21 Jul 2011 14:01:37 GMT

]]>

Modelling of dynamical systems is fundamental in almost all disciplines of science and engineering, ranging from life science to plant-wide process control. Engineering uses models for the design and analysis of complex technical systems. System identification concerns the construction, estimation and validation of mathematical models of dynamical physical or engineering phenomena from experimental data.

European Research Network System Identification (ERNSI) was launched in 1992 by the European Commission as a SCIENCE project.

Finale Challenge MED In Tunis SUP'COM

Mon, 27 Jun 2011 17:30:05 GMT

]]>

Telecom Valley, Inria et la Fondation Sophia Antipolis, organisent en partenariat avec l'école SUP'COM Tunis, le Challenge MED In Tunis Sup’Com, adaptation du Challenge Jeunes Pousses, destiné aux étudiants tunisiens. La dernière finale aura lieu à Inria le 13 juillet 2011 à Sophia Antipolis.

Sous l'initiative d'Inria, l'école Sup'Com de Tunis profite du voyage de fin d'études de ses étudiants sur Sophia Antipolis pour se frotter au regard des professionnels sophipolitains, entre deux visites de la technopole.

En avril dernier les étudiants, ont participé en Tunisie à un concours de projets de création d'entreprises innovantes, le "Challenge Projet d'Entreprendre®".

Le "Challenge MED in Tunis Sup'Com " est une adaptation du célèbre CJP de Telecom Valley pour accueillir les huit meilleures équipes du "Challenge Projet d'Entreprendre®". Les projets seront coachés et jugés sur deux finales de 4 équipes devant deux jurys sophipolitains.

Au total 140 étudiants tunisiens se déplaceront à Sophia Antipolis pour participer au concours ou pour supporter leurs camarades.

La Tunisie est donc mise à l'honneur cette année et plus particulièrement le rapprochement entre les technopoles El Gazala en Tunisie et Sophia Antipolis en France.

Programme

Mercredi 13 Juillet : Finale à Inria « Amphithéâtre Morgenstern », présidée par Gérard Giraudon, directeur du centre Inria Sophia Antipolis - Méditerranée

16h30: Accueil
16h45: Présentation des projets
18h45: Délibération du Jury
19h15: Remise des prix par PIerre Laffitte, Président de la Fondation Sophia Antipolis, et Gérard Giraudon
19h30: Cocktail

Fin des inscriptions le lundi 11 Juillet - cliquez ici

Le centre de Sophia Antipolis accueille la 3e JAM SESSION

Tue, 7 Jun 2011 09:18:03 GMT

]]>

Le centre de Sophia Antipolis accueillera la 3ème édition d'Inria alumni JAM SESSION.

Inria alumni est un réseau professionnel qui regroupe les membres d'Inria, anciens et actuels : jeunes et moins jeunes, thésards, chercheurs et ingénieurs, professionnels des services de la recherche.

Programme :

13h : Accueil et café

13h45 : Bienvenue, Gérard Giraudon, Directeur du centre Inria Sophia Antipolis - Méditerranée

14h-15h : Conférence "Les labyrinthes du web: une histoire dont vous êtes les héros", Fabien Gandon, Inria Sophia Antipolis - Méditerranée

15h-15h45 : ACTE 1 - Echanges à thèmes (sessions parallèles)
- Importance des réseaux sociaux, Michel Buffa, Université Nice Sophia Antipolis
- Les indicateurs d’excellence, Jean-Pierre Merlet, Inria Sophia Antipolis - Méditerranée

15h45-16h30 : ACTE 2 - Echanges à thèmes (sessions parallèles)
- Le Web mobile, Dominique Hazaël-Massieux, Marie-Claire Forgue, W3C
- Après la thèse: Recherche ou industrie?, Gérard Berry, Inria et Anne Schroeder, CSRT (Conseil Supérieur de la Recherche et de la Technologie)

16h30-17h30 : "Programmation Diffuse", Manuel Serrano, Inria Sophia Antipolis - Méditerranée

17h30 : Clôture, François Bancilhon, Président d'Inria Alumni, Data Publica

17h45 : Cocktail, avec animation musicale TBC

SophiaConf 2011 - Les Pingouins ne bronzent pas idiots .....

Mon, 6 Jun 2011 17:25:15 GMT

]]>

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

SophiaConf2011 vous propose un programme technique et méthodologique pointu au cours duquel nous échangerons sur : Open Data, l'Open Source sur plateforme mobile et embarquée, Android 3.0 et les méthodologies de développement agiles.

Au programme : Technique et Méthodologie

Lundi 4 juillet, 17h30 à 20h - Polytech' Sophia, Site des Lucioles
Open Source, Mobile et Embarqué, par Philippe GARNIER (ST-Ericsson),

Mardi 5 Juillet, 17h30 à 20h - Inria, Route des Lucioles
Open Data, par François BANCILHON (Data Publica),

Mercredi 6 juillet, 17h30 à 20h - Inria, Route des Lucioles
Android 3.0 et Tablettes, par Arnaud FARINE (eXpertise @ndroid),

Jeudi 7 Juillet, 17h30 à 20h - Polytech' Sophia, Site des Lucioles
Développement Agile, par Véronique MESSAGER (Ici et demain) et Benoît GANTAUME (AGILiDEE),

Mathematical models for the cardiovascular system: analysis, numerical simulation, applications

Wed, 1 Jun 2011 10:29:59 GMT

]]>

The role of mathematics in understanding and simulating fluid dynamics and biochemical processes in the physiological and pathological functioning of the human cardiovascular system is becoming more and more crucial.

These phenomena are indeed correlated with the origin of some major cardiovascular pathologies, and influence the efficacy of the treatments to heal the arteries from their diseases.
Mathematical models allow the description of the complex fluid-structure interaction which govern the
artery wall deformation under the pressure pulse. Moreover, appropriate reduction strategies can be devised to allow for an effective description of the interaction between large, 3D components, and small 1D branches of the circulatory system, as well as the transfer of drugs and chemicals between the arterial lumen and the vessel wall.
This presentation will address some of these issues and a few representative applications.

Cérémonie de remise des prix des Olympiades de mathématiques et géosciences

Fri, 27 May 2011 13:41:12 GMT

]]>

Sous le patronage de Mme Claire LOVISI, recteur de l'Académie de Nice, le centre Inria Sophia Antipolis - Méditerranée accueille la remise des prix des Olympiades de mathématiques et de géosciences 2011.

Les 11èmes Olympiades de Mathématiques sont menées en partenariat avec l'Inria, les sociétés Texas Instrument et Microsoft, et le jury académique récompensera 22 candidats.

Les 4èmes Olympiades de Géosciences, menées en partenariat avec le laboratoire Géoazur, le CNRS et l'Observatoire de la Côte d'Azur, permettront de récompenser 10 candidats de l'académie.

Programme

9 h 30 : Accueil
10 h 00 : projection du film "Pour quoi tu cherches ?", un condensé sur l'histoire de l'informatique
10 h 30 : conférence de Pierre Alliez, directeur de recherche Inria sur "Traitement numérique de la géométrie, lorsque nos maths s'incarnent dans les ordinateurs"
11 h 30 : remise des prix

Conférence Cloud Computing, Security and Trust

Fri, 27 May 2011 11:47:03 GMT

]]>

Le Pôle SCS, en partenariat avec l’Inria, HP, MedInSoft et ActiveEon, organise une conférence internationale sur le thème « Cloud Computing, Security & Trust », ainsi qu'un training "PACA Grid Infrastructure (1200 cores)".

La conférence du 7 juillet fera intervenir plus de 15 intervenants experts dans leur domaine qui présenteront différents aspects du Cloud : la recherche, l’aspect légal et standardisation, le financement de projets européens, les solutions existantes aujourd’hui et les défis à relever concernant la sécurité, la confidentialité et l’intégrité des données dans l’environnement Cloud.

Les objectifs sont multiples:

Rassembler les acteurs industriels et académiques de la Région PACA et intéressée d’acquérir une meilleure compréhension des solutions existantes et à venir dans l’environnement Cloud Computing.
Mettre en avant les acteurs de la Région, engagés ou intéressés par le modèle du Cloud
Favoriser l’émergence de nouveaux projets de R&D innovants dans la thématique du Cloud Computing

Cette journée thématique se poursuivra le 8 juillet par un training, gratuit, également sponsorisé par HP, sur la plateforme ProActive PACA Grid Infrastructure pilotée par l’Inria.

Printemps des chercheurs

Wed, 18 May 2011 10:46:44 GMT

]]>

A l'occasion de la 2ème édition du PRINTEMPS des CHERCHEURS des Alpes-Maritimes, l'équipe BIOCORE animera un atelier sur la production de biocarburant à partir de microalgues.

Ce festival scientifique original est l’occasion de rencontrer des chercheurs pour expérimenter et débattre les sciences. Des ateliers pratiques, des café-sciences, des conférences, des débats et des projections de films sont prévus pour tous les publics.

Dans les Alpes-Maritimes, le Printemps des Chercheurs a choisi de s’associer au Forum d’ouverture de l’Agenda 21 à Grasse pour illustrer la Recherche et les innovations technologiques pour des enjeux en lien avec le Développement Durable. Cette thématique est illustrée à travers de nombreux travaux de recherche dans des disciplines aussi variées que la Mer, l’agriculture, les bases scientifiques polaires, l’astrophysique, la santé, la glaciologie, et l’économie.

Organisée sous forme d’une journée, le Printemps des Chercheurs Alpes-Maritimes 2011 se déroulera le samedi 21 Mai de 10h à 17h, au Palais des Congrès de Grasse. Le public aura le choix entre expositions, ateliers, films commentés, et conférences.

Graphes, hypergraphes et réseaux

Fri, 22 Apr 2011 11:24:06 GMT

]]>

Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigué pendant de nombreuses années et continuent de m'intriguer.

Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent les routeurs (abonnés, villes, individus, ...) et les arêtes des liaisons ou des relations. Je partirai d'un problème simple à énoncer mais difficile à résoudre : comment construire des réseaux (graphes) de degré et de diamètre donnés. J'essaierai de montrer l'imagination débordante dans les outils utilisés (géométries finis, graphes probabilistes, groupes, constructions récursives, constructions sur alphabets, arithmétique, opérations de graphes, configurations,...) et comment utiliser cela pour un tour de cartes. Je parlerai aussi s'il reste du temps de l'extension aux hypergraphes (réseaux par bus ou groupes) où quasiment tout reste à trouver ....

Séminaires Telecom & Réseaux

Fri, 22 Apr 2011 11:09:59 GMT

]]>

L'équipe Planete organise 3 séminaires scientifiques sur les Réseaux et Télécommunications, en marge de la soutenance de thèse de Stevens Leblond.

10 h à 11 h : Paul Francis, Research Director at MPI-SWS

Title: Privacy from Advertisers

Abstract: There has been recent progress made on private advertising systems that can operate with tracking, thus protecting the user from ad networks, aggregators, and behavioral targeting companies. But these systems do nothing to protect users' privacy from advertisers, which can target users on an increasing range of demographics and behaviors. In this talk, I will give an overview of recent work on private advertising systems, and describe techniques for protecting user privacy from advertisers while still allowing for effective targeting.

Bio: Paul Francis is a tenured faculty at the Max Planck Institute for Software Systems in Germany. Paul has held research positions at Cornell University, ACIRI, NTT Software Labs, Bellcore, and MITRE, and was Chief Scientist at two Silicon Valley startups. Paul's research centers around routing and addressing problems in the Internet and P2P networks. Paul's innovations include NAT, shared-tree multicast, the first P2P multicast system, the first DHT (as part of landmark routing), and Virtual Aggregation. Recently Paul has become interested in designing advertising systems that protect user privacy while allowing for effective targeting.

11 h à 12 h : Engin Kirda, Associate Professor at Northeastern University

Title: Reverse Social Engineering Attacks in Online Social Networks

Abstract: Social network sites are some of the largest and fastest growing online services today. Facebook, for example, has been ranked as the second most visited site on the Internet, and has been reporting growth rates as high as 3% per week. One of the key features of social networks is the support they provide for finding new friends. For example, social network sites may try to automatically identify which users know each other and make friendship recommendations.

Clearly, most social network sites are critical with respect to user's security and privacy due to the large amount of information available on them, as well as the very large user base. Previous research has shown that users of online social networks tend to exhibit a higher degree of trust in friend requests and messages sent by other users. Even though the problem of unsolicited messages in social networks (i.e., spam) has already been studied in detail, to date, reverse social engineering attacks in social networks have not received any attention. In a reverse social engineering attack, the attacker does not initiate contact with the victim. Rather, the victim is tricked into contacting the attacker herself. As a result, a high degree of trust is established between the victim and the attacker as the victim is the entity that established the relationship.

In this paper, we present the first user study on reverse social engineering attacks in social networks. That is, we discuss and show how attackers, in practice, can abuse some of the friend-finding features that online social networks provide with the aim of launching reverse social engineering attacks. Our results demonstrate that reverse social engineering attacks are feasible and effective in practice.

Bio: Engin Kirda is an associate professor at the Northeastern University in Boston. Before that, Engin has held research positions at Institute Eurecom in the French Riviera and the Technical University of Vienna where he co-founded the Secure Systems Lab that is now distributed over five institutions in Europe and US. Engin is interested in systems, software and network security (with focus on Web security, binary analysis, malware detection). Engin is language independent (with computers) and is part of the Shellphish hacking group that regularly participates at the Defcon Capture the Flag.

14 h à 15 h : Pablo Rodriguez, Research Director at Telefonica

Title: Scaling Online Social Networks

Abstract: The difficulty of scaling Online Social Networks (OSNs) has introduced new system design challenges that has often caused costly re-architecting for services like Twitter and Facebook. The complexity of interconnection of users in social networks has introduced new scalability challenges. Conventional vertical scaling by resorting to full replication can be a costly proposition. Horizontal scaling by partitioning and distributing data among multiples servers – e.g. using DHTs – can lead to costly inter-server communication. We have designed, implemented, and evaluated SPAR, a social partitioning and replication middle-ware that transparently leverages the social graph structure to achieve data locality while minimizing replication. SPAR guarantees that for all users in an OSN, their direct neighbor’s data is co-located in the same server. The gains from this approach are multi-fold: application developers can assume local semantics, i.e., develop as they would for a single server; scalability is achieved by adding commodity servers with low memory and network I/O requirements; and redundancy is achieved at a fraction of the cost.

Bio: Pablo is the Research Director at Telefonica R&D as well as the Director of the Barcelona R&D Lab. He is also an adjunct faculty professor at the department of computer science at Columbia University, New York. Prior to Telefonica, he worked at Microsoft Research, Cambridge and as a Member of Technical Staff at Bell Labs (NJ, USA). During his career he was also worked as a software architect and developer for various startups in the Silicon Valley including Netli (acquired by Akamai), Inktomi (acquired by Yahoo!) and Tahoe Networks (now part of Nokia). He received his Ph.D. from the Ecole Polytechnique Federale de Lausanne, EPFL, Switzerland while working at Institut Eurécom with Prof. Ernst W. Biersack. During his Ph.D. he also worked at AT&T Labs - Research, Florham Park, NJ. He obtained postgraduate studies at EPFL and King's College, London respectively, and an a B.S./M.S. in Telecommunication Engineering from the Public University of Navarra. Pablo was born in Asturias, a beautiful region in the north of Spain

Géométrie algorithmique et théorie de l'apprentissage

Wed, 20 Apr 2011 16:19:11 GMT

]]>

Cet école d'été, financée par le projet européen Computational Geometric Learning sera un événement satellite du Symposium on Computational Geometry.

Objectif

Cette école d'été s'inscrit dans le cadre du projet européen CGL ("Computational Geometric Learning"), qui vise à développer des liens entre la géométrie algorithmique et l'apprentissage. Plusieurs aspects seront abordés. Un premier concerne l'analyse des nuages de points par des méthodes géométriques et topologiques, qui connait depuis quelques années un développement rapide. Comme exemples de domaines d'applications de ces techniques, on peut citer l'étude des espaces de conformations des protéines en biologie structurale, celle des espaces de configuration de robots en robotique, ou encore celle de la distribution des galaxies dans l'univers en cosmologie. Un autre thème de l'école sera l'application des techniques de la géométrie algorithmique à l'accélération d'algorithmes classiques intervenant dans l'apprentissage automatique, comme la programmation quadratique ou la recherche de plus proches voisins en grande dimension.

Competition and Cooperation

Thu, 7 Apr 2011 09:57:03 GMT

]]>

Numerous applications of economics are based on models that assume individual economic actors take prices as given. Indeed, this assumption underlies many empirical studies. The question of whether such an assumption can be justified as arising in the context of individual and group optimizing behavior has been the subject of extensive investigation.

One answer to the question originates with the work of Edgeworth (1881), which argues that groups individuals cannot improve upon their part of a price-taking economic equilibrium by cooperation, that is, the set of outcomes that are stable against collective activities of groups – the core-- is equivalent to the set of price-taking equilibrium outcomes. This line of research, continued in the celebrated works of Debreu and Scarf (1963) and Aumann (1964) and in much subsequent research, treats private goods economies without externalities. Externalities, however, are common; people consume and produce in groups; individuals are affected by the presence and activities of others; individuals may enjoy being with others or they may suffer from congestion. This presentation reviews research demonstrating that for a broad class of economies, including economies with shared goods, with indivisibilities and/or non-monotonicities, with coalition production, if there are many participants in an economy then the equivalence of the core and the set of equilibrium outcomes holds.

The presentation will conclude with some discussion of the latest results but some of the main papers reporting earlier results are listed below:

“Cores of many player games; nonemptiness and equal treatment,” Review of Economic Design (in press) DOI: 10.1007/s10058-009-0095-6.
“Price taking equilibrium in economies with multiple memberships in clubs and unbounded club sizes, “(with N. Allouch), Journal of Economic Theory, Volume 140, Issue 1, May 2008, Pages 246-278.
“Anonymous price taking equilibrium in Tiebout Economies with a continuum of agents; Existence and characterization” (with N. Allouch and J. Conley) Journal of Mathematical Economics, Volume 45, Issues 9-10, 20 September 2009, Pages 492-510
"Small Group Effectiveness, Per Capita Boundedness and Nonemptiness of Approximate Cores." Journal of Mathematical Economics (2008)
"An exact bound on epsilon for non-emptiness of the epsilon-cores of games," (with A. Kovalenkov) Mathematics of Operations Research, Vol 26, No 4, Nov 2001, pp 654.678.
"Multijurisdictional economies, the Tiebout Hypothesis, and sorting," Proceedings of the National Academy of Sciences Vol. 96, Issue 19, 10585-10587, September 14, 1999.
"Large games and economies with effective small groups," in Game Theoretic Approaches to General Equilibrium Theory, eds. J-F. Mertens and S. Sorin, Kluwer Academic Press, Dordrecht/Boston/London (1994), 145-206.
"Equivalence of games and markets," Econometrica 62 (1994), 1141-1160.

Un conte des quatre aveugles et l'éléphant web, ou les chroniques d'un web non documentaire

Fri, 18 Mar 2011 16:32:13 GMT

]]>

Le web originel était documentaire, avec pour vocation de partager l'information et d'y accéder rapidement. Très vite, les besoins et applications évoluèrent et le web développa de nouvelles facettes

Nous connaissons tous le web ! Oui mais sous quels angles ?
Le web documentaire tel qu'il naquît ? Le web applicatif qui surgit des premiers moteurs de recherche ? Le web social qui ressuscita des premiers wikis ? Le web des services qui mondialise les messes-basses des machines ? Le web mobile qui vous suit comme votre ombre ? Le web des données liées qui se tisse actuellement entre nos dépôts publiques ? Le web sémantique qui propage nos modèles et leurs logiques ?
Pourquoi toutes ces facettes ? Et surtout pour quels usages ?

Tel est l'objet de cette conférence animée par Fabien Gandon, chercheur au sein de l'équipe de recherche Edelweiss d'Inria Sophia Antipolis et spécialiste des formalismes et des architectures du web sémantique.

Le site de la conférence

Swarms: First Class Citizens in the Future Internet

Tue, 15 Mar 2011 09:43:28 GMT

]]>

The current Internet consists of tens of thousand different interconnected autonomous networks. It was designed to support large populations of point-to-point content transfers. This introduces considerable headaches due imbalances in traffic flows, which has the effect of complicating network management, reducing the robustness of the Internet, and reducing user performance.

In this talk, I review the sources of traffic in the Internet over the last 20 years. We will observe that this an increasing fraction of traffic was generated by peer-to-peer (P2P) "swarm" technology from 2000 to 2007. I examine how and why P2P swarm technology simplifies network management, and makes the Internet and applications more robust. Unfortunately, the use of this technology has decreased since 2006 and shows every sign of continuing to do so. Thus, the rest of the talk focuses on and characterizes an architecture that encourages and makes swarms full class citizens. I will focus not only on the problem of transfering content but also on the problem of locating content.

Lien vers le site du Colloquium

Premières Rencontres Education-Recherche-Industrie

Mon, 7 Mar 2011 15:42:36 GMT

]]>

Ces premières rencontres éducation - recherche- industrie ont pour but d’initier un échange entre les équipes de chercheurs et d’enseignants-chercheurs et les équipes pédagogiques des professeurs de lycée sur deux jours. Elles contribueront à rapprocher les professeurs de lycée des professionnels des «sciences de l’informatique et du numérique» et à initier des projets de formation avec des enseignants-chercheurs, des chercheurs et/ou des industriels. La constitution d’un réseau dans ce domaine est l’un des objectifs poursuivis.

Pré-Programme des journées

Mercredi 6 avril
L’éducation nationale a introduit dans les programmes de terminale scientifique un enseignement de spécialité «informatique et sciences du numérique». Quels en sont les contenus ? Pourquoi ? Quels métiers ? Les métiers d’avenir ? Quelles compétences nécessaires pour les exercer ? Comment des chercheurs, des enseignants-chercheurs, des acteurs publics et privés et des enseignants pourraient-ils, en travaillant ensemble, donner du goût aux élèves dès la seconde pour éclairer leurs choix futurs en terminale et dans l’enseignement supérieur ?
Jeudi 7 avril
L’informatique et les sciences du numérique, avec la société du numérique représentent une nouvelle discipline à enseigner, depuis les enseignements d’exploration de seconde, ouverts à titre expériemntal, jusqu’en en classe de terminale dès la rentrée 2012.
Comment les enseignants volontaires s’adaptent-ils à ces changements ? Pour cela, des ressources sont données par les instituts de recherche (Inria, CNRS, ...) . Des enseignants et des professionnels qui se sont lancés dans cette expérimentation témoigneront de leur partenariat, de leurs avanées, ainsi que des questions qu’ils se posent.

Lien vers le site des Rencontres

Ecole d'été : Fonctions de Bellman en Analyse Harmonique

Wed, 23 Feb 2011 13:02:41 GMT

]]>

L'usage des fonctions de Bellman en Analyse Harmonique a été introduit par Donald Burkholder dans son calcul de la norme de la "transformation martingale" dans l'espace Lp. A dire vrai, Burkholder lui-même n'a probablement pas remarqué les liens entre ses calculs et le Contrôle Optimal, ou bien ne cherchait pas à les développer. Ces liens sont devenus fort transparents dès lors qu'on a a examiné la preuve de Burkholder et systématisé les idées les plus novatrices de son approche.

Le sujet est particulièrement adapté à l'enseignement des jeunes chercheurs, parce que :

il établit un lien étroit et riche en applications entre l'analyse pure et le Contrôle Optimal,
il permet de faire avancer les recherches dans les deux domaines,
il peut rapidement engendrer une connaissance professionnelle et pratique d'une des méthodes les plus puissantes de cette branche de l'analyse.

Le format approximatif proposé est le suivant : 8 cours de 1h20 assurés par A.Volberg, suivis par 8 cours de "TD" assurés par V.Vasyunin ("Construire vos fonctions de Bellman en pratique").

Le cerveau, un chantier en perpétuelle évolution

Mon, 21 Feb 2011 16:48:01 GMT

]]>

Durant une semaine, chercheurs, enseignants-chercheurs, ingénieurs et étudiants des principaux centres universitaires et de recherche azuréens, présentent à tous les publics les dernières avancées en matière de recherche sur le cerveau.

Des chercheurs Inria, partenaire de l'événement, présenteront des conférences et animeront des ateliers dans les Médiathèques de Contes et d'Antibes.

Médiathèque de Contes
- Jeudi 17 mars :
  - 14h30 - 18h00 : Ateliers animés par Thierry Viéville : De la géographie du cerveau aux interfaces cerveau-machine
  - 18h30 : Conférence-Débat animé par Thierry Viéville : Le cerveau : un ordinateur ?
- Vendredi 18 mars :
  - 18h30 : Conférence-Débat animé par Théodore Papadopoulo : Imagerie du système nerveux central : enjeux et challenges
Médiathèque communautaire d'Antibes
- du mardi 15 mars au dimanche 20 mars : Atelier animé par des chercheurs Inria et des animateurs de la médiathèque : L'observation du cerveau grâce à l'informatique
- Mercredi 16 mars, 14h30 : Cinéma-Sciences : projection du film Interface cerveau et ordinateur, présenté par Maureen Clerc
- Vendredi 18 mars, 18h00 : Conférence-débat : Observer le cerveau à tous les niveaux pour mieux le comprendre

8th International Conference on Computer Vision Systems

Mon, 21 Feb 2011 11:51:23 GMT

]]>

While most computer vision conferences focus on either algorithms or applications, the 8th International Conference on Computer Vision Systems (ICVS 2011) addresses issues arising in the design and deployment of computer vision /systems/.

Its scope includes but is not limited to the following topics:

Building Vision Systems: paradigms, architectures, integration, control
Real-time and Mobile Vision: embedded systems, non-standard hardware, mobile applications
Vision for the Real World: robustness, learning, adaptability, self-assessment, failure recovery
Vision for Action: robotics, human-computer interaction, perception-action loops
Vision in Context: knowledge representations, reasoning, goal specification, context awareness
Biological Vision: computer vision inspired by biology or psychology
Performance Evaluation: benchmarks, methods and metrics

ICVS brings together researchers and developers from academe and industry around the world. Due to its perspective on systems, it is a platform for knowledge and technology transfer and for the identification of application-driven research questions.

Imagerie médicale : de l'outil au diagnostic médical

Wed, 9 Feb 2011 11:16:10 GMT

]]>

Le développement de l’imagerie médicale (instrumentation, traitement des images, modélisation et simulation, ou encore biomarqueurs) améliore grandement le champ des outils mis à la disposition des cliniciens, pour un meilleur diagnostic des maladies et une meilleure prise en charge de ces dernières.

Pour cela, EuroMeDiag, Eurobiomed et PoPSud vous convient à un Biorezo afin d’avoir une vision de la mise au point des techniques d'imagerie et des outils informatiques aux services des patients.

Calcul Parallèle et Cloud Computing

Wed, 2 Feb 2011 17:10:30 GMT

]]>

Le projet ProActive PACA Grid permet aux laboratoires et PMEs d'accéder à des ressources importantes de type CLOUD afin d'exécuter simplement des applications intensives de calcul ou de traitement de données. Financée dans le cadre du CPER 2007-2013, cette plateforme offre des interfaces graphiques interactives simples à utiliser par les non spécialistes.

Le but de cette journée de formation est double :

présenter brièvement la plateforme
configurer l'accès aux ressources des participants, et les former à une utilisation pratique sur leurs propres applications.

Formation gratuite et Accès pratiques à la plateforme ProActive PACA Grid

Découvrez les recherches récentes du studio d'animation PIXAR

Thu, 27 Jan 2011 11:11:08 GMT

]]>

In this talk, Tony DeRose will survey a number of current and recent projects underway in the Research Group at Pixar. To set context for the discussion he'll begin with a brief overview of their production pipeline. He'll also discuss how they approach research at Pixar, including how they pick problems, what they look for when they consider the adoption of external research, and how they transfer technology to the rest of the studio.

Tony DeRose is currently a Senior Scientist and lead of the Research Group at Pixar Animation Studios. He received a BS in Physics in from the University of California, Davis, and a Ph.D. in Computer Science from the University of California, Berkeley. From 1986 to 1995 Dr. DeRose was a Professor of Computer Science and Engineering at the University of Washington. In 1998, he was a major contributor to the Oscar (c) winning short film "Geri's game," in 1999 he received the ACM SIGGRAPH Computer Graphics Achievement Award, and in 2006 he received a Scientific and Technical Academy Award (c) for his work on surface representations.

Gérard Berry : Les inversions mentales de l'informatique, racines de la révolution numérique

Sun, 16 Jan 2011 08:14:15 GMT

]]>

Dans le cadre du cycle de conférence, la Science à Sophia, organisé par la Fondation Sophia Antipolis, Gérard Berry présentera une conférence sur : Les inversions mentales de l'informatique, racines de la révolution numérique".

Gérard Berry, X67, Ingénieur général des Mines est actuellement en détachement à l'institut. Il est Professeur au Collège de France, titulaire de la chaire informatique et sciences numériques, Membre de l'Académie des sciences, de l'Académie des technologies et de l'Académia Europaea.

Des fleurs virtuelles : ça vous "gènes" ?

Wed, 15 Dec 2010 14:48:11 GMT

]]>

L'équipe Virtual Plants participera à l'initiative "Un chercheur une manip" au Palais de la Découverte à Paris. A cette occasion, les chercheurs présenteront leurs travaux dans le domaine de la modélisation des plantes.

Les plantes poussent... ce phénomène, banal en apparence, est en fait le résultat d'un ensemble de processus encore imparfaitement connus et maîtrisés. Pour comprendre la croissance des plantes, gérer l'état de la végétation, contrôler et prévoir sa production, les chercheurs en botanique et en agronomie de l'Inria et du CIRAD font depuis quelques années appel à la modélisation : ils créent des plantes virtuelles. Ils ont mis au point une méthode permettant de simuler informatiquement la croissance des plantes, et particulièrement la genèse des fleurs, sur la base des gènes qui président à leur formation. On peut ainsi voir expérimentalement comment le méristème se transforme en fleur si on active ou désactive virtuellement tel ou tel gène.

Aspects sémantiques et algorithmiques du vivant

Mon, 6 Dec 2010 13:59:18 GMT

]]>

La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire.

Tandis que la théorie de l'interprétation abstraite permet de relier par des relations d'abstraction les différents formalismes utilisés (Booléens, stochastiques, ODE), la théorie des graphes fournit une notion très générale de réduction de modèles qui permet de relier les modèles développés à différents niveaux de détails. Suivant ces principes, la machine abstraite biochimique (Biocham) est un environnement logiciel qui offre un langage de règles pour modéliser les grands systèmes d'interactions biomoléculaires, et un langage puissant fondé sur la logique temporelle pour formaliser les propriétés biologiques du système. En s'appuyant sur ces deux langages, il devient possible d'utiliser des techniques de vérification formelle et d'optimisation pour corriger ou compléter les modèles vis à vis de leur spécification. Au travers d'exemples de voies de signalisation dans la cellule, et de contrôle du cycle cellulaire, nous illustrerons cette approche ainsi que sa complémentarité avec des techniques plus classiques de modélisation mathématique.

Présentation des programmes STIC et Nano de l'Agence Nationale de la Recherche

Mon, 29 Nov 2010 16:20:00 GMT

]]>

L'Agence Nationale de la Recherche fait évoluer sa programmation STIC en 2011-2013 et mène une campagne d'information sur les programmes thématiques STIC, les nanotechnologies et le programme « blanc ».

Inscription :

L'inscription est gratuite mais obligatoire.

Intervenants :

Monsieur Bertrand Braunschweig, responsable du Département STIC (ANR)
Monsieur Mathieu Girerd, chargé de mission au département STIC (ANR)

Programme :

Situation générale de l'ANR, des STIC et des Nanotechnologies
Programmation 2011-2013 :

programmes STIC,
programmes Nano,
programmes non thématiques et transverses,
programmation internationale en STIC et Nano,
modalités et réponses aux appels à projets.

Surveillance maritime par analyse d'images satellitaires optiques panchromatiques

Fri, 26 Nov 2010 14:41:27 GMT

La surveillance maritime constitue aujourd'hui un énorme enjeu dans le domaine de la sécurité et dans celui de l'économie.

Nous présenterons une méthode qui s’appuie sur les techniques Bayésiennes classiques de détection. La détection est décomposée en trois étapes. La première consiste en une pré-détection des cibles qui nous fournit des cibles candidates. La deuxième étape est une segmentation précise de chaque cible candidate.
Et la troisième phase est une classification des candidates en trois classes : petit bateau, grand bateau ou fausse alarme. Pour compléter cette étude et se replacer dans un contexte industriel et opérationnel, nous présentons des expérimentations de l'ensemble de l'algorithme sur des images complètes pour évaluer les performances et le temps de traitement.

]]>

Ecole CEA-EDF-Inria - Vers la simulation numérique pétaflopique sur architectures parallèles hybrides

Fri, 22 Oct 2010 15:25:29 GMT

]]>

Cette école s'adresse aux étudiants, chercheurs ou ingénieurs qui s'intéressent au calcul scientifique haute performance, en particulier en vue de simulations numériques frontières en physique numérique.

Objectif

Bénéficiant des performances toujours croissantes des moyens de calcul informatique, le calcul scientifique trouve aujourd'hui de nombreuses applications tant industrielles que d’intérêt pour la qualité de vie dans notre société (environnement et santé). Pour traiter de la complexité des problèmes qui se posent aujourd'hui aux milieux de la recherche et de l'ingénierie, le calcul parallèle est devenu un passage incontournable pour exploiter pleinement ces ressources de calcul. Les systèmes de calcul pétaflopiques (et bientôt exaflopiques) se présentent comme des architectures massivement parallèles hétérogènes. Ces systèmes sont basés sur des noeuds à architecture mémoire non‐uniforme (NUMA) interconnectés par des réseaux rapides, chaque noeud s'organisant autour d'un ensemble d'unités de calcul hétérogène: carte multi‐coeurs, processeurs graphiques (GPU) ou d'autres types de carte accélératrice.
Ces unités de calcul sont alimentées par des unités mémoire multi‐étages complexes et tirer le meilleur profit (i.e. avec une performance soutenue proche de la performance crête) de la puissance de calcul des systèmes résultants nécessite des logiciels capables d'exploiter efficacement cette organisation hiérarchique des unités mémoire.
Dans ce contexte, cette école a pour objectif de présenter des développements récents sur les modèles et environnements de programmation, mais aussi sur les algorithmes numériques pour le calcul intensif, ciblant les architectures de calcul haute performance (HPC) modernes.

Le programme de l'école s'articule autour des thèmes suivants :

Introduction aux systèmes HPC modernes à base de multi‐coeurs, GPU, FPGA, etc.
Modèles et environnements de programmation bas niveau (en particulier CUDA, OpenCL, HMPP) et leur hybridation avec MPI ou OpenMP ‐ Virtualisation - Communications dans les systèmes hétérogènes
Modèles et environnements de programmation haut niveau (par exemple PyCUDA, CLyther, etc.)
Algorithmes numériques adaptés aux systèmes HPC modernes : algèbre linéaire numérique pour systèmes denses et creux, algorithmes de résolution algébriques (décomposition de domaine et méthodes hiérarchiques), FFT, etc.
Méthodes d’évaluation et d’optimisation des performances en lien avec les caractéristiques architecturales des systèmes HPC
Environnements OpenSource pour le calcul scientifique sur systèmes HPC modernes

Par ailleurs, le déroulement de l'école inclura aussi des présentations d'expériences concrètes concernant le développement de méthodologies numériques pour la résolution de problèmes issus de la physique computationnelle.

Organisateurs

Luc Giraud	Equipe‐projet HiePACS, Inria Bordeaux ‐ Sud‐Ouest
Loïc Gouarin	LAGA, Université de Paris 13
Stéphane Lanteri	Equipe‐projet Nachos, Inria Sophia Antipolis ‐ Méditerranée
Violaine Louvet	Institut Camille Jordan, Lyon
Jean Roman	LABRi et Equipe‐projet HiePACS, Inria Bordeaux ‐ Sud‐Ouest

Mots clés

Calcul scientifique, calcul haute performance, calcul parallèle, algèbre linéaire numérique, simulation numérique.

Colloque OrbiCG/Triangles

Fri, 15 Oct 2010 16:48:06 GMT

]]>

This two days workshop will address various aspects of computational geometry and its applications. It will be followed on December 10 by the PhD defense of Manuel Caroli.

Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

Tue, 5 Oct 2010 16:29:48 GMT

]]>

Voilà plus de trente ans que l'informatique et les ordinateurs ont fait irruption dans les mathématiques, avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken.

Leur rôle s'est amplifié récemment, car ils permettent maintenant de maîtriser non plus seulement des calculs, mais aussi des raisonnements dont la complexité dépasse les capacités de l'esprit humain (ou du moins, de la plupart), comme la preuve de la conjecture de Kepler ou la classification des groupes simples finis.

Cependant, ces preuves "machine" exigent un changement profond de la pratique des mathématiques: un passage de l'artisanat, où chaque argument est un tribut à l'ingéniosité du mathématicien qui l'a ciselé, à une forme d'ingénierie, où les preuves sont construites à l'aide de techniques plus systématiques. On substitue ainsi des interface rigoureuses aux conventions d'usage malléables, et des algorithmes précis à l'apprentissage de méthodes par des exercices. Parvenir à codifier ainsi une part de l'état de l'art mathématique assez importante pour permettre de coder des preuves intéressantes, représente un défi considérable; nous montrerons comment nous avons commencé à le relever.

Fête de la science 2010

Fri, 24 Sep 2010 16:58:26 GMT

]]>

Venez découvrir en grandeur réelle les innovations de demain dans le domaine des sciences du numérique, engager le débat sur ce monde où la connaissance scientifique et technique joue de plus en plus un rôle économique et sociétal majeur !

Partenaire du Week end des Sciences de Sophia Antipolis, le centre de recherche Inria Sophia Antipolis - Méditerranée propose des démonstrations et échanges avec les scientifiques au cours de différentes rencontres :

Du 18 au 22 octobre : Pour la troisième année consécutive, les chercheurs Inria animeront plusieurs ateliers, activités, conférences avec les jeunes toute la semaine dans plusieurs lycées des Alpes Maritimes.

Le samedi 23 et dimanche 24 octobre : Participation au "Week end des sciences à Sophia Antipolis" avec plusieurs animations au programme :
- Du web2 à la domotique : comment un logiciel libre issu de l'informatique théorique offre
  de nouvelles perspectives aux citoyens ?
- Shamash : des algues en biocarburant : comment faire que les sciences informatiques
  aident à un développement plus durable
- Démo OpenVibe : Interface Homme Machine: de l'activité cérébrale à la commande numérique.
- Une main gauche artificielle : quand les équations de mathématiques s'incarnent dans un système robotique
- Grâce au jeu de l'oie Mémoire vive, vous pourrez confirmer ou enrichir vos connaissances en informatique en vous amusant.

Du 20 au 30 octobre : Exposition à la Médiathèque de Valbonne Sophia Antipolis : "L'informatique de A à Z" : Découvrez, sous la forme d'un abécédaire, un panorama de la recherche en informatique ! Chaque lettre illustrée renvoie à un mot du vocabulaire informatique choisi par les chercheurs pour évoquer leurs domaines de recherche. Un court texte explique le sujet de recherche, les enjeux, les applications.

Première conférence internationale consacrée au Web et à la Philosophie

Fri, 24 Sep 2010 16:07:13 GMT

]]>

La première conférence internationale consacrée au Web et à la Philosophie fruit d’un effort commun pluridisciplinaire entre l’Université Paris 1 Panthéon – Sorbonne et l’Inria, se tiendra le samedi 16 octobre 2010 à Paris.