94 résultats  enregistrer la recherche


...
tel-00250312v1  HDR
Jean-Gabriel LuqueInvariants des hypermatrices
Autre [cs.OH]. Université de Marne la Vallée, 2008
...
hal-00340797v1  Chapitre d'ouvrage
Olivier CartonDominique PerrinJean-Eric PinAutomata and semigroups recognizing infinite words
J. Flum, E. Grädel and T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.585-596, 2007
...
hal-01552462v1  Communication dans un congrès
Stéphane BreuilsVincent NozickLaurent FuchsDietmar HildenbrandWerner Benger et al.  A hybrid approach for computing products of high-dimensional geometric algebras
CGI / ENGAGE 2017, Jun 2017, Hiyoshi, Japan. pp.1 - 6, 2017, CGI '17 Proceedings of the Computer Graphics International Conference <10.1145/3095140.3097284>
...
hal-00711065v1  Communication dans un congrès
Anne-Laure ChauveJean-Philippe PonsJean-Yves AudibertRenaud KerivenTransductive Segmentation of Textured Meshes
9th Asian conference on Computer Vision (ACCV 2009), Sep 2009, Xi'an, China. Springer-Verlag, 5995, pp.502-513, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-12304-7_47>
...
hal-00306661v1  Communication dans un congrès
Julien AllaliMarie-France SagotNovel tree edit operations for RNA secondary structure comparison
Workshop on Algorithms in Bioinformatics 2004, 2004, Bergen, Denmark. 3240, pp.412--425, 2004
...
hal-00306660v1  Communication dans un congrès
Julien AllaliMarie-France SagotA Multiple Graph Layers Model with Application to RNA Secondary Structures Comparison
String Processing and Information Retrieval 2005, Nov 2005, Argentina. Mariano Consens and Gonzalo Navarro, 3772, pp.348--359, 2005
...
hal-00306572v1  Communication dans un congrès
Pierre PeterlongoJulien AllaliMarie-France SagotThe Gapped-Factor Tree
Prague Stringology Conference 2006, 2006, Czech Republic. pp.182--196, 2006
hal-00112831v1  Ouvrage (y compris édition critique et traduction)
Jean-Eric PinDominique PerrinInfinite Words: Automata, Semigroups, Logic and Games
Elsevier, pp.538, 2004
...
hal-00688069v2  Communication dans un congrès
Yasmina AbdeddaïmDamien MassonReal-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata
RTCSA 2012, Aug 2012, Seoul, South Korea. pp.31-40, 2012, <10.1109/RTCSA.2012.21>
...
tel-00665732v1  Thèse
Trong Hiêu DinhGrammaires de graphes et langages formels
Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1015>