Search

Now showing items 1-10 of 16

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

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

Oscillometric blood pressure measurement using constant cuff pressure intervals

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

Signal Acquisition for Accelerometer-based Fall Detection

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

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

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

Use of resource leveling in peak workload scheduling

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

Mix-and-Match Composition in the Gamma Framework

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

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

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

Basecalling Raw Nanopore DNA Sequencing Reads using Neural Networks

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

Towards Reliable Benchmarks of Timed Automata

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

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

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

1
2