1948 search results - page 91 / 390 » Formalizing Mirror Theory |
138
click to vote
CORR
2000
Springer
15 years 5 months ago
2000
Springer
The probability distribution P from which the history of our universe is sampled represents a theory of everything or TOE. We assume P is formally describable. Since most (uncount...
171
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
121
click to vote
COGSR
2010
15 years 12 days ago
2010
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
122
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
133
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...