Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Arnold Beckmann"'
Publikováno v:
Applied Sciences, Vol 13, Iss 23, p 12778 (2023)
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 Semantic Web Ru
Externí odkaz:
https://doaj.org/article/24ce1c6d36174da18f6d90b8a0828f4b
Publikováno v:
IEEE Access, Vol 8, Pp 66423-66437 (2020)
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 ledger technolo
Externí odkaz:
https://doaj.org/article/cd221fc27a214f43b551bb50f8ebb83e
Publikováno v:
Information, Vol 12, Iss 8, p 304 (2021)
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 validate the perfo
Externí odkaz:
https://doaj.org/article/1a74829fce2d43319ba8329b3b205895
Autor:
Kayal Lakshmanan, Eugenio Borghini, Arnold Beckmann, Cameron Pleydell-Pearce, Cinzia Giannetti
Publikováno v:
Procedia Computer Science. 207:1057-1066
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5728d2e48a3959e339c81be58b351433
https://doi.org/10.1016/j.procs.2022.09.161
https://doi.org/10.1016/j.procs.2022.09.161
Autor:
Sadeer Beden, Arnold Beckmann
Publikováno v:
2023 IEEE 17th International Conference on Semantic Computing (ICSC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74654fe41d706f3204780477e0e1b952
https://doi.org/10.1109/icsc56153.2023.00043
https://doi.org/10.1109/icsc56153.2023.00043
Autor:
Anwar Alsamani, Arnold Beckmann
Publikováno v:
2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec7c5790b62f519d97aa0a66fdb92b8e
https://doi.org/10.1109/igetblockchain56591.2022.10087116
https://doi.org/10.1109/igetblockchain56591.2022.10087116
Publikováno v:
IEEE Access, Vol 8, Pp 66423-66437 (2020)
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 ledger technolo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483f412ae70d98002b77ea4b4d0bcf0f
https://ieeexplore.ieee.org/document/9051705/
https://ieeexplore.ieee.org/document/9051705/
Autor:
Cinzia Giannetti, Christoph Reich, Qiushi Cao, Cecilia Zanni-Merk, Arnold Beckmann, Ahmed Samet, François de Bertrand de Beuvron
Publikováno v:
Robotics and Computer-Integrated Manufacturing
Robotics and Computer-Integrated Manufacturing, Elsevier, 2022, 74, ⟨10.1016/j.rcim.2021.102281⟩
Robotics and Computer-Integrated Manufacturing, 2022, 74, ⟨10.1016/j.rcim.2021.102281⟩
Robotics and Computer-Integrated Manufacturing, Elsevier, 2022, 74, ⟨10.1016/j.rcim.2021.102281⟩
Robotics and Computer-Integrated Manufacturing, 2022, 74, ⟨10.1016/j.rcim.2021.102281⟩
In the context of Industry 4.0, smart factories use advanced sensing and data analytic technologies to understand and monitor the manufacturing processes. To enhance production efficiency and reliability, statistical Artificial Intelligence (AI) tech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d70e3f63e1ea60335d48dd927a731fc
https://hal.archives-ouvertes.fr/hal-03433755
https://hal.archives-ouvertes.fr/hal-03433755
Autor:
Samuel R. Buss, Arnold Beckmann
Publikováno v:
Annals of Pure and Applied Logic. 170:1176-1187
This paper studies the complexity of constant depth propositional proofs in the cedent and sequent calculus. We discuss the relationships between the size of tree-like proofs, the size of dag-like proofs, and the heights of proofs. The main result is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3c3a02fee0496e8664d10f94307c9b5
https://doi.org/10.1016/j.apal.2019.05.002
https://doi.org/10.1016/j.apal.2019.05.002