Ara
Toplam kayıt 185, listelenen: 181-185
Mechanical and microstructural evaluation of solid-state foamed Ti6Al4V-ELI alloy
(Elsevier B.V., 2022)
Metallic materials adopted in biomedical applications play a key role in the replacement of so-called "hard tissues" (the human bone). Titanium (Ti) alloy prostheses are considered the best among all metallic implants due ...
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 ...
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 ...
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. ...