This is a continuation of our study of the foundations of D-branes from the viewpoint of Grothendieck in the region of the related Wilson’s theory-space where “branes” are still branes. In this work, we focus on D-strings and construct the moduli stack of morphisms from Azumaya prestable curves C with a fundamental module E to a fixed target Y of a given combinatorial type. Such a morphism give...

Light sensing starts with phototransduction in photoreceptor cells. The phototransduction cascade has diverged in different species, such as those mediated by transducin in vertebrate rods and cones, by G(q)-type G protein in insect and molluscan rhabdomeric-type visual cells and vertebrate photosensitive retinal ganglion cells, and by G(o)-type G protein in scallop ciliary-type visual cells. H...

Given an essential semilattice congruence \(\equiv\) on the left weak order of a \linebreak Coxeter group \(W\), we define stack-sorting operator \({\bf S}_\equiv:W\to W\) by \({{\bf S}_\equiv(w)=w\big(\pi_\downarrow^\equiv(w)\big)^{-1}}\), where \(\pi_\downarrow^\equiv(w)\) is unique minimal element class containing \(w\). When sylvester symmetric \(S_n\), S}_\equiv\) West's map. descent pop-s...

We investigate three-dimensional quantum turbulence as described by the Gross-Pitaevskii model using analytical method exploited in Onsager "ideal turbulence" theory. derive scale-independence of scale-to-scale kinetic energy flux and establish a double-cascade scenario: at scales much larger than mean intervortex $\ell_i$, Richardson cascade becomes dominant, whereas smaller another type is in...

Stack-based languages, such as PostScript, present a major challenge to static analysis techniques because of their almost unlimited polymorphism. We introduce a regular expression notation that is used to represent allowed combinations of types on the stack at different points in a PostScript program. Our abstract interpretation algorithm may then be used to perform static type analysis. The a...

Region-based memory management has been proposed as a viable alternative to garbage collection for real-time applications and embedded software. In our previous work we have developed a region type inference algorithm that provides an automatic compile-time region-based memory management for object-oriented paradigm. In this work we present a formal soundness proof of the region type system tha...

The computer simulation program of a practical scale reverse electrodialysis process has been developed based on the program for saline water electrodialysis. The program is applied to compute the performance of an industrial-scale reverse electrodialysis stack (effective membrane area S = 1 m × 1 m = 1 m2, cell pair number N = 300 pairs). The stack operatingconditions are optimized. Seaw...