Sökning: "Equivalence theorem"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden Equivalence theorem.

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  4. 3. Residue currents on analytic spaces

    Författare :Richard Lärkäng; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; analytic spaces; weakly holomorphic functions; residue currents; Coleff-Herrera products; the duality theorem; weakly holomorphic functions;

    Sammanfattning : 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. LÄS MER

  5. 4. Identity of proofs

    Författare :Filip Widebäck; Peter Schroeder-Heister; Stockholms universitet; []
    Nyckelord :Theoretical Philosophy; teoretisk filosofi;

    Sammanfattning : 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. LÄS MER

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

    Författare :Andrew Keith Moran; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER