-
Article
Comparative genomic analysis of Sanghuangporus sanghuang with other Hymenochaetaceae species
Sanghuangporus sanghuang is a medicinal macrofungus with antioxidant and antitumor activities, and it is enriched with secondary metabolites such as polysaccharides, terpenes, polyphenols, and styrylpyrone compou...
-
Chapter and Conference Paper
A SEC Reserve Evaluation Method for Tight Gas Reservoirs
Tight gas resources are abundant and widely distributed. SEC reserves refer to the amount of natural gas that can be produced and has economic benefits under the current economic and operating conditions asses...
-
Article
Triaxial Squeeze Attention Module and Mutual-Exclusion Loss Based Unsupervised Monocular Depth Estimation
Monocular depth estimation plays a crucial role in scene perception and 3D reconstruction. Supervised learning based depth estimation needs vast amounts of ground-truth depth data for training, which seriously...
-
Article
Open AccessDuplication of SOX3 in an SRY-negative 46,XX male with prostatic utricle: case report and literature review
46,XX male disorders of sex development are rare. Approximately 80% of cases of testicular tissue differentiation may be due to translocation of SRY to the X chromosome or an autosome. SRY-negative 46,XX males sh...
-
Article
Attention Unet++ for lightweight depth estimation from sparse depth samples and a single RGB image
Depth estimation from a single RGB image with sparse depth measurements has already been proved to be an effective way of predicting dense and high-precision depth maps. However, most of its networks are based...
-
Chapter and Conference Paper
Towards Accurate Network Quantization with Equivalent Smooth Regularizer
Neural network quantization techniques have been a prevailing way to reduce the inference time and storage cost of full-precision models for mobile devices. However, they still suffer from accuracy degradation...
-
Chapter and Conference Paper
ParaMoC: A Parallel Model Checker for Pushdown Systems
Model checking on Pushdown Systems (PDSs) has been extensively used to deal with numerous practical problems. However, the existing model checkers for pushdown systems are executed on the central processing un...
-
Article
Effects of Trace Carbon Contents on Lattice Distortion and Nano-Copper Phase Precipitation in Metal Injection-Molded 17-4PH Stainless Steel
By adding trace amounts of graphite to metal injection-molded 17-4PH stainless steel, the effects of carbon content on the lattice distortion, nano-copper phase precipitation, and mechanical properties were st...
-
Chapter and Conference Paper
Automated Mining and Checking of Formal Properties in Natural Language Requirements
Bridging the gap between natural language requirements (NLR) and precise formal specifications is a crucial task of knowledge engineering. Software system development has become more complex in recent years, a...
-
Article
Investigation of the Influence of Inclination Angle and Diffusion Angle on the Film Cooling Performance of Chevron Shaped Hole
The film cooling performance of chevron holes with different inclination angles and exit lateral diffusion angles has been studied experimentally and numerically. The inclination angles include 35° and 55°. Th...
-
Article
Factors Influencing Interannual and Intersite Variability in the Diet of Trachypithecus francoisi
Comparative studies of the diet of the same species in different habitats, and over the long term, are essential to understanding a species’ behavioral and ecological plasticity. Moreover, such studies can hel...