Search for dissertations about: "Johan Lindberg"

Showing result 1 - 5 of 11 swedish dissertations containing the words Johan Lindberg.

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

    Author : Johan Lindberg; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : 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. READ MORE

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

    Author : Johan Lindberg; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

  5. 3. Speech technology for secure transactions

    Author : Johan Lindberg; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

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

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

    Abstract : 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. READ MORE

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

    Author : Johan Lindberg; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : 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. READ MORE