Gyűjtemény: BME MIT PhD Minisymposium, 2018, 25th (MINISY@DMIS 2018)

Archívum: Műegyetem Digitális Archívum
Tárolt tételek száma:16

  • Tételek
Szűkítés: Eleje Előző 1 - 16 / 16 Következő Vége
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
Tartalom | Metaadatok
Hajdu, Ákos; Micskei, Zoltán
Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality
Tartalom | Metaadatok
Guenfoud, Zeyneb; Antal, Péter
An Application Example of Regularization: Time-varying Operational Modal Analysis
Tartalom | Metaadatok
Csurcsia, Péter Zoltán; Schoukens, Johan; Peeters, Bart
Basecalling Raw Nanopore DNA Sequencing Reads using Neural Networks
Tartalom | Metaadatok
Borkó, Máté; Bolgár, Bence; Sarkozy, Peter
Comparison of Nanopore DNA Sequencing Basecallers on Whole Human Data
Tartalom | Metaadatok
Jagyugya, Erik; Sarkozy, Peter
High Frequency Active Distortion Cancellation
Tartalom | Metaadatok
Varga, Balázs; Orosz, György
Improved frequency response measurements using local parametric models
Tartalom | Metaadatok
Verbeke, Dieter; Schoukens, Johan
Mix-and-Match Composition in the Gamma Framework
Tartalom | Metaadatok
Graics, Bence; Molnár, Vince
Oscillometric blood pressure measurement using constant cuff pressure intervals
Tartalom | Metaadatok
Nagy, Péter; Jobbágy, Ákos
Preliminary Performance Assessment of Hyperledger Fabric
Tartalom | Metaadatok
Klenik, Attila; Pataricza, András
Signal Acquisition for Accelerometer-based Fall Detection
Tartalom | Metaadatok
Seketa, Goran; Dzaja, Dominik; Vugrin, Jurica; Lackovic, Igor; Magjarevic, Ratko
Towards Reliable Benchmarks of Timed Automata
Tartalom | Metaadatok
Farkas, Rebeka; Bergmann, Gábor
Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics
Tartalom | Metaadatok
Honfi, Dávid; Micskei, Zoltán
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
Tartalom | Metaadatok
Rabatin, Gábor; Vörös, András
Unknown, Uncertain, Untrue: Challenges in Inference Using Semantic Life Science Data
Tartalom | Metaadatok
Bruncsics, Bence; Gézsi, András; Antal, Péter
Use of resource leveling in peak workload scheduling
Tartalom | Metaadatok
Bozóki, Szilárd; Pataricza, András
Szűkítés: Eleje Előző 1 - 16 / 16 Következő Vége