Sökning: "Information Sets"

Visar resultat 11 - 15 av 687 avhandlingar innehållade orden Information Sets.

  1. 11. Cooperative anchoring : sharing information about objects in multi-robot systems

    Författare :Kevin LeBlanc; Alessandro Saffiotti; Daniele Nardi; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY; TEKNIKVETENSKAP; Information technology; Informationsteknik; Computer science; Datavetenskap; Computer and Systems Science; Data- och systemvetenskap;

    Sammanfattning : In order to perform most tasks, robots must perceive or interact with physicalobjects in their environment; often, they must also communicate and reasonabout objects and their properties. Information about objects is typically produced,represented and used in different ways in various robotic sub-systems. LÄS MER

  3. 12. Computational and Visual Tools for Geospatial Multi-Criteria Decision-Making

    Författare :Goran Milutinovic; Stefan Seipel; Ulla Ahonen-Jonnarth; S. Anders Brandt; Gennady Andrienko; Högskolan i Gävle; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; geographic information systems; multi-criteria decision-making; interactive visualization; even swaps; Hållbar stadsutveckling; Sustainable Urban Development; Intelligent industri; Intelligent Industry;

    Sammanfattning : Geospatial multi-criteria decision-making usually concerns quasi-continuous choice models, with the number of alternatives constrained only by the limits of the used representation model. This sets high demands on the decision-making methods used in the context. LÄS MER

  4. 13. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures

    Författare :Kjell Winblad; Konstantinos Sagonas; Erez Petrank; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; concurrent data structures; contention adapting; range queries; lock-freedom; adaptivity; linearizability; ordered sets; maps; key-value stores; concurrent priority queues; relaxed concurrent data structures; locks; delegation locking; Computer Science; Datavetenskap;

    Sammanfattning : The multicore revolution means that programmers have many cores at their disposal in everything from phones to large server systems. Concurrent data structures are needed to make good use of all the cores. Designing a concurrent data structure that performs well across many different scenarios is a difficult task. LÄS MER

  5. 14. Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers

    Författare :Alexey Voronov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Industrial Automation; Boolean Satisfiability; Product and Production Development;

    Sammanfattning : Highly customized products and frequent changes in the production systems pose high demands on engineers. The amount of data and the complexity of the relations within the data are high. Thus, it is both error-prone and time consuming to analyze the data without software support. LÄS MER

  7. 15. Pointwise Maximal Leakage : Robust, Flexible and Explainable Privacy

    Författare :Sara Saeidian; Tobias J. Oechtering; Mikael Skoglund; Giulia Cervia; Catuscia Palamidessi; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Privacy; information leakage; pointwise maximal leakage; disclosure prevention; inferential privacy; mechanism design.; Dataintegritet; informationsläckage; punktvist maximalt läckage; avslöjningsprevention; inferentiell dataintegritet; mekanismdesign.; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : For several decades now, safeguarding sensitive information from disclosure has been a key focus in computer science and information theory. Especially, in the past two decades, the subject of privacy has received significant attention due to the widespread collection and processing of data in various facets of society. LÄS MER