机构

• 软件研究所 [8]
• 地理科学与资源研究所 [4]
• 遥感与数字地球研究所 [2]
• 数学与系统科学研究院 [1]
• 半导体研究所 [1]
• 生态环境研究中心 [1]
• 更多

采集方式

• OAI收割 [17]

内容类型

• 会议论文 [9]
• 期刊论文 [5]
• EI期刊论文 [2]
• 学位论文 [1]

发表日期

• 2015 [1]
• 2013 [3]
• 2012 [3]
• 2011 [3]
• 2010 [1]
• 2009 [2]
• 更多

学科主题

• 半导体物理 [1]
• 系统生态学::城市生... [1]

筛选

浏览/检索结果: 共17条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 On hybrid models of quantum finite automata 期刊论文  OAI收割 JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158 作者:  Li, Lvzhou;  Feng, Yuan   |  收藏  |  浏览/下载：30/0  |  提交时间：2018/07/30 Quantum computing  Automata theory  Quantum finite automata  Hybrid model of QFA   model checking conditional csl for continuous-time markov chains 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun   |  收藏  |  浏览/下载：25/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   rewrite-based statistical model checking of wmtl 会议论文  OAI收割 3rd International Conference on Runtime Verification, RV 2012, Istanbul, Turkey, September 25, 2012 - September 28, 2012 Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/22 Automata theory   Simulating urban expansion using a cloud-based cellular automata model: A case study of Jiangxia, Wuhan, China EI期刊论文  OAI收割 2013 Wang Haijun; He Sanwei; Liu Xingjian; Dai Lan; Pan Peng; Hong Song; Zhang Wenting 收藏  |  浏览/下载：45/0  |  提交时间：2014/12/31 Computer simulation  Automata theory  Cellular automata  Fuzzy sets  Monte Carlo methods  Uncertainty analysis  Urban growth   a path-oriented approach to generating executable test sequences for extended finite state machines 会议论文  OAI收割 IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012 Wu Tianyong; Yan Jun; Zhang Jian   |  收藏  |  浏览/下载：27/0  |  提交时间：2013/09/22 Automata theory  Computer aided software engineering  Computer software   one-way finite automata with quantum and classical states 期刊论文  OAI收割 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 卷号: 7300 LNAI, 页码: 273-290 Zheng Shenggen; Qiu Daowen; Li Lvzhou; Gruska Jozef   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 Automata theory  Computer simulation   on the probability distribution of the carry cells of stream ciphers f-fcsr-h v2 and f-fcsr-h v3 会议论文  OAI收割 7th China International Conference on Information Security and Cryptography, Inscrypt 2011, Beijing, China, November 30, 2011 - December 3, 2011 Song Haixin; Fan Xiubin; Wu Chuankun; Feng Dengguo   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/22 Automata theory  Cryptography  Cytology  Markov processes  Probability distributions  Security of data   The construction of higher temporal and spatial resolution land use/land cover database of China: From 1911 to 2010 会议论文  OAI收割 2011 19th International Conference on Geoinformatics, Geoinformatics 2011, Shanghai, China, June 24, 2011 - June 26, 2011 Li, Wenjie(李文杰); Zhang, Shihuang 收藏  |  浏览/下载：24/0  |  提交时间：2012/05/30 Automata theory  Cellular automata  Data fusion  Economics  Geographic information systems  Image resolution  Land use  Pattern recognition systems  Population statistics  Surveys   Urban spatial expansion of Xiangtan City, China 会议论文  OAI收割 2011 19th International Conference on Geoinformatics, Geoinformatics 2011,, Shanghai, China, June 24, 2011 - June 26,2011 Liu, Fang; Zhang, Zengxiang; Sun, Feifei; Zuo, Lijun; Wang, Xiao 收藏  |  浏览/下载：27/0  |  提交时间：2014/12/07 Expansion  Automata theory  Backpropagation  Cellular automata  Computer simulation  Geographic information systems  Land use  Neural networks  Pattern recognition systems  Remote sensing   A novel parallel random number generator for wireless medical security applications 期刊论文  OAI收割 2011 ieee international conference of electron devices and solid-state circuits, edssc 2011, 2011 IEEE International Conference of Electron Devices and Solid-State Circuits, EDSSC 2011, 2011, 2011, 页码: 6117706, 6117706 作者:  Liu, Weiyang;  Wu, Nanjian;  Liu, W.   |  收藏  |  浏览/下载：66/0  |  提交时间：2012/06/14 Calcium  Cellular automata  Energy efficiency  Gallium  Genetic algorithms  Number theory  Shift registers  Solid state devices  State feedback  Statistical tests  Calcium  Cellular Automata  Energy Efficiency  Gallium  Genetic Algorithms  Number Theory  Shift Registers  Solid State Devices  State Feedback  Statistical Tests