Motivated by Ying’ work on automata theory based on quantum logic (Ying, M. S. (2000). International Journal of Therotical Physics, 39(4): 985–996; 39(11): 2545– 2557) and inspired by the close relationship between the automata theory and the theory of formal grammars, we have established a basic framework of grammar theory on quantum logic and shown that the set of l-valued quantum regular lan...

Some common fixed point theorems for Cq-commuting generalized nonexpansive mappings have been proved in metric spaces. As applications, invariant approximation results are also obtained. The results proved in the paper extend and generalize several known results including those of M. Abbas and J.K. Kim [Bull. Korean Math. Soc. 44(2007) 537-545], I. Beg, N. Shahzad and M. Iqbal [Approx. Theory A...

Astronomy is not in the list of natural sciences aimed at by the Nobel awards. In spite of that, there were, throughout the 1930s until the early 1950s, effective moves by important scientists to distinguish Hubble with the Prize. A short report on these attempts is made as well as speculation on what would be the citation for the prize in view of the broad range of Hubble's scientific achievem...

A Smarandachely k-signed graph (Smarandachely k-marked graph) is an ordered pair S = (G,σ) (S = (G,μ)), where G = (V, E) is a graph called the underlying graph of S and σ : E → (e1, e2, · · · , ek) (μ : V → (e1, e2, · · · , ek)) is a function, where each ei ∈ {+,−}. Particularly, a Smarandachely 2-singed graph or 2-marked graph is called abbreviated to a singed graph or a marked graph. We chara...

Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far away planet. Would their mathematics be setbased? What are the alternatives to the set-theoretic foundation of mathematics? Besides, set theory seems to play a significant role in computer science, in particular in database the...

On Se xua l R eproduction a s a Ne w Cr i t ique of the Theory of Natur a l Sele ct ion

The t r i g g e r i n g o f the Liquid-gas phase t r a n s i t i o n i n hot nuclear matter by quantum and s t a t i s t i c a l f l u c t u a t i o n s i s s tud ied i n a microscopic approach t o nucleation, which i s a f luid-dynamical vers ion o f the imaginary t ime dependent mean f i e l d theory a t f i n i t e temperature.

This paper presents a method for an on-chip fast and accurate broadband determination of MEMS behaviour. This technique is based on impulse response (IR) evaluation using pseudo-random Maximum–Length Sequences (MLS). The MLS approach is capable of providing vastly superior dynamic range in comparison to the straightforward technique using an impulse excitation and is thus an optimal solution fo...