Search

Page 1 of about 974 results.

https://web.math.ku.dk/~asgert/teachingnotes/iml-lecture5.pdf

ARITHMETIZATION OF SYNTAX In the previous lectures we have ...

... bnq P Seq, then. Fpa, b1,...,bnq “ ˚iăafpi, b1,...,bnq def! “ fp0,b1,...,bnq˚¨¨¨˚ fpa ´ 1,b1,...,bnq. Proof. We will return to this in the future, or you can ...

https://di.ku.dk/english/research/phd/phd-theses/.../Niklas_Hjuler_Thesis.pd...

Algorithms, AI, and Big data for Educaion

Jul 2, 2019 ... {chrh,bnq,hjuler,s.alstrup,c.lioma}@di.ku.dk. ABSTRACT. The analysis of log data generated by online educational sys- tems is an important ...

https://www.math.ku.dk/english/research/conferences/.../chermak-obstr.pdf

Existence and Uniqueness of Linking Systems: Chermak's proof via ...

... (b), and Q 6= ∅. The proposition holds for (Γ3,S3,Y,R3,k) by the minimality assumption, and thus Lk(F3;R3) = 0. For Q ∈ Q, J(Q, D) > Y , so Q/Y has ...

https://di.ku.dk/english/research/.../Stephan_Sloth_Lorenzen_Thesis.pdf

Learning from Educational Data

bnq@di.ku.dk chrh@di.ku.dk hjuler@di.ku.dk lorenzen@di.ku.dk pham@di.ku.dk. Abstract: A new Big Data research team called DABAI have been launched in ...

https://geotop.math.ku.dk/research/past_ag.../baunsgaard.msthesis.pdf/

Orthogonality Axioms in Type Theory

Feb 1, 2019 ... • If p : A → B and q : B → C are both orthogonal to X, then so is qp. To see this, note that we can obtain the desired lift iteratively ...

https://web.math.ku.dk/~jakobsen/manus/center-of.pdf

1. Introduction The topics of quantum groups, quantized function ...

Now introduce variables p = a + b and q = b + c. Then the four moves above can be reformulated, in the same order of appearance, and with the same ...

https://web.math.ku.dk/~moller/reprints/memo885.pdf

Automorphisms of Fusion Systems of Finite Simple Groups of Lie Type

Dec 27, 2019 ... Memoirs of the American Mathematical Society. This journal is devoted entirely to research in pure and applied mathematics.

https://forskning.ku.dk/soeg/result/?pure=da/publications/free...

Free molecule studies by perturbed γ-γ angular correlation - Resultat

Mar 11, 2021 ... ... b and Q(¹¹¹Cd,5/2+) = +0.664(7) b. Originalsprog, Engelsk. Artikelnummer, 103001. Tidsskrift, Physical Review Letters. Vol/bind, 126. Udgave ...

https://web.math.ku.dk/~moller/e02/3gt/opg/S29.pdf

Solutions to exercises in Munkres

Apr 21, 2006 ... Theorem 5. Let p: A → B and q: C → D be quotient maps. If B and C are locally compact. Hausdorff spaces then p נ...

https://nbi.ku.dk/english/theses/masters-theses/peter.../peternrtoftnielsen.pdf

Conceptual Modelling of - Climate-Biosphere Interactions

Jan 30, 2008 ... b and q are chosen such that regions with white daisies are cold with a temperature less than the effective temperature, and regions with ...

1 (current)
2
3
4
5
6
7
8
9
10
Next

Find a researcher

Find a researcher