Search

Now showing items 1-10 of 12

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

Várszegi, Kristóf; Pataki, Béla (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)

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)

Generic Representation of PLC Programming Languages for Formal Verification

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

On-Line Detector Connectivity Check Based on a Parasitic Signal Coupling

Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos (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)

1
2