Let HilbS be the Hilbert scheme of g points on a K3 surface S. Suppose that PicS = ZC where C is a smooth curve with C = 2(g − 1)n. We prove that HilbS is a Lagrangian fibration.

Scientific reasoning is a key skill in academic contexts and may be trained with interactive learning tasks, that require learners to explicitly give reasons for their solution. We provide a general, mathematically motivated algebraic model for reasoning tasks that enables computer-based analysis of answers and feedback generation, especially in the case of tasks that have distinct permissible ...

The NTP network is an important part of the Internet’s infrastructure, and one of the most challenging times for the NTP network is around leap seconds. In this paper we look at the behaviour of public servers in the NTP network in 2005 and over the period from 2008 to present, focusing on leap seconds. We review the evolution of the NTP reference implementation with respect to leap seconds and...

Reasons for a successful or unsuccessful implementation of infection prevention and control (IPC) guidelines are often multiple and interconnected. This article reviews key elements from the national to the individual level that contribute to the success of the implementation of IPC measures and gives perspectives for improvement. Governance approaches, modes of communication and formats of gui...

0

Immunos 99 is a classification algorithm based upon the principles of Artificial Immune Systems (AIS). AIS algorithms can provide alternatives to classical techniques such as decision trees for classification tasks. Immunos 99 provides one alternative however the algorithm and implementations have some room for performance improvement. This paper discusses improvements made to Immunos 99 and it...

This paper presents a scheme for generating the Pareto front of multiobjective optimization problems by solving a sequence of constrained single-objective problems. Since the necessity of determining the constraint value a priori can be a serious drawback of the original epsilon-constraint method, our scheme generates appropriate constraint values adaptively during the run. A simple example pro...

BACKGROUND Accurate and timely patient handovers from hospital to other health care settings are essential in order to provide high quality of care and to ensure patient safety. We aim to investigate the effect of a comprehensive discharge bundle, the Transfer Intervention Procedure (TIP), on the time between discharge and the time when the medical, medication and nursing handovers are sent to ...

This thesis is a part of a bigger research vision called Progress which aims at providing component based techniques for the development of realtime embedded systems. It starts research of the runtime structures of the Progress component model. The thesis aims at identifying necessary questions about the internal structure of virtual nodes and about the supporting mechanisms needed to run virtu...

The operational management of healthcare services is expected to directly touch patient experiences. Iranian Ministry of Health and Medical Education (MoHME) for the first time, as such, has sought to improve the operational management of healthcare delivery within a reform agenda by setting benchmarks for ‘number of visit per hour’ and waiting time in outpatient clinics of about 700 affiliated...