Browsing by Publisher "SciTePress"
Now showing items 1-7 of 7
-
A pooling strategy for flexible repair shop designs
( SciTePress , 2018 , Conference Paper)We discuss the design problem of a repair shop in a single echelon repairable multi-item spare parts supply system. The repair shop consists of several parallel multi-skilled servers, and storage facilities for the repaired ... -
A thermochromic ink heater-cooler color change system for medical blood simulation
( SciTePress , 2021 , Conference Paper)Extracorporeal membrane oxygenation (ECMO) is a modified form of CPB that supports intensive care patients' vital functions during recovery from cardiac or pulmonary trauma. ECMO, although lifesaving, is vulnerable to a ... -
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
( SciTePress , 2020 , Conference Paper)The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of ... -
A formal model-based testing framework for validating an IoT solution for blockchain-based vehicles communication
( SciTePress , 2020 , Conference Paper)The emergence of embedded and connected smart technologies, systems, and devices has enabled the concept of smart cities by connecting every "thing" to the Internet and in particular in transportation through the Internet ... -
A Framework for Optimizing the Supply Chain Performance of a Steel Producer
( SciTePress , 2013 , Conference Paper)Supply Chain Management (SCM) is focused on developing, optimizing, and operating efficient supply chains. Efficient supply chains are characterized by cost effective decisions, lean flow and structure, high degree of ... -
"I want to ... Change": Micro-moment based recommendations can change users' energy habits
( SciTePress , 2019 , Conference Paper)Since electricity consumption of households in developing countries is dramatically increasing every year, it is now more prudent than ever to utilize technology-based solutions that assist energy end-users to improve ... -
Preventive replacement policies with aging failure and third-part damage
( SciTePress , 2016 , Conference Paper)In general, corrosions, degrading the mechanical strength of pipelines gradually with its age in a stochastic way, is the predominant cause of pipeline leaks. In addition, the third-part damage is the leading cause of ...