A cluster-based cylindrical algebraic decomposition algorithm

Let A ⊂ Z [x1,000, xr be a finite set. An A-invariant cylindrical algebraic decomposition (cad) is a certain partitlon of r-dlmensional euclidean space Er into semi-algebralc cells such that the value of each Ai ∈ A has constant sign (positive, negative, or zero) throug|umt each cell. Two cells are adjacent if their union is connected. Recently a number of mathoda have been given for augmenting Colllns' cad construction algorithm (1975), so that in addition to specifying the cell~ that comprise a cad, it identifies the pairs of adjacent cells. Assuming the availability of such an adjacency algorithm, in this paper we give a modified cad construction algorithm based on the utillzatloa of clusters of cells in a cad (a cluster is a collection of cells whose union is connected). Preliminary observations indicate that the 11ew algorithm can be significantly more efficient in some cases than the original, although in other examples it is somewhat less efficient

On mechanical quantifier elimination for elementary algebra and geometry

We give solutions to two problems of elementary algebra and geometry: (1) find conditlons on real numbers p, q, and r; so that the polynomial function f(x) = x4 + px2 + q x+ r is nonnegative for all real x and (2) find conditions on real numbers a, b, and c so that the ellipse (x−c)2q2+y2b2−1=0 lies inside the unit circle y2 + x2 - 1 = O. Our solutions are obtained by following the basic outline of the method of quantifier elimination by cylindrical algebraic decomposition (Collins, 1975), but we have developed, and have been considerably aided by, modified vcrsions of certain of its steps. We have found three equally simple but not obviously equivalent solutions for the first problem, illustrating the difficulty of obtaining unique “simplest” solutions to quantifier eliminetion problems of elementary algebra and geometry

Immunological Characterization and Neutralizing Ability of Monoclonal Antibodies Directed Against Botulinum Neurotoxin Type H.

BackgroundOnly Clostridium botulinum strain IBCA10-7060 produces the recently described novel botulinum neurotoxin type H (BoNT/H). BoNT/H (N-terminal two-thirds most homologous to BoNT/F and C-terminal one-third most homologous to BoNT/A) requires antitoxin to toxin ratios ≥1190:1 for neutralization by existing antitoxins. Hence, more potent and safer antitoxins against BoNT/H are needed.MethodsWe therefore evaluated our existing monoclonal antibodies (mAbs) to BoNT/A and BoNT/F for BoNT/H binding, created yeast-displayed mutants to select for higher-affinity-binding mAbs by using flow cytometry, and evaluated the mAbs' ability to neutralize BoNT/H in the standard mouse bioassay.ResultsAnti-BoNT/A HCC-binding mAbs RAZ1 and CR2 bound BoNT/H with high affinity. However, only 1 of 6 BoNT/F mAbs (4E17.2A) bound BoNT/H but with an affinity >800-fold lower (equilibrium dissociation binding constant [KD] = 7.56 × 10(-8)M) than its BoNT/F affinity (KD= 9.1 × 10(-11)M), indicating that the N-terminal two-thirds of BoNT/H is immunologically unique. The affinity of 4E17.2A for BoNT/H was increased >500-fold to KD= 1.48 × 10(-10)M (mAb 4E17.2D). A combination of mAbs RAZ1, CR2, and 4E17.2D completely protected mice challenged with 280 mouse median lethal doses of BoNT/H at a mAb dose as low as 5 µg of total antibody.ConclusionsThis 3-mAb combination potently neutralized BoNT/H and represents a potential human antitoxin that could be developed for the prevention and treatment of type H botulism

Adaptive Subcarrier PSK Intensity Modulation in Free Space Optical Systems

We propose an adaptive transmission technique for free space optical (FSO) systems, operating in atmospheric turbulence and employing subcarrier phase shift keying (S-PSK) intensity modulation. Exploiting the constant envelope characteristics of S-PSK, the proposed technique offers efficient utilization of the FSO channel capacity by adapting the modulation order of S-PSK, according to the instantaneous state of turbulence induced fading and a pre-defined bit error rate (BER) requirement. Novel expressions for the spectral efficiency and average BER of the proposed adaptive FSO system are presented and performance investigations under various turbulence conditions and target BER requirements are carried out. Numerical results indicate that significant spectral efficiency gains are offered without increasing the transmitted average optical power or sacrificing BER requirements, in moderate-to-strong turbulence conditions. Furthermore, the proposed variable rate transmission technique is applied to multiple input multiple output (MIMO) FSO systems, providing additional improvement in the achieved spectral efficiency as the number of the transmit and/or receive apertures increases.Comment: Submitted To IEEE Transactions On Communication

Portable Diagnostics Technology Assessment for Space Missions

The changes in the scope of NASA s mission in the coming decade are profound and demand nimble, yet insightful, responses. On-board clinical and environmental diagnostics must be available for both mid-term lunar and long-term Mars exploration missions in an environment marked by scarce resources. Miniaturization has become an obvious focus. Despite solid achievements in lab-based devices, broad-based, robust tools for application in the field are not yet on the market. The confluence of rapid, wide-ranging technology evolution and internal planning needs are the impetus behind this work. This report presents an analytical tool for the ongoing evaluation of promising technology platforms based on mission- and application-specific attributes. It is not meant to assess specific devices, but rather to provide objective guidelines for a rational down-select of general categories of technology platforms. In this study, we have employed our expertise in the microgravity operation of fluidic devices, laboratory diagnostics for space applications, and terrestrial research in biochip development. A rating of the current state of technology development is presented using the present tool. Two mission scenarios are also investigated: a 30-day lunar mission using proven, tested technology in 5 years; and a 2- to 3-year mission to Mars in 10 to 15 years

Fireballs and cannonballs confront the afterglow of GRB 991208

Galama et al. have recently reported their follow-up measurements of the radio afterglow (AG) of the Gamma Ray Burst (GRB) 991208, up to 293 days after burst, and their reanalysis of the broad-band AG, in the framework of standard fireball models. They advocate a serious revision of their prior analysis and conclusions, based on optical data and on their earlier observations during the first two weeks of the AG. We comment on their work and fill a lacuna: these authors have overlooked the possibility of comparing their new data to the available predictions of the cannonball (CB) model, based --like their incorrect predictions-- on the first round of data. The new data are in good agreement with these CB-model predictions. This is in spite of the fact that, in comparison to the fireball models, the CB model is much simpler, much more predictive, has many fewer parameters, practically no free choices... and it describes well --on a universal basis-- all the measured AGs of GRBs of known redshift

Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities

A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correct topology and any given geometric precision. We propose a symbolic-numeric method to compute a certified meshing for the surface inside a box containing singularities and use a modified Plantinga-Vegter marching cube method to compute a certified meshing for the surface inside a box without singularities. Nontrivial examples are given to show the effectiveness of the algorithm. To our knowledge, this is the first method to compute a certified meshing for surfaces with singularities.Comment: 34 pages, 17 Postscript figure

Subcuticular microstructure of the hornet's gaster: Its possible function in thermoregulation

The present study set out to elucidate the structure and function of the large subcuticular air sacs encountered in the gaster of the Oriental hornet Vespa orientalis (Hymenoptera, Vespinae). Gastral segments I, II, III, together with the anterior portion of segment IV, comprise the greater volume of the gaster, and inside them, beneath the cuticle, are contained not only structures that extend throughout their entire length, like the alimentary canal, and the nerve cord with its paired abdominal ganglia, situated near the cuticle in the ventral side, but also the heart, which is actually a muscular and dorsally located blood vessel that pumps blood anteriorly, toward the head of the hornet. The mentioned structures take up only a small volume of the gaster, while the rest is occupied by air sacs and tracheal ducts that also extend longitudinally. Interposed between the two air sacs, there is a hard partition and above it, at the center – a paired tracheal duct that extends the entire length of the air sacs. The endothelium of the air sacs is very anfractuous, thereby enlarging and strengthening the surface area. In each gastral segment there is an aperture for the entry of air, namely, a spiracle. Additionally, in each segment, in the antero-lateral aspect of its tergum and situated between two successive segments, there is an intersegmental conjunctive bearing parallel slits of 1–2 microM in width and 10–30 microM in length. The latter are arranged concentrically around bundles of tracheae that traverse the cuticle from segment to segment. From the upper rims of the slits are suspended downward fringe-like structures or "shutters" ranging between 3–10 microM in length. We discuss the possibility that the Oriental hornet resorts to internal circulation of air, along with a thermoelectric heat pump mechanism, in order to achieve cooling and thermoregulation of its body

REACTIVITY OF CHLOROPHYLL a/b-PROTEINS AND MICELLAR TRITON X-100 COMPLEXES OF CHLOROPHYLLS a OR b WITH BOROHYDRIDE

The reaction of several plant chlorophyll-protein complexes with NaBH4 has been studied by absorption spectroscopy. In all the complexes studied, chlorophyll b is more reactive than Chi a, due to preferential reaction of its formyl substituent at C-7. The complexes also show large variations in reactivity towards NaBH4 and the order of reactivity is: LHCI > PSII complex > LHCII > PSI > P700 (investigated as a component of PSI). Differential pools of the same type of chlorophyll have been observed in several complexes. Parallel work was undertaken on the reactivity of micellar complexes of chlorophyll a and of chlorophyll b with NaBH4 to study the effect of aggregation state on this reactivity. In these complexes, both chlorophyll a and b show large variations in reactivity in the order monomer > oligomer > polymer with chlorophyll b generally being more reactive than chlorophyll a. It is concluded that aggregation decreases the reactivity of chlorophylls towards NaBH4 in vitro, and may similarly decrease reactivity in naturally-occurring chlorophyll-protein complexes