QQ客服 官方微博 反馈留言

浏览/检索结果: 共25条，第1-10条 帮助 限定条件 内容类型：其他    发表日期：2017     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序提交时间升序提交时间降序题名升序题名降序作者升序作者降序 Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他 2017-01-01 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 Hybrid systems  invariants  non-autonomous systems  polynomial ideals  semi-algebraic sets.  BARRIER CERTIFICATES  SAFETY VERIFICATION   Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares  HYBRID SYSTEMS  ALGORITHMIC ANALYSIS  SAFETY VERIFICATION  INVARIANTS   Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares  HYBRID SYSTEMS  ALGORITHMIC ANALYSIS  SAFETY VERIFICATION  INVARIANTS   Homomorphic Cloud Computing Scheme Based on Hybrid Homomorphic Encryption 其他 2017-01-01 作者:  Song, Xidan;  Wang, Yulin 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/05 cloud computing  homomorphic encryption  data security  the private cloud  Paillier  RSA   Energy Efficient Real-time Task Scheduling on CPU-GPU Hybrid Clusters 其他 2017-01-01 作者:  Mei, Xinxin;  Chu, Xiaowen;  Liu, Hai;  Leung, Yiu-Wing;  Li, Zongpeng 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05 Is hybrid subcutaneous implantable cardioverter-defibrillator and leadless pacemaker the future of device therapy? 其他 2017-01-01 作者:  Liang, Jinjun;  Cha, Yongmei 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/05 Subcutaneous implantable cardioverter-defibrillator (S-ICD)  Leadless pacemaker (LP)   Energy Efficient Real-time Task Scheduling on CPU-GPU Hybrid Clusters 其他 2017-01-01 作者:  Mei, Xinxin;  Chu, Xiaowen;  Liu, Hai;  Leung, Yiu-Wing;  Li, Zongpeng 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05 A Segmented Power Distribution Control System Based On Hybrid Regenerative Cascaded Multilevel Converter 其他 2017-01-01 作者:  Wang, Pan;  Liu, Fei;  Zha, Xiaoming;  Zhu, Feiyang;  Gong, Jinwu 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05 hybrid cascade  energy storage cells  power flow  reactive power control  super capacitors   Multi-class Active Learning: A Hybrid Informative and Representative Criterion Inspired Approach 其他 2017-01-01 作者:  Wang, Zengmao;  Du, Bo;  Zhang, Lefei 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 Single-Image Blind Deblurring With Hybrid Sparsity Regularization 其他 2017-01-01 作者:  Liu, Ryan Wen;  Li, Yan;  Liu, Yi;  Duan, Jinming;  Xu, Tian 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05