UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite | View/Download:7/0 | TC[WOS]:0 TC[Scopus]:2 | Submit date:2019/02/14
Duration calculus  ELDI  Model checking  Quantified linear real arithmetic  Timed automata  
Controllable Generation of Free Radicals from Multifunctional Heat-Responsive Nanoplatform for Targeted Cancer Therapy Journal article
Chemistry of Materials, 2018,Volume: 30,Issue: 2,Page: 526-539
Authors:  Feng L.;  Gai S.;  Dai Y.;  He F.;  Sun C.;  Yang P.;  Lv R.;  Niu N.;  An G.;  Lin J.
Favorite | View/Download:24/0 | TC[WOS]:31 TC[Scopus]:43 | Submit date:2019/01/15
On false data-injection attacks against power system state estimation: Modeling and countermeasures Journal article
IEEE Transactions on Parallel and Distributed Systems, 2014,Volume: 25,Issue: 3,Page: 717
Authors:  Yang Q.;  Yang J.;  Yu W.;  An D.;  Zhang N.;  Zhao W.
Favorite | View/Download:8/0 | TC[WOS]:145 TC[Scopus]:219 | Submit date:2018/10/30
cyber security  Cyber-physical systems  power grid  state estimation  
Flexible linear discriminant wavelet networks for rapid physiological signal interpretation Conference paper
IFMBE Proceedings
Authors:  Li B.N.;  Li Y.;  Xiang K.;  An N.;  Dong M.C.;  Vai M.I.
Favorite | View/Download:4/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/02/14
Classification  Linear discrimination  Physiological signal interpretation  Wavelet neural networks