Mobiles Professionelles Lernen in PRiME Christoph Greven, Mohamed Amine Chatti, Hendrik Thüs, Ulrik Schroeder Lehr- und Forschungsgebiet Informatik 9 RWTH Aachen University AhornstraßeAachen

Source URL: ceur-ws.org

Data Models in Learning Analytics Vlatko Lukarov, Dr. Mohamed Amine Chatti, Hendrik Thüs, Fatemeh Salehian Kia, Arham Muslim, Christoph Greven, Ulrik Schroeder Lehr- und Forschungsgebiet Informatik 9 RWTH Aachen Univers

Source URL: ceur-ws.org

• Education
• Computing
• Educational technology
• Software
• Technical communication
• Business intelligence
• Data management
• Paradata
• Learning analytics
• QTI
• Analytics
• Virtual learning environment

The quaternionic Hopf fibration in HoTT via a modified Cayley-Dickson construction Ulrik Buchholtz, CMU (jww Egbert Rijke) MPIM Bonn, February 12, 2016

Source URL: www.andrew.cmu.edu

Functional interpretation of arithmetical comprehension Ulrik Buchholtz Stanford May 27, 2010

Source URL: www.andrew.cmu.edu

Functional interpretation and inductive definitions Ulrik Buchholtz Stanford February 1, 2011

Source URL: www.andrew.cmu.edu

Theories of proof-theoretic strength ψ(ΓΩ+1) Ulrik Buchholtz Gerhard Jäger Thomas Strahm

Source URL: www.andrew.cmu.edu

Søg Erhvervsuddannelse for Voksne (EUV) Af Ulrik Sølgaard-Nielsen Denne vejledning beskriver, hvordan du søger en Erhvervsuddannelse for Voksne (EUV) på Optagelse.dk. Når du er over 25 år og ønsker en erhvervsudda

Source URL: www.optagelse.dk

Normalization in Intuitionistic Set Theories Ulrik Buchholtz Stanford April 13, 2010

Source URL: www.andrew.cmu.edu

Transfinitely iterated fixpoint theories Ulrik Buchholtz Stanford October 26, 2010

Source URL: www.andrew.cmu.edu

Formalizing forcing arguments in subsystems of second-order arithmetic Ulrik Buchholtz Stanford April 26, 2011

Source URL: www.andrew.cmu.edu