Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a Boolean value. The automata-theoretic approach for reasoning about Boolean-valued systems has proven to be very useful and powerful. We develop an automata-theoretic framework for reasoning about multi-valued objects, and describ...

1 We extend previous results on the extraction of the Darwin potential to all orders in c −2 from the radiation gauge Lienard-Wiechert solution for the system of N positive-energy scalar particles plus the electromagnetic field in the Wigner-covariant rest-frame instant form of dynamics to the case of N positive-energy spinning particles. This is done in the semi-classical approximation of usin...

In this paper, we present an efficient numerical method for multiphase image segmentation using a multiphase-field model. The method combines the vector-valued Allen– Cahn phase-field equation with initial data fitting terms containing prescribed interface width and fidelity constants. An efficient numerical solution is achieved using the recently developed hybrid operator splitting method for ...

Let AI, be commutative semlslmple Banach algebras and 1 02 A2 be their projective tensor product. We prove that, if 10 2 is a group algebra (measure algebra) of a locally compact abelian group, then so are A 1 and A2. As a consequence, we prove that, if G is a locally compact abelian group and A is a comutatlve semi-simple Banach algebra, then the Banach algebra LI(G,A) of A-valued Bochner inte...

The paper deals with a path-valued Markov process: the re ecting Brownian snake. It is a particular case of the path-valued process previously introduced by Le Gall. Here the spatial motion is a re ecting Brownian motion in a domain D of R. Using this probabilistic tool, we construct an explicit function v solution of an integral equation which is, under some hypotheses on the regularity of v, ...

We propose a practical unsupervised approach to opinion and sentiment analysis of photo comments with a real-valued strength orientation. We extract two types of opinions: opinions that relate to the photo quality and general sentiments targeted towards objects depicted on the photo. Our approach combines linguistic features for part of speech tagging, traditional statistical methods for modell...

The paper deals with a Markov path-valued process : the reeecting Brownian snake. It is a particular case of the path-valued process former introduced by Le Gall. Here the spatial motion (which is for Le Gall any Markov process) is a reeecting Brownian motion in a domain D of R d. Using this probabilistic tool, we construct an explicit function v solution of an integral equation which is, under...

Situated learning, in which knowledge is gained in the context of authentic problem situations, can help learners acquire experts’ “tricks of the trade,” while mastering program content. A situated learning framework guided the design of a self-study Internet-based continuing education program on using the Internet as a drug information resource. A written survey and semi-structured interviews ...

Let P ,X and Y be Banach spaces. Suppose that f : P ×X → Y is continuously Fréchet differentiable function depend on the point (p, x) and F : X ⇒ 2 is a set-valued mapping with closed graph. Consider the following parametric generalized equation of the form: 0 ∈ f(p, x) + F (x). (1) In the present paper, we study an extended Newton-type method for solving parametric generalized equation (1). In...