Search for dissertations about: "Datalogi"

Showing result 21 - 25 of 643 swedish dissertations containing the word Datalogi.

  2. 21. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management

    Author : Karl Palmskog; Mads Dam; Rocco De Nicola; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; distributed objects; decentralization; implementation correctness; network protocols; object mobility; Computer Science; Datalogi;

    Abstract : The Internet as of 2014 connects billions of devices, and is expected to connect tens of billions by 2020. To meet escalating requirements, networks must be scalable, easy to manage, and be able to efficiently execute programs and disseminate data. The prevailing use of centralized systems and control in, e.g. READ MORE

  4. 22. Efficient Use of Exponential Size Linear Programs

    Author : Lukas Polacek; Johan Håstad; Nikhil Bansal; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; approximation algorithms; linear programming; allocation problems; Computer Science; Datalogi;

    Abstract : In the past decades, linear programming (LP) has been successfully used to develop approximation algorithms for various optimization problems. In particular, the so-called assignment LP has lead to substantial progress for various allocation problems, including scheduling unrelated parallel machines. READ MORE

  5. 23. Perspectives on Assessment in Introductory Computer Science Courses : Exploring and Comparing Experiences of Students, Teaching Assistants, and Course Coordinators

    Author : Emma Riese; Viggo Kann; Olle Bälter; Stefan Stenbom; Johan Thorbiörnson; Päivi Anneli Kinnunen; KTH; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Assessment; introductory programming; CS1; teaching assistants; TAs; students; course coordinators; TA training; Datalogi; Computer Science;

    Abstract : Assessments of students' performances, including providing the students with feedback, are central parts of course design in higher education. These assessments can be carried out in different ways and with different purposes. READ MORE

  6. 24. On Long Proofs of Simple Truths

    Author : Kilian Risse; Per Austrin; Johan Håstad; Jakob Nordström; Benjamin Rossman; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computational Complexity; Lower Bounds; Proof Complexity; Datalogi; Computer Science;

    Abstract : Propositional proof complexity is the study of certificates of infeasibility. In this thesis we consider several proof systems with limited deductive ability and unconditionally show that they require long refutations of the feasibility of certain Boolean formulas. READ MORE

  7. 25. Toward Privacy-Preserving Decentralised Systems

    Author : Guillermo Rodríguez-Cano; Sonja Buchegger; Johan Boye; Matteo Magnani; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; decentralised information systems; distributed systems; privacy; social networks; decentraliserade informationssystem; distribuerade system; integritet; sociala nätverk; sistemas de información descentralizados; sistemas distribuidos; privacidad; redes sociales; Computer Science; Datalogi;

    Abstract : Privacy enhancing technologies have proven to be a beneficial area of research lessening the threats users' privacy in centralised systems such as online social networks. Decentralised solutions have been proposed to extend the control that users have over their data as opposed to the centralised massive collection of personal and sensitive data. READ MORE