Gyűjtemény: BME MIT PhD Minisymposium, 2016, 23rd

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

  • Tételek
Szűkítés: Eleje Előző 1 - 12 / 12 Következő Vége
A Low Cost Magnetic-Field Based Indoor Positioning System
Tartalom | Metaadatok
Pasku, Valter; De Angelis, Alessio; De Angelis, Guido; Dionigi, Marco; Moschitta, Antonio; Carbone, Paolo
Evaluation of Fault Tolerance Mechanisms with Model Checking
Tartalom | Metaadatok
Molnár, Vince; Majzik, István
Formal Modeling of Real-Time Systems with Data Processing
Tartalom | Metaadatok
Tóth, Tamás; Majzik, István
Generating Unit Isolation Environment Using Symbolic Execution
Tartalom | Metaadatok
Honfi, Dávid; Micskei, Zoltán Imre
Generic Representation of PLC Programming Languages for Formal Verification
Tartalom | Metaadatok
Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique
Novel Technique for Radiation Dose Visualization in Large Space
Tartalom | Metaadatok
Piksis, Martins; Dekhtyar, Yuri
On-Line Detector Connectivity Check Based on a Parasitic Signal Coupling
Tartalom | Metaadatok
Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos
Overview and Prospects of Brain-Computer Interface Technology for Prosthetic Limbs
Tartalom | Metaadatok
Várszegi, Kristóf; Pataki, Béla
Partial Volume Artifact in MITS Reconstructed Digital Chest Tomosynthesis
Tartalom | Metaadatok
Hadházi, Dániel; Horváth, Gábor
Sharded Joins for Scalable Incremental Graph Queries
Tartalom | Metaadatok
Maginecz, János; Szárnyas, Gábor
Swarm Intelligence Meets Rule-Based Design Space Exploration
Tartalom | Metaadatok
Sólyom, Alexandra Anna; Nagy, András Szabolcs
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
Tartalom | Metaadatok
Farkas, Rebeka; Vörös, András
Szűkítés: Eleje Előző 1 - 12 / 12 Következő Vége