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

Observation of H_2O in a strongly lensed Herschel-ATLAS source at z = 2.3

The Herschel survey, H-ATLAS, with its large areal coverage, has recently discovered a number of bright, strongly lensed high-z submillimeter galaxies. The strong magnification makes it possible to study molecular species other than CO, which are otherwise difficult to observe in high-z galaxies. Among the lensed galaxies already identified by H-ATLAS, the source J090302.9-014127B (SDP.17b) at z = 2.305 is remarkable because of its excitation conditions and a tentative detection of the H_2O 2_(02)-1_(11) emission line (Lupu et al. 2010, ApJ, submitted). We report observations of this line in SDP.17b using the IRAM interferometer equipped with its new 277–371 GHz receivers. The H_2O line is detected at a redshift of z = 2.3049 ± 0.0006, with a flux of 7.8 ± 0.5 Jy km s^(-1) and a FWHM of 250 ± 60   km   s^(-1). The new flux is 2.4 times weaker than the previous tentative detection, although both remain marginally consistent within 1.6σ. The intrinsic line luminosity and ratio of H_2O(2_(02) − 1_(11))/CO(8 − 7) are comparable with those of the nearby starburst/enshrouded-AGN Mrk 231, and the ratio I(H_2O)/L_(FIR) is even higher, suggesting that SDP.17b could also host a luminous AGN. The detection of a strong H_2O 2_(02) − 1_(11) line in SDP.17b implies an efficient excitation mechanism of the water levels that must occur in very dense and warm interstellar gas probably similar to Mrk 231

Advanced technology applications for second and third general coal gasification systems

The historical background of coal conversion is reviewed and the programmatic status (operational, construction, design, proposed) of coal gasification processes is tabulated for both commercial and demonstration projects as well as for large and small pilot plants. Both second and third generation processes typically operate at higher temperatures and pressures than first generation methods. Much of the equipment that has been tested has failed. The most difficult problems are in process control. The mechanics of three-phase flow are not fully understood. Companies participating in coal conversion projects are ordering duplicates of failure prone units. No real solutions to any of the significant problems in technology development have been developed in recent years

Medial opening wedge high tibial osteotomy: A retrospective review of patient outcomes over 10 years

Objectives: High tibial osteotomy (HTO) has become a well-established treatment for unicompartmental osteoarthritis of the knee. Over the last 30 years, various techniques have been introduced to advance this procedure. The purpose of this study is to review the outcomes of patients who received medial opening wedge HTO over the last ten years (2002-2012) using a modern, low profile, medially based fixation device. In addition, we sought to determine if obese patients had a less favorable outcome than their non-obese counterparts. Methods: Ninety-three patients were identified from a surgical database as having undergone a HTO for medial compartment osteoarthritis of the knee with varus mal-alignment. All procedures were performed by one of two fellowship trained orthopedic surgeons from 2002-2012 utilizing a low profile fixation device and identical surgical technique. Minimum follow-up was one year for inclusion in the study. Outcomes were measured using Lysholm and WOMAC scores. Radiographs were evaluated to determine delayed union or non-union at the osteotomy site and surveillance was undertaken to evaluate post operative complications. Results: 93 patients were identified from the database, 63 (70%) were available for follow-up and are included in this analysis. Average follow-up time was 48 months (range 17 to 137). There were 44 males and 19 females. The average age was 45 years old. The average final Lysholm and WOMAC scores were 66.4 (range: 13-100) and 18.6 (range: 0-86) respectively. There was no significant difference in reported Lysholm or WOMAC scores between obese (BMI \u3e30) and non-obese patients (p=.31;p=.69). Complications were as follows: 3 patients required a surgical lysis of adhesions, 2 patients developed an infection, and 1 patient experienced a delayed union. At final follow-up, 18 patients received additional treatment on the affected knee: 11 required removal of symptomatic hardware, 5 received viscosupplementation, 2 underwent a total knee replacement. Conclusion: Low profile, medial based devices used in the setting of HTO is an accepted treatment for unicompartmental osteoarthritis of the knee. At final follow-up, a majority of patients reported positive outcomes and few complications. 18 patients required additional treatment for osteoarthritis. In our analysis, obese patients faired equally as well as their non-obese counterparts, with no significant difference in outcomes scores or complication rate. Survivorship of high tibial osteotomy was excellent in this series, with only 2 patients having undergone total knee replacement at last follow-up. © The Author(s) 2015

Using geophysical surveys to test tracer-based storage estimates in headwater catchments

Acknowledgements The authors are grateful to Stian Bradford, Chris Gabrielli, and Julie Timms for practical and logistical assistance. The provision of transport by Iain Malcolm and Ross Glover of Marine Scotland Science was greatly appreciated. We also thank the European Research Council ERC (project GA 335910 VEWA) for funding through the VeWa project and the Leverhulme Trust for funding through PLATO (RPG-2014-016).Peer reviewedPostprin

Functional design for operational earth resources ground data processing

The author has identified the following significant results. Study emphasis was on developing a unified concept for the required ground system, capable of handling data from all viable acquisition platforms and sensor groupings envisaged as supporting operational earth survey programs. The platforms considered include both manned and unmanned spacecraft in near earth orbit, and continued use of low and high altitude aircraft. The sensor systems include both imaging and nonimaging devices, operated both passively and actively, from the ultraviolet to the microwave regions of the electromagnetic spectrum

The value of improved (ERS) information based on domestic distribution effects of U.S. agriculture crops

The value of improving information for forecasting future crop harvests was investigated. Emphasis was placed upon establishing practical evaluation procedures firmly based in economic theory. The analysis was applied to the case of U.S. domestic wheat consumption. Estimates for a cost of storage function and a demand function for wheat were calculated. A model of market determinations of wheat inventories was developed for inventory adjustment. The carry-over horizon is computed by the solution of a nonlinear programming problem, and related variables such as spot and future price at each stage are determined. The model is adaptable to other markets. Results are shown to depend critically on the accuracy of current and proposed measurement techniques. The quantitative results are presented parametrically, in terms of various possible values of current and future accuracies

Redshift Determination and CO Line Excitation Modeling for the Multiply Lensed Galaxy HLSW-01

We report on the redshift measurement and CO line excitation of HERMES J105751.1+573027 (HLSW-01), a strongly lensed submillimeter galaxy discovered in Herschel/SPIRE observations as part of the Herschel Multi-tiered Extragalactic Survey (HerMES). HLSW-01 is an ultra-luminous galaxy with an intrinsic far-infrared luminosity of L _(FIR) = 1.4 × 10^(13) L _⊙, and is lensed by a massive group of galaxies into at least four images with a total magnification of μ = 10.9 ± 0.7. With the 100 GHz instantaneous bandwidth of the Z-Spec instrument on the Caltech Submillimeter Observatory, we robustly identify a redshift of z = 2.958 ± 0.007 for this source, using the simultaneous detection of four CO emission lines (J = 7 → 6, J = 8 → 7, J = 9 → 8, and J = 10 → 9). Combining the measured line fluxes for these high-J transitions with the J = 1 → 0, J = 3 → 2, and J = 5 → 4 line fluxes measured with the Green Bank Telescope, the Combined Array for Research in Millimeter Astronomy, and the Plateau de Bure Interferometer, respectively, we model the physical properties of the molecular gas in this galaxy. We find that the full CO spectral line energy distribution is described well by warm, moderate-density gas with T _(kin) = 86-235 K and n_H_2 = (1.1-3.5)x10^3 cm^(–3). However, it is possible that the highest-J transitions are tracing a small fraction of very dense gas in molecular cloud cores, and two-component models that include a warm/dense molecular gas phase with T _(kin) ~ 200 K, n_H_2 ~ 10^5 cm^(–3) are also consistent with these data. Higher signal-to-noise measurements of the J _(up) ≥ 7 transitions with high spectral resolution, combined with high spatial resolution CO maps, are needed to improve our understanding of the gas excitation, morphology, and dynamics of this interesting high-redshift galaxy

The relationship between the Covid-19 media coverage and the Environmental, Social and Governance leaders equity volatility: a time-frequency wavelet analysis

We apply wavelet analyses to study how the social media coverage of the Covid-19 pandemic influenced the volatility of ESG (Environmental, Social and Governance) leaders indices encompassing World, USA, Europe, China, and Emerging Markets. We document intervals of low, medium, and high coherence between the Media Coverage Index and the price moves of the ESG Leaders indices. The low coherence intervals indicate the diversification potential of ESG investments during a systemic pandemic such as Covid-19. We document differences in the pattern exhibited by various geographical indices evidencing their potential role for designing cross-geography hedge strategies