Search for dissertations about: "Equivalence theorem"

Showing result 1 - 5 of 14 swedish dissertations containing the words Equivalence theorem.

  2. 1. Achievement tests and optimal design for pretesting of questions

    Author : Mahmood Ul Hassan; Frank Miller; Steven Gilmour; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Achievement test; Equivalence theorem; Exchange algorithm; Item calibration; Item response theory model; Optimal experimental design; Statistics; statistik;

    Abstract : Achievement tests are used to measure the students' proficiency in a particular knowledge. Computerized achievement tests (e.g. GRE and SAT) are usually based on questions available in an item bank to measure the proficiency of students. READ MORE

  4. 2. Koszul duality for categories and a relative Sullivan-Wilkerson theorem

    Author : Hadrien Espic; Gregory Arone; Alexander Berglund; Bjørn Dundas; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Koszul duality; categories; Yoneda algebra; operads; dg modules; homotopy automorphisms; Sullivan-Wilkerson; arithmetic group; matematik; Mathematics;

    Abstract : This PhD thesis consists in a collection of three papers on Koszul duality of categories and on an analogue of the Sullivan-Wilkerson theorem for relative CW-complexes.In Paper I, we define a general notion of Koszul dual in the context of a monoidal biclosed model category. READ MORE

  5. 3. Residue currents on analytic spaces

    Author : Richard Lärkäng; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : analytic spaces; weakly holomorphic functions; residue currents; Coleff-Herrera products; the duality theorem; weakly holomorphic functions;

    Abstract : This thesis concerns residue currents on analytic spaces. In the first paper, we construct Coleff-Herrera products and Bochner-Martinelli type currents associated with a weakly holomorphic mapping, and show that these currents satisfy well-known properties from the strongly holomorphic case. READ MORE

  6. 4. Identity of proofs

    Author : Filip Widebäck; Peter Schroeder-Heister; Stockholms universitet; []
    Keywords : Theoretical Philosophy; teoretisk filosofi;

    Abstract : In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of proofs. The conjecture can be divided into two parts, a soundness part and a completeness part. READ MORE

  7. 5. Call-by-name, Call-by-need, and McCarthy's Amb

    Author : Andrew Keith Moran; Chalmers University of Technology; []
    Keywords : ;

    Abstract : This dissertation examines the behaviour of McCarthy's amb in both a call-by-name and call-by-need context. Instead of following the usual denotational approach, we choose to explore the operational alternative. The languages involved are higher-order, and contain algebraic datatypes. READ MORE