Search for dissertations about: "Cohen"

Showing result 1 - 5 of 41 swedish dissertations containing the word Cohen.

  1. 1. Knowledge Closure and Knowledge Openness : A Study of Epistemic Closure Principles

    Author : Levi Spectre; Peter Pagin; Åsa Wikforss; Stewart Cohen; Stockholms universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; knowledge; principle of epistemic closure; knowledge openness; evidence; epistemic principles; skepticism; fallibilism; principles of evidence; evidence openness; dogmatism; safety; chance; Bayesianism; Carnap; Cohen; Dretske; Hawthorne; Hempel; Kripke; Nozick; Pagin; Vogel; Williamson; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    Abstract : The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. READ MORE

  2. 2. Investigation of Modified Cellulose and Starch via Hydrolysis and Mass Spectrometry

    Author : Arieh Cohen; Avdelningen för arbets- och miljömedicin; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; ESI-MS; Polysaccharides; Hydrolysis; Cellulases; Starch Hydrolases; Enzymatic Degradation; Enzymes; Substituent Distribution; Modified Cellulose; Mass Spectrometry; Modified Starch; Analytical chemistry; Analytisk kemi; HPAEC-PAD;

    Abstract : Starches and celluloses can be chemically modified in order to affect their physiochemical properties. Modification of these carbohydrate polymers entails derivatising their free hydroxyl groups with functional groups. READ MORE

  3. 3. Symbolic manipulation methods in general relativity and fluid mechanics

    Author : Ian Cohen; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP;

    Abstract : .... READ MORE

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

    Author : Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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;

    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

  5. 5. Exponential integrators for stochastic partial differential equations

    Author : Rikard Anton; David Cohen; Christian Engström; Stig Larsson; Annika Lang; Umeå universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Stochastic partial differential equations; numerical methods; stochastic exponential integrator; strong convergence; trace formulas;

    Abstract : Stochastic partial differential equations (SPDEs) have during the past decades become an important tool for modeling systems which are influenced by randomness. Because of the complex nature of SPDEs, knowledge of efficient numerical methods with good convergence and geometric properties is of considerable importance. READ MORE