Quicksort Revisited: Verifying Alternative Versions of Quicksort

© Springer International Publishing Switzerland 2016.We verify the correctness of a recursive version of Tony Hoare’s quicksort algorithm using the Hoare-logic based verification tool Dafny. We then develop a non-standard, iterative version which is based on a stack of pivot-locations rather than the standard stack of ranges. We outline an incomplete Dafny proof for the latter

Patient-relevant health outcomes for von Willebrand disease, platelet function disorders, and rare bleeding disorders:a Delphi study

Background: To assess patient value, it is essential to regularly measure health outcomes that matter to patients. It is currently unknown which health outcomes are important for patients with autosomal inherited bleeding disorders. Objectives: This study aimed to assess which health outcomes are important for patients with autosomal inherited bleeding disorders, consisting of von Willebrand disease, platelet function disorders, and rare bleeding disorders, as seen from the patients’, caregivers’, and healthcare professionals’ perspectives. Methods: Two panels, one consisting of patients and caregivers, and one consisting of healthcare professionals participated in a Delphi process. A list of 146 health outcomes was identified from the literature. During 3 rounds, both panels rated the importance of health outcomes on a 5-point Likert scale. A health outcome was considered important by a panel if it received a median score of 5 with an IQR of ≤1. Results: In total, 13 patients, 10 caregivers, and 19 healthcare professionals participated in the Delphi study. Both panels reached consensus on the importance of health outcomes related to bleeding episodes, life-threatening complications, and the intensity and impact of menstruation. Patients and caregivers additionally reached consensus on the importance of health outcomes related to menstruation and the impact of the bleeding disorder on their daily lives. Healthcare professionals reached consensus on the importance of health outcomes related to treatment, joint health, and pain. Conclusion: In this study, health outcomes were identified that should be considered when implementing value-based health care in the care of patients with autosomal inherited bleeding disorders.</p

An updated survey on the use of geospatial technologies in New Zealand’s plantation forestry sector

Background: Geospatial technologies have developed rapidly in recent decades and can provide detailed, accurate data to support forest management. Knowledge of the uptake of geospatial technologies, as well as barriers to adoption, in New Zealand’s plantation forest management sector is limited and would be beneficial to the industry. This study provides an update to the 2013 benchmark study by Morgenroth and Visser. Methods: An online survey was sent to 29 companies that own or manage plantation forests in New Zealand. The survey was split into seven sections, composed of multiple-choice and open-ended questions, on the topics of: demographic information, data portals and datasets, global navigation satellite system (GNSS) receivers, and four remote-sensing technologies. These included aerial imagery, multispectral imagery, hyperspectral imagery, and light detection and ranging (LiDAR). Each section included questions relating to the acquisition, application and products created from each remote-sensing technology. Questions were also included that related to the barriers preventing the uptake of technologies. To determine the progression in the uptake of these technologies the results were compared to Morgenroth and Visser's study conducted five years' earlier. Results: Twenty-three companies responded to the survey and together, those companies managed approximately 1,172,000 ha (or 69% of New Zealand’s 1.706 million ha plantation forest estate (NZFOA, 2018)). The size of the estates managed by individual companies ranged from 1,000 ha to 177,000 ha (quartile 1 = 19,000 ha, median = 33,000 ha, quartile 3 = 63,150 ha). All companies used GNSS receivers and acquired three-band, Red-Green-Blue, aerial imagery. Multispectral imagery, hyperspectral imagery and LiDAR data were acquired by 48%, 9% and 70% of companies, respectively. Common applications for the products derived from these technologies were forest mapping and description, harvest planning, and cutover mapping. The main barrier preventing companies from acquiring most remotely-sensed data was the lack of staff knowledge and training, though cost was the main barrier to LiDAR acquisition. The uptake of all remote-sensing technologies has increased since 2013. LiDAR had the largest progression in uptake, increasing from 17% to 70%. There has also been a change in the way companies acquired the data. Many of the companies used unpiloted aerial vehicles (UAV) to acquire aerial and multispectral imagery in 2018, while in 2013 no companies were using UAVs. ESRI ArcGIS continues to be the dominant geographic information system used by New Zealand’s forest management companies (91%), though 22% of companies now use free GIS software, like QGIS or GRASS. The use of specialised software (e.g. FUSION, LAStools) for LiDAR or photogrammetric point cloud analysis increased since 2013, but most forestry companies who are processing .las files into various products (e.g. digital terrain model) are using ArcGIS. Conclusions: This study showed that there had been a progression in the uptake of geospatial technologies in the New Zealand plantation forest management sector. However, there are still barriers preventing the full utilisation of these technologies. The results suggest that the industry could benefit from investing in more training relating to geospatial technologies

Determination of urban volatile organic compound emission ratios and comparison with an emissions database

During the NEAQS-ITCT2k4 campaign in New England, anthropogenic VOCs and CO were measured downwind from New York City and Boston. The emission ratios of VOCs relative to CO and acetylene were calculated using a method in which the ratio of a VOC with acetylene is plotted versus the photochemical age. The intercept at the photochemical age of zero gives the emission ratio. The so determined emission ratios were compared to other measurement sets, including data from the same location in 2002, canister samples collected inside New York City and Boston, aircraft measurements from Los Angeles in 2002, and the average urban composition of 39 U.S. cities. All the measurements generally agree within a factor of two. The measured emission ratios also agree for most compounds within a factor of two with vehicle exhaust data indicating that a major source of VOCs in urban areas is automobiles. A comparison with an anthropogenic emission database shows less agreement. Especially large discrepancies were found for the C2-C4 alkanes and most oxygenated species. As an example, the database overestimated toluene by almost a factor of three, which caused an air quality forecast model (WRF-CHEM) using this database to overpredict the toluene mixing ratio by a factor of 2.5 as well. On the other hand, the overall reactivity of the measured species and the reactivity of the same compounds in the emission database were found to agree within 30%. Copyright 2007 by the American Geophysical Union

Chemical data quantify Deepwater Horizon hydrocarbon flow rate and environmental distribution

Author Posting. © The Author(s), 2011. This is the author's version of the work. It is posted here by permission of National Academy of Sciences for personal use, not for redistribution. The definitive version was published in Proceedings of the National Academy of Sciences of the United States of America (2012), doi:10.1073/pnas.1110564109.Detailed airborne, surface, and subsurface chemical measurements, primarily obtained in May and June 2010, are used to quantify initial hydrocarbon compositions along different transport pathways – in deep subsurface plumes, in the initial surface slick, and in the atmosphere – during the Deepwater Horizon (DWH) oil spill. Atmospheric measurements are consistent with a limited area of surfacing oil, with implications for leaked hydrocarbon mass transport and oil drop size distributions. The chemical data further suggest relatively little variation in leaking hydrocarbon composition over time. While readily soluble hydrocarbons made up ~25% of the leaking mixture by mass, subsurface chemical data show these compounds made up ~69% of the deep plume mass; only ~31% of deep plume mass was initially transported in the form of trapped oil droplets. Mass flows along individual transport pathways are also derived from atmospheric and subsurface chemical data. Subsurface hydrocarbon composition, dissolved oxygen, and dispersant data are used to provide a new assessment of release of hydrocarbons from the leaking well. We use the chemical measurements to estimate that (7.8±1.9) x106 kg of hydrocarbons leaked on June 10, 2010, directly accounting for roughly three-quarters of the total leaked mass on that day. The average environmental release rate of (10.1 ± 2.0) x106 kg/day derived using atmospheric and subsurface chemical data agrees within uncertainties with the official average leak rate of (10.2 ± 1.0) x106 kg/day derived using physical and optical methods.This research was supported by the National Science Foundation through grants to D. Blake (AGS-1049952), J. Kessler (OCE-1042650 and OCE-0849246), D. Valentine (OCE-1042097 and OCE-0961725), E. Kujawinski (OCE-1045811), and R. Camilli (OCE-1043976), by U.S. Coast Guard contract to R. Camilli (Contract HSCG3210CR0020), and by U.S. Department of Energy grant to D. Valentine (DE- NT0005667). The August, September, and October research cruises were funded by NOAA through a contract with Consolidated Safety Services, Incorporated. The NOAA P-3 oil spill survey flights were funded in part by NOAA and in part by a U.S. Coast Guard Pollution Removal Funding Authorization to NOAA

Evidence for Recipient-Derived Cells in Peribiliary Glands and Biliary Epithelium of the Large Donor Bile Ducts After Liver Transplantation

Introduction Chimerism after orthotopic liver transplantation (OLT) has largely been investigated in intrahepatic cellular constituents. However, little is known about chimerism in the extrahepatic and large intrahepatic bile ducts. Our aim was to evaluate the presence and extent of chimerism after OLT in the peribiliary glands (PBG) and the luminal epithelium of the large donor bile ducts. Methods For this study, we examined six extrahepatic and large intrahepatic bile ducts from livers that were re-transplanted. In all cases there was a sex-mismatch between donor and recipient (female donor organ and male recipient), which allowed to discriminate between donor- and recipient-derived cells. Specimens from female to female transplants were used as negative controls and male to male transplants as positive controls. Fluorescencein situhybridization (FISH) for Y and X chromosomes was performed and the percentage of XY positive cells was determined among biliary epithelial cells. Immunohistochemistry was used to correlate chimerism with histological features. Results Cholangiocellular chimerism in all studied specimens ranged from 14 to 52%. The degree of chimerism was not associated with biliary damage. Marked chimerism was present at 5 days post-OLT. Ki-67-positivity was detected in 1-8% of the epithelial cells at the time of liver re-transplantation, and this correlated inversely with the degree of chimerism. Conclusion Recipient-derived cholangiocytes are present in the large bile ducts of the donor liver after OLT. The presence of chimerism in the large bile ducts suggests that recipient-derived cells may play a role in biliary regeneration following ischemia-induced injury during OLT

Origins and composition of fine atmospheric carbonaceous aerosol in the Sierra Nevada Mountains, California

In this paper we report chemically resolved measurements of organic aerosol (OA) and related tracers during the Biosphere Effects on Aerosols and Photochemistry Experiment (BEARPEX) at the Blodgett Forest Research Station, California from 15 August–10 October 2007. OA contributed the majority of the mass to the fine atmospheric particles and was predominately oxygenated (OOA). The highest concentrations of OA were during sporadic wildfire influence when aged plumes were impacting the site. In situ measurements of particle phase molecular markers were dominated by secondary compounds and along with gas phase compounds could be categorized into six factors or sources: (1) aged biomass burning emissions and oxidized urban emissions, (2) oxidized urban emissions (3) oxidation products of monoterpene emissions, (4) monoterpene emissions, (5) anthropogenic emissions and (6) local methyl chavicol emissions and oxidation products. There were multiple biogenic components that contributed to OA at this site whose contributions varied diurnally, seasonally and in response to changing meteorological conditions, e.g. temperature and precipitation events. Concentrations of isoprene oxidation products were larger when temperatures were higher during the first half of the campaign (15 August–12 September) due to more substantial emissions of isoprene and enhanced photochemistry. The oxidation of methyl chavicol, an oxygenated terpene emitted by ponderosa pine trees, contributed similarly to OA throughout the campaign. In contrast, the abundances of monoterpene oxidation products in the particle phase were greater during the cooler conditions in the latter half of the campaign (13 September–10 October), even though emissions of the precursors were lower, although the mechanism is not known. OA was correlated with the anthropogenic tracers 2-propyl nitrate and carbon monoxide (CO), consistent with previous observations, while being comprised of mostly non-fossil carbon (>75%). The correlation between OA and an anthropogenic tracer does not necessarily identify the source of the carbon as being anthropogenic but instead suggests a coupling between the anthropogenic and biogenic components in the air mass that might be related to the source of the oxidant and/or the aerosol sulfate. Observations of organosulfates of isoprene and α-pinene provided evidence for the likely importance of aerosol sulfate in spite of neutralized aerosol although acidic plumes might have played a role upwind of the site. This is in contrast to laboratory studies where strongly acidic seed aerosols were needed in order to form these compounds. These compounds together represented only a minor fraction (<1%) of the total OA mass, which may be the result of the neutralized aerosol at the site or because only a small number of organosulfates were quantified. The low contribution of organosulfates to total OA suggests that other mechanisms, e.g. NO_x enhancement of oxidant levels, are likely responsible for the majority of the anthropogenic enhancement of biogenic secondary organic aerosol observed at this site

Emissions of organic carbon and methane from petroleum and dairy operations in California's San Joaquin Valley

Petroleum and dairy operations are prominent sources of gas-phase organic compounds in California's San Joaquin Valley. It is essential to understand the emissions and air quality impacts of these relatively understudied sources, especially for oil/gas operations in light of increasing US production. Ground site measurements in Bakersfield and regional aircraft measurements of reactive gas-phase organic compounds and methane were part of the CalNex (California Research at the Nexus of Air Quality and Climate Change) project to determine the sources contributing to regional gas-phase organic carbon emissions. Using a combination of near-source and downwind data, we assess the composition and magnitude of emissions, and provide average source profiles. To examine the spatial distribution of emissions in the San Joaquin Valley, we developed a statistical modeling method using ground-based data and the FLEXPART-WRF transport and meteorological model. We present evidence for large sources of paraffinic hydrocarbons from petroleum operations and oxygenated compounds from dairy (and other cattle) operations. In addition to the small straight-chain alkanes typically associated with petroleum operations, we observed a wide range of branched and cyclic alkanes, most of which have limited previous in situ measurements or characterization in petroleum operation emissions. Observed dairy emissions were dominated by ethanol, methanol, acetic acid, and methane. Dairy operations were responsible for the vast majority of methane emissions in the San Joaquin Valley; observations of methane were well correlated with non-vehicular ethanol, and multiple assessments of the spatial distribution of emissions in the San Joaquin Valley highlight the dominance of dairy operations for methane emissions. The petroleum operations source profile was developed using the composition of non-methane hydrocarbons in unrefined natural gas associated with crude oil. The observed source profile is consistent with fugitive emissions of condensate during storage or processing of associated gas following extraction and methane separation. Aircraft observations of concentration hotspots near oil wells and dairies are consistent with the statistical source footprint determined via our FLEXPART-WRF-based modeling method and ground-based data. We quantitatively compared our observations at Bakersfield to the California Air Resources Board emission inventory and find consistency for relative emission rates of reactive organic gases between the aforementioned sources and motor vehicles in the region. We estimate that petroleum and dairy operations each comprised 22% of anthropogenic non-methane organic carbon at Bakersfield and were each responsible for 8-13% of potential precursors to ozone. Yet, their direct impacts as potential secondary organic aerosol (SOA) precursors were estimated to be minor for the source profiles observed in the San Joaquin Valley