Avancerad sökning

Visar resultat 1 - 5 av 647 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Neural control of locomotion in biological and robotic systems

    Författare :Tom Wadden; Holk Cruse; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; datalogi; Computer Science;

    Sammanfattning : .... LÄS MER

  3. 2. Conditional Inapproximability and Limited Independence

    Författare :Per Austrin; Johan Håstad; Ryan O'Donnell; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Sammanfattning : Understanding the theoretical limitations of efficient computation is one of the most fundamental open problems of modern mathematics. This thesis studies the approximability of intractable optimization problems. In particular, we study so-called Max CSP problems. LÄS MER

  4. 3. Logics for Information Flow Security:From Specification to Verification

    Författare :Musard Balliu; Mads Dam; David Naumann; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; Datalogi;

    Sammanfattning : Software is becoming  increasingly  ubiquitous and today we find software running everywhere. There is software driving our favorite  game  application or  inside the web portal we use to read the morning  news, and   when we book a vacation. LÄS MER

  5. 4. Social Networks and Privacy

    Författare :Oleksandr Bodriagov; Sonja Buchegger; Melek Ӧnen; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; social networks; privacy; decentralized; encryption-based access control; Computer Science; Datalogi;

    Sammanfattning : Centralized online social networks pose a threat to their users’ privacy as social network providers have unlimited access to users’ data. Decentralized social networks address this problem by getting rid of the provider and giving control to the users themselves, meaning that only the end-users themselves should be able to control access of other parties to their data. LÄS MER

  7. 5. Source Code Representations of Deep Learning for Program Repair

    Författare :Zimin Chen; Martin Monperrus; Benoit Baudry; Zhendong Su; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Code Representation; Deep Learning; Program Repair; Datalogi; Computer Science;

    Sammanfattning : Deep learning, leveraging artificial neural networks, has demonstrated significant capabilities in understanding intricate patterns within data. In recent years, its prowess has been extended to the vast domain of source code, where it aids in diverse software engineering tasks such as program repair, code summarization, and vulnerability detection. LÄS MER