Showing 2015Show all
3 papers · 1 filter
cs.LO2015
Linear Models of Computation and Program Learning
Michael Bukatin, Steve Matthews
We consider two classes of computations which admit taking linear combinations of execution runs: probabilistic sampling and generalized animation. We argue that the task of progra…
cs.LO2015
Mathematics of Domains
Michael A. Bukatin
Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent dat…
gr-qc2015
Barbero-Immirzi parameter as a solution of the simplicity constraints
Leonid Perlov, Michael Bukatin
In this paper we naturally obtain the values of the Barbero-Immirzi parameter as the solution of the simplicity constraints rather than setting it a priori. Particularly the Main t…