default search action
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
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
Modélisation cellulaire pour l'émergence de structures multiprotéiques auto-organisées. 123-148 - Pascal Ballet, Philippe Tracqui:
Migration de cellules virtuelles déformables. 149-172 - Mohamed Elati
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 - Julie Baussand, Alessandra Carbone:
Chronique : Métagénomique bactérienne et virale. 217-227 - Claudine Chaouiya:
Chronique : Réseaux de Petri et modélisation en biologie moléculaire. 229-236 - Gilles Bernot, François Képès:
Chronique : Le programme d'épigénomique. 237-240
Volume 26, Numbers 3-4, 2007
- Kaouthar Blibech, Alban Gabillon, Alexis Bonnecaze:
Etude des systèmes d'horodatage. 249-278 - Chafika Chettaoui, Matthieu Manceny, Michel Malo
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 - Marc Métivier, Claude Lattaud:
Imitation dans le cadre des systèmes de classeurs. 339-369 - 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 - Ovidiu Radulescu
Théorèmes limites pour les processus de Markov à sauts. 443-469 - 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
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 - Nicolas 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
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, Jean Luc Lévêque:
Modélisation de coiffures naturelles à partir des propriétés physiques du cheveu. 921-943 - A. Legeai, G. Thomas:
Sélection de traits caractéristiques d'objets 3D lisses pour le rendu non photoréaliste. 945-974 - Vincent Forest, Mathias Paulin:
Rendu temps réel de fonction de textures bidirectionnelles. 975-997 - 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 - Julien Blond, Charles Morisset:
Un moniteur de référence sr d'une base de données. 1091-1110 - Houda Anoun:
Une bibliothèque Coq pour le traitement des langues naturelles. 1111-1136 - Julien 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
- Paul Amblard:
Un nouveau regard sur la machine logique de Jevons (1870). Une machine à nombre fini d'états. 1207-1225 - Damien Magoni
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: