Ara
Toplam kayıt 35, listelenen: 31-35
A selective approach to stemming for minimizing the risk of failure in information retrieval systems
(2023)
Stemming is supposed to improve the average performance of an information retrieval system, but in practice, past experimental results show that this is not always the case. In this article, we propose a selective approach ...
Machine Learning Methods for Virus–Host Protein–Protein Interaction Prediction
(Humana Press Inc., 2023)
The attachment of a virion to a respective cellular receptor on the host organism occurring through the virus–host protein–protein interactions (PPIs) is a decisive step for viral pathogenicity and infectivity. Therefore, ...
Is ChatGPT Leading Generative AI What is Beyond Expectations?
(Akademik Perspektif Derneği, 2023)
Generative AI has the potential to change the way we do things. The chatbot is one of the most popular implementation areas. Even though companies like Google and Meta had chatbots, ChatGPT became popular as it was made ...
DEVOUR: Deleterious Variants on Uncovered Regions in Whole-Exome Sequencing
(PMC, 2023)
The discovery of low-coverage (i.e. uncovered) regions containing clinically significant variants, especially when they are related to the patient's clinical phenotype, is critical for whole-exome sequencing (WES) based ...
Formal Verification of Bit-Vector Invertibility Conditions in Coq
(Springer Science and Business Media Deutschland GmbH, 2023)
We prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors—used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver cvc5— in the Coq proof assistant. ...