Gyűjtemény: BME MIT PhD Minisymposium, 2020, 27th

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

  • Tételek
Szűkítés: Eleje Előző 1 - 9 / 9 Következő Vége
Abstraction-based Model Checking of Linear Temporal Properties
Tartalom | Metaadatok
Mondok, Milán; Vörös, András
An Analysis on Ethereum Vulnerabilities and Further Steps
Tartalom | Metaadatok
Staderini, Mirko; Palli, Caterina
Comparison of LMS-based Adaptive Audio Filters
Tartalom | Metaadatok
Horváth, Kristóf; Bank, Balázs
Continuous Time Modelling of Autocatalytic Chemical Reactions Dynamics From Sporadic Inputs
Tartalom | Metaadatok
De Brouwer, Edward; Arany, Ádám; Simm, Jaak; Moreau, Yves
Heart Period Is Defined by P-waves in ECG
Tartalom | Metaadatok
Nagy, Péter; Jobbágy, Ákos
Incremental View Maintenance in Graph Databases: A Case Study in Neo4j
Tartalom | Metaadatok
Elekes, Márton; Szárnyas, Gábor
Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework
Tartalom | Metaadatok
Graics, Bence; Majzik, István
Simulating Urban Traffic as a Multilayered Multiagent System
Tartalom | Metaadatok
Alekszejenkó, Levente; Dobrowiecki, Tadeusz
Support of System Identification by Knowledge Graph-based Information Fusion
Tartalom | Metaadatok
Földvári, András; Pataricza, András
Szűkítés: Eleje Előző 1 - 9 / 9 Következő Vége