-
Article
Characteristics of Collapse Accumulation Body in Roadway and Numerical Simulation of Rescue Channel Excavation
After the coal mine disaster, the collapsed accumulation body blocked the roadway and interrupted the rescue route, which seriously affected the development of rescue. Based on the post-disaster blockage rescu...
-
Article
Study on Progressive Instability Characteristics of Coal-Rock Composite Structure with the Different Height Ratios
To ensure the safety of coal mining, lots of coal pillars were reserved in the coal mine. The stability of coal pillar and roof composite structures determines the safety of stope. Under the action of cyclic l...
-
Article
β-Aminoisobutyric acid supplementation attenuated salt-sensitive hypertension in Dahl salt-sensitive rats through prevention of insufficient fumarase
The human Dietary Approaches to Stop Hypertension-Sodium Trial has shown that β-aminoisobutyric acid (BAIBA) may prevent the development of salt-sensitive hypertension (SSHT). However, the specific antihyperte...
-
Article
Analysis the Characteristic of Energy and Damage of Coal-Rock Composite Structure Under Cycle Loading
The stability of coal-rock composite structures is of great significance to coal mine safety production. The uniaxial cyclic loading tests of the coal-rock composite structures with different coal-rock height ...
-
Article
Anisotropic in-plane thermal conductivity for multi-layer WTe2
Improving thermal transport between substrate and transistors has become a vital solution to the thermal challenge in nanoelectronics. Recently 2D WTe2 has sparked extensive interest because of heavy atomic mass ...
-
Article
Numerical simulation study on the influence of crack characteristics on mechanical properties and impact failure of rock
The rock mass in nature have different degrees of crack development. The different crack characteristics affect the mechanical properties and stability of the rock mass. This paper uses PFC simulation software...
-
Article
Open AccessMultilayer stabilization for fabricating high-loading single-atom catalysts
Metal single-atom catalysts (M-SACs) have emerged as an attractive concept for promoting heterogeneous reactions, but the synthesis of high-loading M-SACs remains a challenge. Here, we report a multilayer stab...
-
Article
Experimental study on dynamic mechanical responses of coal specimens under the combined dynamic-static loading
Dynamic mechanical responses of the coal and rock mass under the combined dynamic-static loading are critical issues for exploring the disaster-causing mechanism of rock burst in coal mining. In this paper, th...
-
Article
Finite-time Control for Image-based Visual Servoing of a Quadrotor Using Nonsingular Fast Terminal Sliding Mode
This paper investigates finite-time control for image-based visual servoing (IBVS) of a quadrotor subjects to image dynamics uncertainties and external disturbances. The quadrotor model is firstly proposed, ba...
-
Article
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities
This paper presents a new method for visualizing implicit real algebraic curves inside a bounding box in the 2-D or 3-D ambient space based on numerical continuation and critical point methods. The underlying ...
-
Article
Trehalose attenuates TGF-β1-induced fibrosis of hSCFs by activating autophagy
Conjunctival fibrosis is a process of extracellular matrix accumulation and the appearance of myofibroblasts in subconjunctival fibroblasts induced by injury or inflammation, which can significantly reduce the...
-
Chapter and Conference Paper
Chordality Preserving Incremental Triangular Decomposition and Its Implementation
In this paper, we first prove that the incremental algorithm for computing triangular decompositions proposed by Chen and Moreno Maza in ISSAC’ 2011 in its original form preserves chordality, which is an impo...
-
Chapter and Conference Paper
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry. Previous studies have shown that machine learning (ML) based approaches may outperform traditional heu...
-
Article
Study on Optimization of Roadway Position in Pre-mining Upper Layered Concave–Convex Coal Body
Reasonable roadway layout is of great significance for mine safety and high efficiency production. The “concave–convex” coal body formed by pre-mining upper strip mining in **qiao Coal Mine, in order to recov...
-
Article
Open AccessMechanically strong MXene/Kevlar nanofiber composite membranes as high-performance nanofluidic osmotic power generators
Two-dimensional nanofluidic channels are emerging candidates for capturing osmotic energy from salinity gradients. However, present two-dimensional nanofluidic architectures are generally constructed by simple...
-
Article
THBS4 predicts poor outcomes and promotes proliferation and metastasis in gastric cancer
Gastric cancer (GC), a common and lethal cancer in the world, has a high risk of metastasis. Our study was to explore the effects of THBS4 on GC progress and metastasis and the underlying mechanisms. The proli...
-
Reference Work Entry In depth
Distributed Hydrological Models
Physically based distributed hydrological models (PBDHMs), the development of which has been facilitated by advancements in GIS and remote sensing, meteorology, computer science and engineering, and other rela...
-
Chapter and Conference Paper
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically
Understanding the mechanisms of the brain is a common theme for both computational neuroscience and artificial intelligence. Machine learning technique, like artificial neural network, has been benefiting from...
-
Living Reference Work Entry In depth
Distributed Hydrological Models
Physically based distributed hydrological models (PBDHMs), the development of which has been facilitated by advancements in GIS and remote sensing, meteorology, computer science and engineering, and other rela...
-
Chapter and Conference Paper
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities
We present a new method for visualizing planar real algebraic curves inside a bounding box based on numerical continuation and critical point methods. Since the topology of the curve near a singular point is n...
