Sökning: "cohen"

Visar resultat 1 - 5 av 49 avhandlingar innehållade ordet cohen.

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

   Författare :Levi Spectre; Peter Pagin; Åsa Wikforss; Stewart Cohen; Stockholms universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Arieh Cohen; Avdelningen för arbets- och miljömedicin; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Ian Cohen; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER

5. 4. 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

7. 5. Exponential integrators for stochastic partial differential equations

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

   Sammanfattning : 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. LÄS MER