Search for dissertations about: "dependent"

Showing result 1 - 5 of 8051 swedish dissertations containing the word dependent.

  2. 1. Non-Orthogonality and Electron Correlations in Nanotransport : Spin- and Time-Dependent Currents

    Author : Jonas Fransson; Antti-Pekka Jauho; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Physics; non-orthogonality; non-equilibrium; transport; nanosystem; quantum dot; spin-dependent; renormalization; Green function; diagram technique; many-body states; Hubbard operator; electron correlations; time-dependent; Fysik; icke-ortogonal; icke-jämvikt; transport; nanosystem; kvantprick; spinberoende; renormering; Green-funktion; diagramteknik; mångkropparstillstånd; Hubbadoperator; elektronkorrelationer; tidsberoende; Physics; Fysik; Fysik; Physics;

    Abstract : The concept of the transfer Hamiltonian formalism has been reconsidered and generalized to include the non-orthogonality between the electron states in an interacting region, e.g. quantum dot (QD), and the states in the conduction bands in the attached contacts. READ MORE

  4. 2. Adhesion Dependent Signals : Cell Survival, Receptor Crosstalk and Mechanostimulation

    Author : Anjum Riaz; Staffan Johansson; Bengt Hallberg; Uppsala universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Integrins; Signal transduction; Protein kinase B; Akt; PI3K; Heparanase; ROS; Mechanosignalling; Molekylär cellbiologi; Molecular Cellbiology; Biology with specialization in Molecular Cell Biology; Biologi med inriktning mot molekylär cellbiologi; Cellforskning; Cell Research;

    Abstract : The integrin family of cell surface receptors is evolutionary conserved and found in all multicellular animals. In humans 8-alpha and 18-beta integrins are non-covalently associated into 24 dimers. Integrins mediate cell-extracellular matrix and cell-cell interactions and participate in cell signalling. READ MORE

  5. 3. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Author : Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE

  6. 4. Practical Unification for Dependent Type Checking

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

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

  7. 5. Recognition failure of recallable words : a cue-dependent view

    Author : Tore Ärlemalm; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Teknisk psykologi; Engineering Psychology;

    Abstract : .... READ MORE