• Aucun résultat trouvé

Article pp.1341-1342 du Vol.25 n°10 (2006)

N/A
N/A
Protected

Academic year: 2022

Partager "Article pp.1341-1342 du Vol.25 n°10 (2006)"

Copied!
2
0
0

Texte intégral

(1)

Index des titres

Volume 25/2006

Ajout de détails dynamiques à une animation temps-réel de personnage, 759-789 Algorithme évolutionnaire interactif. Application au réglage automatique d’implant

cochléaire, 1157-1178

Algorithmes évolutionnaires pour l’optimisation multi-objectif, 991-1021

Algorithmes stochastiques d’optimisation : élargissons notre point de vue, 1209-1216 Application des algorithmes évolutionnaires pour l’estimation du mouvement

à l’aide des champs de Markov, 1079-1102

Approche évolutionniste de la recherche d’automates cellulaires universels, 1127-1155 Approches perceptives et cognitives en analyse automatique d’images

de documents, 523-551

A propos de division usuelle et approchée de relations floues, 631-660 Architectures de systèmes pour l’informatique diffuse, 241-280

Compression de phrases par élagage de leur arbre morpho-syntaxique. Une première application sur les phrases narratives, 437-468

Conception simultanée de systèmes électriques hétérogènes par algorithmes évolutionnaires multicritères. Application à l’optimisation de chaînes de traction pour véhicules électriques, 1103-1126

Contrôle de systèmes symboliques, discrets ou hybrides, 289-315

Conversion d’un carreau de Bézier rationnel biquadratique en un carreau de cyclide de Dupin quartique, 709-734

Des vidéos aux hypervidéos. Vers d’autres interactions avec les médias audiovisuels, 409-436

DSSV-méthodologie. Approche de validation d’applications logicielles à l’aide de la modélisation et la simulation à événements discrets, 1225-1260 Evolution artificielle, optimisation et analyse d’images, 1049-1078

Exploitation de documents numériques dans une formation e-learning, 1281-1310 Exploration de l’espace de conception des architectures reconfigurables, 921-946 Génération de tests à partir de statecharts fondée sur le calcul de comportements,

103-132

Homologie des ensembles simploïdaux, 791-813

Impact de choix d’implantation sur les performances d’une application de contrôle- commande, 371-398

Indexation multiple et automatisée de composants logiciels, 9-42

Ingénierie des documents audiovisuels : le projet FERIA. Une approche centrée sur la description des contenus, 469-496

Intergiciels pour la tolérance aux fautes. Etat de l’art et défis, 599-630

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com

(2)

1342 RSTI - TSI. Volume 25 – n° 10/2006

La fin du chemin pour les architectures uniprocesseurs : place au parallélisme de processus sur un seul composant, 947-950

L’Agence nationale de la recherche et le financement de la recherche en STIC, 553-564

La plasticité des documents numériques, 497-522

Les systèmes de classeurs. Une présentation générale, 963-990 Le support des réseaux mobiles dans IPv6, 573-597

Métaheuristiques pour l’optimisation et auto-organisation dans les systèmes biologiques, 221-239

Modélisation volumique de bois par simulation de croissance, 735-757

Neutralité dans les paysages de fitness. Evolution artificielle et neutralité, 1023-1048 Optimisation multi-objectif d’un instrument robotisé à haute mobilité

pour la chirurgie mini-invasive, 1179-1208 Ordonnancement distribué d’instructions, 827-844

Outils pour la recherche d’extraits pertinents dans les séquences vidéo. Application aux retransmissions télévisées de matchs de football, 1311-1340

Proposition d’un cadre conceptuel pour la simulation de modèles cellulaires.

Application à la modélisation physique des feux de forêt, 147-165 Propriétés dynamiques avec hypothèses d’équité en B événementiel, 73-102 Relire les classiques, 691-699

Réseaux bayésiens naïfs et arbres de décision dans les systèmes de détection d’intrusions, 167-195

Synthèse automatique de microcontrôleurs spécialisés sur FPGA, 845-865 Synthèse portable pour micro-architectures à grain fin. Application aux turbo

décodeurs et nanofabriques, 893-920

Systèmes multi-agents adaptatifs avec contraintes temps-réel. De la spécification formelle à la vérification et à la génération de code, 317-342

Technique de réduction d’ordonnancements hors-ligne pour applications embarquées à contraintes temps-réel. Optimisation hors-ligne d’ordonnancements temps-réel, 867-892

Un cadre formel pour la spécification multivue de systèmes avioniques, 43-72 Une approche multiagent pour la gestion de la communication dans les réseaux

de capteurs sans fil, 661-690

Une bibliothèque certifiée de programmes fonctionnels BSP, 1261-1279 Un lancer de rayons distribué pour traiter de très grands modèles sans

précompilation, 197-220

Un panorama du test à partir de modèles formels, 133-139

Vérification formelle des systèmes temps-réel avec ordonnancement préemptif, 343-370

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com

Références

Documents relatifs

Elle s’exerce dans une logique à la fois individuelle, professionnelle et déontologique et s’exprime par exemple dans « je me sens une responsabilité pédagogique dans le sens où

Entre les deux s’est jouée une interaction dynamique stabilisatrice, initialement aléatoire pour chaque unité proposée, mais devenue déterministe pour l’unité composante

Depuis le 1 er juin 2006, ouverture du premier parc de loisirs entièrement consacré à l’Homme et son Environnement. À Ungersheim, près de Mulhouse, ce parc de loi- sirs et

L’analyse descrip- tive de l’attrait des étudiants pour la créa- tion d’entreprise et de leur confiance en leur capacité à mener à bien un processus de création

En consi- dérant la décision d’accord des crédits ban- caires comme un choix d’investissement pour la banque, on peut analyser la poli- tique d’accord de crédit PME des

[r]

Ainsi, dans ce numéro, nous trouvons un premier article relatif aux architectures reconfigurables qui, depuis maintenant une bonne quinzaine d’années, sont sources d’inspiration

Les réseaux de capteurs sans fil sont composés de plusieurs capteurs (nœuds) et peuvent communiquer entre eux sans fil et qui sont généralement alimentés par une batterie