Search


 
Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 61-68 of 68 (Search time: 0.001 seconds).
Item hits:
First PublishedTitleAuthor(s)Type
24-Oct-20162nd International Conference on Agricultural and Biological Sciences (ABS 2016), Shanghai, China, July 23-26, 2016 AbstractsPei, Lei; Wang, Zhenhua; Zhang, Jinzhu; Li, Wenhao; Ting, Adeline S. Y.; Chow, Yiing Y.; Rahman, Sadequr; Wei, Rongchang; Hu, Zhang; Li, Sidong; Li, Chuyan; Li, Zijuan; Wang, Guoxia; Yang, Yuzhen; Chen, Gang; Luo, Qing; Wang, Guoxia; Liu, Ruixia; Yang, Yuzhen; Chen, Lipei; Lie, Zhiyang; Zhou, Tongtong; Huang, Weilong; Xue, Li; Li, Jie; Wang, Zhuomin; Xue, Li; Bezirganoglu, Ismail; Uysal, Pınar; Wang, Shuihua; Lu, Zhihai; Yang, Jiquan; Zhang, Yudong; Liu, John; Wei, Ling; Chen, Shufang; Phillips, Preetha; Dong, Zhengchao; Li, Hong; Wang, Xutong; Zhao, Fengliang; Yang, Guisheng; Huang, Haijie; Zhao, Li; Huang, Weijian; Wang, Jinhui; Zhang, Zhongrun; Li, Xiaojuan; Xu, Ning; Zhou, Guofu; Wan, Ming; Lin, Qi; Meng, Fanyun; Li, Jianxiu; Chen, Yichang; Yu, Koayung; Chang, Chunpin; Zhou, Zijuan; Su, Peixi; Shi, Rui; Xie, Tingting; Shi, Rui; Su, Peixi; Zhou, Zijuan; Liu, Xuelan; Zhang, Yan; Wei, Xiangfa; Wu, Chong; Yin, Yanlei; Feng, Lijuan; Yang, Xuemei; Wang, Fei; Wang, Hua; Zhuang, Huifa; Zhu, Zihui; Wang, HuiJournal Article
1-Dec-2017A Bi-objective Scheduling Approach for Energy Optimisation of Executing and Transmitting HPC Applications in Decentralised Multi-cloud SystemsAlsughayyir, Aeshah; Erlebach, ThomasConference Paper
2017A Symbolic Justice Violations Transition System for Unrealizable GR(1) SpecificationsKuvent, Aviv; Maoz, Shahar; Ringert, Jan OliverConference Paper
2016On Well-Separation of GR(1) SpecificationsMaoz, Shahar; Ringert, Jan OliverConference Paper
24-Aug-2017Teaching Agile Model-Driven Engineering for Cyber-Physical SystemsRingert, Jan Oliver; Rumpe, Bernhard; Schulze, Christoph; Wortmann, AndreasConference Paper
9-Apr-2016Probabilistic CTL*: The Deductive WayDimitrova, Rayna; Fioriti, Luis María Ferrer; Hermanns, Holger; Majumdar, RupakConference Paper
22-Sep-2016Symbolic Model Checking for Factored Probabilistic ModelsDeininger, David; Dimitrova, Rayna; Majumdar, RupakConference Paper
29-Dec-2016Robust optimal policies for Markov decision processes with safety-threshold constraintsDimitrova, Rayna; Fu, Jie; Topcu, UfukConference Paper