Recent research has pointed out the importance of the inequational exchange law (P ∗Q) ; (R∗S) ≤ (P ;R)∗ (Q ;S) for concurrent processes. In particular, it has been shown that this law is equivalent to validity of the concurrency rule for Hoare triples. Unfortunately, the law does not hold in the relationally based setting of algebraic separation logic. However, we show that under mild conditio...

On the significance of quantum effects and interactions for the apparent universality of Bloch laws for M s (T) Abstract The apparent universality of Bloch's T 3/2-law for the temperature dependence of the spontaneous magnetisation, and of generalizations thereof, is considered. It is argued that in the derivation one should not only consider the exchange interaction between the spins, but also...

On the significance of quantum effects and interactions for the apparent universality of Bloch laws for M s (T) Abstract The apparent universality of Bloch's T 3/2-law for the temperature dependence of the spontaneous magnetisation, and of generalizations thereof, is considered. It is argued that in the derivation one should not only consider the exchange interaction between the spins, but also...

On the significance of quantum effects and interactions for the apparent universality of Bloch laws for M s (T) Abstract The apparent universality of Bloch's T 3/2-law for the temperature dependence of the spontaneous magnetization, and of generalizations thereof, is considered. It is argued that in the derivation one should not only consider the exchange interaction between the spins, but also...

This paper studies the response of the nominal exchange rate to monetary shocks in an economy with consumption home bias (CHB) and sticky wages. The importance of accounting for the exchange rate with CHB are twofold. CHB is a consequence of the small open economy assumption when outputs are specialized and fluctuations in the relative price of traded goods generate deviations from purchasing p...

The reason for this exercise is to argue that the following equation, which we call the “Law of Vector Fields,” is fated to play a central role in mathematics. These theorems are all easy consequences of the law of vector fields. The proofs are so mechanical that one could say that the Law of Vector Fields is a generalization of each of them. The Law of Vector Fields is the following: Let M be ...

Multilingualism is a phenomenon which greatly affects the efficiency of information exchange among people in every sector of life. Cross-language retrieval systems are tools that contribute to such exchange, supporting research and worldwide communication, helping to search for data irrespective of the language in which information objects are expressed. In particular, in the domain of law a va...