In the context of an inflationary Randall-Sundrum Type II braneworld (RS2) we calculate spectral indices and amplitudes of cosmological scalar and tensor perturbations, up to second order in slow-roll parameters. Under very simple assumptions, extrapolating next-order formulas from first-order calculations in the case of a de Sitter brane, we see that the degeneracy between standard and branewo...

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept i...

Hoare and He’s Unifying Theories of Programming (UTP) is a framework that facilitates the integration of relational theories. None of the UTP theories of object orientation, however, supports recursion, dynamic binding, and compositional method definitions all at the same time. In addition, most of them are defined for a fixed language and do not lend themselves easily for integration with othe...