Index des titres Volume 10/2007
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux, 11-46
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B, 819-852
Architecture reconfigurable et faible consommation. Réalité ou prospective ? 595-622
Assistance au tuteur. Prototype d’un système pour l’adaptation de situations d’apprentissage aux apprenants, 723-750 ASTI : Fédération des associations en sciences et technologies
de l’information, 781-784
Classes de variables dans les CSP appliqués à la conception architecturale, 681-700
Classification des modes élémentaires. Application au métabolisme énergétique mitochondrial, 197-216
Comment gagner la confiance en C ? 1195-1200
Consommation statique. Modèles, évolutions et perspectives, 623-638 Critères de vision pour la simplification de maillages.
Etude, implémentation et évaluation, 999-1028
Descrition intégrée de processus cellulaires spatiotemporels basée sur un modèle géométrique de transformation, 1305-1325
Estimation rapide du couple énergie/délai des circuits asynchrones QDI, 535-566 Etude des systèmes d’horodatage, 249-278
Fouille de données pour l’extraction de grands réseaux de régulation génétique, 173-196
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Index des titres 1327
Imitation dans le cadre des systèmes de classeurs, 339-370
Interprétation par syntaxe abstraite d’ordre supérieur et traduction en combinateurs, 1137-1168
Introduction aux représentations des nombres et opérateurs arithmétiques à basse consommation d’énergie, 639-646
Langages formels dans la machine abstraite biochimique BIOCHAM, 47-72 Le programme d’épigénomique. Constitution d’une communauté de recherche
en modélisation et simulation dans le contexte de la génomique, 237-240 Maintenance de vues XML matérialisées à partir de sources web, 751-780 Métagénomique bactérienne et virale. Nouvelles définitions d’espace microbien
et nouveaux défis algorithmiques, 217-228
Méthodes et outils d’estimation de la consommation de code embarqué sur processeur, 509-534
Migration de cellules virtuelles déformables. Modélisation biomécanique multi-agent de la migration cellulaire, 149-172
Modélisation cellulaire pour l’émergence de structures multiprotéiques auto-organisées, 123-148
Modélisation, classification et propagation dans des réseaux d’influence, 471-496 Modélisation de coiffures naturelles à partir des propriétés physiques du cheveu,
921-944
Modélisation de réseaux biologiques discrets en programmation logique par contraintes, 73-98
Modélisation des systèmes biologiques par la théorie des réseaux de jeux, 279-304 Modélisation et simulation de la régulation de l’hématopoïèse précoce
grâce aux réseaux de Petri hybrides fonctionnels, 99-122
Optimisation de la consommation mémoire multibanc pour un système multitâche, 567-594
Optimisation par colonies de fourmis pour le problème du sac à dos multidimensionnel, 371-390
Optimisation par « hommilière » de chemins pédagogiques pour un logiciel d’e-learning, 1245-1268
Propriétés de vivacité dans les systèmes B. Application à l’algorithme de Ricart-Agrawala, 853-882
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes, 883-908
Reconstruction dynamique de surface par convection géométrique, 1029-1056 Rendu temps réel de fonction de textures bidirectionelles, 975-998
Répartition d’états multipoints par utilisation des plus courts chemins multiples, 1227-1244
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
1328 RSTI - TSI. Volume 26 – n° 10/2007
Représentation et manipulation de structures topologiques dans un langage fonctionnel, 1169-1194
Réseaux de Pétri et modélisation en biologie moléculaire, 229-236 Sélection de traits caractéristiques d’objets 3D lisses pour le rendu
non photoréaliste, 945-974
SimAquaLife : un cadriciel pour la modélisation de la dynamique spatiale d’organismes aquatiques, 701-722
Simulation de communautés de plantes et dynamique des populations, 391-422 Specif : société des personnels enseignants et chercheurs en informatique de France,
785-786
Suivi hiérarchique de structures intra-cellulaires dans des images 4D, 423-442 Synthèse de diagrammes d’états par classe à partir de diagrammes de séquence,
797-818
Théorèmes limites pour les processus de Markov à sauts. Synthèse de résultats et applications en biologie moléculaire, 443-470
Typer la désérialisation sans sérialiser les types, 1067-1090
UML-TF. Un profil UML pour la représentation des faits temporels, 305-338 Une approche markovienne pour l’étude de systèmes temps-réel à contraintes
strictes, 1269-1304
Une bibliothèque Coq pour le traitement des langues naturelles, 1111-1136 Un moniteur de référence sûr d’une base de données, 1091-1110
Un nouveau regard sur la machine logique de Jevons (1870).
Une machine à nombre fini d’états, 1207-1226
Un système de RàPC pour l’aménagement routier, 655-680
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
