The notion of subtyping has gained an important role both in Steps theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages.The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational.The f
Based on the massively parallel deep learning algorithm, this paper studies familial polyposis colorectal carcinogenesis, and proposes a semi-supervised multi-task survival analysis method based on deep learning, which transforms the survival analysis problem into multi-timepoint survival probability prediction.The multi-task learning model is comp
The use Collections of metagenomics has substantially improved our understanding of the taxonomy, phylogeny and ecology of extreme environment microbiomes.Advances in bioinformatics now permit the reconstruction of almost intact microbial genomes, called metagenome-assembled genomes (MAGs), from metagenomic sequence data, allowing for more precise
This study provides an analytical view of the correlation between several factors that influence the credibility of information available through various sources on the Internet.The most critical factors include information quality, source credibility, argument strength, message credibility, and average credibility.Additionally, the study explores