Ara
Toplam kayıt 187, listelenen: 181-187
COMPARATIVE THERMAL AND FLOW ANALYSES OF TWO DIFFERENT PLATE PATTERNS FOR A COMPACT PLATE HEAT EXCHANGER
(Knowledge Center on Organic Rankine Cycle Technology (KCORC), 2022)
It is known that the most significant difference of plate heat exchangers (PHEs) from other heat exchangers (HEs) is their heat transfer efficiency. The thinness of the plates separating the two fluids compared to the other ...
AŞIRI DEFORMASYONA MARUZ KALAN GALERİDE ÇOK KATMANLI TAHKİMAT SİSTEMİNİN UYGULANMASI
(Baski, 2019)
Underground mine openings are driven by installation of light supports as possible as engineering norms dictate. It is possible to ensure adequate advance rates and cost by employing such light support systems. If the ...
SSI meets Metaverse for Industry 4.0 and Beyond
(Institute of Electrical and Electronics Engineers Inc., 2022)
As the global industrial complex gears toward fulfilling the tenets of Industry 4.0 and beyond, technologies such as distributed ledger technologies, digital twins, and artificial intelligence become pivotal enablers. In ...
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, ...
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. ...