Capitalizing on the Koran to fuel online violent radicalization: A taxonomy of Koranic references in ISIS’s Dabiq

The current study set out to investigate to what extent ISIS is bolstering its jihadist ideology on a ‘cut-and-paste’ or ‘cherry-picked’ version of Islam in their renowned online propaganda magazine Dabiq. The main objective was to examine in a systematic and quantitative way to what extent ISIS utilizes the Koran in an atomistic, truncated and tailored manner to bolster its religious legitimacy. A total of 15 issues of Dabiq and 700 Koranic references were scrutinized. By means of a quantitative analysis we developed an innovative taxonomy of Koranic chapters and verses (i.e. surahs and ayat, respectively) on the basis of their appearance in Dabiq. Our large-scale data analysis provide consistent empirical evidence for severe decontextualization practices of the Koran in three ways: (1) a thin, Medinan-dominated religious layer, (2) ayah mutilation, and (3) clustered versus exclusive mentions. Limitations and implications for future research, policy makers and CVE initiatives are discussed.     

Large neighborhood search for the bike request scheduling problem

This paper introduces an efficient algorithm for the bike request scheduling problem (BRSP). The BRSP is built around the concept of request, defined as the pickup or dropoff of a number of identical items (bikes) at a specific station, within a certain time window, and with a certain priority. The aim of the BRSP is to sequence requests on (and hence determine the routes of) a set of vehicles, in such a way that the sum of the priorities of the executed requests is maximized, all time windows are respected, and the capacity of the vehicles is not exceeded. The generation of the set of requests is explicitly not a part of the problem definition of the BRSP. The primary application of the BRSP, from which it derives its name, is to determine the routes of a set of repositioning vehicles in a bike sharing system, although other applications exist. The algorithm introduced in this paper is based on a set of related greedy randomized adaptive search procedure followed by variable neighborhood descent (GRASP + VND) operators embedded in a large neighborhood search (LNS) framework. Since this paper presents the first heuristic for the BRSP, a computational comparison to existing approaches is not possible. We therefore compare the solutions found by our LNS heuristic to those found by an exact solver (Gurobi). These experiments confirm that the proposed algorithm scales to realistic dimensions and is able to find near‐optimal solutions in seconds.     

Sensei: Enforcing secure coding guidelines in the integrated development environment

We discuss the potential benefits, requirements, and implementation challenges of a security-by-design approach in which an integrated development environment plugin assists software developers to write code that complies with secure coding guidelines. We discuss how such a plugin can enable a company's policy-setting security experts and developers to pass their knowledge on to each other more efficiently, and to let developers more effectively put that knowledge into practice. This is achieved by letting the team members develop customized rule sets that formalize coding guidelines and by letting the plugin check the compliance of code being written to those rule sets in real time, similar to an as-you-type spell checker. Upon detected violations, the plugin suggests options to quickly fix them and offers additional information for the developer. We share our experience with proof-of-concept designs and implementations rolled out in multiple companies, and present some future research and development directions.     

A model for the frequency of extreme river levels based on river dynamics

A new model for predicting the frequency of extreme river levels is proposed which encapsulates physical knowledge about river dynamics. The central idea is the use of continuous time stochastic processes that use hydrological equations and ergodic theory to model extreme events, rather than relying on statistical fits of classical models to local maximum data. A simple example shows how changes in discharge characteristics change the extreme river level frequencies. Solutions are provided for special cases, and directions for more general techniques are provided.     

Metal uptake by young trees from dredged brackish sediment: limitations and possibilities for phytoextraction and phytostabilisation

Five tree species (Acer pseudoplatanus L., Alnus glutinosa L. Gaertn., Fraxinus excelsior L., Populus alba L. and Robinia pseudoacacia L.) were planted on a mound constructed of dredged sediment. The sediment originated from a brackish river mouth and was slightly polluted with heavy metals. This preliminary study evaluated the use of trees for site reclamation by means of phytoextraction of metals or phytostabilisation. Although the brackish nature of the sediment caused slight salt damage, overall survival of the planted trees was satisfactory. Robinia and white poplar had the highest growth rates. Ash, maple and alder had the highest survival rates (>90%) but showed stunted growth. Ash, alder, maple and Robinia contained normal concentrations of Cd, Cu, Pb and Zn in their foliage. As a consequence these species reduce the risk of metal dispersal and are therefore suitable species for phytostabilisation under the given conditions. White poplar accumulated high concentrations of Cd (8.0 mg kg(-1)) and Zn (465 mg kg(-1)) in its leaves and might therefore cause a risk of Cd and Zn input into the ecosystem because of autumn litter fall. This species is thus unsuitable for phytostabilisation. Despite elevated metal concentrations in the leaves, phytoextraction of heavy metals from the soil by harvesting stem and/or leaf biomass of white poplar would not be a realistic option because it will require an excessive amount of time to be effective.     

Engineering the Rural Idyll: Road Construction and the Peri-urban Landscape in Belgium, 1925–1940

As in many other Western countries, the road network in Belgium was subject to an extensive modernisation project during the interbellum period. This paper analyses how this project affected the relationship between the road and landscape. In the absence of a comprehensive landscape project for road construction from the government, other parties played an important role in defining the road's relation to the landscape. Through their publications, images and discourses, an idealised image of landscape—a rural idyll—became interwoven with the narrative of the modern road. We will first position this Belgian project vis-à-vis other road projects abroad, and describe why landscape was a non-issue for the Belgian government and its engineers. Subsequently, we will examine how other parties—the road association, the construction industry, urban planners and architects—appropriated fragments of landscape to frame or support their own projects.     

A dynamic programming approach for economic optimisation of lifetime-extending maintenance,renovation, and replacement of public infrastructure assets under differential inflation

In the next decades, many public infrastructure assets will reach the end of their life that they were originally designed for. Replacement costs are high, and therefore increasing effort is put into lifetime-extending maintenance, including major overhauls and renovations. A key question is whether the investments in lifetime-extending maintenance justify the postponement of a full replacement. This question becomes more complicated when future life cycle cash flows are non-repeatable. Differential inflation and technological change, including multiple intervention strategies to maintain a desired functionality, cause such non-repeatability. In this case, classic replacement analysis techniques will not suffice in answering this question. Literature demonstrates that case-specific modelling with dynamic or linear programming techniques is required to find economic optimisation. However, such literature primarily addresses replacement interval optimisation of new investments within relative short time horizons, whereas the current research develops a nested dynamic programming (DP) approach for typical ageing infrastructure assets over long service life periods. The model can deal with multiple and various successive intervention strategies and addresses differential inflation and age-related cost increases. Finally, it is shown in an infrastructure case study that this DP approach leads to a better decision in comparison to the application of classical replacement techniques.