Search for dissertations about: "completeness assumptions"
Showing result 1 - 5 of 6 swedish dissertations containing the words completeness assumptions.
-
1. Logics of Knowledge and Cryptography : Completeness and Expressiveness
Abstract : 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. READ MORE
-
2. Hardness of Approximating Constraint Satisfaction Problems and Their Variants in Presence of Additional Structural Assumptions
Abstract : 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. READ MORE
-
3. Crowded Field Photometry and Luminosity Function Analysis as Probes of Galactic Evolution
Abstract : 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. READ MORE
-
4. Seismicity Analyses Using Dense Network Data : Catalogue Statistics and Possible Foreshocks Investigated Using Empirical and Synthetic Data
Abstract : 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. READ MORE
-
5. On the road to life satisfaction for person's with Parkinsons disease
Abstract : 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). READ MORE