1. Recherche
116 résultats  enregistrer la recherche
...
hal-00577958v1  Communication dans un congrès
Bruno Delprat, Mohamed Hallab, Martine Cadot, Alain Lelu. Processing a Mayan Corpus for Enhancing our Knowledge of Ancient Scripts
ESCE- University la Manouba (Tunisia), Nancy University (France), IGA (Morocco), IEEE Morocco section. 4th International Conference on Information Systems and Economic Intelligence - SIIE'2011, Feb 2011, Marrakech, Morocco. IGA Maroc, pp.198-208, 2011
hal-00460307v1  Communication dans un congrès
Martine Cadot, Alain Lelu. Optimized Representation for Classifying Qualitative Data
Fritz Laux, Lena Strömbäck. Second International Conference on Advances in Databases, Knowledge, and Data Applications - DBKDA 2010, Apr 2010, Menuires, The Three Valleys, France. IEEE Computer Society, Conference Publishing Service, pp.241-246, 2010
...
tel-01202790v1  Thèse
Jérôme Cantenot. Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.
Autre [cs.OH]. Université de Franche-Comté, 2013. Français. <NNT : 2013BESA2042>
...
tel-01124335v1  Thèse
Nicolas Friot. Itérations chaotiques pour la sécurité de l'information dissimulée
Autre [cs.OH]. Université de Franche-Comté, 2014. Français. <NNT : 2014BESA2035>
...
tel-01037993v1  Thèse
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English. <NNT : 2013BESA2009>
inria-00099990v1  Article dans une revue
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Unification Modulo ACUI Plus Distributivity Axioms
Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28
lirmm-00287659v1  Communication dans un congrès
Emeric Gioan, Serge Burckel. In Situ Design of Register Operations
ISVLSI'08: IEEE Computer Society Annual Symposium on Very-Large-Scale Integration, Apr 2008, Montpellier, France, IEEE Computer Society, Trends in VLSI Technology and Design, pp.4, 2008, <http://www.lirmm.fr/isvlsi2008/>
hal-00460310v1  Communication dans un congrès
Martine Cadot, Alain Lelu. A Novel Decomposition Algorithm for Binary Datatables: Encouraging Results on Discrimination Tasks
Peri Loucopoulos, Jean Louis Cavarero. Fourth International Conference on Research Challenges in Information Science - RCIS 2010, May 2010, Nice, France. IEEE Computer Society, pp.57-68, 2010
...
hal-00773436v1  Communication dans un congrès
Alain Lelu, Martine Cadot. A Proposition for Fixing the Dimensionality of a Laplacian Low-rank Approximation of any Binary Data-matrix
The Fifth International Conference on Information, Process, and Knowledge Management - eKNOW 2013, Feb 2013, Nice, France. IARIA, pp.70-73, 2013
...
hal-01532894v1  Rapport
Martine Cadot, Alain Lelu, Michel Zitt. Benchmarking 17 clustering methods
[Rapport de recherche] LORIA. 2017
...
tel-00910929v1  Thèse
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English
hal-00641128v1  Article dans une revue
Alain Lelu, Martine Cadot. Espace intrinsèque d'un graphe et recherche de communautés.
Revue I3 - Information Interaction Intelligence, Cépaduès, 2011, 2011 (1), pp.1-25
hal-00596718v1  Article dans une revue
Martine Cadot, Alain Lelu. Combining Explicitness and Classifying Performance via MIDOVA Lossless Representation for Qualitative Datasets
International Journal On Advances in Software, IARIA, 2012, 5 (1&2), pp.1-16
...
inria-00069878v1  Rapport
Christophe Biernacki, Gilles Celeux, Gérard Govaert, Florent Langrognet. Model-based Cluster and Discriminant Analysis with the MIXMOD software
[Research Report] RT-0302, INRIA. 2005, pp.20
hal-00687582v1  Article dans une revue
Jacques M. Bahi, Jean-Claude Charr, Raphaël Couturier, David Laiymani. A Parallel Algorithm to Solve Large Stiff {ODE} Systems on Grid Systems
International Journal of High Performance Computing Applications, SAGE Publications, 2009, 23 (2), <10.1177/1094342009104010>
hal-00688700v1  Article dans une revue
Jacques Bahi, Jean-Claude Charr, Raphaël Couturier, David Laiymani. A Parallel Algorithm to Solve Large Stiff ODE Systems on Grid Systems
International Journal of High Performance Computing Applications, SAGE Publications, 2009, 23 (2), pp.140-151. <10.1177/1094342009104010>
...
inria-00071986v1  Rapport
Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair. Automatic Approximation for the Verification of Cryptographic Protocols
[Research Report] RR-4599, INRIA. 2002, pp.18
...
inria-00071955v1  Rapport
David Déharbe, Silvio Ranise. BDD-Driven First-Order Satisfiability Procedures (Extended Version)
[Research Report] RR-4630, INRIA. 2002, pp.24
...
inria-00071721v1  Rapport
Olga Kouchnarenko, Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems
[Research Report] RR-4862, INRIA. 2003, pp.29
...
inria-00071812v1  Rapport
Julien Musset, Michael Rusinowitch. Computing Approximations of Linear Transition Systems
[Research Report] RR-4774, INRIA. 2003, pp.20
...
inria-00071870v1  Rapport
Françoise Bellegarde, Célina Charlet, Olga Kouchnarenko. Using Acceleration to Compute Parameterized System Refinement
[Research Report] RR-4716, INRIA. 2003, pp.18
...
inria-00071889v1  Rapport
Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani. An NP Decision Procedure for Protocol Insecurity with XOR
[Research Report] RR-4697, INRIA. 2003, pp.22
...
inria-00071714v1  Rapport
Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani, Laurent Vigneron. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
[Research Report] RR-4869, INRIA. 2003, pp.22
...
inria-00071398v1  Rapport
Abdessamad Imine, Pascal Molli, Gérald Oster, Michael Rusinowitch. Achieving Convergence with Operational Transformation in Distributed Groupware Systems
[Research Report] RR-5188, INRIA. 2004, pp.19
...
inria-00071218v1  Rapport
Gérald Oster, Pascal Urso, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine. Optimistic Replication for Massive Collaborative Editing
[Research Report] RR-5719, INRIA. 2005, pp.18
...
inria-00071215v1  Rapport
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Tree Automata with Equality Constraints Modulo Equational Theories
[Research Report] RR-5754, INRIA. 2005, pp.27

Contact


archive-ouverte@inria.fr