Modular Timing Constraints for Delay-Insensitive Systems von Park, Hoon, He, Anping, Roncken, Marly, Song, Xiaoyu, Sutherland, Ivan

Volltext

A discrete invasive weed optimization algorithm for solving traveling salesman problem von Zhou, Yongquan, Luo, Qifang, Chen, Huan, He, Anping, Wu, Jinzhao

Volltext

Formal Proof of a Machine Closed Theorem in Coq von Wan, Hai, He, Anping, You, Zhiyang, Zhao, Xibin

Volltext

Approximate Equivalence of the Hybrid Automata with Taylor Theory von He, Anping, Wu, Jinzhao, Yang, Shihan, Tan, Hongyan

Volltext

An Efficient Multitask Scheduling Model for Wireless Sensor Networks von Yin, Hongsheng, Qi, Honggang, Xu, Jingwen, Huang, Xin, He, Anping

Volltext

A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks von Zhou, Jianshan, Tian, Daxin, Qi, Honggang, Lu, Yingrong, Wang, Yunpeng, Wang, Jian, He, Anping

Volltext

Automata-Based Analysis of Stage Suspended Boom Systems von He, Anping, Wu, Jinzhao, Yang, Shihan, Zhou, Yongquan, Wang, Juan

Volltext

A Novel Adaptive Attention Model for Image Captioning von Liang, Donglin, Wu, Jinzhao, He, Anping, Ding, Ming

Volltext

An asynchronous mesh NoC based booth multiplication von He, Anping, Feng, Guangbo, Jilin, Zhang, Wu, Jinzhao

Volltext

Tri-generational family conversations: Communication accommodation and brokering von Ng, Sik Hung, He, Anping, Loong, Cynthia

Volltext

8-Bit NCL Asynchronous Multiplier based on Radix-4 Booth Algorithm von Deng, Weixiang, Cheng, Wenxiang, Cheng, Jie, Ni, Leibin, He, Anping

Volltext

A Hybrid Model Equipped with the Minimum Cycle Decomposition Concept for Short-Term Forecasting of Electrical Load Time Series von He, Zhaoshuang, Li, Caihong, Shen, Yulin, He, Anping

Volltext

Semi-modular delay model revisited in context of relative timing von Park, Hoon, He, Anping, Roncken, Marly, Song, Xiaoyu

Volltext

A Dynamic Travel Time Estimation Model Based on Connected Vehicles von He, Anping, Wang, Yunpeng, Lu, Yingrong, Qi, Honggang, Yuan, Yong, Tian, Daxin, Xia, Haiying

Volltext

A formal analysis of stage stunt system with hybrid automata von Anping He, Juan Wang

Volltext bestellen

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling von Yang, Shihan, Wu, Jinzhao, He, Anping, Rao, Yunbo

Volltext

A Power Effective Algorithm for State Encoding von He, Anping, Wu, Hao, Song, X., Wu, Jinzhao

Volltext

Formal analysis of stage suspended boom systems with Extended Duration Calculus von Anping He, Jinzhao Wu, Shihan Yang, Weijun Yan

Volltext bestellen

Mathematical analysis of stage-based programmable logic controller von He, Anping, Hung, William N.N., Yang, Guowu, Wu, Jinzhao, Li, Lian

Volltext

Slicing Reduction for Algebraic Verification of SEREs Properties von Hu, Li Zhong, Zhou, Ning, Gao, Xin Yan, He, An Ping

Volltext