A

1. acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents PDF XML
2. aces - Ambient Computing and Embedded Systems PDF XML
3. adept - Algorithms for Dynamic Dependable Systems PDF XML
4. alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years PDF XML
5. alcove - Interacting with complex objects in collaborative virtual environments PDF XML
6. algo - Algorithms PDF XML
7. algorille - Algorithms for the Grid PDF XML
8. alice - Geometry and Lighting PDF XML
9. alien - ALgèbre pour Identification et Estimation Numériques PDF XML
10. anubis - Models and Methods in Biomathematics, Tools of automatic control and scientific computing PDF XML
11. aoste - Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints PDF XML
12. apics - Analysis and Problems of Inverse type in Control and Signal processing PDF XML
13. ares - Architecture de réseaux de services PDF XML
14. ariana - Inverse Problems in Earth Observation and Cartography PDF XML
15. arles - Software Architectures and Distributed Systems PDF XML
16. armor - Architectures et Modèles de Réseaux PDF XML
17. artis - Acquisition, Representation and Transformations for Image Synthesis PDF XML
18. arénaire - Computer Arithmetic PDF XML
19. asap - As Scalable As Possible:Foundations of large-scale dynamic systems PDF XML
20. asclepios - Analysis and Simulation of Biomedical Images PDF XML
21. aspi - Applications statistiques des systèmes de particules en interaction PDF XML
22. atlas - Complex Data Management in Distributed Systems PDF XML
23. atoll - Atelier d'Outils Logiciels pour le Langage naturel PDF XML
24. axis - User-Centered Design, Improvement and Analysis of Information Systems PDF XML

B

1. bang - Biophysique, Analyse Numérique et Géophysique PDF XML
2. bipop - Modeling, Simulating, Controlling Non-Regular Dynamical Systems PDF XML
3. bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments PDF XML

C

1. c afé - Calcul Formel et Équations PDF XML
2. caiman - Calcul scientifique, modélisation et analyse numérique PDF XML
3. calligramme - Linear Logic, Proof Nets and Categorial Grammars PDF XML
4. calvi - Scientific Computing and Visualization PDF XML
5. caps - Compilation, architectures des processeurs superscalaires et spécialisés PDF XML
6. cassis - Combining approaches for the security of infinite state systems PDF XML
7. clime - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle PDF XML
8. codes - Codage et cryptographie PDF XML
9. comore - Modelling and Control of Renewable Resources PDF XML
10. complex - Evolution Artificielle et Fractales PDF XML
11. compsys - Compilation and Embedded Computing Systems PDF XML
12. comète - Concurrence, Mobilité et Transactions PDF XML
13. contraintes - Constraint Programming PDF XML
14. coprin - Constraints solving, OPtimization, Robust INterval analysis PDF XML
15. cordial - Man-machine oral and multimodal communication PDF XML
16. corida - Robust Control Of Infinite Dimensional Systems and Applications PDF XML
17. cortex - Neuromimetic Intelligence PDF XML

D

1. dart - Dataparallelism for Real-Time PDF XML
2. demar - DEambulation et Mouvement ARtificiel PDF XML
3. digiplante - Stochastic, functional and interactive models for plant growth and architecture PDF XML
4. distribcom - Distributed Models and Algorithms for the Management of Telecommunication Systems PDF XML
5. dolphin - Discrete multi-objective Optimization for Large scale Problems with Hybrid dIstributed techNiques PDF XML
6. dream - Diagnosis, REcommending Actions and Modeling PDF XML

E

1. e-motion - Geometry and Probability for Motion and Action PDF XML
2. ecoo - Middleware for supporting cooperative work through Internet PDF XML
3. eiffel2 - Cognition and Cooperation in Design PDF XML
4. espresso - Modélisation de systèmes réactifs polychrones PDF XML
5. estime - Parameter Estimation and Modeling in Heterogeneous Media PDF XML
6. evasion - Virtual environments for animation and image synthesis of natural objects PDF XML
7. everest - Vérification et sécurité du logiciel PDF XML
8. exmo - Computer-mediated communication of structured knowledge PDF XML

G

1. galaad - Géométrie, Algèbre, Algorithmes PDF XML
2. gallium - Programming languages, types, compilation and proofs PDF XML
3. gamma - Génération Automatique de Maillages et Méthodes d'Adaptation PDF XML
4. gemo - Management of Data and Knowledge Distributed Over the Web PDF XML
5. geometrica - Geometric Computing PDF XML
6. graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms PDF XML
7. grand-large - Calcul parallèle et distribué à grande échelle PDF XML
8. gyroweb - Graphs, networks and algorithms PDF XML

H

1. helix - Informatics and genomics PDF XML
2. hipercom - HIgh PERformance COMmunication PDF XML

I

1. i3d - 3D Interaction and Virtual Reality PDF XML
2. icare - Instrumentation, Commande et Architecture des Robots Évolués PDF XML
3. imara - Informatique, Mathématiques et Automatique pour la Route Automatisée PDF XML
4. imedia - Images and Multimedia : Indexing, Retrieval and Navigation PDF XML
5. in-situ - Situated Interaction PDF XML
6. iparla - Computer Graphics and 3D Interaction for Mobile Users PDF XML
7. ipso - Invariant Preserving Solvers PDF XML

J

1. jacquard - Weaving of Software Components PDF XML

L

1. lagadic - Visual servoing in robotics, computer vision, and augmented reality PDF XML
2. lande - Logiciel : ANalyse et DEveloppement PDF XML
3. lear - Learning and Recognition in Vision PDF XML
4. led - Langue et Dialogue PDF XML
5. logical - Logic and Computation PDF XML

M

1. macs - Modeling, Analysis and Control for Computational Structural Dynamics PDF XML
2. macsi - Modeling, Analysis and Control of Industrial Systems PDF XML
3. madynes - Management of Dynamic Networks and Services PDF XML
4. maestro - Models for Performance Analysis and Control of Networks PDF XML
5. magique-3d - Modélisation avancée en Géophysique 3D PDF XML
6. magnome - Models and Algorithms for the Genome PDF XML
7. magrit - Visual Augmentation of Complex Environments PDF XML
8. maia - Autonomous and Intelligent MAchine PDF XML
9. marelle - Mathematics, Reasoning, and Software PDF XML
10. mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications PDF XML
11. mathfi - Financial Mathematics PDF XML
12. maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF XML
13. mc2 - Modeling, control and computations: applications to fluid mechanics and laser-plasma interaction. PDF XML
14. mere - Modelling and Water Resources PDF XML
15. merlin - Methods for Interactive Software Ergonomics PDF XML
16. mescal - Middleware Efficiently SCALable PDF XML
17. metalau - Méthodes, algorithmes et logiciels pour l'automatique PDF XML
18. metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores PDF XML
19. micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum PDF XML
20. mimosa - Migration et Mobilité: Sémantique et Applications PDF XML
21. mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects PDF XML
22. mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF XML
23. moais - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation PDF XML
24. modbio - Computational Models in Molecular Biology PDF XML
25. moscova - Mobility, Security, Concurrency, Verification and Analysis PDF XML
26. mosel - Proof-oriented development of computer-based systems PDF XML
27. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF XML
28. moÏse - Modelling, Observations, Identification for Environmental Sciences PDF XML

O

1. oasis - Objets Actifs, Sémantique, Internet et Sécurité PDF XML
2. obasco - OBjects, ASpects, and COmponents PDF XML
3. odyssee - Biological and Computer Vision PDF XML
4. omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières PDF XML
5. opale - Optimization and Control, Numerical Algorithms and Integration of Multidisciplinary Complex P.D.E. Systems PDF XML
6. orion - Intelligent Environments for Problem Solving by Autonomous Systems PDF XML
7. orpailleur - Knowledge Discovery guided by Domain Knowledge PDF XML

P

1. paris - Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications PDF XML
2. parole - Analysis, Perception and Speech Recognition PDF XML
3. parsifal - Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques PDF XML
4. perception - Interpretation and Modelling of Images and Videos PDF XML
5. phoenix - Programming Language Technology For Communication Services PDF XML
6. planete - Protocoles et Applications pour l'Internet PDF XML
7. poems - Wave propagation: Mathematical Analysis and Simulation PDF XML
8. pop art - Programming and OPerating systems for Applications in Real-Time PDF XML
9. pops - System & Networking for Portable Objects Proved to be Safe PDF XML
10. preval - Probabilités, modélisation et évaluation de systèmes PDF XML
11. prima - Perception, recognition and integration for interactive environments PDF XML
12. protheo - Constraints, Mechanized Deduction and Proofs of Software Properties PDF XML
13. proval - Proof of programs PDF XML

Q

1. qgar - Querying Graphics Through Analysis and Recognition PDF XML

R

1. r2d2 - Reconfigurable and Retargetable Digital Devices PDF XML
2. rap - Réseaux, Algorithmes et Probabilités PDF XML
3. regal - Resource management in large scale distributed systems PDF XML
4. reo - Numerical simulation of biological flows PDF XML
5. reso - Optimized protocols and software for high performance networks PDF XML
6. reves - Rendering and Virtual Environments with Sound PDF XML
7. runtime - Efficient Runtime Systems for Parallel Architectures PDF XML

S

1. s4 - System Synthesis and Supervision, Scenarios PDF XML
2. sage - Simulations and Algorithms on Grids for Environmental Applications PDF XML
3. salsa - Solvers for ALgebraic Systems and Applications PDF XML
4. sardes - System Architecture for Reflective Distributed Computing Environments PDF XML
5. scalapplix - High Performance Schemes and Algorithms for Complex Scientific Applications PDF XML
6. scilab - Equipe opérationnelle du consortium Scilab PDF XML
7. secsi - Sécurité des systèmes d'information PDF XML
8. select - Model Selection and Statistical Learning PDF XML
9. sequel - Sequential Learning PDF XML
10. sequoia - Algorithms for large-scale sequence analysis PDF XML
11. signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF XML
12. simpaf - SImulation and Modelling for PArticles and Fluids PDF XML
13. sisthem - Statistical Inference for STructural HEalth Monitoring PDF XML
14. smash - Simulation, Modeling and Analysis of Heterogeneous Systems in mechanical engineering PDF XML
15. smis - Secured and Mobile Information Systems PDF XML
16. sosso2 - Applications and tools for automatic control PDF XML
17. spaces - Solving Problems through Algebraic Computation and Efficient Software PDF XML
18. sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale PDF XML
19. symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences PDF XML

T

1. tanc - Théorie Algorithmique des Nombres pour la Cryptologie PDF XML
2. tao - Thème apprentissage et optimisation PDF XML
3. temics - TraitEment, Modélisation d'Images et CommunicationS PDF XML
4. texmex - Efficient Exploitation of Multimedia Documents: Exploring, Indexing and Searching in Very Large Databases PDF XML
5. trec - Network Theory and Communications PDF XML
6. trio - Temps Réel et InterOpérabilité (Real Time and InterOperability) PDF XML
7. triskell - Model Driven Engineering for Component Based Software PDF XML
8. tropics - Transformations et Outils Informatiques pour le Calcul Scientifique PDF XML

V

1. vasy - Validation of Systems PDF XML
2. vegas - Effective Geometric Algorithms for Visibility and Surfaces PDF XML
3. vertecs - Verification models and techniques applied to the Testing and Control of reactive Systems PDF XML
4. virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotypes PDF XML
5. visages - Vision Action et Gestion d'informations en Santé PDF XML
6. vista - Vision Spatio-Temporelle et Apprentissage PDF XML

W

1. wam - Web, Adaptation and Multimedia PDF XML