The effect of Fe, Co, and Ni structural promotion of cryptomelane (KMn8O16)(KMn_8O_{16}) on the catalytic activity in oxygen evolution reaction

Transition metal (Fe, Co, Ni)-doped cryptomelane materials (K-OMS-2) were synthesized and characterized with the use of XRD, Raman spectroscopy, XPS, N2-BET, H2-TPR, and SEM. The electrocatalytic reactivity in oxygen evolution was evaluated with the use of the rotating disk electrode. It was found that the electrocatalytic activity is substantially enhanced for the cobaltdoped material, while iron and nickel doping have no, or even, negative effect on K-OMS-2. The structure of the material bulk is preserved in all cases, but the formation of additional birnessite phases can be evidenced for the iron and cobalt dopants. It is discussed that the reactivity enhancement of Co/K-OMS-2 can be related not only to the formation of cobalt-doped heterophases (cobaltane, birnessite) but also to the changes of the properties of pristine cryptomelane

Synthesis optimization of carbon-supported ZrO2 nanoparticles from different organometallic precursors

Abstract We report here the synthesis of carbon-supported ZrO2 nanoparticles from zirconium oxyphthalocyanine (ZrOPc) and acetylacetonate [Zr(acac)4]. Using thermogravimetric analysis (TGA) coupled with mass spectrometry (MS), we could investigate the thermal decomposition behavior of the chosen precursors. According to those results, we chose the heat treatment temperatures (T HT) using partial oxidizing (PO) and reducing (RED) atmosphere. By X-ray diffraction we detected structure and size of the nanoparticles; the size was further confirmed by transmission electron microscopy. ZrO2 formation happens at lower temperature with Zr(acac)4 than with ZrOPc, due to the lower thermal stability and a higher oxygen amount in Zr(acac)4. Using ZrOPc at T HT ≥900 °C, PO conditions facilitate the crystallite growth and formation of distinct tetragonal ZrO2, while with Zr(acac)4 a distinct tetragonal ZrO2 phase is observed already at T HT ≥750 °C in both RED and PO conditions. Tuning of ZrO2 nanocrystallite size from 5 to 9 nm by varying the precursor loading is also demonstrated. The chemical state of zirconium was analyzed by X-ray photoelectron spectroscopy, which confirms ZrO2 formation from different synthesis routes

SMEDL: Combining Synchronous and Asynchronous Monitoring

Two major approaches have emerged in runtime verification, based on synchronous and asynchronous monitoring. Each approach has its advantages and disadvantages and is applicable in different situations. In this paper, we explore a hybrid approach, where low-level properties are checked synchronously, while higher-level ones are checked asynchronously. We present a tool for constructing and deploying monitors based on an architecture specification. Monitor logic and patterns of communication between monitors are specified in a language SMEDL. The language and the tool are illustrated using a case study of a robotic simulator

High‐throughput sequencing approach in analysis of microbial communities colonizing natural gas pipelines

This study provides a deep modern insight into the phylogenetic diversity among bacterial consortia found in working and nonworking high‐methane natural gas pipelines located in Poland. The working pipeline was characterized by lower biodiversity (140–154 bacterial genera from 22 to 23 classes, depending on the source of the debris) in comparison to the off‐gas pipeline (169 bacterial genera from 23 classes). The sediment recovered from the working pipeline contained mostly DNA identified as belonging to the phylum Firmicutes (66.4%–45.9% operational taxonomic units [OTUs]), predominantly Bacillus (41.4%–31.1% OTUs) followed by Lysinibacillus (2.6%–1.5% OTUs) and Clostridium (2.4%–1.8% OTUs). In the nonworking pipeline, Proteobacteria (46.8% OTUs) and Cyanobacteria (27.8% OTUs) were dominant. Over 30% of the Proteobacteria sequences showed homologies to Gammaproteobacteria, with Pseudomonas (7.1%), Enhydrobacter (2.1%), Stenotrophomonas (0.5%), and Haempohilus (0.4%) among the others. Differences were noted in terms of the chemical compositions of deposits originating from the working and nonworking gas pipelines. The deposits from the nonworking gas pipeline contained iron, as well as carbon (42.58%), sulphur (15.27%), and oxygen (15.32%). This composition can be linked to both the quantity and type of the resident microorganisms. The presence of a considerable amount of silicon (17.42%), and of aluminum, potassium, calcium, and magnesium at detectable levels, may likewise affect the metabolic activity of the resident consortia in the working gas pipeline. All the analyzed sediments included both bacteria known for causing and intensifying corrosion (e.g., Pseudomonas, Desulfovibrio, Shewanella, Serratia) and bacteria that can protect the surface of pipelines against deterioration (e.g., Bacillus). Biocorrosion is not related to a single mechanism or one species of microorganism, but results from the multidirectional activity of multiple microbial communities. The analysis presented here of the state of the microbiome in a gas pipeline during the real gas transport is a particularly valuable element of this work

Undecidability in number theory

These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers are universally definable in the rationals.Comment: 48 pages. arXiv admin note: text overlap with arXiv:1011.342

The selective phosphodiesterase 4 inhibitor roflumilast and phosphodiesterase 3/4 inhibitor pumafentrine reduce clinical score and TNF expression in experimental colitis in mice.

The specific inhibition of phosphodiesterase (PDE)4 and dual inhibition of PDE3 and PDE4 has been shown to decrease inflammation by suppression of pro-inflammatory cytokine synthesis. We examined the effect of roflumilast, a selective PDE4 inhibitor marketed for severe COPD, and the investigational compound pumafentrine, a dual PDE3/PDE4 inhibitor, in the preventive dextran sodium sulfate (DSS)-induced colitis model. The clinical score, colon length, histologic score and colon cytokine production from mice with DSS-induced colitis (3.5% DSS in drinking water for 11 days) receiving either roflumilast (1 or 5 mg/kg body weight/d p.o.) or pumafentrine (1.5 or 5 mg/kg/d p.o.) were determined and compared to vehicle treated control mice. In the pumafentrine-treated animals, splenocytes were analyzed for interferon-γ (IFNγ) production and CD69 expression. Roflumilast treatment resulted in dose-dependent improvements of clinical score (weight loss, stool consistency and bleeding), colon length, and local tumor necrosis factor-α (TNFα) production in the colonic tissue. These findings, however, were not associated with an improvement of the histologic score. Administration of pumafentrine at 5 mg/kg/d alleviated the clinical score, the colon length shortening, and local TNFα production. In vitro stimulated splenocytes after in vivo treatment with pumafentrine showed a significantly lower state of activation and production of IFNγ compared to no treatment in vivo. These series of experiments document the ameliorating effect of roflumilast and pumafentrine on the clinical score and TNF expression of experimental colitis in mice

First Results from High Angular Resolution ALMA Observations Toward the HL Tau Region

We present Atacama Large Millimeter/submillimeter Array (ALMA) observations from the 2014 Long Baseline Campaign in dust continuum and spectral line emission from the HL Tau region. The continuum images at wavelengths of 2.9, 1.3, and 0.87 mm have unprecedented angular resolutions of 0.075 arcseconds (10 AU) to 0.025 arcseconds (3.5 AU), revealing an astonishing level of detail in the circumstellar disk surrounding the young solar analogue HL Tau, with a pattern of bright and dark rings observed at all wavelengths. By fitting ellipses to the most distinct rings, we measure precise values for the disk inclination (46.72pm0.05 degrees) and position angle (+138.02pm0.07 degrees). We obtain a high-fidelity image of the 1.0 mm spectral index ($\alpha$), which ranges from $\alpha\sim2.0$ in the optically-thick central peak and two brightest rings, increasing to 2.3-3.0 in the dark rings. The dark rings are not devoid of emission, we estimate a grain emissivity index of 0.8 for the innermost dark ring and lower for subsequent dark rings, consistent with some degree of grain growth and evolution. Additional clues that the rings arise from planet formation include an increase in their central offsets with radius and the presence of numerous orbital resonances. At a resolution of 35 AU, we resolve the molecular component of the disk in HCO+ (1-0) which exhibits a pattern over LSR velocities from 2-12 km/s consistent with Keplerian motion around a ~1.3 solar mass star, although complicated by absorption at low blue-shifted velocities. We also serendipitously detect and resolve the nearby protostars XZ Tau (A/B) and LkHa358 at 2.9 mm.Comment: 11 pages, 5 figures, 2 tables, accepted for publication in the Astrophysical Journal Letter

ALMA Observations of Asteroid 3 Juno at 60 Kilometer Resolution

We present Atacama Large Millimeter/submillimeter Array (ALMA) 1.3 mm continuum images of the asteroid 3 Juno obtained with an angular resolution of 0.042 arcseconds (60 km at 1.97 AU). The data were obtained over a single 4.4 hr interval, which covers 60% of the 7.2 hr rotation period, approximately centered on local transit. A sequence of ten consecutive images reveals continuous changes in the asteroid's profile and apparent shape, in good agreement with the sky projection of the three-dimensional model of the Database of Asteroid Models from Inversion Techniques. We measure a geometric mean diameter of 259pm4 km, in good agreement with past estimates from a variety of techniques and wavelengths. Due to the viewing angle and inclination of the rotational pole, the southern hemisphere dominates all of the images. The median peak brightness temperature is 215pm13 K, while the median over the whole surface is 197pm15 K. With the unprecedented resolution of ALMA, we find that the brightness temperature varies across the surface with higher values correlated to the subsolar point and afternoon areas, and lower values beyond the evening terminator. The dominance of the subsolar point is accentuated in the final four images, suggesting a reduction in the thermal inertia of the regolith at the corresponding longitudes, which are possibly correlated to the location of the putative large impact crater. These results demonstrate ALMA's potential to resolve thermal emission from the surface of main belt asteroids, and to measure accurately their position, geometric shape, rotational period, and soil characteristics.Comment: 8 pages, 3 figures, 2 tables, accepted for publication in the Astrophysical Journal Letter

ALMA Long Baseline Observations of the Strongly Lensed Submillimeter Galaxy HATLAS J090311.6+003906 at z=3.042

We present initial results of very high resolution Atacama Large Millimeter/submillimeter Array (ALMA) observations of the $z$=3.042 gravitationally lensed galaxy HATLAS J090311.6+003906 (SDP.81). These observations were carried out using a very extended configuration as part of Science Verification for the 2014 ALMA Long Baseline Campaign, with baselines of up to 15 km. We present continuum imaging at 151, 236 and 290 GHz, at unprecedented angular resolutions as fine as 23 milliarcseconds (mas), corresponding to an un-magnified spatial scale of ~180 pc at z=3.042. The ALMA images clearly show two main gravitational arc components of an Einstein ring, with emission tracing a radius of ~1.5". We also present imaging of CO(10-9), CO(8-7), CO(5-4) and H2O line emission. The CO emission, at an angular resolution of ~170 mas, is found to broadly trace the gravitational arc structures but with differing morphologies between the CO transitions and compared to the dust continuum. Our detection of H2O line emission, using only the shortest baselines, provides the most resolved detection to date of thermal H2O emission in an extragalactic source. The ALMA continuum and spectral line fluxes are consistent with previous Plateau de Bure Interferometer and Submillimeter Array observations despite the impressive increase in angular resolution. Finally, we detect weak unresolved continuum emission from a position that is spatially coincident with the center of the lens, with a spectral index that is consistent with emission from the core of the foreground lensing galaxy.Comment: 9 pages, 5 figures and 3 tables, accepted for publication in the Astrophysical Journal Letter

The Pierre Auger Observatory III: Other Astrophysical Observations

Astrophysical observations of ultra-high-energy cosmic rays with the Pierre Auger ObservatoryComment: Contributions to the 32nd International Cosmic Ray Conference, Beijing, China, August 201