Microand nano-scale fluid systems can behave very differently from their macro-scale counterparts. Remarkably, there is no sufficiently accurate, computationally efficient, and — most importantly — generally agreed fluid dynamic model that encapsulates all of this important behaviour. The only thing that researchers can agree on is that the conventional Navier-Stokes fluid equations are unable ...

Xantolo is a Mexican tradition in which deceased loved ones are celebrated and honoured through their reenactment. In this paper, we outline a proposed project in which we intend to capture first-person perspectives of Xantolo via a wearable camera, SenseCam. This should give rise to a number of outcomes. Firstly, it will involve the creation of a novel record of Xantolo by capturing a first-pe...

We present a query language, called the Datalog, for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirable, an alternative method for capturing these two features in Datalog based on the idea of program transformation and compilation is proposed. A reduction technique for Datalog programs to Datalog is discussed. The eleganc...

Every government in the world introduced restrictions to human mobility – that is, movement of persons across and within state borders response COVID-19 pandemic. Such thus constituted a global phenomenon, but they were by no means globally uniform; rather, varied significantly between states, as well over time. This research note presents different data sources for studying drivers outcomes re...

Two abstract and computational models of the long-term process of science are proposed: AMS and HAMS. An outline specification of each model is given and the relationship between them explained. AMS takes an Olympian ("artificial world") view of science and its processes. HAMS is simpler and relatively more abstract and comprises only a small set of core processes. A first implementation of HAM...

Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is gi...

This first chapter is mostly informal. The rest of this book has no dependency on this chapter, save the definitions in §7 concerning asymptotic notations. Hence a light reading may be sufficient. We recommend re-reading this chapter after finishing the rest of the book, when many of the remarks here may take on more concrete meaning. An appendix collects useful mathematical concepts that are u...

Quantum mechanics is, viewed purely as a mathematical theory, a generalisation of probability theory (a non-commutative probability theory). Application to a concrete problem however, reduces the theory to a probability theory in the classical sense [1, p. 280]. Quantum Mechanics thus (only) aspires to yield expectation values and probability distributions for the outcomes of statistical experi...