Any constructive continuous function must have a gradually varied approximation in compact space. However, the refinement of domain for σ−-net might be very small. Keeping the original discretization (square or triangulation), can we get some interesting properties related to gradual variation? In this note, we try to prove that many harmonic functions are gradually varied or near gradually var...

Prolog is traditionally not statically typed. Since the benefits of static typing are huge, it was decided to grow a portable type system inside two widely used open source Prolog systems: SWI-Prolog and Yap. This requires close cooperation and agreement between the two systems. The type system is Hindley-Milner. The main characteristics of the introduction of types in SWI and Yap are that typi...

The gram-negative bacterium Pseudomonas aeruginosa secretes many proteins into its extracellular environment via the type I, II, and III secretion systems. In this study, a gene, chiC, coding for an extracellular chitinolytic enzyme, was identified. The chiC gene encodes a polypeptide of 483 amino acid residues, without a typical N-terminal signal sequence. Nevertheless, an N-terminal segment o...