-
Article
Open AccessReal-time detection of laryngopharyngeal cancer using an artificial intelligence-assisted system with multimodal data
Laryngopharyngeal cancer (LPC) includes laryngeal and hypopharyngeal cancer, whose early diagnosis can significantly improve the prognosis and quality of life of patients. Pathological biopsy of suspicious can...
-
Article
Estimating parameters for the Kostiakov-Lewis infiltration model from soil physical properties
Infiltration modeling is an important tool to describe the process of water infiltration in the soil. However, direct measurements of the parameters of infiltration models are usually time-consuming and labori...
-
Chapter and Conference Paper
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics
NetKAT is a network programming language with a solid mathematical foundation. In this paper, we present an operational semantics and show that it is sound and complete with respect to its original axiomatic s...
-
Article
Open AccessCPU-GPU hybrid accelerating the Zuker algorithm for RNA secondary structure prediction applications
Prediction of ribonucleic acid (RNA) secondary structure remains one of the most important research areas in bioinformatics. The Zuker algorithm is one of the most popular methods of free energy minimization f...
-
Article
Open AccessFPGA accelerator for protein secondary structure prediction based on the GOR algorithm
Protein is an important molecule that performs a wide range of functions in biological systems. Recently, the protein folding attracts much more attention since the function of protein can be generally derived...