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

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

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

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

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

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

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

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

Computing a correct representation from a set of sample points is essential in various contexts, such as in applications including, for instance, medical imaging, reverse engineering, virtual reality, or special effects for cinema. The problem, addressed in this thesis, can be described as follows: given S, a set of points sampled on a three dimensional object O, reconstruct a geometric model of the surface bounding O. The contributions are threefold. First, we describe the implementation of a classic solution in Computational Geometry as a part of the CGAL library (http://www.cgal.org/). The packages, Alpha-shapes in 2 and 3D, are now available in the version 2.3 of the CGAL basic library. Second, we present a new approach to reconstruct orientable surfaces from unorganized point sets. The main idea is to extend incrementally a surface by attaching triangles at its current boundary. Our method is very effective and is able to reconstruct a correct surface for very large and challenging data sets. Moreover, the implementation is fast and memory efficient. Third, we describe a new interpolation method for cross-sections. This approach uses the natural neighbors barycentric coordinates. The reconstructed surface is smooth almost everywhere and is defined only with discrete geometric structures like Delaunay triangulation. Futhermore, the reconstruction is very efficient since all the calculations are performed in 2D. Keywords: 3D reconstruction, geometric modeling, point clouds, cross-sections, sample simplification, medical imaging, reverse-engineering, CAD
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

Fonctions récursives générales dans le calcul des constructions by Antonia Balaa( Book )

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

Notre objectif est la définition des fonctions récursives générales en théorie des types, où la méthodologie consiste à montrer que les arguments des appels récursifs sont décroissants pour un ordre bien fondé. Basées sur le théorème du point fixe nos recherches ont été menées suivant deux directions. La première, complexe, repose fortement sur la notion de type dépendant et mélange le problème de terminaison de la fonction avec celui de son adéquation à sa spécification. La deuxième, vise à réduire la complexité des données à fournir par le programmeur:la construction de la fonction récursive s'effectue par itération. Notre contribution est intéressante en ce qu'elle sépare les problématiques:définir la fonction et prouver sa terminaison. Ces travaux ont permis le développement de deux outils automatiques pour la programmation en Coq de fonctions récursives générales. Ces techniques s'appliqueront avec des variations mineures dans tout système de démonstration basé sur la théorie des types
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
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
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

Le calcul symbolique des états atteignables d'un programme constitue un élément de base dans la compilation des programmes réactifs synchrones. Nous proposons d'améliorer la complexité parfois prohibitive de ce calcul en exploitant la structure des programmes. L'idée de base paraît extrêmement simple: pour le cas P;Q où deux blocs de programme sont combinés en séquence, nous cherchons à construire entièrement les états atteignables de P et de ne s'occuper de Q que lorsque P est complètement exploré. Si les comportements de P étaient de durée variable, le calcul symbolique Breadth First Search aurait combiné l'exploration de P et de Q dans un même mouvement. De ceci aurait résulté une irrégularité dans les représentations intermédiaires des états atteints. Les difficultés de notre approche apparaissent en présence de parallélisme et d'échange de signaux locaux où les blocs de programme peuvent se synchroniser de multiples façons en raison du comportement dynamique du programme. Considérer toutes ces possibilités mènerait à une forte complexité. Le but ici est de trouver un compromis satisfaisant entre l'approche globale Breadth First Search et l'approche compositionnelle partitionnée. Concrètement, nous nous appuyons sur des caractéristiques intéressantes de notre librairie de BDD pour développer une approche efficace. Nous employons des heuristiques permettant de partitionner notre programme et d'ordonnancer la construction des états atteignables afin de calculer exactement les mêmes résultats que par la méthode de base mais en appliquant des fonctions de transition plus localisées. Les premiers résultats expérimentaux montrent la pertinence de notre approche
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

Dans notre thèse nous abordons divers problèmes de modélisation dans les réseaux. Le premier sujet concerne l'estimation de la capacité de la mémoire et l'intensité du trafic transverse au goulot d'étranglement. Nous proposons 2 modèles basés sur les files d'attente M/M/1/K et M/D/1/K et considérons 11 schémas différents permettant l'estimation desdits paramètres. Le deuxième sujet concerne l'estimation en ligne de la taille des groupes multipoints. Au début, nous modélisons le groupe multipoint par une file d'attente M/M/infini et résolvons le problème d'estimation à l'aide d'un filtre de Kalman (cas d'un trafic fort) et un filtre de Wiener (cas général). Ensuite, nous construisons un estimateur dans le cas d'un modèle M/H2/infini. Le troisième sujet concerne les mécanismes de communications entre agents mobiles. Nous modélisons 2 de ces mécanismes à l'aide de chaînes de Markov et évaluons leurs temps de réponse. Tous nos modèles sont validés par simulations et/ou expérimentations
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

 
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