Results 181 to 190 of about 73,865 (284)

Counterexample-Guided Commutativity

We consider the use of commutativity-based reduction for the algorithmic verification of concurrent programs. In existing work, the commutativity relation used for the reduction is mostly fixed statically.
Ebbinghaus, Marcel, Klumpp, Dominik, Podelski, Andreas   +2 more
core   +1 more source

Whole-to-parts causation mechanism. [PDF]

Front Psychol
Ohmura Y, Kuniyoshi Y.
europepmc   +1 more source

Quantum-like cognition and decision-making in the light of quantum measurement theory. [PDF]

Philos Trans A Math Phys Eng Sci
Fuyama M, Khrennikov A, Ozawa M.
europepmc   +1 more source

An Abstract Domain for Heap Commutativity (Extended Version)

Commutativity of program code (i.e. the equivalence of two code fragments composed in alternate orders) is of ongoing interest in many settings such as program verification, scalable concurrency, and security analysis.
Koskinen, Eric, Pincus, Jared
core  

Neural state reduction: a quantum-inspired framework for how latent conscious thought becomes reportable. [PDF]

Front Comput Neurosci
Pradeep AK.
europepmc   +1 more source

On a commutative extension of a commutative Banach algebra [PDF]

Pacific Journal of Mathematics, 1958
openaire   +3 more sources

A Tale of Two Principles-Towards a Relational Perspective on the Free Energy Principle. [PDF]

Entropy (Basel)
Guénin-Carlut A.
europepmc   +1 more source

Commutators and commutator subgroups

Advances in Mathematics, 1982
openaire   +1 more source

Platonic Projection Structures: Operator-Induced Observability in Representation Learning. [PDF]

Entropy (Basel)
Ishii K, Gautam BP, Wu J, Javaid S.
europepmc   +1 more source

Self-produced signs in decision-making and contextual correlations. [PDF]

Front Psychol
Trieste L, Turchetti G.
europepmc   +1 more source