Skip to main content

2 Result(s)

within Runshan **e Remove this filter Computer Science Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Wide Ensemble of Interpretable TSK Fuzzy Classifiers with Application to Smartphone Sensor-Based Human Activity Recognition

    In this study, by a wide ensemble of Takagi-Sugeno-Kang (TSK) fuzzy sub-classifiers without an individual aggregation step, an interpretable fuzzy classifier (WEIFC) is developed from a novel perspective. WEIF...

    Runshan **e, Shitong Wang in Neural Information Processing (2023)

  2. No Access

    Chapter and Conference Paper

    Verifying System-Level Security of a Smart Ballot Box

    Event-B, a refinement-based formal modelling language, has traditionally focused on safety, but now increasingly finds a new role in develo** secure systems. In this paper we take a fresh look at security an...

    Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu… in Rigorous State-Based Methods (2021)