-
Article
Emerging hierarchical mesoporous materials of covalent organic frameworks
-
Article
Study on the Effect of Bedding Plane and Loading Style on Fracture Process Zone in Coal
In this study, we conduct the single-edge notched beam (SENB) test to study the influence of bedding planes and loading style on the fracture properties and acoustic emission (AE) characteristic parameters in ...
-
Article
A seismic random noise suppression method based on self-supervised deep learning and transfer learning
Random noise suppression is an essential task in the seismic data processing. In recent years deep learning methods have achieved superior results in seismic data denoising. However, obtaining clean data from ...
-
Article
Experimental Study on the Fracture Process Zones and Fracture Characteristics of Coal and Rocks in Coal Beds
In this work, the physical, mechanical, and fracturing properties of three different types of rock (shale, sandstone, and coal) are studied through three-point bending tests. The fracturing characteristics are...
-
Article
Open AccessA comprehensive multimodal dataset for contactless lip reading and acoustic analysis
Small-scale motion detection using non-invasive remote sensing techniques has recently garnered significant interest in the field of speech recognition. Our dataset paper aims to facilitate the enhancement and...
-
Article
Open AccessTuning electron delocalization of hydrogen-bonded organic framework cathode for high-performance zinc-organic batteries
Stable cathodes with multiple redox-active centres affording a high energy density, fast redox kinetics and a long life are continuous pursuits for aqueous zinc-organic batteries. Here, we achieve a high-perfo...
-
Article
Synergetic effect of Pt–Pd bimetallic nanoparticle on MgAl2O4 support in hydrogen production from decalin dehydrogenation
In the present study, MgAl2O4 carriers were synthesized by the alcohol-heating method, and the effects of Pt loading and Pt/Pd molar ratio on decalin dehydrogenation activity were investigated systematically. The...
-
Article
Solution-based self-assembly synthesis of two-dimensional-ordered mesoporous conducting polymer nanosheets with versatile properties
Conducting polymers with conjugated backbones have been widely used in electrochemical energy storage, catalysts, gas sensors and biomedical devices. In particular, two-dimensional (2D) mesoporous conducting p...
-
Chapter and Conference Paper
Multi-view Guidance for Self-supervised Monocular Depth Estimation on Laparoscopic Images via Spatio-Temporal Correspondence
This work proposes an innovative self-supervised approach to monocular depth estimation in laparoscopic scenarios. Previous methods independently predicted depth maps ignoring spatial coherence in local region...
-
Article
Open AccessOPERAnet, a multimodal activity recognition dataset acquired from radio frequency and vision-based sensors
This paper presents a comprehensive dataset intended to evaluate passive Human Activity Recognition (HAR) and localization techniques with measurements obtained from synchronized Radio-Frequency (RF) devices a...
-
Chapter and Conference Paper
Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency
Depth values are essential information to automate surgical robots and achieve Augmented Reality technology for minimally invasive surgery. Although depth-pose self-supervised monocular depth estimation perfor...
-
Article
Open AccessTransient tribo-dynamic analysis of crosshead slipper in low-speed marine diesel engines during engine startup
A crosshead slipper-guide system, which bears a significant thrust force, is an essential friction pair in low-speed marine diesel engines. Owing to the low moving speed of the crosshead slipper during engine ...
-
Article
Open AccessEvaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation ...
-
Article
Carbon confinement synthesis of interlayer-expanded and sulfur-enriched MoS2+x nanocoating on hollow carbon spheres for advanced Li-S batteries
High energy density and low-cost lithium-sulfur batteries have been considered as one of the most promising candidates for next-generation energy storage systems. However, the intrinsic problems of the sulfur ...
-
Article
Perioperative and long-term outcomes of laparoscopic versus open liver resection for hepatocellular carcinoma with well-preserved liver function and cirrhotic background: a propensity score matching study
Although laparoscopic liver resection (LLR) has advanced into a safe and effective alternative to conventional open liver resection (OLR), it has not been widely accepted by surgeons. This article aimed to inv...
-
Article
Open AccessDeciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
We present a proof procedure for univariate real polynomial problems in Isabelle/HOL. The core mathematics of our procedure is based on univariate cylindrical algebraic decomposition. We follow the approach of...
-
Chapter and Conference Paper
A Formal Proof of Cauchy’s Residue Theorem
We present a formalization of Cauchy’s residue theorem and two of its corollaries: the argument principle and Rouché’s theorem. These results have applications to verify algorithms in computer algebra and demo...
-
Article
Laparoscopic surgery minimizes the release of circulating tumor cells compared to open surgery for hepatocellular carcinoma
The aim of this study was to determine whether tumor manipulation enhances cancer cell release from the primary tumor in HCC patients and which surgical approach, open surgery or laparoscopic resection, is sup...
-
Article
Forecast of flood in Chaohu Lake basin of China based on Grey-Markov theory
Flood is one kind of unexpected and the most common natural disasters, which is affected by many factors and has complex mechanism. At home and abroad, there is still no mature theory and method used for the l...