Sökning: "Algorithm theory"

Visar resultat 1 - 5 av 336 avhandlingar innehållade orden Algorithm theory.

  1. 1. Combinatorial Slice Theory

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Mateus de Oliveira Oliveira; KTH.; [2013]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Slice Theory; Partial Order Theory of Concurrency; Digraph Width Measures; Equational Logic;

    Sammanfattning : Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. LÄS MER

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

    Detta är en avhandling från Stockholm : KTH

    Författare :Andrés Martinelli; KTH.; SICS.; [2006]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm;

    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

  3. 3. Computational Tools for Antenna Analysis and Design

    Detta är en avhandling från Electromagnetic Theory Department of Electrical and Information Technology Lund University Sweden

    Författare :Doruk Tayli; Lunds universitet.; Lund University.; [2018-01-31]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Antenna theory; Fundamental bounds; method of moments MoM ; Characteristic modes; macro basis functions MBFs ; adaptive cross approximation ACA ; endfire arrays;

    Sammanfattning : Many engineers and scientists prevalently use computational tools in electromagnetics, which is also the predominant case for antennas. The ever-increasing number of applications and technologies that employ antennas create a constant demand to improve and extend existing tools and develop new ones. LÄS MER

  4. 4. Representation of Quantum Algorithms with Symbolic Language and Simulation on Classical Computer

    Detta är en avhandling från School of Mathematics and System Engineering, Växjö University

    Författare :Peter Nyman; Växjö universitet.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Deutsch-Josza algorithm; Grover s algorithm; Quantum computing; Quantum error-correcting; Shor s algorithm; Simon s algorithm; Simulation of quantum algorithms; Deutsch-Josza algoritm; Grovers algoritm; Kvantdatorer; kvantmekanisk felrättande kod; Shors algoritm; Simons algoritm; Simulering av kvantdatorer; MATHEMATICS; MATEMATIK; Mathematics; Matematik;

    Sammanfattning : Utvecklandet av kvantdatorn är ett ytterst lovande projekt som kombinerar teoretisk och experimental kvantfysik, matematik, teori om kvantinformation och datalogi. Under första steget i utvecklandet av kvantdatorn låg huvudintresset på att skapa några algoritmer med framtida tillämpningar, klargöra grundläggande frågor och utveckla en experimentell teknologi för en leksakskvantdator som verkar på några kvantbitar. LÄS MER

  5. 5. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Detta är en avhandling från Department of Computer Systems, Uppsala University

    Författare :Paul Pettersson; Uppsala universitet.; [1999]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. LÄS MER