Sökning: "SICS."

Visar resultat 21 - 25 av 71 avhandlingar innehållade ordet SICS..

  1. 21. Designing Affective Loop Experiences

    Författare :Petra Sundström; Kristina Höök; Alex Taylor; John Zimmerman; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Design; Interaction; Communication; Mobile; Emotion; Body; Digital material; Computer and systems science; Data- och systemvetenskap; Man-Machine-Interaction MMI ; människa-maskin-interaktion mmi ;

    Sammanfattning : There is a lack of attention to the emotional and the physical aspects of communication in how we up to now have been approaching communication between people in the field of Human Computer Interaction (HCI). As designers of digital communication tools we need to consider altering the underlying model for communication that has been prevailing in HCI: the information transfer model. LÄS MER

  3. 22. Computational Issues in Calculi of Partial Inductive Definitions

    Författare :Per Kreuger; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER

  4. 23. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

    Författare :Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Computer Science; datavetenskap;

    Sammanfattning : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. LÄS MER

  5. 24. Aspects of proactive traffic engineering in IP networks

    Författare :Anders Gunnar; Mikael Johansson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Automatic control; Reglerteknik;

    Sammanfattning : To deliver a reliable communication service over the Internet it is essential for the network operator to manage the traffic situation in the network. The traffic situation is controlled by the routing function which determines what path traffic follows from source to destination. LÄS MER

  7. 25. Design and Implementation of an OR-Parallel Prolog Engine

    Författare :Mats Carlsson; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER