2 citations · 2 across the 5 of their papers we have counts for
5 papers
MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy
Hanchen David Wang, Nibraas Khan, Anna Chen +3
Recent global estimates suggest that as many as 2.41 billion individuals have health conditions that would benefit from rehabilitation services. Home-based Physical Therapy (PT) fa…
Auto311: A Confidence-guided Automated System for Non-emergency Calls
Zirong Chen, Xutong Sun, Yuanhe Li +1
Emergency and non-emergency response systems are essential services provided by local governments and critical to protecting lives, the environment, and property. The effective han…
Formal Logic Enabled Personalized Federated Learning Through Property Inference
Ziyan An, Taylor T. Johnson, Meiyi Ma
Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intell…
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Yiqi Zhao, Ziyan An, Meiyi Ma +1
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational p…
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Zirong Chen, Issa Li, Haoxiang Zhang +3
An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. Howeve…