Trace,failure and testing equivalences for communicating processes

A basic question in the theory of communicating processes is “When should two processes be considered equivalent?”. Attempts to answer this question have led to the concepts of observation equivalence, bisimulations, testing equivalence, failure equivalence, etc. The main point of this paper is to increase the understanding and motivation for two of these equivalences, namely failure and testing equivalences. The approach starts with the idea that the equivalence of processes should be reducible to the visible sequences of actions which a process performs in various contexts. This idea is implemented by a string-based semantic order for communicating processes where divergence is catastrophic. Under some assumptions about contexts, the resulting semantics is shown to be equivalent to theimproved failure semantics of Brookes and Roscoe⁽¹⁾ and also to themust testing-semantics of Hennessy and DeNicola.^(2–4) This characterization gives independent support for the appropriateness of failures and testing.     

Distribution of diethylstilboestrol in pigs

The synthetic growth promoter diethylstilboestrol (DES) administered orally to pigs can be detected by radioimmunoassay (RIA) analysis of kidney, liver, faeces, bile and urine from animals fed continuously to slaughter, but not in muscle, fat or plasma. If treated animals are fed on material not containing DES for 72 h prior to slaughter, then the levels of parent compound and metabolite in all products decrease to become not significantly greater than those in control animals. The gross metabolism of DES in pigs and bovines appears to be similar.     

Treating smokers before the quit date: can nicotine patches and denicotinized cigarettes reduce cravings?

The present study investigated whether treatment with the combination of denicotinized cigarettes and 21-mg nicotine patch for 2 weeks before a designated quit date could lessen cravings for smoking, thereby helping smokers abstain from smoking. The study was a randomized controlled clinical trial conducted at Roswell Park Cancer Institute, Buffalo, New York, in 2004 and 2005. Patients included 98 adult heavy smokers (using 20 or more cigarettes/day). Half of the subjects received 2 weeks of combination of denicotinized cigarettes (Quest 3) and 21-mg nicotine patch for 2 weeks before the quit date. The remaining smokers were switched to light cigarettes (Quest 1) during the 2 weeks before the quit date. After the quit date, all subjects received counseling for smoking cessation and were provided nicotine patches for up to 8 weeks after the quit date. Self-reported cravings for smoking, withdrawal symptoms, and smoking abstinence were measured at predetermined intervals using phone-based surveys and in clinical visits. The group that used denicotinized cigarettes and nicotine patch before quitting reported less frequent and less intense cravings for cigarettes in the 2 weeks before and after the designated quit date. Self-reported withdrawal symptoms and quit rates did not differ significantly between the groups. The use of a denicotinized cigarette combined with the nicotine patch appears to lessen cravings to smoke in the immediate postcessation period. A larger, better-powered study is needed to test if this treatment combination has merit for increasing quit rates.     

An empirical investigation of socio-cultural factors of information sharing in China

Understanding information sharing is an important challenge to modern organizations, and is likely to be increasingly considered when IT investment decisions are made world-wide. Our research study investigated the influence of cultural factors on information sharing in China. It was postulated that social network structures such as guanxi, Confucian dynamism, and collectivism could explain the degree to which information sharing took place between people in China. It was found that guanxi, Confucian dynamism, and collectivism all had a significant influence on information sharing.     

Information Visualization Within a Digital Video Library

The Informedia Digital Video Library contains over a thousand hours of video, consuming over a terabyte of disk space. This paper summarizes the multimedia abstractions used to represent this video in prior systems and introduces the visualization techniques employed to browse and navigate multiple video documents at once.     

Mathematical and Scientific Foundations for an Integrative Engineering Curriculum

All fields of engineering, whether chemical, civil, electrical, materials, mechanical, etc., encompass a common body of essential mathematics and science. In the freshman year of Drexels E⁴ program, this common mathematical and scientific foundation is cultivated in the Mathematical and Scientific Foundations of Engineering I, II and III (MSFE I, MSFE II, MSFE III). In an integrated fashion, MSFE I presents the essential calculus, physics and engineering mechanics vital to the freshman engineering student. In the first two quarters, MSFE II presents chemistry with clearly defined engineering applications and significance: in the third quarter, MSFE II presents living systems with the same thrust. Also in the third quarter, MSFE III presents basic circuits and circuit elements, and a brief introduction to electromagnetic theory.     

Chronic renal disease: new therapies to delay kidney replacement

Several factors promote the progression of renal disease, including glomerular hypertension and hypertrophy, molecular factors such as cytokines and growth hormones, proteinuria, acidosis, and hyperlipidemia. Regardless of the underlying etiology, many patients with chronic renal insufficiency will ultimately require kidney replacement therapy. Your goal is to delay the progression of renal failure, mainly through aggressive control of blood pressure. Other possible interventions include protein restriction, bicarbonate therapy, and lipid-lowering drugs.     

KWTA networks and their applications

Winner-Take-All (WTA) or K-Winner-Take-All (KWTA) networks have been frequently used as the basic building blocks of complex neural networks. This paper introduces a new selection rule for network connections that implements stable KWTA networks. To widen the applications of WTA networks, a new class of WTA networks is proposed, and their efficient design methods are presented. We demonstrate the properties of the generalized class of WTA networks, through three application examples.     

地方时与区时在电离层研究中的差异

本文指出混淆地时与区时两个时间概念在电离层研究中带来的差异的严重性，建议使用地方与区时这两个名词，而抛弃“本地时”和“当地时”等容易引起混淆的名词。     

Automated zebrafish chorion removal and single embryo placement: optimizing throughput of zebrafish developmental toxicity screens

The potential of the developing zebrafish model for toxicology and drug discovery is limited by inefficient approaches to manipulating and chemically exposing zebrafish embryos-namely, manual placement of embryos into 96- or 384-well plates and exposure of embryos while still in the chorion, a barrier of poorly characterized permeability enclosing the developing embryo. We report the automated dechorionation of 1600 embryos at once at 4 h postfertilization (hpf) and placement of the dechorionated embryos into 96-well plates for exposure by 6 hpf. The process removed ≥95% of the embryos from their chorions with 2% embryo mortality by 24 hpf, and 2% of the embryos malformed at 120 hpf. The robotic embryo placement allocated 6-hpf embryos to 94.7% ± 4.2% of the wells in multiple 96-well trials. The rate of embryo mortality was 2.8% (43 of 1536) from robotic handling, the rate of missed wells was 1.2% (18 of 1536), and the frequency of multipicks was <0.1%. Embryo malformations observed at 24 hpf occurred nearly twice as frequently from robotic handling (16 of 864; 1.9%) as from manual pipetting (9 of 864; 1%). There was no statistical difference between the success of performing the embryo placement robotically or manually.