Sökning: "theoretical computer science"

Visar resultat 11 - 15 av 70 uppsatser innehållade orden theoretical computer science.

  1. 11. Teaching Cloud Deployment

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

    Författare :Hannah Farjami; Simon Agartz Nilbrink; [2019]
    Nyckelord :cloud computing; Platform-as-a-Service; cloud deployment; cloud services; Heroku; Cloud Foundry; OpenShift; education.; Molntjänster; driftsättning; molnet; plattform-som-en-tjänst Heroku; Cloud Foundry; OpenShift; utbildning;

    Sammanfattning : In today’s IT-landscape cloud computing is one of the hottest topics. There are many emerging uses and technologies for the cloud. Deployment of applications is one of the main usages of the cloud today. This has led to companies giving developers more responsibilities with deployment. LÄS MER

  3. 12. Rättsäker Textanalys

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Henrik Svensson; Kalle Lindqvist; [2019]
    Nyckelord :linguistics; language processing;

    Sammanfattning : Digital språkbehandling (natural language processing) är ett forskningsområde inom vilketdet ständigt görs nya framsteg. En betydande del av den textanalys som sker inom dettafält har som mål att uppnå en fullgod tillämpning kring dialogen mellan människa ochdator. LÄS MER

  4. 13. Rättssäker Textanalys

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Henrik Svensson; Kalle Lindqvist; [2019]
    Nyckelord :digital text analysis; digital språkbehandling; natural language processing; nlp; datorlingvistik; datalingvistik; computational linguistics; rättssäkerhet;

    Sammanfattning : Digital språkbehandling (natural language processing) är ett forskningsområde inom vilketdet ständigt görs nya framsteg. En betydande del av den textanalys som sker inom dettafält har som mål att uppnå en fullgod tillämpning kring dialogen mellan människa ochdator. LÄS MER

  5. 14. Solving Temporal CSPs via Enumeration and SAT Compilation

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Leif Eriksson; [2019]
    Nyckelord :CSP; Algorithms;

    Sammanfattning : The constraint satisfaction problem (CSP) is a powerful framework used in theoretical computer science for formulating a  multitude of problems. The CSP over a constraint language Γ (CSP(Γ)) is the decision problem of verifying whether a set of constraints based on the relations in Γ admits a satisfying assignment or not. LÄS MER

  7. 15. Verifying Temporal Properties Using Deductive Verifiers

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

    Författare :Jesper Amilon; Axel Lindeberg; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. LÄS MER