Electrochemical Cell for Obtaining Oxygen from Carbon Dioxide Atmospheres

To support human life on the Martian surface, an electrochemical device will be required to obtain oxygen from the carbon dioxide rich atmosphere. The electrolyte employed in such a device must be constructed from extremely thin, dense membranes to efficiently acquire the oxygen necessary to support life. A forming process used industrially in the production of multilayer capacitors and electronic substrates was adapted to form the thin membranes required. The process, known as the tape casting, involves the suspension consisting of solvents and binders. The suspension is passed under a blade, resulting in the production of ceramic membranes between 0.1 and 0.5 mm thick. Once fired, the stabilized zirconia membranes were assembled into the cell design by employing a zirconium phosphate solution as the sealing agent. The resulting ceramic-to-ceramic seals were found to be structurally sound and gas-tight. Furthermore, by using a zirconia-based solution to assemble the cell, the problem of a thermal expansion mismatch was alleviated. By adopting an industrial forming process to produce thin membranes, an electrochemical cell for obtaining oxygen from carbon dioxide was produced. The proposed cell design is unique in that it does not require a complicated manifold system for separating the various gases present in this process, nor does it require a series of complex electrical connections. Thus, the device can reliably obtain the vital oxygen supply from the toxic carbon dioxide atmosphere

FuSeBMC AI:Acceleration of Hybrid Approach through Machine Learning

We present FuSeBMC-AI, a test generation tool grounded in machine learning techniques. FuSeBMC-AI extracts various features from the program and employs support vector machine and neural network models to predict a hybrid approach optimal configuration. FuSeBMC-AI utilizes Bounded Model Checking and Fuzzing as back-end verification engines. FuSeBMC-AI outperforms the default configuration of the underlying verification engine in certain cases while concurrently diminishing resource consumption

Consensus Guidelines for Advancing Coral Holobiont Genome and Specimen Voucher Deposition

Coral research is being ushered into the genomic era. To fully capitalize on the potential discoveries from this genomic revolution, the rapidly increasing number of high-quality genomes requires effective pairing with rigorous taxonomic characterizations of specimens and the contextualization of their ecological relevance. However, to date there is no formal framework that genomicists, taxonomists, and coral scientists can collectively use to systematically acquire and link these data. Spurred by the recently announced “Coral symbiosis sensitivity to environmental change hub” under the “Aquatic Symbiosis Genomics Project” - a collaboration between the Wellcome Sanger Institute and the Gordon and Betty Moore Foundation to generate gold-standard genome sequences for coral animal hosts and their associated Symbiodiniaceae microalgae (among the sequencing of many other symbiotic aquatic species) - we outline consensus guidelines to reconcile different types of data. The metaorganism nature of the coral holobiont provides a particular challenge in this context and is a key factor to consider for developing a framework to consolidate genomic, taxonomic, and ecological (meta)data. Ideally, genomic data should be accompanied by taxonomic references, i.e., skeletal vouchers as formal morphological references for corals and strain specimens in the case of microalgal and bacterial symbionts (cultured isolates). However, exhaustive taxonomic characterization of all coral holobiont member species is currently not feasible simply because we do not have a comprehensive understanding of all the organisms that constitute the coral holobiont. Nevertheless, guidelines on minimal, recommended, and ideal-case descriptions for the major coral holobiont constituents (coral animal, Symbiodiniaceae microalgae, and prokaryotes) will undoubtedly help in future referencing and will facilitate comparative studies. We hope that the guidelines outlined here, which we will adhere to as part of the Aquatic Symbiosis Genomics Project sub-hub focused on coral symbioses, will be useful to a broader community and their implementation will facilitate cross- and meta-data comparisons and analyses.CV acknowledges funding from the German Research Foundation (DFG), grants 433042944 and 458901010. Open Access publication fees are covered by an institutional agreement of the University of Konstanz

Amplification of Emerging Viruses in a Bat Colony

Concentration and prevalence of coronaviruses and astroviruses increase when bats form maternity roosts and bear young

The structure of the caspase recruitment domain of BinCARD reveals that all three cysteines can be oxidized

The caspase recruitment domain (CARD) is present in death-domain superfamily proteins involved in inflammation and apoptosis. BinCARD is named for its ability to interact with Bcl10 and inhibit downstream signalling. Human BinCARD is expressed as two isoforms that encode the same N-terminal CARD region but which differ considerably in their C-termini. Both isoforms are expressed in immune cells, although BinCARD-2 is much more highly expressed. Crystals of the CARD fold common to both had low symmetry (space group P1). Molecular replacement was unsuccessful in this low-symmetry space group and, as the construct contains no methionines, first one and then two residues were engineered to methionine for MAD phasing. The double-methionine variant was produced as a selenomethionine derivative, which was crystallized and the structure was solved using data measured at two wavelengths. The crystal structures of the native and selenomethionine double mutant were refined to high resolution (1.58 and 1.40 Å resolution, respectively), revealing the presence of a cis-peptide bond between Tyr39 and Pro40. Unexpectedly, the native crystal structure revealed that all three cysteines were oxidized. The mitochondrial localization of BinCARD-2 and the susceptibility of its CARD region to redox modification points to the intriguing possibility of a redox-regulatory role

The SAMI Galaxy Survey: understanding observations of large-scale outflows at low redshift with EAGLE simulations

This work presents a study of galactic outflows driven by stellar feedback. We extract mainsequence disc galaxies with stellar mass 109 ≤ M*/ M⊙ ≤ 5.7 × 1010 at redshift z = 0 from the highest resolution cosmological simulation of the Evolution and Assembly of GaLaxies and their Environments (EAGLE) set. Synthetic gas rotation velocity and velocity dispersion (σ) maps are created and compared to observations of disc galaxies obtained with the Sydney-AAO (Australian Astronomical Observatory) Multi-object Integral field spectrograph (SAMI), where σ-values greater than 150 km s-1 are most naturally explained by bipolar outflows powered by starburst activity. We find that the extension of the simulated edge-on (pixelated) velocity dispersion probability distribution depends on stellar mass and star formation rate surface density (ΣSFR), with low-M*/low-ΣSFR galaxies showing a narrow peak at low s (~30 km s-1) and more active, high-M*/high-ΣSFR galaxies reaching σ > 150 km s-1. Although supernova-driven galactic winds in the EAGLE simulations may not entrain enough gas with T < 105 K compared to observed galaxies, we find that gas temperature is a good proxy for the presence of outflows. There is a direct correlation between the thermal state of the gas and its state of motion as described by the σ-distribution. The following equivalence relations hold in EAGLE: (i) low-σ peak ⇔ disc of the galaxy ⇔ gas with T < 105 K; (ii) high-σ tail ⇔ galactic winds ⇔ gas with T ≥105 K.SMC acknowledges the support of an Australian Research Council Future Fellowship (FT100100457). Support for AMM is provided by NASA through Hubble Fellowship grant #HST-HF2-51377 awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., for NASA, under contract NAS5- 2655

The state of the Martian climate

60°N was +2.0°C, relative to the 1981–2010 average value (Fig. 5.1). This marks a new high for the record. The average annual surface air temperature (SAT) anomaly for 2016 for land stations north of starting in 1900, and is a significant increase over the previous highest value of +1.2°C, which was observed in 2007, 2011, and 2015. Average global annual temperatures also showed record values in 2015 and 2016. Currently, the Arctic is warming at more than twice the rate of lower latitudes

From peculiar morphologies to Hubble-type spirals: the relation between galaxy dynamics and morphology in star-forming galaxies at z similar to 1.5

We present an analysis of the gas dynamics of star-forming galaxies at z ∼ 1.5 using data from the KMOS Galaxy Evolution Survey. We quantify the morphology of the galaxies using HST CANDELS imaging parametrically and non-parametrically. We combine the H α dynamics from KMOS with the high-resolution imaging to derive the relation between stellar mass (M∗) and stellar specific angular momentum (j∗). We show that high-redshift star-forming galaxies at z ∼ 1.5 follow a power-law trend in specific stellar angular momentum with stellar mass similar to that of local late-type galaxies of the form j∗ ∝ M0.53 ± 0.10 ∗ . The highest specific angular momentum galaxies are mostly disc-like, although generally both peculiar morphologies and disc-like systems are found across the sequence of specific angular momentum at a fixed stellar mass. We explore the scatter within the j∗ – M∗ plane and its correlation with both the integrated dynamical properties of a galaxy (e.g. velocity dispersion, Toomre Qg, H α star formation rate surface density SFR) and its parametrized rest-frame UV / optical morphology (e.g. Sersic ´ index, bulge to total ratio, clumpiness, asymmetry, and concentration). We establish that the position in the j∗ – M∗ plane is strongly correlated with the star-formation surface density and the clumpiness of the stellar light distribution. Galaxies with peculiar rest-frame UV / optical morphologies have comparable specific angular momentum to disc- dominated galaxies of the same stellar mass, but are clumpier and have higher star formation rate surface densities. We propose that the peculiar morphologies in high-redshift systems are driven by higher star formation rate surface densities and higher gas fractions leading to a more clumpy interstellar medium.This work was supported by the Science and Technology Facilities Council (ST/L00075X/1). SG acknowledges the support of the Science and Technology Facilities Council through grant ST/N50404X/1 for support. EI acknowledges partial support from FONDECYT through grant N◦ 1171710. We thank the FMOSCOSMOS team for their invaluable contributions to the KGES target selection. ALT acknowledges support from STFC (ST/L00075X/1 and ST/P000541/1), ERC Advanced Grant DUSTYGAL (321334), and a Forrest Research Foundation Fellowship. LC is the recipient of an Australian Research Council Future Fellowship (FT180100066) funded by the Australian Government. Parts of this research were conducted by the Australian Research Council Centre of Excellence for All Sky Astrophysics in 3 Dimensions (ASTRO 3D), through project number CE170100013

Soluble ST2 Levels Are Associated with Bleeding in Patients with Severe Leptospirosis

Leptospirosis is a bacterial disease that is mainly spread by rodents and other small mammals. Transmission frequently occurs in (sub-) tropical countries, where environmental circumstances are most favourable. Severe leptospirosis can cause bleeding and vital organ dysfunction. An exaggerated immune response is thought to play an important role in the pathophysiology of leptospirosis. Soluble ST2 (sST2) is thought to inhibit negative regulatory pathways of this response. Soluble ST2 is produced by cells that surround, for example, blood vessels, and several of these blood cells play an important part in the host immune response. In an observational study, we measured the extent of sST2 release in patients suffering from severe leptospirosis. We found that patients that died from leptospirosis displayed higher levels of sST2. Moreover, from this study we have seen that sST2 levels were associated with bleeding, whereas other markers of infection were not. In an experiment, we showed that (white) blood cells did not seem to be the source of sST2 production. Damage to blood vessels is likely to cause bleeding in leptospirosis patients, exposing sST2 producing cells like fibroblasts to the blood stream. Hence, we believe that sST2 may be used as a marker for tissue damage in patients suffering from severe leptospirosis