Digital Theology: Is the Resurrection Virtual?

Many recent writers have developed a rich system of theological concepts inspired by computers. This is digital theology. Digital theology shares many elements of its eschatology with Christian post-millenarianism. It promises a utopian perfection via technological progress. Modifying Christian soteriology, digital theology makes reference to four types of immortality. I look critically at each type. The first involves transferring our minds from our natural bodies to superior computerized bodies. The second and third types involve bringing into being a previously living person, or person who has never existed, within an artificial digital environment. The fourth involves promotion of our lives into some higher level computational reality

A New Framework for Network Disruption

Traditional network disruption approaches focus on disconnecting or lengthening paths in the network. We present a new framework for network disruption that attempts to reroute flow through critical vertices via vertex deletion, under the assumption that this will render those vertices vulnerable to future attacks. We define the load on a critical vertex to be the number of paths in the network that must flow through the vertex. We present graph-theoretic and computational techniques to maximize this load, firstly by removing either a single vertex from the network, secondly by removing a subset of vertices.Comment: Submitted for peer review on September 13, 201

Accelerating Nearest Neighbor Search on Manycore Systems

We develop methods for accelerating metric similarity search that are effective on modern hardware. Our algorithms factor into easily parallelizable components, making them simple to deploy and efficient on multicore CPUs and GPUs. Despite the simple structure of our algorithms, their search performance is provably sublinear in the size of the database, with a factor dependent only on its intrinsic dimensionality. We demonstrate that our methods provide substantial speedups on a range of datasets and hardware platforms. In particular, we present results on a 48-core server machine, on graphics hardware, and on a multicore desktop

Dynamic railway junction rescheduling using population based ant colony optimisation

The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link.Efficient rescheduling after a perturbation is an important concern of the railway industry. Extreme delays can result in large fines for the train company as well as dissatisfied customers. The problem is exacerbated by the fact that it is a dynamic one; more timetabled trains may be arriving as the perturbed trains are waiting to be rescheduled. The new trains may have different priorities to the existing trains and thus the rescheduling problem is a dynamic one that changes over time. The aim of this research is to apply a population-based ant colony optimisation algorithm to address this dynamic railway junction rescheduling problem using a simulator modelled on a real-world junction in the UK railway network. The results are promising: the algorithm performs well, particularly when the dynamic changes are of a high magnitude and frequency

Torture as a method of criminal prosecution: Police Brutality, the Militarization of Security and the Reform of Inquisitorial Criminal Justice in Mexico

How can societies restrain their coercive institutions and transition to a more humane criminal justice system? We argue that two main factors explain why torture can persist as a generalized practice in democratic societies: weak institutional protections of the rights of criminal suspects and the militarization of policing, which leads the police to act as if their job were to occupy a war zone. With the use of a large survey of the Mexican prison population and leveraging the date and place of arrest, this paper provides valid causal evidence about how these two explanatory variables shape torture. Our paper provides a grim picture of the survival of authoritarian policing practices in democracies. It also provides novel evidence of the extent to which the abolition of inquisitorial criminal justice institutions - a remnant of colonial legacies and a common trend in the region - has worked to restrain police brutality

Bayesian Networks and Sex-related Homicides

We present a statistical investigation on the domain of sex-related homicides. As general sociological and psychological theory on this specific type of crime is incomplete or even lacking, a data-driven approach is implemented. In detail, graphical modelling is applied to learn the dependency structure and several structure learning algorithms are combined to yield a skeleton corresponding to distinct Bayesian Networks. This graph is subsequently analysed and presents a distinction between an offender and a situation driven crime.Bayesian Networks, structure learning, offender profiling