Validating IoT Devices with Rate-Based Session Types

We develop a session types based framework for implementing and validating rate-based message passing systems in Internet of Things (IoT) domains. To model the indefinite repetition present in many embedded and IoT systems, we introduce a timed process calculus with a periodic recursion primitive. This allows us to model rate-based computations and communications inherent to these application domains. We introduce a definition of rate based session types in a binary session types setting and a new compatibility relationship, which we call rate compatibility. Programs which type check enjoy the standard session types guarantees as well as rate error freedom --- meaning processes which exchanges messages do so at the same rate. Rate compatibility is defined through a new notion of type expansion, a relation that allows communication between processes of differing periods by synthesizing and checking a common superperiod type. We prove type preservation and rate error freedom for our system, and show a decidable method for type checking based on computing superperiods for a collection of processes. We implement a prototype of our type system including rate compatibility via an embedding into the native type system of Rust. We apply this framework to a range of examples from our target domain such as Android software sensors, wearable devices, and sound processing

Risk factors for recurrence in patients with Clostridium difficile infection due to 027 and non-027 ribotypes

Objectives: Our objective was to evaluate factors associated with recurrence in patients with 027+ and 027– Clostridium difficile infection (CDI). Methods: Patients with CDI observed between January and December 2014 in six hospitals were consecutively included in the study. The 027 ribotype was deduced by the presence of tcdB, tcdB, cdt genes and the deletion Δ117 in tcdC (Xpert® C. difficile/Epi). Recurrence was defined as a positive laboratory test result for C. difficile more than 14 days but within 8 weeks after the initial diagnosis date with reappearance of symptoms. To identify factors associated with recurrence in 027+ and 027– CDI, a multivariate analysis was performed in each patient group. Subdistributional hazard ratios (sHRs) and 95% confidence intervals (95%CIs) were calculated. Results: Overall, 238 patients with 027+ CDI and 267 with 027– CDI were analysed. On multivariate analysis metronidazole monotherapy (sHR 2.380, 95%CI 1.549–3.60, p <0.001) and immunosuppressive treatment (sHR 3.116, 95%CI 1.906–5.090, p <0.001) were factors associated with recurrence in patients with 027+ CDI. In this patient group, metronidazole monotherapy was independently associated with recurrence in both mild/moderate (sHR 1.894, 95%CI 1.051–3.410, p 0.033) and severe CDI (sHR 2.476, 95%CI 1.281–4.790, p 0.007). Conversely, non-severe disease (sHR 3.704, 95%CI 1.437–9.524, p 0.007) and absence of chronic renal failure (sHR 16.129, 95%CI 2.155–125.000, p 0.007) were associated with recurrence in 027– CDI. Conclusions: Compared to vancomycin, metronidazole monotherapy appears less effective in curing CDI without relapse in the 027+ patient group, independently of disease severity

Improved Constraints on Northern Extratropical CO₂ Fluxes Obtained by Combining Surface-Based and Space-Based Atmospheric CO₂ Measurements

Top‐down estimates of CO₂ fluxes are typically constrained by either surface‐based or space‐based CO₂ observations. Both of these measurement types have spatial and temporal gaps in observational coverage that can lead to differences in inferred fluxes. Assimilating both surface‐based and space‐based measurements concurrently in a flux inversion framework improves observational coverage and reduces sampling related artifacts. This study examines the consistency of flux constraints provided by these different observations and the potential to combine them by performing a series of 6‐year (2010–2015) CO₂ flux inversions. Flux inversions are performed assimilating surface‐based measurements from the in situ and flask network, measurements from the Total Carbon Column Observing Network (TCCON), and space‐based measurements from the Greenhouse Gases Observing Satellite (GOSAT), or all three data sets combined. Combining the data sets results in more precise flux estimates for subcontinental regions relative to any of the data sets alone. Combining the data sets also improves the accuracy of the posterior fluxes, based on reduced root‐mean‐square differences between posterior flux‐simulated CO₂ and aircraft‐based CO₂ over midlatitude regions (0.33–0.56 ppm) in comparison to GOSAT (0.37–0.61 ppm), TCCON (0.50–0.68 ppm), or in situ and flask measurements (0.46–0.56 ppm) alone. These results suggest that surface‐based and GOSAT measurements give complementary constraints on CO₂ fluxes in the northern extratropics and can be combined in flux inversions to improve constraints on regional fluxes. This stands in contrast with many earlier attempts to combine these data sets and suggests that improvements in the NASA Atmospheric CO₂ Observations from Space (ACOS) retrieval algorithm have significantly improved the consistency of space‐based and surface‐based flux constraints

Improved Constraints on Northern Extratropical CO₂ Fluxes Obtained by Combining Surface-Based and Space-Based Atmospheric CO₂ Measurements

Top‐down estimates of CO₂ fluxes are typically constrained by either surface‐based or space‐based CO₂ observations. Both of these measurement types have spatial and temporal gaps in observational coverage that can lead to differences in inferred fluxes. Assimilating both surface‐based and space‐based measurements concurrently in a flux inversion framework improves observational coverage and reduces sampling related artifacts. This study examines the consistency of flux constraints provided by these different observations and the potential to combine them by performing a series of 6‐year (2010–2015) CO₂ flux inversions. Flux inversions are performed assimilating surface‐based measurements from the in situ and flask network, measurements from the Total Carbon Column Observing Network (TCCON), and space‐based measurements from the Greenhouse Gases Observing Satellite (GOSAT), or all three data sets combined. Combining the data sets results in more precise flux estimates for subcontinental regions relative to any of the data sets alone. Combining the data sets also improves the accuracy of the posterior fluxes, based on reduced root‐mean‐square differences between posterior flux‐simulated CO₂ and aircraft‐based CO₂ over midlatitude regions (0.33–0.56 ppm) in comparison to GOSAT (0.37–0.61 ppm), TCCON (0.50–0.68 ppm), or in situ and flask measurements (0.46–0.56 ppm) alone. These results suggest that surface‐based and GOSAT measurements give complementary constraints on CO₂ fluxes in the northern extratropics and can be combined in flux inversions to improve constraints on regional fluxes. This stands in contrast with many earlier attempts to combine these data sets and suggests that improvements in the NASA Atmospheric CO₂ Observations from Space (ACOS) retrieval algorithm have significantly improved the consistency of space‐based and surface‐based flux constraints

Improved Constraints on Northern Extratropical CO2 Fluxes Obtained by Combining Surface-Based and Space-Based Atmospheric CO2 Measurements

© 2020. The Authors. Top-down estimates of CO2 fluxes are typically constrained by either surface-based or space-based CO2 observations. Both of these measurement types have spatial and temporal gaps in observational coverage that can lead to differences in inferred fluxes. Assimilating both surface-based and space-based measurements concurrently in a flux inversion framework improves observational coverage and reduces sampling related artifacts. This study examines the consistency of flux constraints provided by these different observations and the potential to combine them by performing a series of 6-year (2010–2015) CO2 flux inversions. Flux inversions are performed assimilating surface-based measurements from the in situ and flask network, measurements from the Total Carbon Column Observing Network (TCCON), and space-based measurements from the Greenhouse Gases Observing Satellite (GOSAT), or all three data sets combined. Combining the data sets results in more precise flux estimates for subcontinental regions relative to any of the data sets alone. Combining the data sets also improves the accuracy of the posterior fluxes, based on reduced root-mean-square differences between posterior flux-simulated CO2 and aircraft-based CO2 over midlatitude regions (0.33–0.56 ppm) in comparison to GOSAT (0.37–0.61 ppm), TCCON (0.50–0.68 ppm), or in situ and flask measurements (0.46–0.56 ppm) alone. These results suggest that surface-based and GOSAT measurements give complementary constraints on CO2 fluxes in the northern extratropics and can be combined in flux inversions to improve constraints on regional fluxes. This stands in contrast with many earlier attempts to combine these data sets and suggests that improvements in the NASA Atmospheric CO2 Observations from Space (ACOS) retrieval algorithm have significantly improved the consistency of space-based and surface-based flux constraints

Improved Constraints on Northern Extratropical CO2 Fluxes Obtained by Combining Surface-Based and Space-Based Atmospheric CO2 Measurements

Abstract Top-down estimates of CO2 fluxes are typically constrained by either surface-based or space-based CO2 observations. Both of these measurement types have spatial and temporal gaps in observational coverage that can lead to differences in inferred fluxes. Assimilating both surface-based and space-based measurements concurrently in a flux inversion framework improves observational coverage and reduces sampling related artifacts. This study examines the consistency of flux constraints provided by these different observations and the potential to combine them by performing a series of 6-year (2010?2015) CO2 flux inversions. Flux inversions are performed assimilating surface-based measurements from the in situ and flask network, measurements from the Total Carbon Column Observing Network (TCCON), and space-based measurements from the Greenhouse Gases Observing Satellite (GOSAT), or all three data sets combined. Combining the data sets results in more precise flux estimates for subcontinental regions relative to any of the data sets alone. Combining the data sets also improves the accuracy of the posterior fluxes, based on reduced root-mean-square differences between posterior flux-simulated CO2 and aircraft-based CO2 over midlatitude regions (0.33?0.56?ppm) in comparison to GOSAT (0.37?0.61?ppm), TCCON (0.50?0.68?ppm), or in situ and flask measurements (0.46?0.56?ppm) alone. These results suggest that surface-based and GOSAT measurements give complementary constraints on CO2 fluxes in the northern extratropics and can be combined in flux inversions to improve constraints on regional fluxes. This stands in contrast with many earlier attempts to combine these data sets and suggests that improvements in the NASA Atmospheric CO2 Observations from Space (ACOS) retrieval algorithm have significantly improved the consistency of space-based and surface-based flux constraints

A scientific algorithm to simultaneously retrieve carbon monoxide and methane from TROPOMI onboard Sentinel-5 Precursor

Carbon monoxide (CO) is an important atmospheric constituent affecting air quality, and methane (CH$_{4}$) is the second most important greenhouse gas contributing to human-induced climate change. Detailed and continuous observations of these gases are necessary to better assess their impact on climate and atmospheric pollution. While surface and airborne measurements are able to accurately determine atmospheric abundances on local scales, global coverage can only be achieved using satellite instruments. The TROPOspheric Monitoring Instrument (TROPOMI) onboard the Sentinel-5 Precursor satellite, which was successfully launched in October 2017, is a spaceborne nadirviewing imaging spectrometer measuring solar radiation reflected by the Earth in a push-broom configuration. It has a wide swath on the terrestrial surface and covers wavelength bands between the ultraviolet (UV) and the shortwave infrared (SWIR), combining a high spatial resolution with daily global coverage. These characteristics enable the determination of both gases with an unprecedented level of detail on a global scale, introducing new areas of application. Abundances of the atmospheric column-averaged dry air mole fractions XCO and XCH$_{4}$ are simultaneously retrieved from TROPOMI’s radiance measurements in the 2:3 μm spectral range of the SWIR part of the solar spectrum using the scientific retrieval algorithm Weighting Function Modified Differential Optical Absorption Spectroscopy (WFMDOAS). This algorithm is intended to be used with the operational algorithms for mutual verification and to provide new geophysical insights. We introduce the algorithm in detail, including expected error characteristics based on synthetic data, a machine-learning-based quality filter, and a shallow learning calibration procedure applied in the post-processing of the XCH$_{4}$ data. The quality of the results based on real TROPOMI data is assessed by validation with ground-based Fourier transform spectrometer (FTS) measurements providing realistic error estimates of the satellite data: the XCO data set is characterised by a random error of 5:1 ppb (5:8 %) and a systematic error of 1:9 ppb (2:1 %); the XCH$_{4}$ data set exhibits a random error of 14:0 ppb (0:8 %) and a systematic error of 4:3 ppb (0:2 %). The natural XCO and XCH$_{4}$ variations are well-captured by the satellite retrievals, which is demonstrated by a high correlation with the validation data (R = 0:97 for XCO and R D 0:91 for XCH$_{4}$ based on daily averages). We also present selected results from the mission start until the end of 2018, including a first comparison to the operational products and examples of the detection of emission sources in a single satellite overpass, such as CO emissions from the steel industry and CH$_{4}$ emissions from the energy sector, which potentially allows for the advance of emission monitoring and air quality assessments to an entirely new level

Comparisons of the Orbiting Carbon Observatory-2 (OCO-2) XCO2_{CO_{2}} measurements with TCCON

NASA\u27s Orbiting Carbon Observatory-2 (OCO-2) has been measuring carbon dioxide column-averaged dry-air mole fraction, X$_{CO_{2}}$, in the Earth\u27s atmosphere for over 2 years. In this paper, we describe the comparisons between the first major release of the OCO-2 retrieval algorithm (B7r) and X$_{CO_{2}}$ from OCO-2\u27s primary ground-based validation network: the Total Carbon Column Observing Network (TCCON). The OCO-2 X$_{CO_{2}}$ retrievals, after filtering and bias correction, agree well when aggregated around and coincident with TCCON data in nadir, glint, and target observation modes, with absolute median differences less than 0.4 ppm and RMS differences less than 1.5 ppm. After bias correction, residual biases remain. These biases appear to depend on latitude, surface properties, and scattering by aerosols. It is thus crucial to continue measurement comparisons with TCCON to monitor and evaluate the OCO-2 X$_{CO_{2}}$ data quality throughout its mission