Ara
Toplam kayıt 1807, listelenen: 1791-1800
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 ...
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 ...
Influence of pumice powder on some properties of phenol-formaldehyde bonded particleboards
(Pulp and Paper Research Institute, 2023)
In this study, pumice powder as a volcanic aggregate was added in the particleboards' production. The effect of various ratios of pumice powder (10%, 20%, 30%, and 40%) on physical, mechanical, thermal and fire resistance ...
Green Synthesis of Silver Nanoparticles from Allium cepa L. Peel Extract, Their Antioxidant, Antipathogenic, and Anticholinesterase Activity
(MDPI, 2023)
The present work deals with the green synthesis and characterization of silver nanoparticles (AgNPs) using Allium cepa (yellowish peel) and the evaluation of its antimicrobial, antioxidant, and anticholinesterase activities. ...
Analysis of the internal mounting forces and strength of newly designed fastener to joints wood and wood-based panels
(MDPI, 2021)
This study aimed to numerically and experimentally analyze the effects of internal mounting forces and selected materials on the stiffness and bending moment capacity of L-type corner joints connected with novelty-designed ...
Antimicrobial and Antioxidant Activities of Extracts of Euphorbia rigida Bieb
(Pakistan Agricultural Scientists Forum, 2023)
The aim of this study was to determine antioxidant and antimicrobial activities of extracts of the Euphorbia rigida (Bieb.) plant which was extracted by using water, acetone, methanol, hexane and chloroform solution. ...
Effects of Salicylic Acid Application on Germination, Growth and Development of Rough Lemon (Citrus jambhiri Lush.) Under Salt Stress
(UNIV LIFE SCIENCES LUBLIN, 2023)
Rough lemon (Citrus jambhiri Lush.) - RL, is used as a rootstock for citrus plants in saline conditions. NaCl causes an osmotic stress on plants mainly preventing the water uptake by the roots and thus reducing the plant ...
Frailty and Related Factors in Elderly Patients with Chronic Kidney Disease
(Turkish Geriatrics Society, 2023)
Introduction: Chronic kidney disease and frailty are two crucial clinical conditions increasing in prevalence globally. Both lead to severe complications that increase mortality and morbidity in patients. Conditions that ...