Zum Inhalt springen

  1. Brunet, Guilhem [Verfasser:in] ; Paris 13 [Mitwirkende:r]; Barral, Julien [Mitwirkende:r]

    Contribution à la théorie dimensionnelle de tapis et d'éponges auto-affines en loi ou invariants par multiplication par certains semi-groupes d’entiers ; Contribution to the dimensional theory of statistically self-affine carpets and sponges or invariant under the action of multiplicative integers

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-07

  2. Salwan, Jonathan [Verfasser:in] ; Université Grenoble Alpes [Mitwirkende:r]; Potet, Marie-Laure [Mitwirkende:r]; Bardin, Sébastien [Mitwirkende:r]

    L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel ; Use of symbolic execution for binary deobfuscation in an industrial environment

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-02-13

  8. Esnay, Solene June [Verfasser:in] ; Toulouse 3 [Mitwirkende:r]; Sablik, Mathieu [Mitwirkende:r]; Aubrun, Nathalie [Mitwirkende:r]

    Limitation de la complexité de certains invariants des sous-décalages par contraintes dynamiques et structurelles ; Limitation of the Complexity of Some Invariants of Subshifts by Dynamical and Structural Constraints

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-10-21

  9. Gonzalvez, Alexandre [Verfasser:in] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [Mitwirkende:r]; Fontaine, Caroline [Mitwirkende:r]; Dagnat, Fabien [Mitwirkende:r]

    Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques ; To refine symbolic and concrete deobfuscation of programs protected by opaque predicates

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-06-02

  10. Nguema Ndong, Florent [Verfasser:in] ; Poitiers [Mitwirkende:r]; Bertrand Mathis, Anne [Mitwirkende:r]

    Étude de la dynamique symbolique des développements en base négative, système de Lyndon ; Study of the symbolic dynamics of expansions in negative base, Lyndon system

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-09-26

  14. Donoso, Sebastian Andres [Verfasser:in] ; Paris Est [Mitwirkende:r]; Universidad de Chile [Mitwirkende:r]; Host, Bernard [Mitwirkende:r]

    Contributions to ergodic theory and topological dynamics : cube structures and automorphisms ; Contributions à la théorie ergodique et à la dynamique topologique : structures de cubes et automorphismes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-05-28

  18. Ürgüplü, Belma Asli [Verfasser:in] ; Lille 1 [Mitwirkende:r]; Boulier, François [Mitwirkende:r]; Sedoglavic, Alexandre [Mitwirkende:r]

    Contributions to symbolic effective qualitative analysis of dynamical systems : application to biochemical reaction networks ; Contributions à l’analyse qualitative symbolique effective des systèmes dynamiques : application aux réseaux de réactions biochimiques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2010-01-13

  19. Charrier, Tristan [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Pinchinat, Sophie [Mitwirkende:r]

    Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique ; Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-05

  20. Obry, Tom [Verfasser:in] ; Toulouse, INSA [Mitwirkende:r]; Travé-Massuyès, Louise [Mitwirkende:r]; Subias, Audine [Mitwirkende:r]

    Apprentissage numérique et symbolique pour le diagnostic et la réparation automobile ; Digital and Symbolic Learning for Automotive Diagnostics and Repair

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-07-07