Technique et Science Informatiques - researchr journal

researchr

You are not signed in
Sign in
Sign up

963	--	990	Cedric Buche, Cyril Septseault, Pierre De Loor. Les systèmes de classeurs. Une présentation gAnérale
991	--	1021	Alain Berro. Algorithmes évolutionnaires pour l optimisation multi-objectif
1023	--	1048	Sébastien Vérel, Philippe Collard, Manuel Clergue. Neutralité dans les paysages de fitness. Évolution artificielle et neutralité
1049	--	1078	Jean Louchet. Évolution artificielle, optimisation et analyse d images
1079	--	1102	Albert Dipanda, Sophie Voisin. Application des algorithmes évolutionnaires pour l estimation du mouvement à l aide des champs de Markov
1103	--	1126	Bruno Sareni, Jérémi Régnier, Xavier Roboam. Conception simultanée de systèmes électriques hétérogènes par algorithmes évolutionnaires multicritères. Applications à l optimisation de chaînes de traction pour véhicules &eacut
1127	--	1155	Emmanuel Sapin. Approche évolutionniste de la recherche d automates cellulaires universels
1179	--	1208	Damien Sallé, Philippe Bidaud. Algorithme évolutionnaire interactif. Application au réglage automatique d implant cochléaire
1209	--	1216	Laurent Krähenbühl. Algorithmes stochastiques d optimisation : élargissons notre point de vue..

827	--	844	Bernard Goossens, David Defour. Ordonnancement distribué d instructions
845	--	865	Ludovic L Hours. Synthèse automatique de microcontrôleurs spécialisés sur FPGA
867	--	892	Benoit Miramond. Technique de réduction d ordonnancements hors-ligne pour applications embarquAes à contraintes temps-réel. Optimisation hors-ligne d ordonnancements temps-réel
893	--	920	Catherine Dezan, Erwan Fabiani, Christophe Gouyen, Loïc Lagadec, Bernard Pottier, Caaliph Andriamisaina, Alix Poungou. Synthèse portable pour micro-architectures à grain fin. Application aux turbo décodeurs et nanofabriques
921	--	946	Lilian Bossuet, Guy Gogniat, Jean Luc Philippe. Exploration de l espace de conception des architectures reconfigurables

709	--	734	Lionel Garnier, Sebti Foufou, Marc Neveu. Conversion d un carreau de Bézier rationnel biquadratique en un carreau de cyclide de Dupin quartique
735	--	757	Guillaume Guimberteau, Olivier Terraz, Stéphane Mérillou. Modélisation volumique de bois par simulation de croissance
759	--	789	Caroline Larboulette, Marie-Paule Cani, Bruno Arnaldi. Ajout de détails dynamiques à une animation temps-réel de personnage
791	--	813	Samuel Peltier, Laurent Fuchs, Pascal Lienhardt. Homologie des ensembles simploïdaux

573	--	597	Thierry Ernst. Le support des réseaux mobiles dans IPv6
599	--	630	François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre. Intergiciels pour la tolérance aux fautes
631	--	660	Patrick Bosc, Olivier Pivert, Daniel Rocacher. À propos de division usuelle et approchée de relations floues
661	--	690	Jean-Paul Jamont, Michel Occello. Une approche multiagent pour la gestion de la communication dans les réseaux de capteurs sans fil

409	--	436	Olivier Aubert, Yannick Prié. Des vidéos aux hypervidéos. Vers d autres interactions avec les médias audiovisuels
437	--	468	Mehdi Yousfi Monod, Violaine Prince. Compression de phrases par élagage de leur arbre morpho-syntaxique. Une première application sur les phrases narratives
469	--	496	Vincent Brunie, Jean Carrive, Laurent Vinet. Ingénierie des documents audiovisuels : le projet FERIA. Une approche centrée sur la description des contenus
497	--	522	José Rouillard, Jean-Claude Tarby, Vincent Chevrin, Alain Derycke. La plasticité des documents numériques
523	--	551	Véronique Eglin. Approches perceptives et cognitives en analyse automatique d images de documents

289	--	315	Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Contrôle de systèmes symboliques, discrets ou hybrides
317	--	342	Guillaume Hutzler, Hanna Klaudel, D. Yue Wang. Systèmes multi-agents adaptatifs avec contraintes temps-réel
343	--	370	Didier Lime, Olivier H. Roux. Vérification formelle des systèmes temps-réel avec ordonnancement préemptif
371	--	398	Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion. Impact de choix d implantation sur les performances d une application de contrôle-commande

147	--	166	Alexandre Muzy. Proposition d un cadre conceptuel pour la simulation de modèles cellulaires. Application à la modélisation physique des feux de forêt
167	--	196	Nahla Ben Amor, Salem Benferhat, Zied Elouedi. Réseaux bayésiens naïfs et arbres de décision dans les systèmes de détection d intrusions
197	--	220	Gilles Cadet, Bernard Lécussan. Un lancer de rayons distribué pour traiter de très grands modèles sans précompilation
221	--	240	Johann Dréo, Patrick Siarry. Métaheuristiques pour l optimisation et auto-organisation dans les systèmes biologiques
241	--	280	Julien Pauty, Paul Couderc, Michel Banâtre. Architectures de systèmes pour l informatique diffuse

1225	--	1260	Emmanuelle de Gentili, J. Santucci. DSSV-méthodologie. Approche de validation d applications logicielles à l aide de la modélisation et la simulation à évAnements discrets
1261	--	1280	Frédéric Gava. Une bibliothèque certifiée de programmes fonctionnels BSP
1281	--	1310	Ahcene Benayache, Marie-Hélène Abel. Exploitation de documents numériques dans une formation e-learning
1311	--	1340	Sébastien Lefèvre, Nicole Vincent. Outils pour la recherche d extraits pertinents dans les séquences vidéo. Applications aux retransmissions télévisées de matchs de football

9	--	42	Benjamin Sigonneau, Olivier Ridoux. Indexation multiple et automatisée de composants logiciels
43	--	72	Yamine Aït Ameur, Remi Delmas, Virginie Wiels. Un cadre formel pour la spécification multivue de systèmes avioniques
73	--	102	Héctor Ruíz Barradas, Didier Bert. Propriétés dynamiques avec hypothèses d équité en B événementiel
103	--	132	Séverine Colin, Franck Lebeau, Bruno Legeard. Génération de tests à partir de statecharts fondée sur le calcul de comportements
133	--	139	Mark Utting. Un panorama du test à partir de modèles formels

runs on WebDSL