Environmental resources of selected areas of Hawaii: Groundwater in the Puna District of the Island of Hawaii

This report has been prepared to make available and archive the background scientific data and related information collected on groundwater during the preparation of the environmental impact statement (EIS) for Phases 3 and 4 of the Hawaii Geothermal Project (HGP) as defined by the state of Hawaii in its April 1989 proposal to Congress. The US Department of Energy (DOE) published a notice in the withdrawing its notice of intent of February 14, 1992, to prepare the HGP EIS. Since the state of Hawaii is no longer pursuing or planning to pursue the HGP, DOE considers the project to be terminated. The background scientific data and related information presented in this report were collected for the geothermal resource subzones in the Puna District on the island of Hawaii. The scientific background data and related information is being made available for use by others in conducting future scientific research in these areas. This report describes the environmental resources present in the areas studied and does not represent an assessment of environmental impacts. This paper summarizes the current state of knowledge with respect to groundwater in the Puna District of the island of Hawaii. Groundwater quality in and adjacent to Kilauea`s east rift zone (KERZ), is compared with that of meteoric water, seawater, and geothermal fluid. Two segments of KERZ lie within the Puna District. These segments are the middle east rift zone (KERZ) and lower east rift zone (LERZ). The degree of mixing between meteoric water, seawater, and geothermal water in and adjacent to the also is discussed

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and Real Time Systems, is funded in the Area of Computer Science, under the ESPRIT Programme of the European Community. The coordinating institution is the Department of Computing Science, Eindhoven University of Technology, and the participating Institutions are the Institute of Computer Science of Crete. the Swedish Institute of Computer Science, the Programmimg Research Group of the University of Oxford, and the Computer Science Departments of the University of Manchester, Imperial College. Weizmann Institute of Science, Eindhoven University of Technology, IMAG Grenoble. Catholic University of Nijmegen, and the University of Liege. This document contains the synopsis. and part of the sections on objectives and area of advance, on baseline and rationale, on research goals, and on organisation of the action, as contained in the original proposal, submitted June, 198S. The section on the state of the art (18 pages) and the full list of references (21 pages) of the original proposal have been deleted because of limitation of available space

Coherent electron-phonon coupling and polaron-like transport in molecular wires

We present a technique to calculate the transport properties through one-dimensional models of molecular wires. The calculations include inelastic electron scattering due to electron-lattice interaction. The coupling between the electron and the lattice is crucial to determine the transport properties in one-dimensional systems subject to Peierls transition since it drives the transition itself. The electron-phonon coupling is treated as a quantum coherent process, in the sense that no random dephasing due to electron-phonon interactions is introduced in the scattering wave functions. We show that charge carrier injection, even in the tunneling regime, induces lattice distortions localized around the tunneling electron. The transport in the molecular wire is due to polaron-like propagation. We show typical examples of the lattice distortions induced by charge injection into the wire. In the tunneling regime, the electron transmission is strongly enhanced in comparison with the case of elastic scattering through the undistorted molecular wire. We also show that although lattice fluctuations modify the electron transmission through the wire, the modifications are qualitatively different from those obtained by the quantum electron-phonon inelastic scattering technique. Our results should hold in principle for other one-dimensional atomic-scale wires subject to Peierls transitions.Comment: 21 pages, 8 figures, accepted for publication in Phys. Rev. B (to appear march 2001

The 3D Structure of N132D in the LMC: A Late-Stage Young Supernova Remnant

We have used the Wide Field Spectrograph (WiFeS) on the 2.3m telescope at Siding Spring Observatory to map the [O III] 5007{\AA} dynamics of the young oxygen-rich supernova remnant N132D in the Large Magellanic Cloud. From the resultant data cube, we have been able to reconstruct the full 3D structure of the system of [O III] filaments. The majority of the ejecta form a ring of ~12pc in diameter inclined at an angle of 25 degrees to the line of sight. We conclude that SNR N132D is approaching the end of the reverse shock phase before entering the fully thermalized Sedov phase of evolution. We speculate that the ring of oxygen-rich material comes from ejecta in the equatorial plane of a bipolar explosion, and that the overall shape of the SNR is strongly influenced by the pre-supernova mass loss from the progenitor star. We find tantalizing evidence of a polar jet associated with a very fast oxygen-rich knot, and clear evidence that the central star has interacted with one or more dense clouds in the surrounding ISM.Comment: Accepted for Publication in Astrophysics & Space Science, 18pp, 8 figure

On the reliability of merger-trees and the mass growth histories of dark matter haloes

We have used merger trees realizations to study the formation of dark matter haloes. The construction of merger-trees is based on three different pictures about the formation of structures in the Universe. These pictures include: the spherical collapse (SC), the ellipsoidal collapse (EC) and the non-radial collapse (NR). The reliability of merger-trees has been examined comparing their predictions related to the distribution of the number of progenitors, as well as the distribution of formation times, with the predictions of analytical relations. The comparison yields a very satisfactory agreement. Subsequently, >.........Comment: A&SS Accepte

How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio

Animal models for COVID-19

Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is the aetiological agent of coronavirus disease 2019 (COVID-19), an emerging respiratory infection caused by the introduction of a novel coronavirus into humans late in 2019 (first detected in Hubei province, China). As of 18 September 2020, SARS-CoV-2 has spread to 215 countries, has infected more than 30 million people and has caused more than 950,000 deaths. As humans do not have pre-existing immunity to SARS-CoV-2, there is an urgent need to develop therapeutic agents and vaccines to mitigate the current pandemic and to prevent the re-emergence of COVID-19. In February 2020, the World Health Organization (WHO) assembled an international panel to develop animal models for COVID-19 to accelerate the testing of vaccines and therapeutic agents. Here we summarize the findings to date and provides relevant information for preclinical testing of vaccine candidates and therapeutic agents for COVID-19

Measurement of prompt photon production in sNN√=8.16 TeV p+Pb collisions with ATLAS

The inclusive production rates of isolated, prompt photons in p+Pb collisions at sNN√=8.16 TeV are studied with the ATLAS detector at the Large Hadron Collider using a dataset with an integrated luminosity of 165 nb−1 recorded in 2016. The cross-section and nuclear modification factor RpPb are measured as a function of photon transverse energy from 20 GeV to 550 GeV and in three nucleon-nucleon centre-of-mass pseudorapidity regions, (-2.83,-2.02), (-1.84,0.91), and (1.09,1.90). The cross-section and RpPb values are compared with the results of a next-to-leading-order perturbative QCD calculation, with and without nuclear parton distribution function modifications, and with expectations based on a model of the energy loss of partons prior to the hard scattering. The data disfavour a large amount of energy loss and provide new constraints on the parton densities in nuclei.We acknowledge the support of ANPCyT, Argentina; YerPhI, Ar-menia; ARC, Australia; BMWFW and FWF, Austria; ANAS, Azer-baijan; SSTC, Belarus; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; CONICYT, Chile; CAS, MOST and NSFC, China; COLCIENCIAS, Colombia; MSMT CR, MPO CR and VSC CR, Czech Republic; DNRF and DNSRC, Denmark; IN2P3-CNRS, CEA-DRF/IRFU, France; SRNSFG, Georgia; BMBF, HGF, and MPG, Germany; GSRT, Greece; RGC, Hong Kong SAR, China; ISF and Benoziyo Center, Is-rael; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; NWO, Netherlands; RCN, Norway; MNiSW and NCN, Poland; FCT, Portu-gal; MNE/IFA, Romania; MES of Russia and NRC KI, Russian Fed-eration; JINR; MESTD, Serbia; MSSR, Slovakia; ARRS and MIZŠ, Slovenia; DST/NRF, South Africa; MINECO, Spain; SRC and Wallen-berg Foundation, Sweden; SERI, SNSF and Cantons of Bern and Geneva, Switzerland; MOST, Taiwan; TAEK, Turkey; STFC, United Kingdom; DOE and NSF, United States of America. In addition, in-dividual groups and members have received support from BCKDF, Canarie, CRC and Compute Canada, Canada; COST, ERC, ERDF, Hori-zon 2020, and Marie Skłodowska-Curie Actions, European Union; Investissements d’ Avenir Labex and Idex, ANR, France; DFG and AvH Foundation, Germany; Herakleitos, Thales and Aristeia pro-grammes co-financed by EU-ESF and the Greek NSRF, Greece; BSF-NSF and GIF, Israel; CERCA Programme Generalitat de Catalunya, Spain; The Royal Society and Leverhulme Trust, United Kingdom