( en | de | ru )

 

Disambiguierung von "Ma, Meiyi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Toward Formal Methods for Smart Cities.

, , und . Computer, 54 (9): 39-48 (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yuzhao Ma

Characterization of higher order modes in optical fibers. Uni Erlangen-Nürnberg, (2009)

Lan Ma

Ma Li

Zhongting Ma

Hongwei Ma

 

Weitere Publikationen von Autoren mit dem selben Namen

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract., , , und . SenSys, Seite 711-712. ACM, (2020)Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract., , und . IoTDI, Seite 275-276. ACM, (2017)A smart city simulation platform with uncertainty., , und . ICCPS, Seite 229-230. ACM, (2021)STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks., , , und . NeurIPS, (2020)CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities., , , , , und . SMARTCOMP, Seite 32-39. IEEE, (2022)SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities., , , , und . ICCPS, Seite 51-62. IEEE, (2020)Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications., , , , , , , und . CoRR, (2023)ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch., , , , , und . Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 5 (1): 45:1-45:25 (2021)Toward Formal Methods for Smart Cities., , und . Computer, 54 (9): 39-48 (2021)Fairguard: Harness Logic-based Fairness Rules in Smart Cities., , , , und . IoTDI, Seite 105-116. ACM, (2023)