E-LIB Suche - Ergebnisse für: Beckmann, Arnold

1

Steelmaking Predictive Analytics Based on Random Forest and..:

Beden, Sadeer ; Lakshmanan, Kayal ; Giannetti, Cinzia.
Applied Sciences. 13 (2023) 23 - p. 12778 , 2023

Link: https://doi.org/10.3390/..

2

Towards an Ontological Framework for Integrating Domain Exp..:

, In: 2023 IEEE 17th International Conference on Semantic Computing (ICSC),

Beden, Sadeer ; Beckmann, Arnold - p. 221-224 , 2023

Link: https://doi.org/10.1109/..

3

A core reference ontology for steelmaking process knowledge..:

Cao, Qiushi ; Beden, Sadeer ; Beckmann, Arnold
Computers in Industry. 135 (2022) - p. 103574 , 2022

Link: https://doi.org/10.1016/..

4

Combining Blockchain and Semantic Technologies: A Survey:

, In: 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain),

Alsamani, Anwar ; Beckmann, Arnold - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

5

KSPMI: A Knowledge-based System for Predictive Maintenance ..:

Cao, Qiushi ; Zanni-Merk, Cecilia ; Samet, Ahmed...
Robotics and Computer-Integrated Manufacturing. 74 (2022) - p. 102281 , 2022

Link: https://doi.org/10.1016/..

6

Data modelling and Remaining Useful Life estimation of roll..:

Lakshmanan, Kayal ; Borghini, Eugenio ; Beckmann, Arnold..
Procedia Computer Science. 207 (2022) - p. 1057-1066 , 2022

Link: https://doi.org/10.1016/..

7

SCRO: A Domain Ontology for Describing Steel Cold Rolling P..:

Beden, Sadeer ; Cao, Qiushi ; Beckmann, Arnold
Information. 12 (2021) 8 - p. 304 , 2021

Link: https://doi.org/10.3390/..

8

Modeling and Computing Available Rights for Algorithmic Lic..:

, In: The 5th International Conference on Future Networks & Distributed Systems,

Beckmann, Arnold ; Santos, João ; Vijai Ananth, Indirajith - p. 795-802 , 2021

Link: https://dl.acm.org/doi/1..

9

Cyber-Physical Trust Systems Driven by Blockchain:

Milne, Alexander J. M. ; Beckmann, Arnold ; Kumar, Pardeep
IEEE Access. 8 (2020) - p. 66423-66437 , 2020

Link: https://doi.org/10.1109/..

10

On transformations of constant depth propositional proofs:

Beckmann, Arnold ; Buss, Sam
Annals of Pure and Applied Logic. 170 (2019) 10 - p. 1176-1187 , 2019

Link: https://doi.org/10.1016/..

11

Hyper Natural Deduction for Gödel Logic—A natural deduction..:

Beckmann, Arnold ; Preining, Norbert
Journal of Logic and Computation. 28 (2018) 6 - p. 1125-1187 , 2018

Link: https://doi.org/10.1093/..

12

The NP Search Problems of Frege and Extended Frege Proofs:

Beckmann, Arnold ; Buss, Sam
ACM Transactions on Computational Logic. 18 (2017) 2 - p. 1-19 , 2017

Link: https://doi.org/10.1145/..

13

The NP Search Problems of Frege and Extended Frege Proofs:

Beckmann, Arnold ; Buss, Sam
ACM Transactions on Computational Logic (TOCL). 18 (2017) 2 - p. 1-19 , 2017

Link: https://dl.acm.org/doi/1..

14

Generalised dynamic ordinals — universal measures for impli..:

, In: Logic Colloquium '02,

Beckmann, Arnold - p. 48-74 , 2017

Link: https://doi.org/10.1017/..

15

Deciding logics of linear Kripke frames with scattered end ..:

Beckmann, Arnold ; Preining, Norbert
Soft Computing. 21 (2016) 1 - p. 191-197 , 2016

Link: https://doi.org/10.1007/..