Ara
Toplam kayıt 87, listelenen: 81-87
DEVELOPMENT OF HYDROGEN PURIFICATION MEMBRANE BASED ON Pd-Mn-Ag TERNARY SYSTEM
(International Association for Hydrogen Energy, IAHE, 2022)
In this paper, we investigate Pd-Mn-Ag ternary system for potential alloys as separation membranes. For this purpose, thin film membranes of varying compositions were produced via magnetron sputtering. These were evaluated ...
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 ...
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 ...
Opportunities and Challenges in Metaverse for Industry 4.0 and Beyond Applications
(Institute of Electrical and Electronics Engineers Inc., 2022)
Metaverse is the next generation of Internet-based applications and social forms using various cutting-edge technologies, such as virtual reality, augmented reality, 3D holographic avatars, video, cloud computing, etc. It ...
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. ...