We explore in this paper theoretical contributions that are related to Milgram and Kishino’s Reality Virtuality Continuum by conducting a systematic literature review. From study, we draw inspiration for our proposed mathematical formalization of combining multiple Reality-Virtuality Continua single, mixed reality experience. Also, provide definition XR transition protocol. To complete contribu...

We will pursue a way of building up an algebraic structure that involves, in a mathematical abstract way, the well known Grassmann variables. The problem arises when we tried to understand the grassmannian polynomial expansion on the scope of ring theory. The formalization of this kind of variables and its properties will help us to have a better idea of some algebraic structures and the way th...

In this paper, we develop a formalization of a metaphysics of structures and provide new applications to geometry and to metaphysics. We adopt the theory of set-theoretical structures formulated in da Costa and French [15] and in da Costa and Rodrigues [16]. The applications are made in the context of extending the proposal advanced in Caulton and Butterfield [11] to a higher-order metaphysics.

Understanding the Constitution as essential act of a legal system prompts us to seek answers even most difficult questions in it. One them is problem status illegal evidence, use which, although facilitating court proceedings, raises doubts from perspective constitutional principles. Therefore, this study’s task establish such evidence Art. 51.4 Constitution, taking into account theoretical and...

Modern neural networks can assign high confidence to inputs drawn from outside the training distribution, posing threats models in real-world deployments. While much research attention has been placed on designing new out-of-distribution (OOD) detection methods, precise definition of OOD is often left vagueness and falls short desired notion reality. In this paper, we present a formalization mo...

Abstract The compatibility of the Gaia hypothesis with Darwinism is often challenged on grounds that 1) to be potent, natural selection requires existence a population (whereas single entity), and 2) entities forming reproduce (while merely persists). However, using Price equation, I argue, following others, can fit squarely within Darwinian framework because exhibit adaptations if process at l...

A more detailed formalization of part of the QSIM framework has been found to be useful. That formalization is presented here in brief. The new formalization makes it easier to make and prove some useful statements. The formalization of temporal reasoning about continuous systems 7] and the precise deenition of completeness are examples of the usefulness of this formalization.