Gyűjtemény: BME MIT PhD Minisymposium

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

  • Tételek
Szűkítés: Eleje Előző 1 - 20 / 341 Következő Vége
3D MEMS Sensor on Truck Tyres for Safety Critical Applications
Tartalom | Metaadatok
Jánosi, András; Dabóczi, Tamás
60 GHz Band: OFDM or Single Carrier Transmission
Tartalom | Metaadatok
Kollár, Zsolt; Péceli, Gábor; Thomä, Reiner
A Fast Four-Parameter Sine Wave Estimation Method (Annual Research Report)
Tartalom | Metaadatok
Pálfi, Vilmos; Kollár, István
A First-order Bayesian Logic for Heterogeneous Data Sets
Tartalom | Metaadatok
Hullám, Gábor; Antal, Péter; Strausz, György
A Framework for Formal Verification of Real-Time Systems
Tartalom | Metaadatok
Tóth, Tamás; Majzik, István
A Framework for Genomic Rearrangement Analysis
Tartalom | Metaadatok
Laczkó, Péter; Fehér, Béla; Miklós, István
A Hybrid Lung Nodule Detection Scheme on Chest X-Ray Images
Tartalom | Metaadatok
Orbán, Gergely; Horváth, Gábor
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
A Model-Driven Framework for Guided Design Space Exploration
Tartalom | Metaadatok
Hegedüs, Ábel; Varró, Dániel
A New Approach to the Clustering of Directed Graphs
Tartalom | Metaadatok
Nepusz, Tamás; Strausz, György; Bazsó, Fülöp
A Novel Abstraction Approach to Model Check Distributed, Fault-tolerant Protocols
Tartalom | Metaadatok
Bokor, Péter; Pataricza, András
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
Tartalom | Metaadatok
Hajdu, Ákos; Micskei, Zoltán
A Statistical Approach Towards Ribcage Segmentation (Summary of PhD work in 2012)
Tartalom | Metaadatok
Horváth, Áron; Horváth, Gábor
AADL, a Language for Modeling Realtime Embedded Systems
Tartalom | Metaadatok
Tóth, Dániel; Varró, Dániel
Abstraction-based Model Checking of Linear Temporal Properties
Tartalom | Metaadatok
Mondok, Milán; Vörös, András
Accurate Blood Pressure Measurement for Home Health Monitoring
Tartalom | Metaadatok
Csordás, Péter; Jobbágy, Ákos
Accurate Indoor Ultrasonic Position Tracking
Tartalom | Metaadatok
Györke, Péter; Pataki, Béla
Activity-Based Abstraction Refinement for Timed Systems
Tartalom | Metaadatok
Farkas, Rebeka; Hajdu, Ákos
Adaptive Bayesian Sequential Study Design
Tartalom | Metaadatok
Hajós, Gergely; Antal, Péter; Dobrowiecki, Tadeusz
Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality
Tartalom | Metaadatok
Guenfoud, Zeyneb; Antal, Péter
Szűkítés: Eleje Előző 1 - 20 / 341 Következő Vége