Results 21 to 30 of about 271,842 (268)

Comparative Study of Ultrasonography and Ultra-Widefield Fundus Photographs for Measurements of the Diameter of Choroidal and Retinal Tumors

Ophthalmology and Therapy, 2023
Introduction Measurement of the largest basal dimension (LBD) of intraocular tumors is important as a prognostic parameter. To evaluate the potential value of true color ultra-widefield fundus photography for measuring tumors, we compared LBD ...
Qian Wang, Jing Yan Yang, Wen Bin Wei, Qiong Yang   +3 more
doaj   +1 more source

Prophylactic interventions for preventing macular edema after cataract surgery in patients with diabetes: A Bayesian network meta-analysis of randomized controlled trials

EClinicalMedicine, 2022
Summary: Background: Diabetes significantly increases the risk of postoperative macular edema (PME) after cataract surgery, leading to potential worst post-operative outcomes. This study aims to compare the effect of different prophylactic interventions
Ruiheng Zhang, Li Dong, Qiong Yang, Yueming Liu, Heyan Li, Wenda Zhou, Haotian Wu, Yifan Li, Yitong Li, Chuyao Yu, Wenbin Wei   +10 more
doaj   +1 more source

Normal Mode Analysis for Connected Plate Structure Using Efficient Mode Polynomials with Component Mode Synthesis

Applied Sciences, 2020
In the engine room and stern adjacent to the main excitation force of the ship, there are many fuel and fresh water tank structures required for ship operation which are always exposed to vibrations.
Jeong-Hee Park, Jae-Hyoung Yang
doaj   +1 more source

Retinal photograph-based deep learning system for detection of hyperthyroidism: a multicenter, diagnostic study

Journal of Big Data, 2023
Background Screening for hyperthyroidism using gold-standard diagnostic criteria in the general population is not cost-effective, leading to a relatively high rate of undiagnosed and untreated patients. This study aimed to establish a deep learning-based
Li Dong, Lie Ju, Shiqi Hui, Lihua Luo, Xue Jiang, Zihan Nie, Ruiheng Zhang, Wenda Zhou, Heyan Li, Jost B. Jonas, Xin Wang, Xin Zhao, Chao He, Yuzhong Chen, Zhaohui Wang, Jianxiong Gao, Zongyuan Ge, Wenbin Wei, Dongmei Li   +18 more
doaj   +1 more source

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System [PDF]

, 2006
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically verify the correctness of a range of
Charles Bouillaguet, Viktor Kuncak, Zee, Karen, Karen Zee, Kuncak, Viktor, Rinard, Martin, Wies, Thomas, Martin Rinard, Bouillaguet, Charles, Thomas Wies   +9 more
core   +1 more source

Status of airworthiness requirements, risks and challenges for obtaining TC of person-carrying eVTOL aircraft

Hangkong gongcheng jinzhan
Obtaining a type certificate(TC) is a necessary prerequisite for the commercial operation of person-carrying electric vertical take-off and landing(eVTOL) aircraft, it is necessary to conduct the relevant airworthiness research for TC certification ...
ZHANG Miaochan, LI Lei, SUN Zhonglei, LIANG Wei   +3 more
doaj   +1 more source

Microbiome typing in uveal melanoma is associated with plaque radiotherapy

Medicine in Microecology, 2023
Background: Microbiomes have been identified in various tumor types and could affect tumor progression and treatment. As the most prevalent primary malignant eye tumor in adults, uveal melanoma (UM) has not been explored regarding its endogenous ...
Yuning Chen, Jingting Luo, Haowen Li, Rui Fang, Ruiheng Zhang, Yueming Liu, Jingying Xiu, Jie Xu, Yang Li, Wenbin Wei   +9 more
doaj   +1 more source

Chemical ethics practices in HEBUST of China

Chemistry Teacher International
Hebei University of Science and Technology (HEBUST) actively carries out chemical ethics education practices and incorporates chemical ethics modules into the curriculum, aiming to improve students’ morality, responsibility, knowledge and skills.
Liu Xinwei, Wu Tong, Sun Yujuan, Gu Limin, Wen Jingjing, Liu Shaohui, Yang Kun, Sun Fengxia   +7 more
doaj   +1 more source

A fault state detection method for DC charging pile charging module based on minimum fourth-order moments adaptive filtering algorithm

Journal of Radiation Research and Applied Sciences
It is necessary to accurately judge the fault state of the charging module of DC charging pile in order to ensure the safe and reliable operation of DC charging pile.
Yongmin Zhang, Jihua Bao, Jingjing Li, Yongmei Cai, Wenjin Yu, Yinshan Guo, Feng Xu   +6 more
doaj   +1 more source

Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus

, 2005
The paper introduces a novel approach to the verification of spatial properties for finite [pi]-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph ...
Gadducci, Fabio, Lluch-Lafuente, Alberto, Lluch Lafuente, Alberto, Alberto Lluch Lafuente, Fabio Gadducci, Lluch Lafuente A.   +5 more
core   +1 more source