Zum Inhalt springen

  1. Calude, Cristian [VerfasserIn]

    Theories of computational complexity

    Bücher
    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.

    Amsterdam [u.a.]: North-Holland, 1988

    Erschienen in: Annals of discrete mathematics ; 35

  2. Poupa, Jean-Claude [VerfasserIn]

    La représentation relationnelle des données statistiques : application au traitement des données de panel

    Aufsätze
    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.

    Erschienen in: Cahiers d'Economie et sociologie rurales ; Vol. 26, n° 1, pp. 63-96

  3. Hamel-De le court, Edwin [VerfasserIn] ; Normandie [MitwirkendeR]; Caron, Pascal [MitwirkendeR]; Luque, Jean-Gabriel [MitwirkendeR]

    Une théorie Algébrique pour la compléxité en Etats ; An algebraic theory for state complexity

    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-12-16

  4. Ghyselen, Alexis [VerfasserIn] ; Lyon [MitwirkendeR]; Baillot, Patrick [MitwirkendeR]

    Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus ; Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul

    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, 2021-09-20

  5. Senot, Maxime [VerfasserIn] ; Orléans [MitwirkendeR]; Durand-Lose, Jérôme [MitwirkendeR]

    Modèle géométrique de calcul : fractales et barrières de complexité ; Geometrical model of computation : fractals and complexity gaps

    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-06-27

  6. Antipov, Denis [VerfasserIn] ; Institut polytechnique de Paris [MitwirkendeR]; ITMO University [MitwirkendeR]; Doerr, Benjamin [MitwirkendeR]; Buzdalov, Maxim [MitwirkendeR]

    Methods for Ti­ght Analysis of Popu­lation-based Evolutionary Algorithms ; Méthodes d'analyse précise des algorithmes évolutifs basés sur la population ; Методы точного анализа популяционных эволюционных алгоритмов

    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-11-05

  7. Younes, Grace [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Rouillier, Fabrice [MitwirkendeR]; Quadrat, Alban [MitwirkendeR]

    Computation of the L∞-norm of finite-dimensional linear systems ; Calcul de la norme L∞ des systèmes linéaires de dimension finie

    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-01-20

  8. Charrier, Tristan [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Pinchinat, Sophie [MitwirkendeR]

    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

  9. Gaboardi, Marco [VerfasserIn] ; Vandoeuvre-les-Nancy, INPL [MitwirkendeR]; Université de Torino - ITALIE [MitwirkendeR]; Marion, Jean-Yves [MitwirkendeR]; Ronchi Della Rocca, Simona [MitwirkendeR]

    Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation ; Linearity : an analytic tool in the study of complexity and semantics of programming languages

    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, 2007-12-12

  10. Khattabi Riffi, Adnane [VerfasserIn] ; Bordeaux [MitwirkendeR]; Milani, Alessia [MitwirkendeR]; Johnen, Colette [MitwirkendeR]

    Amélioration de complexité d'implémentations linéarisables et wait-free d'objets concurrents en relaxant leurs spécifications. ; On improving complexity of linearizable and wait-free implementations of concurrent objects by relaxing their specifications

    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, 2023-03-31

  11. Perret Du Cray, Armelle [VerfasserIn] ; Université de Montpellier (2022-.) [MitwirkendeR]; Giorgi, Pascal [MitwirkendeR]

    Algorithmes pour les polynômes creux : interpolation, arithmétique, test d'identité ; Algorithms for Sparse Polynomials : interpolation, arithmetic, identity testing

    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, 2023-03-29

  12. De Benedetti, Erika [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Università di Torino (Turin, Italie) [MitwirkendeR]; Baillot, Patrick [MitwirkendeR]; Ronchi Della Rocca, Simona [MitwirkendeR]

    Linear logic, type assignment systems and implicit computational complexity ; Logique linéaire, systèmes de types et complexité implicite

    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-02-10

  13. Hamoudi, Yassine [VerfasserIn] ; Université Paris Cité [MitwirkendeR]; Magniez, Frédéric [MitwirkendeR]; Santha, Miklos [MitwirkendeR]

    Quantum algorithms for the Monte Carlo method ; Algorithmes quantiques pour la méthode de Monte Carlo

    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, 2021-07-07

  14. Touzeau, Valentin [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Monniaux, David [MitwirkendeR]; Maiza, Claire [MitwirkendeR]

    Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité ; Static analysis of least recently used caches : complexity, optimal analysis, and applications to worst-case execution time and security

    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, 2019-10-08

  15. Abbas, Shehla [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Mosbah, Mohamed [MitwirkendeR]; Zemmari, Akka [MitwirkendeR]

    Distributed calculations using mobile agents ; Calculs Distribués par des Agents Mobiles

    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, 2008-12-15

  16. Mansutti, Alessio [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Demri, Stéphane P. [MitwirkendeR]; Lozes, Etienne [MitwirkendeR]

    Reasoning with separation logics : complexity, expressive power, proof systems ; Logiques de séparation : complexité, expressivité, calculs

    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-12-10

  17. Sartor del Giudice, Pablo Enrique [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Universidad de la República (Montevideo) [MitwirkendeR]; Rubino, Gerardo [MitwirkendeR]; Cancela, Héctor [MitwirkendeR]

    Propriétés et méthodes de calcul de la fiabilité diamètre-bornée des réseaux ; Diameter-constrained network reliability : properties and computation

    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-12-18

  18. Grente, Theo [VerfasserIn] ; Normandie [MitwirkendeR]; Grandjean, Étienne [MitwirkendeR]; Terrier, Véronique [MitwirkendeR]

    Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires ; Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons

    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-12-08

  19. Vu, Thi Xuan [VerfasserIn] ; Sorbonne université [MitwirkendeR]; University of Waterloo (Canada) [MitwirkendeR]; Safey El Din, Mohab [MitwirkendeR]; Schost, Eric [MitwirkendeR]; Labahn, George [MitwirkendeR]

    Homotopy algorithms for solving structured determinantal systems ; Algorithmes d'homotopie pour la résolution de systèmes déterminants structurés

    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-12-09

  20. Cattaneo, David [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Arrighi, Pablo [MitwirkendeR]; Perdrix, Simon [MitwirkendeR]

    Modélisation graphique et simulation en traitement d'information quantique ; Graph modeling and simulation in quantum information processing

    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, 2017-12-04