Y. M. Van der Linden, MD, Radiation Oncologist E. M. Noordijk, MD, Radiation Oncologist C. A. M. Marijnen, MD, Radiation Oncologist Department of Clinical Oncology P. D. S. Dijkstra, MD, Orthopaedic Surgeon Department of Orthopaedic Surgery H. M. Kroon, MD, Radiologist Department of Radiology J. J. Lok, PhD, Statistician Department of Medical Statistics Leiden University Medical Centre, Albinus...

Nowadays, it is necessary to apply modern techniques for the design of road networks, especially roads passing through ecosystems such as forests, in order to reduce operating costs, prevent further degradation of the environment, increase road efficiency and achieve sustainable development goals. In this paper, a new way of designing the road is presented. New design method has the ability to ...

In order to describe the lactation curves of milk yield (MY) and composition in buffaloes, seven non-linear mathematical equations (Wood, Dhanoa, Sikka, Nelder, Brody, Dijkstra and Rook) were used. Data were 116,117 test-day records for MY, fat (FP) and protein (PP) percentages of milk from the first three lactations of buffaloes which were collected from 893 herds in the period from 1992 to 20...

The last column of the year is dedicated, as always, to a review of distributed computing awards and conferences in 2011. The 2011 Edsger W. Dijkstra Prize in Distributed Computing was awarded to Hagit Attiya, Amotz Bar-Noy, and Danny Dolev, for their fundamental work on Sharing Memory Robustly in Message-Passing Systems , which appeared in the Journal of the ACM (JACM) 42(1):124-142 (1995). Th...

We present novel oracles for networks that obey time-dependent metrics with two unique features: (i) they provably achieve subquadratic preprocessing time and space that is independent of the metric; (ii) they provably achieve query time that is sublinear either on the network size, or on the actual Dijkstra Rank of the query at hand.

This paper presents a technique for translating common comprehension expressions (sum , count , product , min , and max ) into verification conditions that can be tackled by two first-order SMT solvers. The technique has been implemented in the Spec# program verifier. The paper also reports on the experience of using Spec# to verify several challenging programming examples drawn from a textbook...

Dijkstra and Scholten have argued that greater use should be made of the associativity of equivalence. This note shows how the property is used in specifying the rotation of the disks in the well-known Towers of Hanoi problem.  2001 Elsevier Science B.V. All rights reserved.

Ralf Westerhuis,* Suzanne C. van Straaten, † Mieneke G. A. van Dixhoorn,* Nico van Rooijen, ‡ Nicole A. M. Verhagen,* Christine D. Dijkstra, ‡ Emile de Heer, † and Mohamed R. Daha* From the Departments of Nephrology * and Pathology †, Leiden, University Medical Center, University of Leiden, Leiden; and, Department of Cell Biology and Immunology ‡, Medical Faculty, Free University, Amsterdam, Th...

Long term functional outcome and quality of life of patients with refractory juvenile idiopathic arthritis treated with etanercept: results of the Dutch arthritis and biologicals in children register Janneke Anink, Femke HM Prince, Maryanne Dijkstra, Marieke H Otten, Marinka Twilt, Rebecca ten Cate, Simone L Gorter, Yvonne Koopman-Keemink, Marion AJ van Rossum, Esther PA Hoppenreijs, Lisette WA...

Core setting region could facilitate disaster relief and strength communication among setting regions when emergent disaster happens. Shortest path search algorithms could be applied. Dijkstra algorithm is discussed and is improved to solve the confirmation of core setting region. It ensures that the core setting region is the nearest to the farthest region. The improved algorithm turns out to ...