Ara
Toplam kayıt 12, listelenen: 1-10
Stroke and bleeding risks according to age caterogories in patients on edoxaban
(AVES, 2023)
Stroke and bleeding risks...
Effect of Transcranial Direct Current Stimulation on Pain and Physical Functions in Individuals with Lumbar Spinal Stenosis: A Double-Blind Randomized Sham-controlled Study
(WILEY, 2023)
Effect of Transcranial Direct Current Stimulation....
Physiology Course Success Levels and Student Satisfaction in Face-to-Face and Distance Education Periods
(WILEY, 2023)
Physiology Course Success Levels....
Age-Related Characterization of Dental Pulp Mesenchymal Stem Cells
(WILEY, 2023)
Age-Related Characterization...
Near-Fault Earthquake Ground Motion and Seismic Isolation Design
(Springer Science and Business Media Deutschland GmbH, 2023)
Seismic isolation is one of the most reliable passive structural control techniques with adequately established standards for the earthquake protection of structures from earthquakes. However, it has been shown that the ...
Evolving Lightweight Intrusion Detection Systems for RPL-Based Internet of Things
(Springer Science and Business Media Deutschland GmbH, 2023)
With the integration of efficient computation and communication technologies into sensory devices, the Internet of Things (IoT) applications have increased tremendously in recent decades. While these applications provide ...
Estimation of Right-censored SETAR-type Nonlinear Time-series Model
(EDP Sciences, 2023)
This paper focuses on estimating the Self-Exciting Threshold Autoregressive (SETAR) type time-series model under right-censored data. As is known, the SETAR model is used when the underlying function of the relation-ship ...
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, ...
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