Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation. The Java implementation generated by the translation function u...

A suspension-point interferometer (SPI) is an auxiliary interferometer for active vibration isolation, implemented at the suspension points of the mirrors of an interferometric gravitational wave detector. We constructed a prototype Fabry-Perot interferometer equipped with an SPI and observed vibration isolation in both the spectrum and transfer function. The noise spectrum of the main interfer...

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation. Since the generated Java implementation uses a custom Java libr...

Thirty-six Salmonella enterica serovar Typhi-specific genes, absent from the Salmonella enterica serovar Typhimurium genome, that were expressed in human macrophages were identified by selective capture of transcribed sequences. These genes are located on 15 unique loci of the serovar Typhi genome, including Salmonella pathogenicity islands (SPI-7, SPI-8, and SPI-10) and bacteriophages (ST15, S...

Retinoic acid receptors (RAR) belong to the same nuclear receptor superfamily as thyroid hormone receptors (TR) that were previously shown to be modulated by dietary soy protein isolate (SPI). This study has examined the effect of dietary SPI and isoflavones (ISF) on hepatic RAR gene expression and DNA binding activity. In Expt. 1, Sprague-Dawley rats were fed diets containing 20% casein or 20%...

Software development is in constant change. New software development strategies, methods, processes, and tools are constantly introduced and taken in use. Simultaneously, the growth and importance of software has accelerated, and software has become a fundamental part of a whole range of different products. Software development strategies are changing as well: globally distributed software deve...

The multistage process of cancer formation is driven by the progressive acquisition of somatic mutations. Replication stress creates genomic instability in mammals. Using a well-defined multistep leukemia model driven by Spi-1/PU.1 overexpression in the mouse and Spi-1/PU.1-overexpressing human leukemic cells, we investigated the relationship between DNA replication and cancer progression. Here...

Software Process Improvement (SPI) is an approach to systematic and continuous improvement of a software development organisation’s ability to develop quality software. SPI requires improvement trough learning and knowledge creation around software development processes. Knowledge management (KM) is therefore an important component of a successful SPI effort. Many SPI programs are often based o...

Quite a lot of attention has been paid in the literature on “how to adopt” software process improvement (SPI) in Small and Medium Size (SME) software organization in several countries. This has resulted in limited improvements to the software industry and impacted the Saudi’s economy. However, the SPI adoption is one of the major issues in the domain of small and medium size software organizati...

This study was to develop novel soy protein isolate-based films for packaging using halloysite nanotubes (HNTs), poly-vinyl alcohol (PVA), and 1,2,3-propanetriol-diglycidyl-ether (PTGE). The structural, crystallinity, opacity, micromorphology, and thermal stability of the resultant SPI/HNTs/PVA/PTGE film were analyzed by the Attenuated total reflectance-Fourier transformed infrared (ATR-FTIR) s...