WorldCat Identities

Institut national de recherche en informatique et en automatique (France) Unité de recherche (Sophia Antipolis, Alpes-Maritimes)

Overview
Works: 310 works in 327 publications in 3 languages and 354 library holdings
Genres: Conference papers and proceedings  Academic theses  Handbooks and manuals 
Roles: Other, Degree grantor, Editor, Organizer of meeting, Thesis advisor
Classifications: QA911, 532.001515
Publication Timeline
.
Most widely held works by Institut national de recherche en informatique et en automatique (France)
Handbook of computational fluid mechanics by Roger Peyret( Book )

1 edition published in 1996 in English and held by 10 WorldCat member libraries worldwide

This reference covers computational fluid dynamics from fundamentals to applications. It surveys numerical methods for fluid mechanics, gives a description of computational fluid mechanics and looks at numerical analysis, computer technology and visualization tools
Automatic differentiation of algorithms : from simulation to optimization : [selected papers by International conference on Automatic Differentiation( Book )

1 edition published in 2002 in English and held by 6 WorldCat member libraries worldwide

RenPar'15, CFSE'3, SympAAA'2003 : actes = proceedings by 15emes rencontres francophones en parallélisme( Book )

1 edition published in 2003 in English and held by 4 WorldCat member libraries worldwide

ECOTEL'2000 : troisième Ecole d'hiver des télécommunications de Sophia Antipolis, 4-8 décembre 2000, Antibes, France : thème : couche physique et transmission : actes = oceedings by Ecole d'hiver des télécommunications de Sophia Antipolis( Book )

1 edition published in 2000 in French and held by 4 WorldCat member libraries worldwide

Network control and optimization : first EuroFGI international conference, NET-COOP 2007, Avignon, France, June 5-7, 2007 : proceedings by NET-COOP 2007( Book )

1 edition published in 2007 in English and held by 4 WorldCat member libraries worldwide

This volume 4465 of the Lecture Notes in Computer Science series is a coll- tion of the papers of the NET-COOP 2007 conference, a ?rst-of-a-series Euro- NGI/FGI Conference on Network Control and Optimization. The event took place in the beautiful city of Avignon, France, June 5–7, 2007, was jointly or- nized by INRIA and the University of Avignon and was hosted by the latter. Internet communications and services areexperiencing an increasein volume and diversity both in their capacity and in their demand. This comes at the cost of an increase in the complexity of their control and optimization, mainly due to the heterogeneity in architecture as well as usage. The need for new ways of e?ectively and fairly allocating resources belonging to a wide set of not necessarily cooperative networks to a collection of possibly competing users is urgent and is the aim of this conference. Speci?cally, this conference aims at developing research on control and op- mization of the Internet, ranging from performance evaluation and optimization of general stochastic networks to more speci?c targets such as lower-layer fu- tionalities in mobile networks, routing for computational grids, game theoretic approaches to access control, cooperation, competition and adversary capacities in diverse environments
5èmes journées nationales de la recherche en robotique : JNRR 2005 : Guidel, Morbihan, 5-7 octobre 2005 by Journées nationales de la recherche en robotique. JNRR( Book )

1 edition published in 2005 in French and held by 3 WorldCat member libraries worldwide

Analyse phonographématique de l'Arabe en vue d'applications informatiques by Hassane Chelyah( Book )

2 editions published between 1994 and 1995 in French and held by 3 WorldCat member libraries worldwide

THE AIM OF THIS WORK CONSISTS IN STUDYING THE ARABIC GRAPHIC ORGANIZATION. MORE PRECISELY, WE WISH TO DEFINE A PHONOGRAPHEMATIC GRAMMAR. THIS GRAMMAR IS BUITL UP AS A RULE SYSTEM THAT LINKS THE ARABIC PHONETIC REPRESENTATIONS TO THE GRAPHIC ONE. OUR INTEREST IS ONE THE TWO FOLLOWING ASPECTS OF THE PROBLEM : - TRANSITION RULES FROM THE PHONETIC REPRESENTATION TO THE GRAPHIC ONE ( WRITING ACTION); - TRANSITION TULES FROM THE GRAPHIC REPRESENTATION TO THE PHONETIC ONE (READING ACTION). REGARDING THE LAST POINT, IN ADDITION TO THE TRANSFORMATION RULES, WE MUST GIVE A MODEL OF THE GRAPHIC WORD. WE USE THE APPLICATIVE GRAMMARS AND THE COMBINATORY LOGIC, IN ORDER TO REPORT THE DIFFERENT UNITS AND OPERATIONS USED WHEN CREATING A WORD. THIS WOULD NOT BE NECESSARY IF THE GRAPHIC REPRESENTATION OF THE TEXT WORDS CONTAINS ALL THE VOWELS. WE DESCRIBE FINALLY A SET OF TOOLS THAT HELP IN THE DEVELOPMENT OF A COMPUTER APPLICATION
ECOTEL'99 : conception des réseaux de télécommunications : actes by Thème : Conception des réseaux de télécommunications Ecole d'hiver des télécommunications de Sophia Antipolis( Book )

1 edition published in 1999 in Multiple languages and held by 3 WorldCat member libraries worldwide

JNRR '2001 : actes by Journées nationales de la recherche en robotique( Book )

1 edition published in 2001 in French and held by 3 WorldCat member libraries worldwide

WiOpt'03 : Proceedings of the workshop Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks. March 3-5, 2003 INRIA Sophia Antipolis, France by Ad Hoc and Wireless Networks Workshop Modeling and Optimization in Mobile( Book )

1 edition published in 2003 in English and held by 3 WorldCat member libraries worldwide

Analyse statique de programmes Java [et] application à la parallélisation by Romain Guider( Book )

2 editions published in 2000 in French and held by 3 WorldCat member libraries worldwide

Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui portent sur le domaine employé pour représenter les graphes d'objets. Nous dérivons de notre interpréteur abstrait une présentation des problèmes d'analyse statique sous la forme d'un système d'équations et nous prouvons que ce système d'équations est équivalent à l'interpréteur abstrait. La présentation sous cette forme permet de résoudre efficacement les problèmes d'analyse en utilisant des stratégies d'itérations de point fixe sophistiquées (et aussi d'utiliser des solveurs génériques) et de limiter le nombre de calculs qui est fait [sic] pendant les itérations de point fixe en les reportant sur la phase de construction du système d'équation (...). Dans un second temps nous instancions notre analyseur statique en utilisant un domaine abstrait pour les graphes d'objets qui est dû à Sagiv, Reps et Wilhelm. Nous étendons ce domaine pour construire une analyse interprocédurale (...). Enfin, nous décrivons une application de l'analyse statique à la parallélisation et à la distribution de programmes à objets (...)
JNPC' 02 actes de la conférence by Journées nationales sur la résolution pratique de problèmes NP-complets( Book )

in French and held by 3 WorldCat member libraries worldwide

L'interpolation de formes by Tran Kai Frank Da( Book )

2 editions published in 2002 in French and held by 2 WorldCat member libraries worldwide

Pour de nombreuses applications informatiques, il est nécessaire d'interpréter des données échantillonnées et de fournir une représentation aussi correcte que possible des objets dont elles proviennent. Entre autres, on peut penser à l'imagerie médicale, au reverse engineering, à des applications de réalité virtuelle ou encore aux effets spéciaux pour le cinéma. Le problème étudié dans le cadre de cette thèse peut être formulé ainsi : à partir d'un ensemble S de points 3D échantillonnés sur un objet O, il s'agit de fournir un modèle géométrique de la surface délimitant O. Dans un premier temps, on détaille l'implantation d'une solution classique en Géométrie algorithmique dans le cadre du progiciel CGAL (http://www.cgal.org/). Les modules développés, Alpha-formes en dimensions 2 et 3, sont dorénavant partie intégrante de la libraire et distribués avec la version 2.3. Ensuite, on présente une nouvelle approche pour la reconstruction 3D à partir de nuages de points, dont le principe est de déployer une surface orientable sur les données. Cette méthode se révèle être très efficace, et surtout capable de fournir des réponses dans des cas difficiles. Elle offre, en outre, d'excellentes performances et permet de traiter de gros jeux de données. Enfin, on décrit une nouvelle méthode de reconstruction 3D pour des points organisés en sections. Il s'agit d'une méthode d'interpolation reposant sur les voisins naturels, un système de coordonnées barycentriques locales. Elle réunit deux grandes tendances : elle propose une définition fonctionnelle, C^1 presque partout, de l'objet reconstruit tout en ne considérant que des structures géométriques discrètes de type triangulation de Delaunay. L'interpolation de coupes parallèles permet, de surcroît, une solution efficace, grâce à des calculs uniquement réalisés en dimension 2
Calcul des états atteignables de programmes ESTEREL partitionné selon la syntaxe by Eric Vecchié( Book )

2 editions published in 2004 in French and held by 2 WorldCat member libraries worldwide

We consider the issue of exploiting the structural form of Esterel programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking techniques. The basic idea sounds utterly simple, as seen on the case of sequential composition: in P;Q, first compute entirely the states reached in P, and then only carry on to Q, each time using only the relevant transition relation part. Here a brute-force symbolic breadth-first search would have mixed the exploration of P and Q instead, in case P had different behaviors of various lengths, and that would result in irregular BBD representation of temporary state spaces, a major cause of complexity in symbolic model-checking. Difficulties appear in our decomposition approach when scheduling the different transition parts in presence of parallelism and local signal exchanges. Program blocks (or "Macro-states") put in parallel can be synchronized in various ways, due to dynamic behaviors, and considering all possibilities may lead to an excessive division complexity. The goal is here to find a satisfactory trade-off between compositional and global approaches. Concretely we use some of the features of the BDD library, and heuristic orderings between internal signals, to have the transition relation progress through the program behaviors to get the same effect as a global RSS computation, but with much more localized transition applications. We provide concrete benchmarks showing the usefulness of the approach
Recalage d'images médicales par inférence statistique by Alexis Roche( Book )

2 editions published in 2001 in French and held by 2 WorldCat member libraries worldwide

Le recalage est un problème classique en vision par ordinateur qui intervient notamment dans de nombreuses tâches d'analyse des images médicales. Le principe général d'un algorithme de recalage est d'optimiser un critère mesurant la correspondance entre deux images sur un espace prédéterminé de transformations spatiales. Le choix du critère, appelé mesure de similarité, conditionne de façon déterminante la précision et la robustesse de l'algorithme. Il existe aujourd'hui un dictionnaire de mesures de similarité dans lequel le concepteur d'un programme choisit, en se fiant le plus souvent à son intuition et à son expérience, celle qui est la mieux adaptée à son problème particulier. Afin de rendre plus objectif un tel choix, cette thèse propose une méthodologie pour construire des mesures de similarité en fonction de modèles probabilistes de formation d'images.En considérant d'abord un modèle simple de liaison fonctionnelle entre les intensités des images, nous définissons une nouvelle classe de mesures de similarité liée à la notion de rapport de corrélation. Nous montrons expérimentalement que cette classe est adaptée au recalage rigide multimodal d'images acquises par résonance magnétique (IRM), scanner et scintigraphie. La méthode du rapport de corrélation est ensuite étendue au cas du recalage multimodal non-rigide au prix de quelques adaptations pratiques. Enfin, nous formulons le recalage d'images comme un problème général d'estimation par maximum de vraisemblance, ce qui nous permet de prendre en compte des modèles de dépendance inter-images plus complexes que des modèles fonctionnels. Cette approche est appliquée au recalage rigide d'images ultrasonores~3Det IRM
WiOpt '05 : proceedings by ad hoc, and wireless networks International symposium on modeling and optimization in mobile( Book )

1 edition published in 2005 in English and held by 2 WorldCat member libraries worldwide

Estimation de paramètres et analyse des performances de diverses applications réseaux by Sara Alouf( Book )

2 editions published in 2002 in French and held by 2 WorldCat member libraries worldwide

In this thesis we look at several modeling problems to estimate some parameters or to evaluate the performance of some mechanisms. The first subject is about the estimation of the cross traffic intensity and the buffer size at the bottleneck of a connection. We develop two inference models based on the M/M/1/K and M/D/1/K queues and derive 11 schemes for estimating the above-mentioned parameters. The second subject is about the on-line estimation of the membership of multicast groups. We first model the multicast group by an M/M/infinity queue and show that the estimation problem can be solved using a Kalman filter (heavy traffic case) and a Wiener filter (general case). We then design an efficient estimator using the M/H2/infinity queue model. The third subject is about agent location mechanisms in a mobile code environment. We propose Markovian models to evaluate the cost of two such mechanisms in terms of response times. All our models are validated via simulations and experiments
Utilisation d'informations géométriques pour l'analyse statistique des données d'IRM fonctionnelle by Guillaume Flandin( Book )

2 editions published in 2004 in French and held by 2 WorldCat member libraries worldwide

L'imagerie par résonance magnétique fonctionnelle (IRM) est une modalité récente permettant de mesurer in vivo l'activité cérébrale chez le sujet sain ou le patient et d'étudier le lien entre la structure et la fonction cérébrale. Nous nous sommes intéressés à l'utilisation de l'information de l'anatomie cérébrale pour l'analyse des données fonctionnelles. Ainsi, nous avons reconsidéré l'analyse classique typiquement réalisée voxel par voxel avec lissage spatial pour proposer un modèle de représentation des données reposant sur une parcellisation anatomo-fonctionnelle du cortex. Cette représentation permet de réduire la dimension des données en un nombre restreint d'éléments pertinents du point de vue des neurosciences. Nous présentons des exemples d'utilisation de cette approche de parcellisation fondée sur l'anatomie seulement dans un premier temps. Une étude de détection d'activations par modèle linéaire met en évidence une sensibilité accrue comparée à une approche voxel par voxel. Nous présentons également deux applications utilisant des parcellisations, concernant la sélection de modèle régional et les études de connectivité fonctionnelle. Cette des description permet en outre de proposer une solution au problème de l'analyse d'un groupe de sujets qui peuvent présenter une forte variabilité anatomique et fonctionnelle. Pour s'affranchir du délicat problème de mise en correspondance des différents sujets, nous avons présenté une parcellisation regroupant entre les sujets les régions homogènes du point de vue à la fois anatomique et fonctionnel. L'application de cette méthode sur un protocole fonctionnel montre sa robustesse pour les analyses multi-sujet
Métrologie 3D par vision active sur des objets naturels sous-marins by François-Xavier Espiau( Book )

2 editions published in 2002 in French and held by 2 WorldCat member libraries worldwide

Modèles géométriques et physiques pour la simulation d'interventions chirurgicales by Guillaume Picinbono( Book )

2 editions published in 2001 in French and held by 2 WorldCat member libraries worldwide

Dans cette thèse, nous proposons un ensemble d'outils nécessaires à l'élaboration d'un simulateur de chirurgie. Dans un premier temps, nous définissons plusieurs modèles déformables physiques temps réels permettant de simuler les déformations et la découpe d'organes du corps humain. Ces modèles s'appuient sur la théorie de l'élasticité et la méthode des éléments finis. Nous avons tout d'abord travaillé sur l'enrichissement du modèle élastique linéaire en le généralisant au cas des matériaux dont le comportement est anisotrope, soit en raison de la présence de fibres (muscles, tendons), soit parce qu'ils sont entourés d'une peau (capsule de Glisson pour le foie). Cependant, la principale limitation de l'élasticité linéaire est de n'être valable que dans l'hypothèse de petits déplacements. Nous proposons donc un nouveau modèle déformable mettant en oeuvre l'élasticité non-linéaire de St Venant-Kirchhoff, qui reste valable pour les grands déplacements. Après avoir étendu ce modèle aux matériaux anisotropes, nous proposons plusieurs méthodes d'optimisation des calculs, soit en utilisant un algorithme adaptatif qui combine les modèles linéaires et non-linéaires, soit à partir d'une nouvelle formulation. La seconde partie de ces travaux porte sur la simulation des interactions entre les instruments chirurgicaux et les organes virtuels. Pour cela, nous avons modélisé les contacts, ainsi que certaines actions spécifiques comme le glissement, la préhension et la découpe. De plus, nous nous sommes intéressés aux problèmes liés à l'utilisation d'interfaces à retour d'effort
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.82 (from 0.55 for Network co ... to 0.91 for Analyse ph ...)

Automatic differentiation of algorithms : from simulation to optimization : [selected papers
Covers
Network control and optimization : first EuroFGI international conference, NET-COOP 2007, Avignon, France, June 5-7, 2007 : proceedings
Alternative Names
INRIA Sophia Antipolis

Languages