|
2346
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Algorithms for the Grid |
ALGORILLE |
researchteam |
|
|
|
|
|
|
2359
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Analysis, perception and recognition of speech |
PAROLE |
researchteam |
|
|
|
|
|
|
22019
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Applying Discrete Algorithms to Genomics and Imagery |
ADAGIO |
researchteam |
|
|
|
|
|
|
2345
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Applying discrete algorithms to genomics |
ADAGE |
researchteam |
|
|
|
|
|
|
2355
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Autonomous intelligent machine |
MAIA |
researchteam |
|
|
|
|
|
|
2365
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Basic Models and Applications of Perceptive and Cognitive Processes |
SYCO |
researchteam |
|
|
|
|
|
|
2356
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Computational models in molecular biology |
MODBIO |
researchteam |
|
|
|
|
|
|
2360
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Constraints, automatic deduction and software properties proofs |
PROTHEO |
researchteam |
|
|
|
|
|
|
24434
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Curves, Algebra, Computer Arithmetic, and so On |
CACAO |
researchteam |
|
|
|
|
|
|
17853
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
DESIGN |
DESIGN |
researchteam |
|
|
|
|
|
|
2492
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Development of specifications |
DEDALE |
researchteam |
|
|
|
|
|
|
2573
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Effective Geometric Algorithms for Surfaces and Visibility |
VEGAS |
researchteam |
|
|
|
|
|
|
2349
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Environment for cooperation |
ECOO |
researchteam |
|
|
|
|
|
|
54175
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Formal islands: foundations and applications |
PAREO |
researchteam |
|
|
|
|
|
|
3174
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Geometry and Lighting |
ALICE |
researchteam |
|
|
|
|
|
|
2351
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Human-machine dialogue with a significant language component |
LANGUE ET DIALOGUE |
researchteam |
|
|
|
|
|
|
2353
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Industrial system modeling, analysis and operation |
MACSI |
researchteam |
|
|
|
|
|
|
2358
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Knowledge representation, reasonning |
ORPAILLEUR |
researchteam |
|
|
|
|
|
|
54311
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Knowledge Information and Web Intelligence |
KIWI |
researchteam |
|
|
|
|
|
|
2347
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Linear logic, proof networks and categorial grammars |
CALLIGRAMME |
researchteam |
|
|
|
|
|
|
2580
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Logic, proof Theory and Programming |
TYPES |
researchteam |
|
|
|
|
|
|
2352
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Loria in the Society of Information |
LORIASI |
researchteam |
|
|
|
|
|
|
23092
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
MODEL (Méthodes formelles et applications) |
MODEL |
researchteam |
|
|
|
|
|
|
24433
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Machine Learning and Computational Biology |
ABC |
researchteam |
|
|
|
|
|
|
2354
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Management of dynamic networks and services |
MADYNES |
researchteam |
|
|
|
|
|
|
2350
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Models, algorithms and geometry for computer graphics and vision |
ISA |
researchteam |
|
|
|
|
|
|
35123
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Natural Language Processing: representation, inference and semantics |
TALARIS |
researchteam |
|
|
|
|
|
|
2348
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Neuromimetic intelligence |
CORTEX |
researchteam |
|
|
|
|
|
|
2343
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Polynomials, Combinatorics, Arithmetic |
POLKA |
researchteam |
|
|
|
|
|
|
2357
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Proof-oriented development of computer-based systems |
MOSEL |
researchteam |
|
|
|
|
|
|
140234
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Proof-oriented development of computer-based systems |
MOSEL |
researchteam |
|
|
|
|
|
|
2361
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Querying Graphics through Analysis and Recognition |
QGAR |
researchteam |
|
|
2004-07-01 |
2008-12-31 |
|
|
119680
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Querying Graphics through Analysis and Recognition |
QGAR |
researchteam |
|
|
|
|
|
|
2362
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
READ |
READ |
researchteam |
|
|
|
|
|
|
2406
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Real time and interoperability |
TRIO |
researchteam |
|
|
|
|
|
|
2493
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
SITE |
SITE |
researchteam |
|
|
|
|
|
|
2363
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Software Tools for Telecommunications and Distributed Systems |
RESEDAS |
researchteam |
|
|
|
|
|
|
2364
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Solving problems through algebraic computation and efficient software |
SPACES |
researchteam |
|
|
|
|
|
|
2585
Infos complémentaires |
parentName_s |
INRIA LorraineLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Visual Augmentation of Complex Environments |
MAGRIT |
researchteam |
|
|
2006-04-03 |
2015-12-31 |
|