Recently added

Településrészek utcahálózatának és forgalomlebonyolító képességének vizsgálata

Háznagy, Andor (2019)

Requirements towards a formal specification language for PLCs

Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique (2015)

Design and Implementation of On-line System Supervision for Beam Loss Monitoring Systems

Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos (2015)

Resiliency techniques for cloud-based applications

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

Examination of the input dependence of data flow graph clustering

Wacha, Gábor; Fehér, Béla (2015)

A Framework for Formal Verification of Real-Time Systems

Tóth, Tamás; Majzik, István (2015)

Using Data Mining Techniques for Estimating Printed Circuit Board Design Complexity

Pataki, András; Horváth, Gábor (2015)

Preprocession and Interpretation of Multielectrode Array Recordings

Cserpán, Dorottya; Somogyvári, Zoltán; Horváth, Gábor (2015)

Identification of Dependability Models from Large Observation Sets

Salánki, Ágnes; Pataricza, András (2015)

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)

Comparison of Nanopore DNA Sequencing Basecallers on Whole Human Data

Jagyugya, Erik; Sarkozy, Peter (2018)

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

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

Preliminary Performance Assessment of Hyperledger Fabric

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

Oscillometric blood pressure measurement using constant cuff pressure intervals

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

Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics

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

Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality

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

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

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

BME OMIKK Repozitorium: Recent submissions

Településrészek utcahálózatának és forgalomlebonyolító képességének vizsgálata ﻿

Requirements towards a formal specification language for PLCs ﻿

Design and Implementation of On-line System Supervision for Beam Loss Monitoring Systems ﻿

Resiliency techniques for cloud-based applications ﻿

Examination of the input dependence of data flow graph clustering ﻿

A Framework for Formal Verification of Real-Time Systems ﻿

Using Data Mining Techniques for Estimating Printed Circuit Board Design Complexity ﻿

Preprocession and Interpretation of Multielectrode Array Recordings ﻿

Identification of Dependability Models from Large Observation Sets ﻿

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

Improved frequency response measurements using local parametric models ﻿

Signal Acquisition for Accelerometer-based Fall Detection ﻿

High Frequency Active Distortion Cancellation ﻿

Comparison of Nanopore DNA Sequencing Basecallers on Whole Human Data ﻿

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

Preliminary Performance Assessment of Hyperledger Fabric ﻿

Oscillometric blood pressure measurement using constant cuff pressure intervals ﻿

Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics ﻿

Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality ﻿

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