Search

Now showing items 11-16 of 16

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)

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)

Use of resource leveling in peak workload scheduling

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

1
2