30th Minisymposium of the Department of Measurement and Information Systems

Budapest University of Technology and Economics [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos

Megjelent: Budapest University of Technology and Economics, Budapest, Magyarország 2023

Konferencia: 30th Minisymposium of the Department of Measurement and Information Systems 2023-02-06 [Budapest, Magyarország]

Azonosítók

MTMT: 33774353
ISBN: 9789634219040
Teljes dokumentum: https://www.mit.bme.hu/data/minisy/minisy_2023_proceedings.pdf

Fejezetek

Graics Bence et al. Integration Test Generation and Formal Verification for Distributed Controllers. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 1-4
Horváth Kristóf et al. Towards Automated Worst-Case Analysis of Circuits: Selecting Initial Values for Global Optimization. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 5-8
Szekeres Dániel et al. Lazy Abstraction for Probabilistic Systems. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 9-12
Palkó András et al. Improving the Convergence Speed of the Resonator-Based Observer by Significant Component Selection. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 13-16
Ország Bence et al. Behavior of Observer Performing Discrete Gabor Transform. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 17-20
Vetró Mihály et al. Analyzing the Discriminative Power of EEG Microstates Over Mental Tasks. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 21-24
Révy Gábor et al. Thoratic Spine Segmentation Based on CT Images. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 25-28
Földvári András et al. Handling Uncertainty in Error Propagation Analysis. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 29-32
Péter Bertalan Zoltán et al. N-Version Programming as a Mitigation for Smart Contract Faults in Execute-Order-Validate Blockchain Systems. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 33-36
Al-Gburi Noor et al. Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 37-40
Sándor Dániel et al. Transfer Learning in Heterogeneous Drug-Target Interaction Predictions Using Federated Boosting. (2023) Megjelent: 30th Minisymposium of the Department of Measurement and Information Systems pp. 41-44

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

30th Minisymposium of the Department of Measurement and Information Systems

Budapest University of Technology and Economics [szerk.]

Lista exportálása irodalomjegyzékként