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)

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)

Improved frequency response measurements using local parametric models

Verbeke, Dieter; Schoukens, Johan (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)

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)

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

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

Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality

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

1
2