BME MIT PhD Minisymposium, 2016, 23rd

Browse by

By Issue Date Authors Titles Subjects

Recent Submissions

Overview and Prospects of Brain-Computer Interface Technology for Prosthetic Limbs

Várszegi, Kristóf; Pataki, Béla (2016)
Swarm Intelligence Meets Rule-Based Design Space Exploration

Sólyom, Alexandra Anna; Nagy, András Szabolcs (2016)
Formal Modeling of Real-Time Systems with Data Processing

Tóth, Tamás; Majzik, István (2016)
Novel Technique for Radiation Dose Visualization in Large Space

Piksis, Martins; Dekhtyar, Yuri (2016)
A Low Cost Magnetic-Field Based Indoor Positioning System

Pasku, Valter; De Angelis, Alessio; De Angelis, Guido; Dionigi, Marco; Moschitta, Antonio; Carbone, Paolo (2016)
Generating Unit Isolation Environment Using Symbolic Execution

Honfi, Dávid; Micskei, Zoltán Imre (2016)
Evaluation of Fault Tolerance Mechanisms with Model Checking

Molnár, Vince; Majzik, István (2016)
Sharded Joins for Scalable Incremental Graph Queries

Maginecz, János; Szárnyas, Gábor (2016)
On-Line Detector Connectivity Check Based on a Parasitic Signal Coupling

Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos (2016)
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata

Farkas, Rebeka; Vörös, András (2016)
Partial Volume Artifact in MITS Reconstructed Digital Chest Tomosynthesis

Hadházi, Dániel; Horváth, Gábor (2016)
Generic Representation of PLC Programming Languages for Formal Verification

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