BME MIT PhD Minisymposium, 2019, 26th

Browse by

By Issue Date Authors Titles Subjects

Recent Submissions

Measuring Quality of Datasets Using Prediction Explanation

Szántó, Tamás; Micskei, Zoltán (2019)
Analysis of Distributed Multi-Channel Active Noise Cancelling Algorithms

Varga, Balázs; Orosz, György (2019)
Software Model Checking with a Combination of Explicit Values and Predicates

Bajkai, Viktória Dorina; Hajdu, Ákos (2019)
Data Quality and Usability Requirement Analysis with Visualization Techniques and Domain-specific Constraints

Burján, Dezső; Gönczy, László (2019)
Model Checking and Test Generation: Towards a Combined Approach to Software Verification

Dobos-Kovács, Mihály; Vörös, András (2019)
Increasing the Accuracy of Measuring Heart Rate Variability and Pulse Wave Transit Time

Nagy, Péter; Jobbágy, Ákos (2019)
Design for Dependability of Cyber-Physical Systems

Földvári, András; Pataricza, András (2019)