BME MIT PhD Minisymposium, 2018, 25th (MINISY@DMIS 2018)

Towards the Verification of Neural Networks for Critical Cyber-Physical Systems

Rabatin, Gábor; Vörös, András (2018)

Improved frequency response measurements using local parametric models

Verbeke, Dieter; Schoukens, Johan (2018)

Signal Acquisition for Accelerometer-based Fall Detection

Seketa, Goran; Dzaja, Dominik; Vugrin, Jurica; Lackovic, Igor; Magjarevic, Ratko (2018)

High Frequency Active Distortion Cancellation

Varga, Balázs; Orosz, György (2018)

Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics

Honfi, Dávid; Micskei, Zoltán (2018)

Preliminary Performance Assessment of Hyperledger Fabric

Klenik, Attila; Pataricza, András (2018)

Comparison of Nanopore DNA Sequencing Basecallers on Whole Human Data

Jagyugya, Erik; Sarkozy, Peter (2018)

Oscillometric blood pressure measurement using constant cuff pressure intervals

Nagy, Péter; Jobbágy, Ákos (2018)

A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework

Hajdu, Ákos; Micskei, Zoltán (2018)

Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality

Guenfoud, Zeyneb; Antal, Péter (2018)

Mix-and-Match Composition in the Gamma Framework

Graics, Bence; Molnár, Vince (2018)

Towards Reliable Benchmarks of Timed Automata

Farkas, Rebeka; Bergmann, Gábor (2018)

An Application Example of Regularization: Time-varying Operational Modal Analysis

Csurcsia, Péter Zoltán; Schoukens, Johan; Peeters, Bart (2018)

Unknown, Uncertain, Untrue: Challenges in Inference Using Semantic Life Science Data

Bruncsics, Bence; Gézsi, András; Antal, Péter (2018)

Basecalling Raw Nanopore DNA Sequencing Reads using Neural Networks

Borkó, Máté; Bolgár, Bence; Sarkozy, Peter (2018)

Use of resource leveling in peak workload scheduling

Bozóki, Szilárd; Pataricza, András (2018)