08:30 - 9:30 Bienvenue - Accueil

09:30 - 10:30 Commande de systèmes

• Sekher Malik, Farza Mondher and M'Saad Mohammed - Commande non linéaire d'un réacteur chimique
• Ruth Lezama Morales and Amhed Khelassi - Commande à Structure Variable d'un Robot Anthropomorphe Actionné par Muscles Artificiels Pneumatiques

10:30 - 11:00 Pause

11:00 - 12:30 Génie Logiciel & SGBD

• Chaâbane Mohamed Amine, Lotfi Bouzguenda, Rafik Bouaziz et Faiez Gargouri - Spécification des Processus Workflows Evolutifs Versionnés
• Ylies Falcone - Combiner Test Actif et Surveillance pour la Sécurité
• Anis Haj Said, Laurent Amanton, Bruno Sadeg et Béchir Ayeb - Contrôle de la réplication dans les SGBD Temps Réel Distribués

12:30 - 14:00 Repas

14:00 - 15:30 Modélisation

• Saïd Lankri, Alexandre Abellard, Pascal Berruet, André Rossi et Jean-Luc Philippe - Vers une Approche Orientée Services pour l'Aide au Handicap
• Lassaad Baati - Approche de Modélisation DEVS à Structure Hiérarchique et Dynamique
• Marie-José Mhawej - Analyse de la dynamique de l’infection VIH - Sensibilité aux traitements

15:30 - 16:00 Pause

16:00 - 17:00 Invité : Michel Lesourd

• STIC et développement durable

17:00 - 17:30 Présentation des posters

17:30 - 19:00 Session posters et réception

• Ding lehui - Validation expérimentale d'un modèle de bruit pour un fil du type MagnétoImpédance Géante (MIG)
• Liu Fenglong, Farza mondher et M'Saad mohammed - Observateur à grand gain pour des systèmes non linéaires avec couplage non complètement triangulaire
• Farid fezani and Rahmani Ahmed - Wavelets analysis for defects detection in flat glass
• Achraf Telmoudi and Lotfi Nabli - Détection des symptômes dans les SFPM par suivi des indicateurs de performance : approche qualité-flux
• Rabbah Nabila and Bensassi Bahloul - commande d'un systeme d'entrainement de bande
• Sagar Samya and Ben Ahmed Mohamed - Une proposition d'extension de GML pour un modèle générique d'intégration de données spatio-temporelles hétérogènes
• Mohammed Djaouti Soumia, Abdallah Koudache et Boudaieb Ahmed - Champs de Markov pour la segmentation des images polarimétriques
• Ylies Falcone et Mohamad Jaber - Vers l'Intégration Automatique d'une Politique de Sécurité Or-BAC
• Mathilde Alonso - Interaction dans un environnement d'apprentissage de la modélisation orientée objet
• Ali Mroué - Recherche de parcours prototypique pour L'analyse de parcours web
• Dalila Boughaci - Un algorithme de recherche dispersée pour le problème MAX-SAT
• Frederik Armknecht - Cayrel Pierre-Louis, Philippe Gaborit et Olivier Ruatta. improved algorithm to find equations for algebraic attacks for combiners with memory
• Mohamad Muhieddine, Edouard Canot et Ramiro March - Simulation 1-D de l'évaporation forcée de l'eau dans un sous-sol poreux saturé
• Raimana Teina, Dominique Béréziat et Benoit Stoll - Etude de la cocoteraie des Tuamotu sur des images IKONOS
• Asli Urguplu - Reduction of a system of ordinary differential equations and its implementation
• Omar Doukari - Un nouveau cadre pour la révision locale de croyances
• Najeh Lakhoua - Utilisation du SIG dans une entreprise industrielle pour l'analyse et la prise de décision

08:30 - 09:00 Accueil

09:00 - 10:30 Communications sans fils - Wireless

• Oussama Frioui, Fayrouz Haddad, Lakhdar Zaid et Wenceslas Rahajandraibe - Evolution des standards/architectures pour les communications sans fil. Application aux systèmes multistandards en technologie CMOS.
• Hugues Kampe, Olivier Hubert, David Denis et Patrick Martin - Extraction d’inductances parasites et re-simulation pour circuits intégrés RF
• Julien Champ et Clément Saad - Un Nouvel Algorithme de Routage Géographique dans les Réseaux de Capteurs

10:30 - 11:00 Pause

11:00 - 12:30 Théorie de l'information

• Maria Naya-Plasencia - Cryptanalysis of Achterbahn-128/80 with a new keystream limitation
• Andrea Röck - Attaques par collision basées sur la perte d'entropie causée par des fonctions aléatoires
• Frédéric Edoukou - Codes correcteurs d’erreurs construits à partir des variétés algébriques

12:30 - 14:00 Repas

14:00 - 15:30 Agents et Décision

• Michel Nabaa, Besma Zeddini et Pierrick Tranouez - Approche décentralisée pour résoudre le problème du transport à la demande
• Stéphane Mercier - Vers un contrat d’autonomie entre agents et opérateurs
• Baptiste Blanpain, David Mercier et Jean Barthe - Calcul par réseaux de neurones de la dose déposée en radiothérapie par un faisceau fin dans un fantôme hétérogène

15:30 - 16:00 Pause

16:00 - 17:00 Algorithmique

• Julien David - REGAL: une bibliothèque pour la génération des automates déterministes
• Rodrigo de Souza - Méthode structurelle pour décider si un transducteur est k-valué

17:00 - 18:00 Table ronde

...

20:00 Repas de gala

08:30 - 09:00 Accueil

9:00 - 10:30 Invité : Philippe Jorrand

• L'informatique quantique

10:30 - 11:00 Pause

11:00 - 12:30 Séparation Aveugle de Sources

• Steredenn Daumont et Daniel Le Guennec - Séparation aveugle de source pour des systèmes MIMO et un codage d'Alamouti et de Tarokh
• Ould Mohamed Mohamed Salem, Amor Keziou, Hassan Fenniri et Georges Delaunay - Séparation aveugle de sources cyclostationnaires par utilisation des statistiques de second ordre
• Olivier Fourt et Messaoud Benidir - Séparation aveugle de sources : stimation du nombre de signaux et application aux signaux à phase polynomiale

12:30 - 14:00 Repas

14:00 - 15:30 Imagerie

• Gawain Jones, Christelle Gée et Fédéric Truchetet - Modélisation de scènes agronomiques pour tester et comparer les performances d’algorithmes de discrimination d’adventices
• Nicolas Signolle, Jérome Delettre, Marinette Revenu, Paulette Herlin et Benoît Plancoulaine - Segmentation multi-résolution basée sur la texture ; Application à la segmentation de très grandes images de microscopie cellulaire
• Yara Bachalany, François Cabestaing et Sebastien Ambellouis - Suivi de libellules par analyse de séquences d'images

15:30 - 16:00 Pause

16:00 - 16:30 Remise des prix et clotûre