We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the pi-calculus. In particular, the induced solo diagrams bear an acyclicity property that induces a faithful encoding into differential intera...

The connection between semi-classical orthogonal polynomials and discrete integrable systems is well established. The earliest example of a discrete integrable system in semi-classical orthogonal polynomials can be attributed first to Shohat in 1939 [16], then second by Freud [10] in 1976. However it wasn’t until the 1990’s, when the focus within integrable systems shifted from continuous to di...

We present in this technical report a non-uniform static analysis for detecting the term-substitution property in systems specified in the language of the applied pi calculus. The analysis implements a denotational framework that has previously introduced analyses for the pi calculus and the spi calculus. The main novelty of this analysis is its ability to deal with systems specified in languag...

According to Gurarii and Matsaev [5], these properties are equivalent, but no proof was ever published. Here is a summary of known results. When n = 1, both properties hold if and only if D is a bounded interval. For PII this is evident, for PI this follows from the results of Tychonov [7]. When n = 2, and D is an angular sector {z : | arg z| < α}, the property PII holds if and only if α < 45◦....

According to Gurarii and Matsaev [5], these properties are equivalent, but no proof was ever published. Here is a summary of known results. When n = 1, both properties hold if and only if D is a bounded interval. For PII this is evident, for PI this follows from the results of Tychonov [7]. When n = 2, and D is an angular sector {z : | arg z| < α}, the property PII holds if and only if α < 45◦....

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their ...

This paper provides necessary conditions and sufficient conditions for the (global) Input-to-State Stability property of simple uncertain vehicular-traffic network models under the effect of a PI-regulator. Local stability properties for vehicular-traffic networks under the effect of PI-regulator control are studied as well: the region of attraction of a locally exponentially stable equilibrium...

We show that if E is a real Banach space such that E′ has the approximation property and such that `1 6↪→ ⊗̂ n,s, E then the set of extreme points of the unit ball of PI(E) is equal to {±φn : φ ∈ E′, ‖φ‖ = 1}. Under the additional assumption that E′ has a countable norming set we see that the set of exposed points of the unit ball of PI(E) is also equal to {±φn : φ ∈ E′, ‖φ‖ = 1}.

This paper studies the impact of the re-importation of imitated pharmaceuticals as a by-product of an open policy toward parallel import (PI) on process innovation. Foreign investment by a firm to exploit a new unregulated market with weak intellectual property rights can give rise to imitation. These products can potentially re-enter the original country when PI is allowed influencing research...

Statistical inference based on the Weibull distribution, a distribution widely used in reliability and survival analysis, is usually difficult as it often involves numerical computation and approximation. However, this distribution can be transformed to near-normality by a simple power transformation. Based on this transformation, a prediction interval (PI) for its median can be easily construc...