The heat agglomeration, inadequate optical absorption, significant electron-hole recombination are the main reasons resulting to low photocatalytic activity of carbon nitride. Herein, based on O-defective functionalized nitride, C atoms designed insert into ZIS lattice broaden light adsorption intensity and range near-infrared (NIR), then adopted construct a 2D/2D heterojunction hierarchical C-...

The discovery of the monoclinic Cu5Sn2S7 phase adds a high mobility member to Cu–Sn–S diagram and demonstrates how crystal structure can be advantageously manipulated design novel compositions for energy-oriented applications.

Accelerating insoluble Li2S2−Li2S reduction catalysis to mitigate the shuttle effect has emerged as an innovative paradigm for high-efficient lithium-sulfur battery cathodes, such single-atom catalysts by offering high-density active sites realize in situ reaction with solid Li2S2. However, profound origin of diverse species on solid-solid sulfur and modulation principles remains ambiguous. Her...

In the text, the function unify was used several times, but it has not been deened yet. As mentioned, we need just ordinary rst-order uniication, so we give its deenition here for the sake of completeness. The algorithm uses a simple divide-and-conquer strategy, i.e. it uniies two terms by unifying their subterms and composing the resulting uniiers. unify x (Tvar n) = unify (Tvar n) x unify (Tc...

Extracting dense sub-components from graphs efficiently is an important objective in a wide range of application domains ranging from social network analysis to biological network analysis, from the World Wide Web to stock market analysis. Motivated by this need recently we have seen several new algorithms to tackle this problem based on the (frequent) pattern mining paradigm. A limitation of m...

Anode aluminum oxide-supported thin-film fuel cells having a sub-500-nm-thick bilayered electrolyte comprising a gadolinium-doped ceria (GDC) layer and an yttria-stabilized zirconia (YSZ) layer were fabricated and electrochemically characterized in order to investigate the effect of the YSZ protective layer. The highly dense and thin YSZ layer acted as a blockage against electron and oxygen per...

We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with strict subinterval relation (where both endpoints of the sub-interval are strictly inside the interval). In order to prove the soundness and completeness of our tableau construction, we introduce a kind of finite pseudo-mo...

Abstract C 14 H 29 Cu 3 N 12 NaO 8 S 6 , monoclinic, P 2/ n (no. 13), a = 15.357(2) Å, b 5.441(2) c 19.885(2) β 106.386(3)°, V 1594.1(6) Å Z 2, R gt ( F ) 0.0374, wR ref 2 0.1069, T 100 K.