The coherent structures of a three-dimensional temporally mixing layer and the associated dispersion patterns of particles are numerically studied using a pseud
This paper proposes the concept of generalized L systems, GL systems for short, which can describe asynchronized concurrent phenomena. We have proved that the G
Besides the fact of parity violation in weak interactions, based on evidences from neutrino oscillation and tritium beta decay, a natural conjecture is hat neut
We use a many-sorted language to remove commutativity from phasesemantics of linear logic and show that pure noncommutativeintuitionistic linear propositional l
Power connector, as one kind of fittings, is used to connect power equipment to conductor, conductor to wire or wire to wire in power lines. Owing to its simple
Refutation methods based on the resolution principle aregenerally applied to a (finite) set of sentences, which must have aseries of pre-transformations (prenex