Ara
Toplam kayıt 66, listelenen: 61-66
Economic Operation of a Multi-Energy System Considering the Impacts of Micro-Mobility
(Institute of Electrical and Electronics Engineers Inc., 2023)
The increasing and uncontrolled demand for energy has led to the emergence of a multi-energy system (MES), which is a promising and efficient way of providing multiple energy services to end-users, such as electricity, ...
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. ...
The reliability of coronary artery calcium score in symptomatic patients: questioning the ‘Power of Zero’
(ELSEVIER IRELAND LTD, 2023)
Conference abstract
Effects Of High Intensity Statin Therapy On Renal Outcomes
(Elsevier Ireland Ltd, 2023)
Conference abstract
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ı ...