DVD 1

In [BCP15] we gave a Kripke counterexample to the constructive provability of Theorem 6.1 for non-functional Kan simplicial sets, showing that the appeal to classical logic in

In addition to the Statistics and Biostatistics group at the faculty of Mathematics and Natural Sciences, it consists of the Department of Biostatistics at the Medical Faculty and

Mathematical research is conducted within other institutions as well, such as teaching colleges and specialized research institutes (SINTEF and Norwegian Computing Center being

From May to July 2004, photographer Camilla Damgård was engaged in pictorially documenting smoking behaviour both before and after the new law came into effect on June 1, 2004..

The influence by the architect behind the Royal Palace, Hans Ditlev Franciscus Linstow, through the introduction of his favourite Swiss style for wooden houses, set the stage for

Long-term Defence planning may be defined and stated as a process that investigates possible future operating environments and develops a force structure development plan to best

The speed of the striation patterns along an array can be related to the target speed, taking account of the target’s track with its offset and course in relation to the

3.1 Evolution of costs of defence 3.1.1 Measurement unit 3.1.2 Base price index 3.2 Operating cost growth and investment cost escalation 3.3 Intra- and intergenerational operating