in this work, we report synthesis of silver nanoplates by a simple reduction process of silver nitrate in the presence of polyvinyl alcohol (pva) and n,n'-dimethyl formamide (dmf). the characterization of the samples were carried out using x-ray diffraction (xrd), transmission-electron microscopy (tem) and uv-vis spectroscopy. absorption spectra of the nanoplates in comparison with that of...

removal of artifacts from bio-signals is a necessary step before automatic processing and obtaining clinical information. recently, many applications of empirical mode decomposition (emd) on biomedical researches have been presented that artifact reduction from bio-signals is one of them. emd separates a time series into finite numbers of its individual oscillations, which are called intrinsic ...

This paper introduces an operational semantics for call-by-need reduction in terms of Milner's-calculus. The functional programming interest lies in the use of-calculus as an abstract yet realistic target language. The practical value of the encoding is demonstrated with an outline for a parallel code generator. From a theoretical perspective, the-calculus representation of computational strate...

A formulation of semantic theories for processes which is based on reduction relation and equational reasoning is studied. The new construction can induce meaningful theories for processes, both in strong and weak settings. The resulting theories in many cases coincide with, and sometimes generalise, observation-based formulation of behavioural equivalence. The basic construction of reduction-b...