This article gives an overview of a normative computational theory of visual receptive fields, by which idealized shapes of early spatial, spatio-chromatic and spatiotemporal receptive fields can be derived in an axiomatic way based on structural properties of the environment in combination with assumptions about the internal structure of a vision system to guarantee consistent handling of imag...

A valid compiler optimisation transforms a block in a program without introducing new observable behaviours to the program as a whole. Deciding which optimisations are valid can be difficult, and depends closely on the semantic model of the programming language. Axiomatic relaxed models, such as C++11, present particular challenges for determining validity, because such models allow subtle effe...

From the perspective of the minimal majority logic proposed by Pauly [12], we investigate the relation between axiomatic social choice theory, the logic of simple games, and neighbourhood semantics. We discuss the importance of the Rudin-Keisler ordering in this context and provide a simple characterisation of the monotonic modal fragment that corresponds to the logic of simple games based on t...

We are living in a world where complexity of systems created and studied by people grows beyond all imaginable limits. Computers, their software and their networks are among the most complicated systems of our time. Science is the only efficient tool for dealing with this overwhelming complexity. One of the methodologies developed in science is the axiomatic approach. It proved to be very power...

Axiomatic Theories and Improving the Relevance of Information Systems Research This paper examines fact that a significant number empirical information systems (IS) studies engage in confirmative testing self-evident axiomatic theories without yielding highly relevant knowledge for IS community. The authors conduct both horizontal analysis 72 representative an in-depth vertical 3 well-known (i....

Factorization homology theories of topological manifolds, after Beilinson, Drinfeld and Lurie, are homology-type theories for topological n-manifolds whose coefficient systems are n-disk algebras or n-disk stacks. In this work we prove a precise formulation of this idea, giving an axiomatic characterization of factorization homology with coefficients in n-disk algebras in terms of a generalizat...