Sökning: "Johan Lindberg"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden Johan Lindberg.

  1. 1. On H2 and H-infinity Optimal Control of Mass-Spring Networks with Power System Applications

    Författare :Johan Lindberg; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Electric power systems are undergoing huge changes due to the shift from conventional power production to more renewable-based generation like solar and wind. This is primarily driven by the need to mitigate climate change by reducing CO2 emissions. LÄS MER

  3. 2. Ecological engineering for treatment of contaminated groundwater : two examples

    Författare :Johan Lindberg; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  4. 3. Speech technology for secure transactions

    Författare :Johan Lindberg; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 4. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER

  7. 5. Structural studies of bacterial polysaccharides using N.M.R. spectroscopy and mass spectrometry

    Författare :Johan Lindberg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This work describes the structural studies of the capsularpolysaccharides from Streptococcus pneumoniae type 18F and 7B,Alcaligenes ATCC 31961 (S-194), and the O-antigen polysaccharidefrom Vibrio cholerae 0:3.The principal methods used in these studies were ID and 2D n.m.r. LÄS MER