Ara
Toplam kayıt 473, listelenen: 471-473
Investigations of the Friction and Wear Resistance of the Natural Fiber-Reinforced Polyamide Composites
(wiley, 2023)
The search for natural and biobased materials to create a sustainable future has led many scientists to conduct research on natural-fiber-reinforced composites. Natural fibers have been used for thousands of years, but in ...
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. ...