Concurrent traces are sequences of computational steps where independent steps can be permuted and executed in any order. We study the problem of matching on concurrent traces. We give a sound and complete algorithm for matching traces with one variable standing for an unknown subtrace. 1 State-Transition Concurrency Computation in a concurrent system results from the interactions of computing ...

We establish some fundamental relations between Dirac subbundles L for the generalized Courant algebroid (A⊕A, φ+W ) over a differentiable manifold M and the associated Dirac subbubndles L̃ for the corresponding Courant algebroid Ã⊕ Ã over M × IR.

In this paper, we first give the representation of the general solution of the following least-squares problem (LSP): Given matrices X ∈ Rn×p, B ∈ Rp×p and A0 ∈ Rr×r , find a matrix A ∈ Rn×n such that ‖XTAX − B‖ = min, s. t. A([1, r]) = A0, where A([1, r]) is the r×r leading principal submatrix of the matrix A. We then consider a best approximation problem: given an n× n matrix à with Ã([1, r])...

2. Fuzzy stochastic processes First we give some mathematical notations regarding fuzzy numbers. Let (Ω,M, P ) be a probability space, where M is a σ-field and P is a non-atomic probability measure. R denotes the set of all real numbers, and let C(R) be the set of all non-empty bounded closed intervals. A ‘fuzzy number’ is denoted by its membership function ã : R → [0, 1] which is normal, upper...

Ethane hydrogenolysis involves C–C bond rupture in unsaturated species in quasi-equilibrium with gaseous reactants and H 2 on metal clusters, because C–C bonds weaken as C-atoms replace hydrogen with exposed metal atoms from catalyst surfaces. The nature and reactivity of such adsorbed species are probed here using kinetic data and density functional theory (DFT) for the case of Ir surfaces, bu...

High-resolution laser excitation spectroscopy has been used to record the à E-X̃ A1 electronic transition of SrCH3 in a laser ablation/molecular jet source. Transitions arising from the K =1 ←K =0, K =0←K =1, and K =2←K =1 subbands have been observed and assigned. The data were modeled with E and A1 symmetric top Hamiltonian matrices in a Hund’s case a basis, using a least squares fitting progra...

Recently, Bourne constructed a system of three-valued logic that he supposed to replace à Lukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to à Lukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original...

The photodissociation spectroscopy and dynamics of the methoxy radical Ã(A1) r X̃(2E) transition have been investigated using fast radical beam photofragment translational spectroscopy. The à state of both CH3O and CD3O is observed to predissociate via curve crossings with one or more repulsive electronic states. The photofragment yield spectrum consists of the C-O stretch progression and combin...

Human breast cancer cells (MCF-7, maintained in long-term culture) contain separate estrogen receptors specific for either 17/î-estradiol or estrone. Utilizing optimum conditions for the protamine sulfate assay, it has been possible to demonstrate both receptors in the 0.6 M KCI extract of nuclei and in the cytosol. Similarly, in the exchange assay, high-affinity lowcapacity binding sites for ...