6,110 research outputs found

    Reversible H_2 Addition across a Nickel−Borane Unit as a Promising Strategy for Catalysis

    Get PDF
    We report the synthesis and characterization of a series of nickel complexes of the chelating diphosphine-borane ligands ArB(o-Ph_2PC_6H_4)_2 ([^(Ar)DPB^(Ph)]; Ar = Ph, Mes). The [^(Ar)DPB^(Ph)] framework supports pseudo-tetrahedral nickel complexes featuring η^2-B,C coordination from the ligand backbone. For the B-phenyl derivative, the THF adduct [^(Ph)DPB^(Ph)]Ni(THF) has been characterized by X-ray diffraction and features a very short interaction between nickel and the η^2-B,C ligand. For the B-mesityl derivative, the reduced nickel complex [^(Mes)DPB^(Ph)]Ni is isolated as a pseudo-three-coordinate “naked” species that undergoes reversible, nearly thermoneutral oxidative addition of dihydrogen to give a borohydrido-hydride complex of nickel(II) which has been characterized in solution by multinuclear NMR. Furthermore, [^(Mes)DPB^(Ph)]Ni is an efficient catalyst for the hydrogenation of olefin substrates under mild conditions

    ConSIT: A conditioned program slicer

    Get PDF
    Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including reuse, reengineering and program comprehension. However there has been relatively little work on the implementation of conditioned slicing. Algorithms for implementing conditioned slicing necessarily involve reasoning about the values of program predicates in certain sets of states derived from the conditioned slicing criterion, making implementation particularly demanding. The paper introduces ConSIT, a conditioned slicing system which is based upon conventional static slicing, symbolic execution and theorem proving. ConSIT is the first fully automated implementation of conditioned slicing. An implementation of ConSIT is available for experimentation at &http://www.mcs.gold.ac.uk/tilde/~mas01sd/consit.htm

    Mixing and merging for spoken document retrieval

    Get PDF
    This paper describes a number of experiments that explo- red the issues surrounding the retrieval of spoken documents. Two such issues were examined. First, attempting to find the best use of speech recogniser output to produce the highest retrieval effectiveness. Second, investigating the potential problems of retrieving from a so-called "mi- xed collection", i.e. one that contains documents from both a speech recognition system (producing many errors) and from hand transcription (producing presumably near perfect documents). The result of the first part of the work found that merging the transcripts of multiple recognisers showed most promise. The investigation in the second part showed how the term weighting scheme used in a retrieval system was important in determining whether the system was affected detrimentally when retrieving from a mixed collection

    Nuclear-size self-energy and vacuum-polarization corrections to the bound-electron g factor

    Full text link
    The finite nuclear-size effect on the leading bound-electron g factor and the one-loop QED corrections to the bound-electron g factor is investigated for the ground state of hydrogen-like ions. The calculation is performed to all orders in the nuclear binding strength parameter Z\alpha\ (where Z is the nuclear charge and \alpha\ is the fine structure constant) and for the Fermi model of the nuclear charge distribution. In the result, theoretical predictions for the isotope shift of the 1s bound-electron g factor are obtained, which can be used for the determination of the difference of nuclear charge radii from experimental values of the bound-electron g factors for different isotopes

    Does Long-Term Macrophyte Management in Lakes Affect Biotic Richness and Diversity?

    Get PDF
    We hypothesize that the richness and diversity of the biota in Lake Moraine (42°50’47”N, 75°31’39”W) in New York have been negatively impacted by 60 years of macrophyte and algae management to control Eurasian watermilfoil ( Myriophyllum spicatum L.) and associated noxious plants. To test this hypothesis we compare water quality characteristics, richness and selected indicators of plant diversity, zooplankton, benthic macroinvertebrates and fish in Lake Moraine with those in nearby Hatch Lake (42°50’06”N, 75°40’67”W). The latter is of similar size and would be expected to have similar biota, but has not been subjected to management. Measurements of temperature, pH, oxygen, conductivity, Secchi transparency, calcium, total phosphorus and nitrites + nitrates are comparable. Taxa richness and the diversity indices applied to the aquatic macrophytes are similar in both lakes. (PDF has 8 pages.

    Abiotic O2_{2} Levels on Planets around F, G, K, and M Stars: Possible False Positives for Life?

    Full text link
    In the search for life on Earth-like planets around other stars, the first (and likely only) information will come from the spectroscopic characterization of the planet's atmosphere. Of the countless number of chemical species terrestrial life produces, only a few have the distinct spectral features and the necessary atmospheric abundance to be detectable. The easiest of these species to observe in Earth's atmosphere is O2_{2} (and its photochemical byproduct, O3_{3}). But O2_{2} can also be produced abiotically by photolysis of CO2_{2}, followed by recombination of O atoms with each other. CO is produced in stoichiometric proportions. Whether O2_{2} and CO can accumulate to appreciable concentrations depends on the ratio of far-UV to near-UV radiation coming from the planet's parent star and on what happens to these gases when they dissolve in a planet's oceans. Using a one-dimensional photochemical model, we demonstrate that O2_{2} derived from CO2_{2} photolysis should not accumulate to measurable concentrations on planets around F- and G-type stars. K-star, and especially M-star planets, however, may build up O2_{2} because of the low near-UV flux from their parent stars, in agreement with some previous studies. On such planets, a 'false positive' for life is possible if recombination of dissolved CO and O2_{2} in the oceans is slow and if other O2_{2} sinks (e.g., reduced volcanic gases or dissolved ferrous iron) are small. O3_{3}, on the other hand, could be detectable at UV wavelengths (λ\lambda < 300 nm) for a much broader range of boundary conditions and stellar types.Comment: 20 pages text, 9 figure

    Program simplification as a means of approximating undecidable propositions

    Get PDF
    We describe an approach which mixes testing, slicing, transformation and formal verification to investigate speculative hypotheses concerning a program, formulated during program comprehension activity. Our philosophy is that such hypotheses (which are typically undecidable) can, in some sense, be `answered' by a partly automated system which returns neither `true' nor `false' but a program (the `test program') which computes the answer. The motivation for this philosophy is the way in which, as we demonstrate, static analysis and manipulation technology can be applied to ensure that the resulting test program is significantly simpler than the original program, thereby simplifying the process of investigating the original hypothesi

    QED calculation of the nuclear magnetic shielding for hydrogen-like ions

    Full text link
    We report an ab initio calculation of the shielding of the nuclear magnetic moment by the bound electron in hydrogen-like ions. This investigation takes into account several effects that have not been calculated before (electron self-energy, vacuum polarization, nuclear magnetization distribution), thus bringing the theory to the point where further progress is impeded by the uncertainty due to nuclear-structure effects. The QED corrections are calculated to all orders in the nuclear binding strength parameter and, independently, to the leading order in the expansion in this parameter. The results obtained lay the ground for the high-precision determination of nuclear magnetic dipole moments from measurements of the g-factor of hydrogen-like ions

    Status of Ferro Alloy Industry in the Liberalised Economy

    Get PDF
    I wish you a very good morning and look forward to a very interesting and frank exchange of ideas during the next two days for the benefit of the FERRO ALLOYS INDUSTRY in our country. I consider it a great honour and privilege that the National Metallurgical Laboratory and Jamshedpur chapter of Indian Institute of Metals have given me this opportunity to present the Inaugural Address at the National workshop on "The Status of Ferro Alloys Industry in the Liberalised Economy"

    Electron-correlation effects in the gg-factor of light Li-like ions

    Full text link
    We investigate electron-correlation effects in the gg-factor of the ground state of Li-like ions. Our calculations are performed within the nonrelativistic quantum electrodynamics (NRQED) expansion up to two leading orders in the fine-structure constant α\alpha, α2\alpha^2 and α3\alpha^3. The dependence of the NRQED results on the nuclear charge number ZZ is studied and the individual 1/Z1/Z-expansion contributions are identified. Combining the obtained data with the results of the all-order (in ZαZ\alpha) calculations performed within the 1/Z1/Z expansion, we derive the unified theoretical predictions for the gg-factor of light Li-like ions.Comment: 9 pages, 4 table
    • 

    corecore