There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs to eliminate bugs such as deadlocks and local assertion violations. Of all approaches, dynamic verification is most practical for MPI. Since the number of interleavings of concurrent programs grow exponentially, we devise a dynamic interleaving reduction algorithm (dynamic partial order reduc...

If one considers life on Earth since its very beginning, three levels of organization can be distinguished: the phylogenetic level concerns the temporal evolution of the genetic programs within individuals and species, the ontogenetic level concerns the developmental process of a single multicellular organism, and the epigenetic level concerns the learning processes during an individual organis...

The effect of 12 surfactants on aflatoxin production, growth, and conidial germination by the fungus Aspergillus flavus is reported. Five nonionic surfactants, Triton X-100, Tergitol NP-7, Tergitol NP-10, polyoxyethylene (POE) 10 lauryl ether, and Latron AG-98, reduced aflatoxin production by 96 to 99% at 1% (wt/vol). Colony growth was restricted by the five nonionic surfactants at this concent...

The importance of Post-Occupancy Evaluation (POE) surveys is paramount in understanding building performance and evaluating building technologies. However, only a small percentage of completed buildings go through a POE. A reason is that clients and non-specialist designers often do not see the value POE can add, and consider it a specialist pursuit. This paper presents ways developed to addres...

This paper explains the new concept of buffered probability of exceedance (bPOE). Through averaging of data in the tail, bPOE compactly presents probability as well as loss value of the tail and has the capability to revolutionize the concept of risk-averse engineering. bPOE is demonstrated using tropical storm damage along the Atlantic and Gulf of Mexico coasts of the USA from 1900 to 2013 (av...

Opposite the title page of J. W. Ocker’s Poe-Land: The Hallowed Haunts Edgar Allan Poe, readers will find a photograph snowman made up like harbinger what is to follow in this modern-day travel book that entertainingly describes places associated with life and works Poe. It by fan Poe for fans written decidedly engaging style. “I Poe,” says Ocker his introduction. “So there’ll be lot hagi ograp...

The effects of four nonionic and two anionic surfactants on cucumber protoplasts were examined by light and electron microscopy. Two nonionic surfactants, polyoxyethylene (POE) (n=10) nonylphenylether and POE (n=5) laurylether, caused swelling of protoplasts, followed by their bursting. The bursting gave more destructive effects preferentially on lamellar structures of chloroplasts than the swe...

This exploratory study aimed to develop and test a quick, easily administered instrument, the Index of Problematic Online Experiences (I-POE). The goal of the I-POE extends beyond assessing for Internet overuse to broadly assess problematic Internet use across several domains and activities. Data was collected from 563 college students from a Northern New England university using an online surv...

We have developed the Rabbit Corneal Epithelial (RCE) Model to evaluate the in vitro eye irritation potential of chemicals including pharmaceuticals, cosmetics and their raw ingredients. In the model, a stratified culture of rabbit corneal epithelial cells is grown at the air-liquid interface on an amnion acting as a parabasal membrane. The alkaline exposure was restored each day in the presenc...

Distributed representations allow the effective number of Gaussian components in a mixture model, or state of an HMM, to be increased without dramatically increasing the number of model parameters. Various forms of distributed representation have previously been investigated. In this work it shown that the product of experts (PoE) framework may be viewed as a distributed representation when the...