This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and Marine Corps systems for mobile combat network radios. A key factor in this success story has been the collaboration among the researchers of the University of Delaware and the...

Objective: Oxygen-derived free radicals have been implicated in the pathogenesis of spinal cord neuronal injury after both trauma and ischemia-reperfusion. Caffeic acid phenethyl ester (CAPE), an active component of propolis extract, exhibits antioxidant properties. This experimental study was designed to determine the effect of CAPE on ischemia-reperfusion of spinal cord in rabbits. Methods: F...

We have used pulse time-of-flight techniques to examine the phonon emission from an optically excited GaAs/AlAs superlattice structure. For laser excitation wavelengths shorter than 767 nm ~the energy of E1HH1 transition!, we detect a significant longitudinal acoustic phonon component directed in a narrow beam normal to the structure. Under identical excitation conditions, generation of coheren...

Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the requirement of cryptographic key management. This paper examines some security issues on the Internet Key Exchange (IKE) protocol specified in RFC 2409. The investigation is intended for clarifying some specification am...

Background: The p53 gene is an established tumor suppressor and an inducer of apoptosis. We here attempt to determine whether the putative anticarcinogenic properties attributed to red wine and its polyphenolic constituents depend, at least in part, upon their ability to modulate p53 expression in cancer cells. Methods: Three human breast cancer cell lines (MCF-7, T47D; MDA-MB-486) and one huma...

Title: Socioeconomic inequality in periconceptional folic acid supplementation in China: a census of 0.9 million women in their first trimester of pregnancy Authors: Min Liu ([email protected]) Jing Chen ([email protected]) Jue Liu ([email protected]) Shikun Zhang ([email protected]) Qiaomei Wang ([email protected]) Haiping Shen ([email protected]) Yiping Zhang ([email protected]) V...

We observed bound levels of the I8 state in H2 and D2 , confined in the outer well of the lowest Pg adiabatic potential close to its (1s12p) dissociation limit, with an equilibrium internuclear distance of '8 a.u. Rovibronic levels (v50 – 2, J51 – 5 for H2 and v50 – 5, J51 – 6 for D2) are populated with pulsed lasers in resonance enhanced XUV1IR ~extreme ultraviolet1infrared! excitation, and pr...

A thematic analysis of New Zealand’s historical Speeches from the Throne (10 speeches, 1860-1899) investigated rhetorical strategies used by Governors during colonisation, to mobilise both settler and indigenous people’s participation in British Empire. Identity leadership (Reicher & Hopkins, 2001, https://doi.org/10.1111/0162-895X.00246), augmen...

No. 9IKC-A-00246. Terashima, M. (1991) Abundance of acidic amino acids and non-protein amino acids in carbonates and muddy sediments, and their relationship to diagenetic decomposi-tion. Chem. Geol. 90, 123–131. Walther, J. V. and Helgeson, H. C. (1977) Calculation of the thermodynamic properties of aqueous silica and the solubility of quarts and its polymorphs at high pressures andtemp...

We describe procedures for the measurement of the differential-cross-section moments of the velocity distribution of the state-selected products of photoinitiated bimolecular reactions using resonance-enhanced multiphoton ionization REMPI detection and some form of laboratory velocity selection such as time-of-flight mass spectrometry. The relative ionization probability of a single product mol...