Cylindrical Algebraic Sub-Decompositions

Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. In this paper we introduce cylindrical algebraic sub-decompositions (sub-CADs), which are subsets of CADs containing all the information needed to specify a solution for a given problem. We define two new types of sub-CAD: variety sub-CADs which are those cells in a CAD lying on a designated variety; and layered sub-CADs which have only those cells of dimension higher than a specified value. We present algorithms to produce these and describe how the two approaches may be combined with each other and the recent theory of truth-table invariant CAD. We give a complexity analysis showing that these techniques can offer substantial theoretical savings, which is supported by experimentation using an implementation in Maple.Comment: 26 page

Nitrification-denitrification in WSP: a mechanism for permanent nitrogen removal in maturation ponds

A pilot-scale primary maturation pond was spiked with 15N-labelled ammonia (15NH4Cl) and 15N labelled nitrite (Na15NO2), in order to improve current understanding of the dynamics of inorganic nitrogen transformations and removal in WSP systems. Stable isotope analysis of δ15N showed that nitrification could be considered as an intermediate step in WSP, which is masked by simultaneous denitrification, under conditions of low algal activity. Molecular microbiology analysis showed that denitrification can be considered a feasible mechanism for permanent nitrogen removal in WSP, which may be supported either by ammonia-oxidising bacteria (AOB) or by methanotrophs, in addition to nitrite-oxidising bacteria (NOB). However, the relative supremacy of the denitrification process over other nitrogen removal mechanisms (e.g., biological uptake) depends upon phytoplanktonic activity

Supersonic dynamic stability characteristics of a space shuttle orbiter

Supersonic forced-oscillation tests of a 0.0165-scale model of a modified 089B Rockwell International shuttle orbiter were conducted in a wind tunnel for several configurations over a Mach range from 1.6 to 4.63. The tests covered angles of attack up to 30 deg. The period and damping of the basic unaugmented vehicle were calculated along the entry trajectory using the measured damping results. Some parameter analysis was made with the measured dynamic derivatives. Photographs of the test configurations and test equipment are shown

Characterizing the Rigidly Rotating Magnetosphere Stars HD 345439 and HD 23478

The SDSS III APOGEE survey recently identified two new $\sigma$ Ori E type candidates, HD 345439 and HD 23478, which are a rare subset of rapidly rotating massive stars whose large (kGauss) magnetic fields confine circumstellar material around these systems. Our analysis of multi-epoch photometric observations of HD 345439 from the KELT, SuperWASP, and ASAS surveys reveals the presence of a $\sim$0.7701 day period in each dataset, suggesting the system is amongst the faster known $\sigma$ Ori E analogs. We also see clear evidence that the strength of H-alpha, H I Brackett series lines, and He I lines also vary on a $\sim$0.7701 day period from our analysis of multi-epoch, multi-wavelength spectroscopic monitoring of the system from the APO 3.5m telescope. We trace the evolution of select emission line profiles in the system, and observe coherent line profile variability in both optical and infrared H I lines, as expected for rigidly rotating magnetosphere stars. We also analyze the evolution of the H I Br-11 line strength and line profile in multi-epoch observations of HD 23478 from the SDSS-III APOGEE instrument. The observed periodic behavior is consistent with that recently reported by Sikora and collaborators in optical spectra.Comment: Accepted in ApJ

Persistence of cefotetan on red blood cells

Cefotetan can cause severe immune hemolytic anemia that may persist long after the drug is discontinued. To study the binding of cefotetan to RBCs, patients who received cefotetan were followed and tested for the presence of antibody to cefotetan. STUDY DESIGN AND METHODS:  Patients receiving cefotetan were identified from pharmacy and nursing records. Blood samples obtained for routine hematology tests were analyzed. Cefotetan binding to patients’ RBCs was tested using a previously characterized high-titer anticefotetan serum by gel technique. To determine the minimum amount of drug necessary for binding to occur, RBCs were incubated with serial dilutions of cefotetan at pH 7.4. RESULTS:  Sixty patients receiving 1 to 25 g IV (median, 2 g) of cefotetan were followed for 1 to 123 days (median, 18 days). All were initially positive, for cefotetan on RBCs. Positivity persisted for up to 98 days after the last dose of drug. Fifteen patients became negative during follow-up. The first negative sample occurred at Day 30 to 123. Using the midpoint between the last positive and first negative to estimate of the duration of positivity, we estimate that cefotetan remains RBC-bound for 16.5 to 92 days (median, 67.5 days). During the follow-up period, five patients developed anticefotetan detectable in the serum. Twenty patients receiving other cephalosporin antibiotics showed no specific reactivity of their RBCs with anticefotetan. In vitro studies showed a minimum necessary drug concentration of 1 µmol/L at physiologic pH, which was not significantly altered by RBC pretreatment with ficin, sialydase, or DTT. CONCLUSIONS:  Cefotetan is tightly bound to RBCs after intravenous administration and remains detectable for weeks after the last dose. Antibodies to cefotetan may occur in about 8 percent of patients receiving the drug. The minimum necessary concentration for RBC binding is low compared to an estimated plasma concentration of 240 µmol/L from a single IV dose of 1 g.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72360/1/j.1537-2995.2004.03360.x.pd

The development of absorptive capacity-based innovation in a construction SME

Traditionally, construction has been a transaction-oriented industry. However, it is changing from the design-bid-build process into a business based on innovation capability and performance management, in which contracts are awarded on the basis of factors such as knowledge, intellectual capital and skills. This change presents a challenge to construction-sector SMEs with scarce resources, which must find ways to innovate based on those attributes to ensure their future competitiveness. This paper explores how dynamic capability, using an absorptive capacity framework in response to these challenges, has been developed in a construction-based SME. The paper also contributes to the literature on absorptive capacity and innovation by showing how the construct can be operationalized within an organization. The company studied formed a Knowledge Transfer Partnership using action research over a two-year period with a local university. The aim was to increase its absorptive capacity and hence its ability to meet the changing market challenges. The findings show that absorptive capacity can be operationalized into a change management approach for improving capability-based competitiveness. Moreover, it is important for absorptive capacity constructs and language to be contextualized within a given organizational setting (as in the case of the construction-based SME in the present study)

Supersonic dynamic stability derivatives of a modified 089B shuttle orbiter

An experimental test program was conducted to measure the dynamic stability derivatives of a modified 089B shuttle orbiter. Supersonic forced oscillation tests were conducted in the Langley Unitary Plan Wind Tunnel over a range of Mach numbers from 1.6 to 4.63 for angles of attack up to 30 deg. The data were measured at the model resonant frequency with pitch and yaw amplitudes of 1 deg and a roll amplitude of 2.5 deg

Truth table invariant cylindrical algebraic decomposition

When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is likely not the signs of those polynomials that are of paramount importance but rather the truth values of certain quantifier free formulae involving them. This observation motivates our article and definition of a Truth Table Invariant CAD (TTICAD). In ISSAC 2013 the current authors presented an algorithm that can efficiently and directly construct a TTICAD for a list of formulae in which each has an equational constraint. This was achieved by generalising McCallum's theory of reduced projection operators. In this paper we present an extended version of our theory which can be applied to an arbitrary list of formulae, achieving savings if at least one has an equational constraint. We also explain how the theory of reduced projection operators can allow for further improvements to the lifting phase of CAD algorithms, even in the context of a single equational constraint. The algorithm is implemented fully in Maple and we present both promising results from experimentation and a complexity analysis showing the benefits of our contributions.Comment: 40 page

The Early Days of Research on Carbonic Anhydrase

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73862/1/j.1749-6632.1984.tb12310.x.pd

Subsonic and transonic dynamic stability characteristics of the space shuttle launch vehicle

An investigation has been conducted to determine the subsonic and transonic dynamic stability characteristics of a 0.015 scale model of the space shuttle launch vehicle. These tests were conducted in the Langley 8-foot transonic pressure tunnel over a Mach number range from 0.3 to 1.2. Forced oscillation equipment was used to determine the damping characteristics of several configurations about all three axes. The test results show that the model exhibited positive damping in pitch except at the highest Mach number (1.2) where there was a region of negative damping at 2 deg angle of attack. The yawing oscillation tests show that the model exhibited nonlinearities and negative damping at Mach numbers of 0.3 and 0.6. The model exhibited positive roll damping throughout the test angle of attack and Mach range