Sökning: "completeness assumptions"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden completeness assumptions.

1. 1. Logics of Knowledge and Cryptography : Completeness and Expressiveness

   Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

   Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER

3. 2. Hardness of Approximating Constraint Satisfaction Problems and Their Variants in Presence of Additional Structural Assumptions

   Författare :Aleksa Stankovic; Johan Håstad; Per Austrin; Luca Trevisan; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Hardness of Approximation; Approximation Algorithms; Label Cover; Vertex Cover; Unique Games Conjecture; Max-3-Lin; Universal Factor Graphs; Regular Constraint Satisfaction Problems; Inapproximerbarhet; Approximationsalgoritm; Label Cover; Vertex Cover; Unique Games Conjecture; Max-3-Lin; Universell Faktorgraf; Regelbundna Begränsningsproblem; Datalogi; Computer Science;

   Sammanfattning : This thesis studies how the approximability of some fundamental computational problems is affected by some additional requirements on the structure of the inputs. The problems studied in this thesis belong or are closely related to constraint satisfaction problems (CSPs), which are considered to be one of the most fundamental problems in theoretical computer science. LÄS MER

4. 3. Crowded Field Photometry and Luminosity Function Analysis as Probes of Galactic Evolution

   Författare :Ralph Snel; Astronomi - Genomgår omorganisation; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Astronomy; observational; Methods: data analysis; statistical - Techniques: photometric - Stars: luminosity function; imaging; evolution - Galaxies: stellar content; mass function; space research; cosmic chemistry; Astronomi; rymdvetenskap; kosmisk kemi; Fysicumarkivet A:1998:Snel;

   Sammanfattning : Crowded field photometry is a powerful method to investigate stellar evolutionary processes in astrophysically interesting regions such as nearby external galaxies and globular cluster cores. While detectors are approaching the physical limits for photon detection, data analysis methods for crowded stellar fields are not yet equally sophisticated. LÄS MER

5. 4. Seismicity Analyses Using Dense Network Data : Catalogue Statistics and Possible Foreshocks Investigated Using Empirical and Synthetic Data

   Författare :Angeliki Adamaki; Roland Roberts; Beata Orlecka-Sikora; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Statistical Seismology; Earthquake Catalogue Statistics; Seismicity Patterns; Precursors; Foreshocks; Στατιστική Σεισμολογία; Κατάλογοι Σεισμών; Μοτίβα Σεισμικότητας; Πρόδρομα Φαινόμενα; Προσεισμοί; Geofysik med inriktning mot seismologi; Geophysics with specialization in Seismology;

   Sammanfattning : Precursors related to seismicity patterns are probably the most promising phenomena for short-term earthquake forecasting, although it remains unclear if such forecasting is possible. Foreshock activity has often been recorded but its possible use as indicator of coming larger events is still debated due to the limited number of unambiguously observed foreshocks. LÄS MER

7. 5. On the road to life satisfaction for person's with Parkinsons disease

   Författare :Lina Rosengren; Rehabiliteringsmedicin; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Parkinson s disease; Life satisfaction; Adaptation; Qualitative approaches; Sense of Coherence;

   Sammanfattning : Parkinson’s disease (PD) is one of the most common neurodegenerative disorders. The motor and non-motor symptoms of PD lead to a number of consequences in everyday life for persons with PD (PwPD). LÄS MER