Search for dissertations about: "dependent types"

Showing result 16 - 20 of 990 swedish dissertations containing the words dependent types.

  2. 16. Socially dependent avoidance learning : mechanisms of adaptive behavior

    Author : Björn Lindström; Karolinska Institutet; Karolinska Institutet; []
    Keywords : ;

    Abstract : Many aspects of human social behavior are likely to be shaped by punishment, threats of punishment, and avoidance of punishment. However, surprisingly little is known about the psychological mechanisms underpinning these influences. READ MORE

  4. 17. Site-Dependent Effects in High-Accuracy Applications of GNSS

    Author : Camilla Granström; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Global Navigation Satellite Systems, GNSS are used in many applications demanding millimetre-level accuracy in positioning. Such applications include monitoring of crustal movements. The GNSS technique also facilitates estimates of the tropospheric water vapour content, an important parameter in numerical weather predictions and climate research. READ MORE

  5. 18. Finite Difference Methods for Time-Dependent Wave Propagation Problems

    Author : Ylva Ljungberg Rydin; Ken Mattsson; Erik Sjöqvist; Magnus Svärd; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Finite differences; Wave propagation problems; Summation-by-parts; Simultaneous approximation term; High-order accuracy; Deforming domains; Point sources; Scientific Computing; Beräkningsvetenskap;

    Abstract : Wave propagation models are essential in many fields of physics, such as acoustics, electromagnetics, and quantum mechanics. Mathematically, waves can be described by partial differential equations (PDEs).  In most cases, exact solutions to wave-dominated PDEs are nearly impossible to derive. READ MORE

  6. 19. Absorbing boundary techniques for the time-dependent Schrödinger equation

    Author : Anna Nissen; Gunilla Kreiss; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Beräkningsvetenskap med inriktning mot numerisk analys; Scientific Computing with specialization in Numerical Analysis;

    Abstract : Chemical dissociation processes are important in quantum dynamics. Such processes can be investigated theoretically and numerically through the time-dependent Schrödinger equation, which gives a quantum mechanical description of molecular dynamics.This thesis discusses the numerical simulation of chemical reactions involving dissociation. READ MORE

  7. 20. Protein kinase C-dependent regulation of the epithelial barrier

    Author : Anita Sjö; Linköpings universitet; []
    Keywords : MEDICINE; MEDICIN;

    Abstract : The intestinal epithelium is essential for the absorption of nutrients and for the defence against harmful substances in the gut. The permeability and barrier functions of epithelia are mainly controlled by the intercellular tight junctions. READ MORE