State-set branching: Leveraging BDDs for heuristic search

In this article, we present a framework called state-set branching that combines symbolic search based on reduced ordered Binary Decision Diagrams (BDDs) with best-first search, such as A* and greedy best-first search. The framework relies on an extension of these algorithms from expanding a single state in each iteration to expanding a set of states. We prove that it is generally sound and optimal for two A* implementations and show how a new BDD technique called branching partitioning can be used to efficiently expand sets of states. The framework is general. It applies to any heuristic function, evaluation function, and transition cost function defined over a finite domain. Moreover, branching partitioning applies to both disjunctive and conjunctive transition relation partitioning. An extensive experimental evaluation of the two A* implementations proves state-set branching to be a powerful framework. The algorithms outperform the ordinary A* algorithm in almost all domains. In addition, they can improve the complexity of A* exponentially and often dominate both A* and blind BDD-based search by several orders of magnitude. Moreover, they have substantially better performance than BDDA*, the currently most efficient BDD-based implementation of A*.     

The relationships between p53-dependent apoptosis, inhibition of proliferation, and 5-fluorouracil-induced histopathology in murine intestinal epithelia

The relationship between acute (<36 h) induction of apoptosis and longer-term (>72 h) intestinal histopathology was systematically investigated in vivo using p53 wild-type (+/+) and null (-/-) mice. Administration of the enterotoxin 5-fluorouracil (5-FU) at either 40 or 400 mg/kg to BDF1 mice induced an acute p53-dependent apoptosis in the crypts of both small intestine and midcolon. Although the amount of apoptosis was of the same order of magnitude at its peak (24 h) at both doses, only 400 mg/kg 5-FU brought about histopathological changes to the gut after 96 h, quantified as losses of crypt and villus cellularity. Only after the administration of 400 mg/kg 5-FU were mitotic index and DNA synthesis significantly suppressed in both small intestinal and midcolonic crypts at 24 h. This correlated with a prolonged, p53-dependent expression of p21waf-1/cip1. In p53 null (-/-) mice, significant reductions in both 5-FU-induced apoptosis and inhibition of cell cycle progression allowed retention of crypt integrity 96 h after 5-FU. These results show that quantitative measures of acute apoptosis in vivo may not accurately predict subsequent pathological changes in the gut. Rather, p53-dependent inhibition of cell cycle progression, together with cell loss by apoptosis, caused a loss of crypt integrity. Importantly, the tissue toxicity of 5-FU was genetically determined at a locus (p53) separate from that directly associated with drug action.     

Total protein determinations by particle beam/hollow cathode optical emission spectroscopy

A novel method for quantitative total protein determinations is presented. Total protein content is determined by particle beam/hollow cathode optical emission spectroscopy (PB/HC-OES) through monitoring of carbon atomic emission. The PB/HC-OES offers such advantages as ease of operation, exclusion of labor-intensive sample pretreatment processes, rapid analysis, high sensitivity, and low detection limit. The method could also be adapted to be integrated to current microfluidics devices. Parametric optimization for sample introduction, nebulization, desolvation, and hollow cathode source conditions is performed for the analysis of aqueous bovine serum albumin solutions. Response curves of C (I) 193.0-nm emission were obtained under the optimized conditions with both 10% HCl and 100 micromL KCl added to the sample matrix as potential carriers. The detection limit for triplicate injections of bovine serum albumin standards was found to be on the single-nanogram level with 200-microL injections. The addition of KCl significantly improved the sensitivity, supporting the proposed "carrier effect" of chloride salts in the particle transport process. Results obtained here suggest a range of applications for the use of the PB/HC-OES source for total protein determinations; emphasis here is future use in assessing protein quantification in microfluidic systems.     

Frequency-locked,injection-seeded,pulsed narrowband optical parametric generator

A frequency-locked, injection-seeded, pulsed optical parametric generator (OPG) has been developed for short-range infrared differential absorption lidar (DIAL) applications. The periodically poled lithium niobate OPG is pumped by a passively Q-switched Nd:YAG microlaser and is seeded by a distributed feedback (DFB) diode laser. The OPG is designed for DIAL measurement of a narrow R-branch transition of methane at 3.2704 microm. The output of the OPG is a two-pulse sequence with a 100-micros temporal separation between the pulses, where the first pulse is absorbed by methane and the second pulse is not absorbed. The first pulse is actively locked to the methane absorption feature by use of the derivative of the transmission spectrum through a reference cell. Although the device was not optimized for output power, the 3.27-microm OPG output energies of the first and second pulses are 5.5 and 5.9 microJ, respectively, producing 21 mW when operated at 1818 Hz.     

Application of a neuro-fuzzy network for gait event detection using electromyography in the child with cerebral palsy

An adaptive neuro-fuzzy inference system (ANFIS) with a supervisory control system (SCS) was used to predict the occurrence of gait events using the electromyographic (EMG) activity of lower extremity muscles in the child with cerebral palsy (CP). This is anticipated to form the basis of a control algorithm for the application of electrical stimulation (ES) to leg or ankle muscles in an attempt to improve walking ability. Either surface or percutaneous intramuscular electrodes were used to record the muscle activity from the quadriceps muscles, with concurrent recording of the gait cycle performed using a VICON motion analysis system for validation of the ANFIS with SCS. Using one EMG signal and its derivative from each leg as its inputs, the ANFIS with SCS was able to predict all gait events in seven out of the eight children, with an average absolute time differential between the VICON recording and the ANFIS prediction of less than 30 ms. Overall accuracy in predicting gait events ranged from 98.6% to 95.3% (root mean-squared error between 0.7 and 1.5). Application of the ANFIS with the SCS to the prediction of gait events using EMG data collected two months after the initial data demonstrated comparable results, with no significant differences between gait event detection times. The accuracy rate and robustness of the ANFIS with SCS with two EMG signals suggests its applicability to ES control.     

Gas-liquid chromatography of fatty derivatives. II. Analysis of fatty alcohol mixtures by gas-liquid chromatography

Conclusions Gas-liquid chromatography has been shown to be applicable to the analysis of fatty alcohols. Through the use of polyester columns these alcohols have been separated according to chain length and degree of unsaturation. A study has been made of the relationship between peak areas of the chromatograms and the actual weight percentages of the four C₁₈ alcohols found in the fatty alcohols derived from linseed oil. Fatty alcohols, prepared from soybean, linseed, and sperm oil have been prepared and analyzed by the proposed procedure. Craig and Murty (1) have recently reported that polyesters based on succinic acid are preferable for the liquid phase of the chromatographic column to those made from adipic in that they afford a better separation of methyl stearate from methyl oleate. Conversely adipic columns gave a more effective separation of the esters of linolenic and arachidic acids. The application of these polyesters to the analysis of fatty alcohol acetates is expected to improve their separation in a similar fashion, but further work is indicated in the search for a liquid phase that will permit both separations in the minimum time. ADM Technical Talk No. 166.     

Second virial coefficients of polybenzyl methacrylate near the theta point

Technical urea-formaldehyde resins are almost completely demethylolated on heating with alcaline earth hydroxydes. Higher methylene-bridged oligomers and partially crosslinked materials are precipitated. Methylol groups are not quantitatively removed, as methylolated lower molecular weight oligomers are still present in the aqueous solution. The major amount of liberated formaldehyde is irreversibly converted to hexoses by aldolization.