2,306 research outputs found

    ARBITRARY ORDER RECURSIVE SEQUENCES AND ASSOCIATED CONTINUED FRACTIONS

    Get PDF
    The essential idea in this paper it to generalize and synthesize some of the pioneering ideas of Bernstein, Lucas and Horadam on generalizations of basic and primordial Fibonacci numbers and their arbitrary order generalizations and their relation to generalized continued fractions with matrices as the unifying elements

    Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

    Full text link
    Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis explores all behaviors of a concurrent program up to some fixed number of context switches between threads. This definition is inadequate for programs that create threads dynamically because bounding the number of context switches in a computation also bounds the number of threads involved in the computation. In this paper, we propose a more general definition of context-bounded analysis useful for programs with dynamic thread creation. The idea is to bound the number of context switches for each thread instead of bounding the number of switches of all threads. We consider several variants based on this new definition, and we establish decidability and complexity results for the analysis induced by them

    Can a combination of the conformal thin-sandwich and puncture methods yield binary black hole solutions in quasi-equilibrium?

    Get PDF
    We consider combining two important methods for constructing quasi-equilibrium initial data for binary black holes: the conformal thin-sandwich formalism and the puncture method. The former seeks to enforce stationarity in the conformal three-metric and the latter attempts to avoid internal boundaries, like minimal surfaces or apparent horizons. We show that these two methods make partially conflicting requirements on the boundary conditions that determine the time slices. In particular, it does not seem possible to construct slices that are quasi-stationary and avoid physical singularities and simultaneously are connected by an everywhere positive lapse function, a condition which must obtain if internal boundaries are to be avoided. Some relaxation of these conflicting requirements may yield a soluble system, but some of the advantages that were sought in combining these approaches will be lost.Comment: 8 pages, LaTeX2e, 2 postscript figure

    Development of Decision Support Systems for Estimating Salinity Instrusion Effects due to Climate Change on the South Carolina and Georgia Coast

    Get PDF
    2010 S.C. Water Resources Conference - Science and Policy Challenges for a Sustainable Futur

    Searching for periodicities in the MACHO light curve of LMC X-2

    Full text link
    Using the exceptional long-term monitoring capabilities of the MACHO project, we present here the optical history of LMC X-2 for a continuous 6-yr period. These data were used to investigate the previously claimed periodicities for this source of 8.15 h and 12.54 d : we find upper amplitude limits of 0.10 mag and 0.09 mag, respectively.Comment: 4 pages, 4 figures. Minor changes, including title. MNRAS, in pres

    Suitability of simple human immunodeficiency virus rapid tests in clinical trials in community-based clinic settings

    Get PDF
    The suitability and accuracy of using simple human immunodeficiency virus (HIV) rapid (SR) tests in community-based clinics in northwest Tanzania were determined to assess eligibility for participation in clinical trials. The HIV rapid and ELISA test results for 789 women aged 16 to 54 who were screened for two clinical trials of HIV prevention were compared. Women were offered voluntary HIV counseling and testing (VCT) at screening; those who accepted were tested with the Abbott Determine and Trinity Biotech Capillus SR tests in parallel. The results were confirmed by two parallel HIV enzyme-linked immunosorbent assay (ELISA) tests (Abbott Murex HIV Ag/Ab combination and Vironostika Uniform II HIV Ag/Ab) to determine eligibility. Positive samples for any of the four assays were confirmed by a line immunoassay and p24 testing. The parallel SR tests had high concordance (96.2%) with the parallel ELISA algorithm. The sensitivities of the SR tests were 98.6% for Capillus (95% confidence interval [CI], 95.1 to 99.8%), 99.3% for Determine (95% CI, 96.2 to 100%), and 98.6% for the parallel SR (95% CI, 95.1 to 99.8%). The specificities were 99.7% for Capillus (95% CI, 98.9 to 100%), 99.7% for Determine (95% CI, 98.9 to 100%), and 100% for the parallel SR (95% CI, 99.4 to 100%). SR tests are suitable for use in community-based clinical research settings to assess eligibility both for trial participation and for the provision of on-site VCT services. Copyrigh

    Pharmacokinetic, neurochemical, stereological and neuropathological studies on the potential effects of paraquat in the substantia nigra pars compacta and striatum of male C57BL/6J mice

    Get PDF
    AbstractThe pharmacokinetics and neurotoxicity of paraquat dichloride (PQ) were assessed following once weekly administration to C57BL/6J male mice by intraperitoneal injection for 1, 2 or 3 weeks at doses of 10, 15 or 25mg/kg/week. Approximately 0.3% of the administered dose was taken up by the brain and was slowly eliminated, with a half-life of approximately 3 weeks. PQ did not alter the concentration of dopamine (DA), homovanillic acid (HVA) or 3,4-dihydroxyphenylacetic acid (DOPAC), or increase dopamine turnover in the striatum. There was inconsistent stereological evidence of a loss of DA neurons, as identified by chromogenic or fluorescent-tagged antibodies to tyrosine hydroxylase in the substantia nigra pars compacta (SNpc). There was no evidence that PQ induced neuronal degeneration in the SNpc or degenerating neuronal processes in the striatum, as indicated by the absence of uptake of silver stain or reduced immunolabeling of tyrosine-hydroxylase-positive (TH+) neurons. There was no evidence of apoptotic cell death, which was evaluated using TUNEL or caspase 3 assays. Microglia (IBA-1 immunoreactivity) and astrocytes (GFAP immunoreactivity) were not activated in PQ-treated mice 4, 8, 16, 24, 48, 96 or 168h after 1, 2 or 3 doses of PQ.In contrast, mice dosed with the positive control substance, 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP; 10mg/kg/dose×4 doses, 2h apart), displayed significantly reduced DA and DOPAC concentrations and increased DA turnover in the striatum 7 days after dosing. The number of TH+ neurons in the SNpc was reduced, and there were increased numbers of degenerating neurons and neuronal processes in the SNpc and striatum. MPTP-mediated cell death was not attributed to apoptosis. MPTP activated microglia and astrocytes within 4h of the last dose, reaching a peak within 48h. The microglial response ended by 96h in the SNpc, but the astrocytic response continued through 168h in the striatum.These results bring into question previous published stereological studies that report loss of TH+ neurons in the SNpc of PQ-treated mice. This study also suggests that even if the reduction in TH+ neurons reported by others occurs in PQ-treated mice, this apparent phenotypic change is unaccompanied by neuronal cell death or by modification of dopamine levels in the striatum

    Flight 20 (STS-45) polysulfide gas path investigation

    Get PDF
    This report documents the results of the investigation into causes of gas paths on the 20A and 20B case-to-nozzle joints on STS-42. The investigation was conducted by the Investigation Board appointed by the senior vice president and general manager of Space Operations, Mr. R. E. Lindstrom, on 7 Feb. 1992. The probability of gas path occurrence in the nozzle-to-case-joint polysulfide had been identified during joint redesign. However, actual flight gas path incidence has been limited to RSRM-11 and the 20A and 20B segments. The blow-by condition on the 20A segment was a first time occurrence which was a special concern. The investigation covered all technical aspects associated with the gas path and blow-by conditions: materials and processing history, design requirements and as-built compliance to the design, thermal and structural analyses, computer modeling, and laboratory experimentation with the materials involved. The investigation was coordinated with Mr. Ken Jones at NASA Marshall in bi-weekly teleconferences. The Board also supported Dr. James C. Blair's independent NASA investigation team by providing copies of collected data, conducting requested analyses, and supporting several all-day teleconferences to provide understanding and resolve issues. The Dr. Blair support requirement was successfully concluded on 4 Mar. 1992
    corecore