A Hybrid LiCl/Li x Sn Conductive Interlayer to Unlock the Potential of Solid‐State Lithium Metal Batteries von Ding, Decheng, Tao, Huachao, Fan, Xiaomeng, Yang, Xuelin, Fan, Li‐Zhen

Volltext

Stabilizing a Li 1.3 Al 0.3 Ti 1.7 (PO 4 ) 3 /Li metal anode interface in solid-state batteries with a LiF/Cu-rich multifunctional interlayer von Ding, Decheng, Ma, Hui, Tao, Huachao, Yang, Xuelin, Fan, Li-Zhen

Volltext

Stabilizing a LiAlTi(PO)/Li metal anode interface in solid-state batteries with a LiF/Cu-rich multifunctional interlayer von Ding, Decheng, Ma, Hui, Tao, Huachao, Yang, Xuelin, Fan, Li-Zhen

Volltext

Variable Minimal Unsatisfiability von Chen, Zhenyu, Ding, Decheng

Volltext

Stabilizing a Li1.3Al0.3Ti1.7(PO4)3/Li metal anode interface in solid-state batteries with a LiF/Cu-rich multifunctional interlayer von Ding, Decheng, Ma, Hui, Huachao Tao, Yang, Xuelin, Li-Zhen, Fan

Volltext

A Hybrid LiCl/LixSn Conductive Interlayer to Unlock the Potential of Solid‐State Lithium Metal Batteries von Ding, Decheng, Tao, Huachao, Fan, Xiaomeng, Yang, Xuelin, Fan, Li‐Zhen

Volltext

There is no SW-complete c.e. real von Yu, Liang, Ding, Decheng

Volltext

Computability of measurable sets via effective topologies von Wu, Yongcheng, Ding, Decheng

Volltext

There are 2^{\aleph_{0}} many H-degrees in the random reals von Liang Yu, Decheng Ding

Volltext

Maximal Pairs of Computably Enumerable Sets in the Computably Lipschitz Degrees von Ambos-Spies, Klaus, Ding, Decheng, Fan, Yun, Merkle, Wolfgang

Volltext

Automatic abstraction refinement for Petri nets verification von Zhenyu Chen, Conghua Zhou, Decheng Ding

Volltext

A comparative study on development and reproduction of the parasitoid Lysiphlebus japonicus (Hymenoptera: Aphidiidae) in symbiotic and aposymbiotic host aphids von Miao, X. (Chinese Academy of Sciences, Shanghai (China)), Huang, Y, Zhu, X, Ding, D

Volltext

On definable filters in computably enumerable degrees von Wang, Wei, Ding, Decheng

Volltext

On the definable ideal generated by the plus cupping c.e. degrees von Wang, Wei, Ding, Decheng

Volltext

Eighth Asian Logic Conference von Decheng, Ding

Volltext

Improved SAT Based Bounded Model Checking von Zhou, Conghua, Ding, Decheng

Volltext

There are 2^{ℵ₀} many -degrees in the random reals von Yu, Liang, Ding, Decheng

Volltext

Two tractable subclasses of minimal unsatisfiable formulas von Zhao Xishun, Ding Decheng

Volltext

Conference on Computability, Complexity and Randomness von Chen, Jinhe, Ding, Decheng, Yu, Liang

Volltext

The weak density of properly d-r.e. branching degree in the d-r.e. degrees von Lu, Hong, Ding Decheng

Volltext