A microanalytical study of iron, aluminium and organic matter relationships in soils with contrasting hydrological regimes

It is recognised that interactions between mineral oxides and soil organic matter (SOM) are an important factor in the stabilisation of soil organic carbon (SOC). The nature of these interactions is particularly complex in gleyed soils that experience periodic waterlogging and changeable redox conditions. This study explores the complex patterns of iron (Fe) (hydr)oxides and SOM in three soils with contrasting hydrological regimes (Gleysol, Stagnosol and Cambisol). Micromorphological examination of undisturbed soil thin sections was teamed with SEM-EDS analysis and sequential dissolution of Fe pedofeatures to gain a better understanding of the mechanisms involved in SOM stabilisation by mineral oxides. All soils contained a diverse range of particulate SOM forms and Fe pedofeatures; the degree of impregnation of the Fe pedofeatures was found to increase with depth and a strong correlation between the presence of SOM and Fe pedofeatures was found to exist through all soils. Weakly crystalline Fe (hydr)oxides were found in association with partially degraded tissue residues and amorphous fine organic matter (OM). Strongly crystalline Fe (hydr)oxides were found in all impregnative Fe pedofeatures and high Fe/C ratios suggested precipitative processes rather than sorption dominate SOC sequestration in these features. In addition, at the core of some strongly impregnated Fe nodules, occluded well preserved organic tissues were identified. The study highlights the range of processes and complexity involved in SOC sequestration over mm to cm scales and untangling this complexity is vital to understanding and modelling terrestrial C fluxes. Whilst the methods used here are not without their complications, the value of micro-scale studies of undisturbed soil thin sections is clearly demonstrated

Investigating summer thermal stratification in Lake Ontario

Summer thermal stratification in Lake Ontario is simulated using the 3D hydrodynamic model Environmental Fluid Dynamics Code (EFDC). Summer temperature differences establish strong vertical density gradients (thermocline) between the epilimnion and hypolimnion. Capturing the stratification and thermocline formation has been a challenge in modeling Great Lakes. Deviating from EFDC's original Mellor-Yamada (1982) vertical mixing scheme, we have implemented an unidimensional vertical model that uses different eddy diffusivity formulations above and below the thermocline (Vincon-Leite, 1991; Vincon-Leite et al., 2014). The model is forced with the hourly meteorological data from weather stations around the lake, flow data for Niagara and St. Lawrence rivers; and lake bathymetry is interpolated on a 2-km grid. The model has 20 vertical layers following sigma vertical coordinates. Sensitivity of the model to vertical layers' spacing is thoroughly investigated. The model has been calibrated for appropriate solar radiation coefficients and horizontal mixing coefficients. Overall the new implemented diffusivity algorithm shows some successes in capturing the thermal stratification with RMSE values between 2-3°C. Calibration of vertical mixing coefficients is under investigation to capture the improved thermal stratification

Simplified Post Processing of Cine DENSE Cardiovascular Magnetic Resonance for Quantification of Cardiac Mechanics

BACKGROUND: Cardiovascular magnetic resonance using displacement encoding with stimulated echoes (DENSE) is capable of assessing advanced measures of cardiac mechanics such as strain and torsion. A potential hurdle to widespread clinical adoption of DENSE is the time required to manually segment the myocardium during post-processing of the images. To overcome this hurdle, we proposed a radical approach in which only three contours per image slice are required for post-processing (instead of the typical 30-40 contours per image slice). We hypothesized that peak left ventricular circumferential, longitudinal and radial strains and torsion could be accurately quantified using this simplified analysis. METHODS AND RESULTS: We tested our hypothesis on a large multi-institutional dataset consisting of 541 DENSE image slices from 135 mice and 234 DENSE image slices from 62 humans. We compared measures of cardiac mechanics derived from the simplified post-processing to those derived from original post-processing utilizing the full set of 30-40 manually-defined contours per image slice. Accuracy was assessed with Bland-Altman limits of agreement and summarized with a modified coefficient of variation. The simplified technique showed high accuracy with all coefficients of variation less than 10% in humans and 6% in mice. The accuracy of the simplified technique was also superior to two previously published semi-automated analysis techniques for DENSE post-processing. CONCLUSIONS: Accurate measures of cardiac mechanics can be derived from DENSE cardiac magnetic resonance in both humans and mice using a simplified technique to reduce post-processing time by approximately 94%. These findings demonstrate that quantifying cardiac mechanics from DENSE data is simple enough to be integrated into the clinical workflow

Generalized Toric Codes Coupled to Thermal Baths

We have studied the dynamics of a generalized toric code based on qudits at finite temperature by finding the master equation coupling the code's degrees of freedom to a thermal bath. As a consequence, we find that for qutrits new types of anyons and thermal processes appear that are forbidden for qubits. These include creation, annihilation and diffusion throughout the system code. It is possible to solve the master equation in a short-time regime and find expressions for the decay rates as a function of the dimension $d$ of the qudits. Although we provide an explicit proof that the system relax to the Gibbs state for arbitrary qudits, we also prove that above a certain crossing temperature, qutrits initial decay rate is smaller than the original case for qubits. Surprisingly this behavior only happens with qutrits and not with other qudits with $d>3$.Comment: Revtex4 file, color figures. New Journal of Physics' versio

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

The Future of Indiana’s Water Resources: A Report from the Indiana Climate Change Impacts Assessment

This report from the Indiana Climate Change Impacts Assessment (IN CCIA) applies climate change projections for the state to explore how continued changes in Indiana’s climate are going to affect all aspects of water resources, including soil water, evaporation, runoff, snow cover, streamflow, drought, and flooding. As local temperatures continue to rise and rainfall patterns shift, managing the multiple water needs of communities, natural systems, recreation, industry, and agriculture will become increasingly difficult. Ensuring that enough water is available in the right places and at the right times will require awareness of Indiana’s changing water resources and planning at regional and state levels

Topological Color Codes and Two-Body Quantum Lattice Hamiltonians

Topological color codes are among the stabilizer codes with remarkable properties from quantum information perspective. In this paper we construct a four-valent lattice, the so called ruby lattice, governed by a 2-body Hamiltonian. In a particular regime of coupling constants, degenerate perturbation theory implies that the low energy spectrum of the model can be described by a many-body effective Hamiltonian, which encodes the color code as its ground state subspace. The gauge symmetry $\mathbf{Z}_{2}\times\mathbf{Z}_{2}$ of color code could already be realized by identifying three distinct plaquette operators on the lattice. Plaquettes are extended to closed strings or string-net structures. Non-contractible closed strings winding the space commute with Hamiltonian but not always with each other giving rise to exact topological degeneracy of the model. Connection to 2-colexes can be established at the non-perturbative level. The particular structure of the 2-body Hamiltonian provides a fruitful interpretation in terms of mapping to bosons coupled to effective spins. We show that high energy excitations of the model have fermionic statistics. They form three families of high energy excitations each of one color. Furthermore, we show that they belong to a particular family of topological charges. Also, we use Jordan-Wigner transformation in order to test the integrability of the model via introducing of Majorana fermions. The four-valent structure of the lattice prevents to reduce the fermionized Hamiltonian into a quadratic form due to interacting gauge fields. We also propose another construction for 2-body Hamiltonian based on the connection between color codes and cluster states. We discuss this latter approach along the construction based on the ruby lattice.Comment: 56 pages, 16 figures, published version

Report 8: Symptom progression of COVID-19

The COVID-19 epidemic was declared a Public Health Emergency of International Concern (PHEIC) by WHO on 30th January 2020 [1]. As of 8 March 2020, over 107,000 cases had been reported. Here, we use published and preprint studies of clinical characteristics of cases in mainland China as well as case studies of individuals from Hong Kong, Japan, Singapore and South Korea to examine the proportional occurrence of symptoms and the progression of symptoms through time. We find that in mainland China, where specific symptoms or disease presentation are reported, pneumonia is the most frequently mentioned, see figure 1. We found a more varied spectrum of severity in cases outside mainland China. In Hong Kong, Japan, Singapore and South Korea, fever was the most frequently reported symptom. In this latter group, presentation with pneumonia is not reported as frequently although it is more common in individuals over 60 years old. The average time from reported onset of first symptoms to the occurrence of specific symptoms or disease presentation, such as pneumonia or the use of mechanical ventilation, varied substantially. The average time to presentation with pneumonia is 5.88 days, and may be linked to testing at hospitalisation; fever is often reported at onset (where the mean time to develop fever is 0.77 days)