-
GeoTree: a data structure for constant time geospatial search enabling a real-time mix-adjusted median property price index
Authors:
Robert Miller,
Phil Maguire
Abstract:
A common problem appearing across the field of data science is $k$-NN ($k$-nearest neighbours), particularly within the context of Geographic Information Systems. In this article, we present a novel data structure, the GeoTree, which holds a collection of geohashes (string encodings of GPS co-ordinates). This enables a constant $O\left(1\right)$ time search algorithm that returns a set of geohashe…
▽ More
A common problem appearing across the field of data science is $k$-NN ($k$-nearest neighbours), particularly within the context of Geographic Information Systems. In this article, we present a novel data structure, the GeoTree, which holds a collection of geohashes (string encodings of GPS co-ordinates). This enables a constant $O\left(1\right)$ time search algorithm that returns a set of geohashes surrounding a given geohash in the GeoTree, representing the approximate $k$-nearest neighbours of that geohash. Furthermore, the GeoTree data structure retains $O\left(n\right)$ memory requirement. We apply the data structure to a property price index algorithm focused on price comparison with historical neighbouring sales, demonstrating an enhanced performance. The results show that this data structure allows for the development of a real-time property price index, and can be scaled to larger datasets with ease.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Smart Parking: IoT and Blockchain
Authors:
Abdul Wahab,
Phil Maguire
Abstract:
Distributed ledger technology and IoT has revolutionized the world by finding its application in all the domains. It promises to transform the digital infrastructure which powers extensive evolutions and impacts a lot of areas. Vehicle parking is a major problem in major cities around the world in both developed and develo** countries. The common problems are unavailability or shortage of parkin…
▽ More
Distributed ledger technology and IoT has revolutionized the world by finding its application in all the domains. It promises to transform the digital infrastructure which powers extensive evolutions and impacts a lot of areas. Vehicle parking is a major problem in major cities around the world in both developed and develo** countries. The common problems are unavailability or shortage of parking spaces, no information about tariff and no mean of searching availability of parking space online. The struggle doesn't end even if an individual finds a spot, he is required to pay in cash. This traditional and manual process takes a lot of time and causes a lot of hassle. In this paper, we provide a novel solution to the parking problem using IoT and distributed ledger technology. This system is based on pervasive computing and provides auto check-in and check-out. The user can control the system and their profile using the app on their smartphone. The major advantage of the system is an easy and online payment method. Users can pay for their parking tickets using their credit cards from their smartphone app. This decreases their hassle of carrying cash and coins for purchasing parking tickets. Smart Parking will optimize the parking mechanism, save time, reduce traffic and pollution, and provide an enhanced user experience. It is robust, secure, scalable and automated using the combination of cutting-edge technologies.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Lock-Free Hopscotch Hashing
Authors:
Robert Kelly,
Barak A. Pearlmutter,
Phil Maguire
Abstract:
In this paper we present a lock-free version of Hopscotch Hashing. Hopscotch Hashing is an open addressing algorithm originally proposed by Herlihy, Shavit, and Tzafrir, which is known for fast performance and excellent cache locality. The algorithm allows users of the table to skip or jump over irrelevant entries, allowing quick search, insertion, and removal of entries. Unlike traditional linear…
▽ More
In this paper we present a lock-free version of Hopscotch Hashing. Hopscotch Hashing is an open addressing algorithm originally proposed by Herlihy, Shavit, and Tzafrir, which is known for fast performance and excellent cache locality. The algorithm allows users of the table to skip or jump over irrelevant entries, allowing quick search, insertion, and removal of entries. Unlike traditional linear probing, Hopscotch Hashing is capable of operating under a high load factor, as probe counts remain small. Our lock-free version improves on both speed, cache locality, and progress guarantees of the original, being a chimera of two concurrent hash tables. We compare our data structure to various other lock-free and blocking hashing algorithms and show that its performance is in many cases superior to existing strategies. The proposed lock-free version overcomes some of the drawbacks associated with the original blocking version, leading to a substantial boost in scalability while maintaining attractive features like physical deletion or probe-chain compression.
△ Less
Submitted 7 November, 2019;
originally announced November 2019.
-
Concurrent Robin Hood Hashing
Authors:
Robert Kelly,
Barak A. Pearlmutter,
Phil Maguire
Abstract:
In this paper we examine the issues involved in adding concurrency to the Robin Hood hash table algorithm. We present a non-blocking obstruction-free K-CAS Robin Hood algorithm which requires only a single word compare-and-swap primitive, thus making it highly portable. The implementation maintains the attractive properties of the original Robin Hood structure, such as a low expected probe length,…
▽ More
In this paper we examine the issues involved in adding concurrency to the Robin Hood hash table algorithm. We present a non-blocking obstruction-free K-CAS Robin Hood algorithm which requires only a single word compare-and-swap primitive, thus making it highly portable. The implementation maintains the attractive properties of the original Robin Hood structure, such as a low expected probe length, capability to operate effectively under a high load factor and good cache locality, all of which are essential for high performance on modern computer architectures. We compare our data-structures to various other lock-free and concurrent algorithms, as well as a simple hardware transactional variant, and show that our implementation performs better across a number of contexts.
△ Less
Submitted 14 November, 2018; v1 submitted 12 September, 2018;
originally announced September 2018.
-
A Computational Theory of Subjective Probability
Authors:
Phil Maguire,
Philippe Moser,
Rebecca Maguire,
Mark Keane
Abstract:
In this article we demonstrate how algorithmic probability theory is applied to situations that involve uncertainty. When people are unsure of their model of reality, then the outcome they observe will cause them to update their beliefs. We argue that classical probability cannot be applied in such cases, and that subjective probability must instead be used. In Experiment 1 we show that, when judg…
▽ More
In this article we demonstrate how algorithmic probability theory is applied to situations that involve uncertainty. When people are unsure of their model of reality, then the outcome they observe will cause them to update their beliefs. We argue that classical probability cannot be applied in such cases, and that subjective probability must instead be used. In Experiment 1 we show that, when judging the probability of lottery number sequences, people apply subjective rather than classical probability. In Experiment 2 we examine the conjunction fallacy and demonstrate that the materials used by Tversky and Kahneman (1983) involve model uncertainty. We then provide a formal mathematical proof that, for every uncertain model, there exists a conjunction of outcomes which is more subjectively probable than either of its constituents in isolation.
△ Less
Submitted 8 May, 2014;
originally announced May 2014.
-
Is Consciousness Computable? Quantifying Integrated Information Using Algorithmic Information Theory
Authors:
Phil Maguire,
Philippe Moser,
Rebecca Maguire,
Virgil Griffith
Abstract:
In this article we review Tononi's (2008) theory of consciousness as integrated information. We argue that previous formalizations of integrated information (e.g. Griffith, 2014) depend on information loss. Since lossy integration would necessitate continuous damage to existing memories, we propose it is more natural to frame consciousness as a lossless integrative process and provide a formalizat…
▽ More
In this article we review Tononi's (2008) theory of consciousness as integrated information. We argue that previous formalizations of integrated information (e.g. Griffith, 2014) depend on information loss. Since lossy integration would necessitate continuous damage to existing memories, we propose it is more natural to frame consciousness as a lossless integrative process and provide a formalization of this idea using algorithmic information theory. We prove that complete lossless integration requires noncomputable functions. This result implies that if unitary consciousness exists, it cannot be modelled computationally.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.