Sökning: "graph theory"
Visar resultat 21 - 25 av 152 avhandlingar innehållade orden graph theory.
21. Skew-symmetric matrix pencils : stratification theory and tools
Sammanfattning : Investigating the properties, explaining, and predicting the behaviour of a physical system described by a system (matrix) pencil often require the understanding of how canonical structure information of the system pencil may change, e.g., how eigenvalues coalesce or split apart, due to perturbations in the matrix pencil elements. LÄS MER
22. Advances in Functional Decomposition: Theory and Applications
Sammanfattning : 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. LÄS MER
23. Representation matters in cyclic proof theory
Sammanfattning : 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. LÄS MER
24. Convergence to the Tracy-Widom distribution for longest paths in a directed random graph
Sammanfattning : .... LÄS MER
25. Topics in discrete random structures
Sammanfattning : 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. LÄS MER