Sökning: "Search algorithm"

Visar resultat 1 - 5 av 449 uppsatser innehållade orden Search algorithm.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Using search based methods for beamforming

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för systemteknik

    Författare :Adam Bergman Karlsson; [2024]
    Nyckelord :Beamforming; Artificial Intelligence; AlphaZero; Radio Resource Management; Monte Carlo Tree Search;

    Sammanfattning : In accommodating the growing global demand for wireless, Multi-User Multiple-Input and Multiple-Output (MU-MIMO) systems have been identified as the key technology. In such systems, a transmitting basestation serves several users simultaneously, increasing the network capacity. LÄS MER

  4. 3. Evaluating Performance of Pattern Searching Algorithms on Wildcard Patterns

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Gustav Lindblad; [2023]
    Nyckelord :;

    Sammanfattning : The pattern matching problem is the problem of finding a set of sequential characters in a text of equal amount of characters or more. There are many applications for pattern matching algorithms e.g. search engines and databases. LÄS MER

  5. 4. EMONAS : Evolutionary Multi-objective Neuron Architecture Search of Deep Neural Network

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jiayi Feng; [2023]
    Nyckelord :DNN Deep Neural Network ; NAS Neural Architecture Search ; EA Evolutionary Algorithm ; Multi-Objective Optimization; Binary One Optimization; Embedded Systems; DNN Deep Neural Network ; NAS Neural Architecture Search ; EA Evolutionary Algorithm ; Multi-Objective Optimization; Binary One Optimization; Inbyggda system;

    Sammanfattning : Customized Deep Neural Network (DNN) accelerators have been increasingly popular in various applications, from autonomous driving and natural language processing to healthcare and finance, etc. However, deploying them directly on embedded system peripherals within real-time operating systems (RTOS) is not easy due to the paradox of the complexity of DNNs and the simplicity of embedded system devices. LÄS MER

  7. 5. Implementing and comparing challengers to popular multi-objective algorithms for unit test cases generation

    Kandidat-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Elias Lindfors; [2023]
    Nyckelord :multi-objective; evosuite; genetic; algorithm;

    Sammanfattning : The topic of multi-objective algorithms has been researched for many years, where hundreds of multi-objective algorithms have been developed. With the field of search-based software engineering attracting use-cases, more research on which algorithms are fitting the area is still lacking. LÄS MER