Arnold Beckmann
YOU?
Author Swipe
View article: Steelmaking Predictive Analytics Based on Random Forest and Semantic Reasoning
Steelmaking Predictive Analytics Based on Random Forest and Semantic Reasoning Open
This paper proposes a human-in-the-loop framework that integrates machine learning models with semantic technologies to aid decision making in the domain of steelmaking. To achieve this, we convert a random forest (RF) into rules in a Sema…
View article: On proving consistency of equational theories in Bounded Arithmetic
On proving consistency of equational theories in Bounded Arithmetic Open
We consider pure equational theories that allow substitution but disallow induction, which we denote as PETS, based on recursive definition of their function symbols. We show that the Bounded Arithmetic theory $S^1_2$ proves the consistenc…
View article: Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control
Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control Open
This paper contributes to the verification of programs written in Bitcoin's smart contract language SCRIPT in the interactive theorem prover Agda. It focuses on the security property of access control for SCRIPT programs that govern the di…
View article: Data modelling and Remaining Useful Life estimation of rolls in a steel making cold rolling process
Data modelling and Remaining Useful Life estimation of rolls in a steel making cold rolling process Open
The economic cost of roll refurbishment in the steel-making industry is considerable. In a cold rolling mill, wear and damage of rolls disrupt the industrial environment, so it is critical to predict the remaining useful life early and cha…
View article: SCRO: A Domain Ontology for Describing Steel Cold Rolling Processes towards Industry 4.0
SCRO: A Domain Ontology for Describing Steel Cold Rolling Processes towards Industry 4.0 Open
This paper introduces the Steel Cold Rolling Ontology (SCRO) to model and capture domain knowledge of cold rolling processes and activities within a steel plant. A case study is set up that uses real-world cold rolling data sets to validat…
View article: Cyber-Physical Trust Systems Driven by Blockchain
Cyber-Physical Trust Systems Driven by Blockchain Open
Cyber Physical Trust Systems (CPTS) are Cyber Physical Systems and Internet of Things enriched with trust as an explicit, measurable, testable and verifiable system component. In this paper, we propose to use blockchain, a distributed ledg…