Several stream processing and reasoning systems have emerged in the last decade, motivated by the need to process large volumes of data on the fly, as they are generated, to timely extract relevant knowledge. Despite their differences, all these systems isolate the data that is relevant for processing using (fixed size) windows that typically capture the most recent data and assume its validity...

Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system lifetime if faults are eliminated periodically by proactive recovery. The periodic rejuvenation of stateful replicas requires the transfer and validation of the replica state. This paper presents two novel efficient st...

Soliton theory has achieved great success during the last decades; it is being applied to mathematics, physics, biology, astrophysics, and other potential fields [1–12]. The diversity and complexity of soliton theory enable investigators to do research from different views, such as Hamiltonian structure, self-consistent sources, conservation laws, and various solutions of soliton equations. In ...

Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theoretic planning for specifying the behavior of an agent or robot. In this paper we show a method to reduce the planning time for decision-theoretic planning in the Readylog framework. Instead of planning policies on th...

The spatial distribution of the emission in the v = 1-0 S ( 1) line of H 2 in the planetary nebula NOC 7027 is presented. The excited H2 molecules do not fill the same volume as the ionized gas and most likely reside near the outer edge of the nebula. The spatial resolution of the data, 51(, is insufficient to define the location of the molecules precisely. An upper limit to the strength of the...

A sticky spheres model to describe slow dynamics of a non-equilibrium system is proposed. The dynamical slowing down is due to the presence of entropy barriers. An exact steady state analysis of the representative mean field equations, in the case when the clusters are chosen with the samè a priori probability, demonstrates a non-equilibrium phase transition from an exponential cluster size dis...

The generalized one-dimensional Schriidinger equation d2#/dx2 + k2H( x) ‘4 =P(x)# is considered. The nonuniqueness is studied in the recovery of the function P(x) when the scattering matrix, H(x), and the bound state energies and norming constants are known. It is shown that when the reflection coefficient is unity at zero energy, there is a one-parameter family of functions P(x) corresponding ...

Supersymmetric QED hydrogen-like bound states are remarkably similar to non-supersymmetric hydrogen, including an accidental degeneracy of the fine structure and which is broken by the Lamb shift. This article classifies the states, calculates the leading order spectrum, and illustrates the results in several limits. The relation to other non-relativistic bound states is explored. Work supporte...

In-vehicle information management is vital in intelligent traffic systems. In this paper we motivate an architecture for ontology-based context-aware reasoning for in-vehicle information management. An ontology is essential for system standardization and communication, and ontology-based reasoning allows context-awareness, inference and advanced reasoning capabilities. However, the amount of co...

The two heavy quarks in a baryon which contains two heavy quarks and a light one, can constitute a scalar or axial vector diquark. We study electromagnetic radiations of such baryons, (i) Ξ(bc)1 → Ξ(bc)0 + γ, (ii) Ξ∗(bc)1 → Ξ(bc)0 + γ, (iii) Ξ ∗∗ (bc)0 (1/2, l = 1) → Ξ(bc)0 + γ, (iv) Ξ∗∗ (bc)0(3/2, l = 1) → Ξ(bc)0 + γ and (v) Ξ ∗∗ (bc)0 (3/2, l = 2) → Ξ(bc)0 + γ, where Ξ(bc)0(1) ,Ξ ∗ (bc)1 are ...