Ara
Toplam kayıt 292, listelenen: 291-292
Successful management of misdiagnosed Descemet membrane detachment after phacoemulsification surgery
(Lippincott Williams and Wilkins, 2022)
An 85-year-old man without antecedents of ocular disease history presented with reduced vision 4 months after uneventful phacoemulsification cataract surgery and IOL implantation in the right eye at a local clinic in the ...
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. ...