The classical Haar construction of Brownian motion uses a binary tree of triangular wedge-shaped functions. This basis has compactness properties which make it especially suited for certain classes of numerical algorithms. We present a similar basis for the Ornstein-Uhlenbeck process, in which the basis elements approach asymptotically the Haar functions as the index increases, and preserve the...

The Kesten-Stigum Theorem is a fundamental criterion for the rate of growth of a supercritical branching process, showing that an L log L condition is decisive. In critical and subcritical cases, results of Kolmogorov and later authors give the rate of decay of the probability that the process survives at least n generations. Through a uniied approach, we give conceptual proofs of these theorem...

We provide a classification of noninterference-based security properties for the formal analysis of secure information flow in concurrent and distributed systems. This is done in the setting of a process algebra modeling some Linda coordination primitives (asynchronous communication and read operation). For this purpose, we define relaxed notions of behavioural equivalence that take into accoun...

The industrial applications of fuzzy logic controllers (FLC) for complex, nonlinear, time varying processes with time delay mark a considerable progress. It is inspired by the recent theoretical achievements in the FLC’s design and tuning related to system stability and robustness. The design and the FLC simplicity are of crucial importance. There exists an easy design and tuning procedure for ...

This paper presents a new process-centered environment called “concurrent software process language” (CSPL). CSPL takes a unique and innovative approach to integrate the object-oriented Ada95-like syntax (for its modeling power) with Unix shell semantics (for its enactment capability) in a software process language. This paper depicts the following new CSPL features: 1) object orientation, 2) m...

BACKGROUND Biomedical ontologies usually encode knowledge that applies always or at least most of the time, that is in normal circumstances. But for some applications like phenotype ontologies it is becoming increasingly important to represent information about aberrations from a norm. These aberrations may be modifications of physiological structures, but also modifications of biological proce...

Cadmium oxide rhombus-shaped nanostructure was synthesized using hydrothermal process followed by heating treatment. Clearly, X-ray diffraction pattern demonstrated the formation of CdO crystalline phase. Scanning electron microscopy (SEM) showed that the obtained rhombus-like structure is composed of nanoparticles with the average size of 29 nm. In addition, we evaluated adsorption of org...

bone like hydroxyapatite (nhap) was synthesized via an in situ biomimetic process in presence of wheat starch. the effect of polymer concentration alteration on the final structure of nhap was investigated. formation of the nhap at room temperature was confirmed by x-ray diffraction (xrd) and fourier transform infrared spectroscopy (ft-ir). size and morphology of the nhap samples were character...

as a new precursor, [tris(2-hydroxyacetophenato) triaqua(iii)], [y(hap)3(h2o)3]; complex was used in thermal decomposition process for the synthesis of rod-like high-temperature ceramic ybco with length of about 320-350 nm and diameters 60–90 nm. the as-synthesized products were characterized by xrd, ft-ir, tem, sem and edx analyses. the results showed that by using fine raw materials, the calc...

Vermiculture is the culture of earthworms. The goal is to continually increase the number of worms in order to obtain a sustainable harvest. The worms are either used to expand a vermicomposting operation or sold to customers who use them for the same or other purposes. Vermicomposting is the process by which worms are used to convert organic materials (usually wastes) into a humus-like materia...