Technique et Science Informatiques, Volume 26
Volume 26, Numbers 1-2, 2007
Grégory Batt, Hidde de Jong, Johannes Geiselmann, Jean-Luc Gouzé, Michel Page, Delphine Ropers, Sari Tewfik, Dominique Schneider: Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux. 11-45- Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman: Langages formels dans la machine abstraite biochimique BIOCHAM. 47-72
- Fabien Corblin, Eric Fanchon, Laurent Trilling: Modélisation de réseaux biologiques discrets en programmation logique par contraintes. 73-98
- Sylvie Troncale, Fariza Tahi, David Campard, Jean-Pierre Vannier: Modélisation et simulation de la rAgulation de l'hématopopièse précoce grâce aux réseaux de Petri hybrides fonctionnels. 99-122
- Antoine Coulon, Hédi Soula, Olivier Mazet, Olivier Gandrillon, Guillaume Beslon: Modélisation cellulaire pour l'émergence de structures multiprotéiques auto-organisées. 123-148
- Mohamed Elati, François Radvanyi, Céline Rouveirol: Fouille de données pour l'extraction de grands réseaux de régulation génétique. 173-196
- Sabine Pérès, Marie Beurton-Aimar, Jean-Pierre Mazat: Classification des modes élémentaires. 197-216
- Claudine Chaouiya: Chronique : Réseaux de Petri et modélisation en biologie moléculaire. 229-236
Volume 26, Numbers 3-4, 2007
- Chafika Chettaoui, Matthieu Manceny, Michel Malo, Franck Delaplace: Modélisation des systèmes biologiques par la théorie des réseaux de jeux. 279-303
- Mohamed Mkaouar, Rafik Bouaziz: UML-TF. Un profil UML pour la représentation des faits temporels. 305-338
- Inès Alaya, Christine Solnon, Khaled Ghédira: Optimisation par colonies de fourmis pour le problème du sac à dos multidimensionnel. 371-390
- Stefan Bornhofen, Claude Lattaud: Simulation de communautés de plantes et dynamique des populations. 391-421
- Aassif Benassarou, Eric Bittar, Laurent Lucas: Suivi hiérarchique de structures intra-cellulaires dans des images 4 D. 423-442
- David Genest, Stéphane Loiseau: Modélisation, classification et propagation dans des réseaux d'influence. 471-496
Volume 26, Number 5, 2007
- Johann Laurent, Eric Senn, Nathalie Julien: Méthodes et outils d'estimation de la consommation de code embarqué sur processeur. 509-534
- J. Fragoso, Gilles Sicard, Marc Renaudin: Estimation rapide du couple énergie/délai des circuits asynchrones QDI. 535-565
- Hanene Ben Fradj, Sébastien Icart, Cécile Belleudy, Michel Auguin: Optimisation de la consommation mémoire multibanc pour un système multitâche. 567-594
- Sébastien Pillement, Raphaël David: Architectures reconfigurable et faible consommation. Réalité ou prospective ? 595-621
- Christian Piguet: Chronique : Consommation statique. Modèles, évolutions et perspectives. 623-638
- Arnaud Tisserand: Chronique : Introduction aux représentations des nombres et opérateurs arithmétiques à basse consommation d'énergie. 639-646
Volume 26, Number 6, 2007
- R. Bentibel: Un système de RàPC pour l'aménagement routier. 655-679
- Raphaël Chenouard: Classes de variables dans les CSP appliqués à la conception architecturale. 681-700
- N. Dumoulin: SimAquaLife : un cadriciel pour la modélisation de la dynamique spatiale d'organismes aquatiques. 701-721
- Élise Garrot: Assistance au tuteur. Prototype d'un système pour l'adaptation de situations d'apprentissage aux apprenants. 723-750
- V. Sans: Maintenance de vues XML matérialisées à partir de sources web. 751-780
Volume 26, Number 7, 2007
- Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans: Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. 797-817
- Akram Idani, Yves Ledru, Didier Bert: 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-851
- Didier Bert, H. Barradas: Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. 853-882
- Jean-Marc Mota, Catherine Dubois: Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes. 883-908
Volume 26, Number 8, 2007
- Florence Bertails, Basile Audoly, Marie-Paule Cani, Bernard Querleux, Frédéric Leroy, J. Lévêque: Modélisation de coiffures naturelles à partir des propriétés physiques du cheveu. 921-943
- Marc Chevaldonné, Fred Merienne, Marc Neveu: Critères de vision pour la simplification de maillages Etude, implémentation et évaluation. 999-1028
- Rémi Allègre, Raphaëlle Chaine, Samir Akkouche: Reconstruction dynamique de surface par convection géométrique. 1029-1056
Volume 26, Number 9, 2007
- Grégoire Henry, Michel Mauny, Emmanuel Chailloux: Typer la désérialisation sans sérialiser les types. 1067-1090
- H. Anoun: Une bibliothèque Coq pour le traitement des langues naturelles. 1111-1136
- J. Cohen: Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs. 1137-1167
- Antoine Spicher, Olivier Michel: Représentation et manipulation de structures topologiques dans un langage fonctionnel. 1169-1194
- Sandrine Blazy: Chronique : Comment gagner la confiance en C? 1195-1200
Volume 26, Number 10, 2007
- P. Amblard: Un nouveau regard sur la machine logique de Jevons (1870). Une machine à nombre fini d'états. 1207-1225
- Damien Magoni, Pascal Lorenz: Répartition d'états multipoints par utilisation des plus courts chemins multiples. 1227-1244
- Grégory Valigiani, Evelyne Lutton, Cyril Fonlupt, Pierre Collet: Optimisation par " hommilière " de chemins pédagogiques pour un logiciel d'e-learning. 1245-1267
- Bernard Chauvière, Dominique Geniet: Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes. 1269-1303
- Philippe Tracqui, Angélique Stéphanou: Description intégrée de processus cellulaires spatiotemporels basée sur un modèle géométrique de transformation. 1305-1325
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team