Abstract We present Probabilistic Total Store Ordering (PTSO) – a probabilistic extension of the classical TSO semantics. For given (finite-state) program, operational semantics PTSO induces an infinite-state Markov chain. resolve inherent non-determinism due to process schedulings and memory updates according probability distributions. provide comprehensive set results showing decidability sev...

Graph Neural Networks (GNNs) have been successfully used in many problems involving graph-structured data, achieving state-of-the-art performance. GNNs typically employ a message-passing scheme, which every node aggregates information from its neighbors using permutation-invariant aggregation function. Standard well-examined choices such as the mean or sum functions limited capabilities, they a...

Abstract In a soliton sector of quantum field theory, it is often convenient to expand the fields in terms normal modes. Normal mode creation and annihilation operators can be ordered, their ordered products have vanishing expectation values one-loop ground state. The Hamiltonian however, usually basis which create plane waves. this paper we find Wick map between two orderings. For concreteness...

with considering a ‘triangle of three major currency pairs’, there is a tiny difference between multiplication of exchange rate for the first two currency pairs and the third. to discover whether this little difference can lead to a neutral arbitrage or not, i took portfolios of 35 baskets of three major currency pairs(combinations of all 7 major currencies). there are eight approaches (differe...

One way of 'restricting linguistic theory' is the L-view: place sufficient restrictions on the allowable rules of grammars so as to reduce their generative power. Another way is the G-view: disallow certain grammars, regardless of whether this results in a reduction of generative capacity. The present paper adopts the L-view and, consequently, investigates the generative power of various theori...