-
Article
Preparation and characterization of hollow spherical indium tin oxide with micro size by template assisted hydrothermal method
Indium tin oxide (ITO), a critical n-type semiconductor material, has widely used in the field of photoelectric material due to its significant conductivity and transparency. In addition, it also has excellent...
-
Article
Open AccessSerum PM20D1 levels in patients with idiopathic pulmonary arterial hypertension and its clinical significance
This study aimed to investigate the serum levels of Peptidase M20 domain containing 1 (PM20D1) in idiopathic pulmonary arterial hypertension (IPAH) patients and examine its association with lipid metabolism, e...
-
Article
Two-step preparation of steel slag–lignin hybrid materials for effective removal of methylene blue
In this work, a steel slag–lignin hybrid material (SS–AL) was obtained by compounding steel slag (SS) and alkali lignin (AL) to be used to treat dye wastewater. AL was modified by introducing more reactive fun...
-
Article
Hydration Activity and Carbonation of the Solid Solution of MgO-FeO-MnO-CaO System in Steel Slag
In order to further understand the hydration activity and carbonation activity of four-component RO phase in steel slag, the solid solution of MgO-xFeO-0.2MnO-0.1CaO system with different ratios was simulated ...
-
Article
Calculation of f-CaO Hydration Ratio in Steel Slag Based on Mathematical Model of Hydration Expansion of Steel Slag–Cement Cementitious Materials
Free calcium oxide (f-CaO) in steel slag (SS) is considered to be the main reason for the volume expansion of steel slag, which has severely limited its application in cement or concrete. In this work, SS–ceme...
-
Article
Study on Carbonization Activated Binary f-CaO Phase in Steel Slag
In this study, binary f-CaO in steel slag was simulated and prepared. By synthesizing different proportions of binary f-CaO, the influence of carbonization on the binary f-CaO, its carbonization performance, a...
-
Article
Study on the effect of polyacrylonitrile fiber on the properties of steel slag-cement cementitious materials
Substitution of cement with steel slag (SS) is conducive to energy conservation and environmental governance. This work aimed to improve the volume stability and mechanical properties of SS-cement cementitious...
-
Article
Open AccessInfiltrating myeloid cell diversity determines oncological characteristics and clinical outcomes in breast cancer
Breast cancer presents as one of the top health threats to women around the world. Myeloid cells are the most abundant cells and the major immune coordinator in breast cancer tumor microenvironment (TME), targ...
-
Article
Effects of EDTA on the accelerated carbonation behavior of steel slag used as cementitious materials
To utilize the steel slag (SS) on a large scale and sequester CO2, a room-temperature wet carbonation process with the assistance of ethylene-diamine-tetra-acetic acid (EDTA) was developed. In this work, the acce...
-
Article
Novel seed-assisted synthesis of indium tin oxide submicro-cubes and their resistivity
Indium tin oxide films, an important n-type semiconductor oxide, show great prospects in optoelectronic device applications. Consequently, as a key raw material of targets for sputtering films, it is important...
-
Article
Open AccessThe Critical Role of Fillers in Composite Polymer Electrolytes for Lithium Battery
The mechanism of the change in lithium-ion transport behavior caused by the incorporation of inorganic fillers into the polymer matrix is reviewed.
-
Article
Effects of unique ion B-site modulation on the structure, dielectric and ferroelectric properties of NBT-BT based ceramics
Ceramics are reliable materials for energy storage and high-power pulse discharge capacitors. However, breakdown electric field (BDS), recoverable energy storage density (Wrec), discharge time (t0.9) become the m...
-
Chapter and Conference Paper
CoqCryptoLine: A Verified Model Checker with Certified Results
We present the verified model checker CoqCryptoLine for cryptographic programs with certified verification results. The CoqCryptoLine verification algorithm consists of two reductions. The algebraic reduction tra...
-
Chapter and Conference Paper
Fast Terminal Sliding Mode Attitude Control of Quadrotor Based on ADRC Method
Aiming at the control of the attitude of quadrotor in strong interference environment, this paper proposes an outer loop ADRC, inner loop fast terminal sliding mode controller (FTSMC) based on ESO method two-s...
-
Chapter and Conference Paper
Correction to: CoqCryptoLine: A Verified Model Checker with Certified Results
-
Chapter and Conference Paper
Certified Verification for Algebraic Abstraction
We present a certified algebraic abstraction technique for verifying bit-accurate non-linear integer computations. In algebraic abstraction, programs are lifted to polynomial equations in the abstract domain. ...
-
Chapter and Conference Paper
Boosting Multi-neuron Convex Relaxation for Neural Network Verification
Formal verification of neural networks is essential for their deployment in safety-critical real-world applications, such as autonomous driving and cyber-physical controlling. Multi-neuron convex relaxation is...
-
Article
Open AccessThe prognostic value of IPI in patients with primary breast lymphoma, a multicenter retrospective study
Due to the rarity of PBL and the lack of large-scale studies, the prognostic value of IPI in PBL was controversial. Especially in the rituximab era, the ability of IPI to stratify prognosis in patients receivi...
-
Chapter and Conference Paper
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Deep neural networks (DNNs) have achieved remarkable performance in a myriad of complex tasks. However, lacking of robustness and black-box nature hinder their deployment in safety-critical systems. A large nu...
-
Article
Optimum preparation of low-resistivity indium tin oxide nanopowders via polyacrylamide gel route using orthogonal experiment
Indium tin oxide (ITO) is a promising transparent conducting oxide material for photoelectric devices. In this work, the low-resistivity cubic ITO (c-ITO) nanopowders were synthesized via polyacrylamide gel ro...
