Search
Now showing items 5201-5210 of 5238
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 Effect of Reiki and Aromatherapy on Vital Signs, Oxygen Saturation, and Anxiety Level in Patients Undergoing Upper Gastrointestinal Endoscopy: A Randomized Controlled Study
(Wolters Kluwer Medknow Publications, 2023)
This randomized controlled study aimed to determine the effect of Reiki and aromatherapy on vital signs, oxygen saturation, and anxiety level in patients undergoing upper gastrointestinal endoscopy. The sample consisted ...
Effect of levetiracetam on ocular perfusion measure with optical coherence tomography angiography
(SciElo, 2023)
Purpose: To evaluate using optical coherence tomography angiography the macular and optic nerve head blood flow in pediatric patients with epilepsy treated with levetiracetam for at least 12 months.
Methods: This study ...
The Effect of Core Stabilization Exercises on Physical Fitness Parameters in Child Gymnasts: Randomized Controlled Assessor-blind Study
(SAGE Publications Inc, 2023)
Background: The improvement of physical fitness parameters is beneficial for child gymnasts to maximize functionality. Core stability exercises (CSEs) help maintain spinal stabilization during athletic performance. Thus, ...
Critical temperatures and aerobic metabolism in post-larvae of Pacific white shrimp Litopenaeus vannamei (Boone, 1931)
(Springer Science and Business Media Deutschland GmbH, 2023)
Increasing water temperature because of climate change decreases the oxygen concentration while increasing the oxygen requirement of species in aquatic environments. Temperature is one of the most important environmental ...
Improving the nutritional quality of cereals and legumes by germination
(CZECH ACADEMY AGRICULTURAL SCIENCES, 2023)
Cereal and legume grains are germinated to improve their nutritional and sensory qualities. This study investigated the effect of germination on the physicochemical properties of some grains and legumes grown in Turkiye. ...
Optic nerve head vascular variations in pseudoexfoliative and primary open-angle glaucoma
(SciCell s.r.o., 2023)
Purpose: The purpose of this study was to assess the optic nerve head microvascular changes in pseudoexfoliative and primary open-angle glaucoma and define the relationship between vessel density and retinal nerve fiber ...
Z Kuşağının Tatile Yönelik İlgilenimi
(Marmara Üniversitesi, 2020)
Kuşaklar üzerine yapılan çalışmalar, pazarlama ve tüketici davranışı açısından güncel araştırma konuları arasında yer alır. Z kuşağı yeni tüketiciler olarak kendini göstermektedir. Önceki kuşaklara göre teknolojiyle daha ...
Bir Kobi'nin Banka Seçim Sürecinde Aralık Tip 2 Bulanık AHP Yöntemi Uygulaması
(MEHMET AKIF ERSOY UNIV, 2023)
The banking sector is vital for world economies. Although there are broader definitions, the banking sector can be expressed as a sub-sector of the larger financial services industry, which also includes sub-sectors focusing ...
Küratörün Söylemi /Çağdaş Sanat Sergilerinde Bir Praksis Analizi
(EGE UNIV, 2021)
In the 1960s, the art world witnessed the concept of independent curatorship, which is not only within the limits of the general acceptance of the institution they work for but also alternative exhibitions carried out by ...