已选(0)清除
条数/页: 排序方式:
|
| The evolution of Zipf's law indicative of city development 期刊论文 PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2016 Chen, Yanguang
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2017/12/03
|
| Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他 2016-01-01 Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2017/12/03 |
| The distance-decay function of geographical gravity model: Power law or exponential law? 期刊论文 CHAOS SOLITONS & FRACTALS, 2015 Chen, Yanguang
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2017/12/03
|
| Responsibility for inconsistency 其他 2015-01-01 Mu, Kedian
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2015/11/10 |
| Representation and reasoning on RBAC: A nonmonotonic approach 其他 2013-01-01 Zhang, Wei; Lin, Zuoquan
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2015/11/13 |
| A separation logic for OO programs 其他 2012-01-01 Yijing, Liu; Zongyan, Qiu
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2015/11/13 |
| A logic-based RBAC framework for flexible policies 其他 2012-01-01 Zhang, Wei; Lin, Zuoquan
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2015/11/13 |
| A new approach to shortest paths on networks based on the quantum bosonic mechanism 其他 2011-01-01 Jiang, Xin; Wang, Hailong; Tang, Shaoting; Ma, Lili; Zhang, Zhanli; Zheng, Zhiming
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2015/11/16
|
| Towards a paradoxical description logic for the Semantic Web 其他 2010-01-01 Zhang, Xiaowang; Lin, Zuoquan; Wang, Kewen
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2015/11/13 |
| Quasi-classical semantics for expressive description logics 其他 2009-01-01 Zhang, Xiaowang; Qi, Guilin; Ma, Yue; Lin, Zuoquan
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13 |