Search for dissertations about: "Graph Theory"

Showing result 21 - 25 of 146 swedish dissertations containing the words Graph Theory.

  2. 21. Advances in Functional Decomposition: Theory and Applications

    Author : Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

    Abstract : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. READ MORE

  4. 22. Representation matters in cyclic proof theory

    Author : Dominik Wehr; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; Logic; Cyclic Proof Theory;

    Abstract : Cyclic proof systems allowderivations whose underlying structure is a finite graph, rather than a well-founded tree. The soundness of cyclic proofs is usually ensured by imposing additional conditions beyond well-formedness. READ MORE

  5. 23. Convergence to the Tracy-Widom distribution for longest paths in a directed random graph

    Author : Katja Trinajstic; Takis Konstantopoulos; Kurt Johansson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Statistics; Matematisk statistik;

    Abstract : .... READ MORE

  6. 24. Topics in discrete random structures

    Author : Anders Martinsson; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; First--passage percolation; Cartesian power graph; third moment argument; jigsaw puzzle; shotgun assembly; monotone paths; non-Markovian coupling; high dimension; coupling inequality; monotone paths;

    Abstract : This thesis presents four papers on problems in discrete probability. A common theme of the articles is to take some class of discrete structures, impose some randomness, and then consider what happens asymptotically as the size of the structure tends to infinity. READ MORE

  7. 25. Graph Signal Processing Meets Machine Learning

    Author : Arun Venkitaraman; Peter Händel; Antonio G. Marques; KTH; []
    Keywords : Signal processing; Graph signal; Machine learning; Estimation; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Graph signal processing is an emerging paradigm in signal processing which took birth in the search for a set of consistent mathematical tools to analyze signals which occur over networks or graphs. The viewpoint of signals through graphs is universal and applicable to a large variety of diverse real-world problems. READ MORE