Calcium elenolate is a multifunctional monoterpene which can be isolated from acid-hydrolyzed aqueous extracts of various parts of olive plants. Viruses tested in this study were: Coxackievirus A21, parainfluenza 3 virus, herpesvirus (MRS), pseudorabies virus, vesicular stomatitis virus, encephalomyocarditis virus, Newcastle virus (GB), poliovirus 1,2,and 3, influenza A virus (PR8), Sindbis vir...

We present KeY-ABS, a tool for deductive verification of concurrent and distributed programs written in ABS. KeY-ABS allows to verify data dependent and history-based functional properties of ABS models. In this paper we give a glimpse of system workflow, tool architecture, and the usage of KeY-ABS. In addition, we briefly present the syntax, semantics and calculus of KeY-ABS Dynamic Logic (ABS...

s ...................................................................................................................................19 R. Arvidson: Mars Exploration and Importance of Spectroscopic Observations [abs. 2003] J. Bishop, M. Lane, E. Murad: The Power of Combining Multiple Spectroscopic Techniques for Mineral Identification on Mars and the Necessity of Lab and Field Study of Analog M...

Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment issues should be taken into account already at the early stages of development. This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be ...

A container used in contact lens cleaning requires a Pt plating weight of 1.5 mg for H₂O₂ decomposition although Pt is an expensive material. Techniques that decrease the amount of Pt are therefore needed. In this study, Pt nanoparticles instead of Pt plating film were supported on a substrate of acrylonitrile-butadiene-styrene copolymer (ABS). This was achieved by the reduction of Pt ions in a...

Bismuth sulfide nano-rods and nano-flowers were synthesized via a hydrothermal reaction at a relatively low temperature. Thioglycolic acid is used as sulfur source and capping agent simultaneously. Bi2S3 nanostructures were then added to acrylonitrile-butadiene-styrene (ABS) copolymer. The thermal stability behavior of ABS filled with bismuth sulfide nano-rods were investigated by thermogravime...

The fluorescent treponemal antibody absorption (FTA-ABS) double-staining (DS) test has been developed for microscopes equipped with incident illumination, and the procedure offers many advantages over the FTA-ABS test when tests are performed with this equipment. In this study, 346 fresh sera, including 35 from patients with syphilis, were evaluated by the FTA-ABS DS test. Parameters for invest...

Model nonlinearity, structured and unstructured uncertainties as well external disturbances are some of the most important challenges in controlling wheel slip moving vehicles. Based on interval type-2 fuzzy neural network, we construct an indirect exponential sliding-mode (ESM) controller for improving performance vehicle antilock braking systems (VABSs) face uncertainties. Lyapunov stability ...

Lupus nephritis (LN) remains the most common severe manifestation of systemic lupus erythematosus (SLE) characterized by the presence of autoantibodies (Abs) that are believed to play a central role in the pathogenesis of LN. Among more than 100 Abs reported in SLE, only a few display a direct glomerular binding capacity. Such antiglomerular Abs are detected at the onset of the disease before a...