Avancerad sökning

Visar resultat 1 - 5 av 11 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Quantity choices and market power in electricity markets

    Författare :Chloé Le Coq; Handelshögskolan i Stockholm; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : Competitive power markets from different countries exhibit a common market design, especially because of the nature of electricity (lack of storage, inelastic load, and strong seasonal effects on multiple time scales). For example, a majority of countries have created a spot market where electricity is traded hourly. LÄS MER

  3. 2. Formalizing Refinements and Constructive Algebra in Type Theory

    Författare :Anders Mörtberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

    Sammanfattning : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. LÄS MER

  4. 3. Metal homeostasis as critical determinant for cellular fitness

    Författare :Jutta Diessl; Sabrina Büttner; Rajini Rao; Stockholms universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; metal homeostasis; manganese toxicity; coenzyme Q synthesis; mitochondrial respiration; calcineurin signaling; Pmr1; SPCA1; calcium; survival; caloric restriction; Parkinson’s disease models; proteotoxicity; Pep4; cathepsin D; molekylär biovetenskap; Molecular Bioscience;

    Sammanfattning : Metals play a crucial role in cellular biology. Bulk and trace metals such as calcium and manganese regulate a plethora of cellular processes ranging from signaling and oxidative stress to proteostasis and energy metabolism. LÄS MER

  5. 4. Practical Unification for Dependent Type Checking

    Författare :Víctor López Juan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; unification; type checking; dependent types; Functional Programming;

    Sammanfattning : When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. LÄS MER

  7. 5. Constructive Algebra in Type Theory

    Författare :Anders Mörtberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis contains four papers aiming at bridging the gap between algorithms implemented in computer algebra systems and interactive proof assistants. This is done by implementing and verifying efficient algorithms using the Coq proof assistant together with the SSReflect extension. LÄS MER