Ara
Toplam kayıt 43, listelenen: 41-43
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. ...
Uluslararası Çağdaş Eğitim Araştırmaları Kongresi bildiri özetleri kitabı
(Muğla Sıtkı Koçman Üniversitesi, 2023)
7. Uluslararası Çağdaş Eğitim Araştırmaları Kongresi 27-30 Eylül 2023 tarihleri arasında Muğla Sıtkı Koçman Üniversitesi (MSKÜ) Eğitim Fakültesi ve Çağdaş Eğitim Araştırmaları Derneği (CEAD) işbirliği ile, Muğla Sıtkı ...