设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(7)
Springer电子图书(13)
CNKI会议论文(12)
CNKI期刊论文0611(31)
馆藏书目(3)
院士团队服务(1)
CNKI学位论文(7044)
知网期刊论文(5551)
在“
Elsevier电子期刊
”中,
命中:
193
条,耗时:0.0709985 秒
在所有数据库中总计命中:
12,662
条
1.
Simulation of urban expansion and encroachment using cellular
automata
and multi-agent system model—A case study of Tianjin metropolitan region,
Chi
na
作者:
Guangjin Tian
a
;
tianguangjin@bnu.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
Bingran Ma
a
;
Xinliang Xu
b
;
Xiaoping Liu
c
;
Linyu Xu
a
;
Xiaojuan Liu
a
;
Lin Xiao
a
;
Lingqiang Kong
a
关键词:
Cellular
automata
;
Multi-agent system model
;
Urban expansion
;
Spatio-temporal patterns
;
Tianjin metropolitan region
刊名:Ecological Indicators
出版年:2016
2.
Profile trees for Bü
chi
word
automata
, with application to determinization
作者:
Seth Fogarty
a
;
sfogarty@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Orna Kupferman
b
;
Moshe Y. Vardi
c
;
Thomas Wilke
d
关键词:
Automata
theory
;
Omega-
automata
;
ω-
automata
;
Bü
;
chi
determinization
;
Bü
;
chi
profiles
刊名:Information and Computation
出版年:2015
3.
On the Bernoulli automorphism of reversible linear cellular
automata
作者:
Chi
h-Hung Chang
;
chchang@nuk.edu.tw" class="auth_mail" title="E-mail the corresponding author
;
chi
hhung@mail.fcu.edu.tw" class="auth_mail" title="E-mail the corresponding author
;
Huilan Chang
hchang@nuk.edu.tw" class="auth_mail" title="E-mail the corresponding author
关键词:
Measure-preserving transformation
;
Invertible cellular
automata
;
Strong mixing
;
Bernoulli automorphism
刊名:Information Sciences
出版年:2016
4.
A novel power efficient adaptive RED-based flow control mechanism for networks-on-
chi
p
作者:
R. Akbar
a
;
r_akbar@sbu.ac.ir" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
F. Safaei
a
;
f_safaei@sbu.ac.ir" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
S. M. Seyyed Modallalkar
b
;
S.Modallalkar@qiau.ac.ir" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Network-on-
chi
p (NoC)
;
Random Early Detection (RED) algorithm
;
Stochastic learning
automata
;
Performance evaluation
;
Congestion control management
;
Power consumption
刊名:Computers & Electrical Engineering
出版年:2016
5.
Incorporating spatial regression model into cellular
automata
for simulating land use change
作者:
Chi
a-An Ku
ku
chi
aan@gmail.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Land use simulation
;
Spatial regression
;
Cellular
automata
(CA)
;
Integrated simulation framework
刊名:Applied Geography
出版年:2016
6.
A canonical form based decision procedure and model checking approach for propositional projection temporal logic
作者:
Zhenhua Duan
;
Cong Tian
;
ctian@mail.xidian.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
Nan Zhang
关键词:
Decision procedure
;
Propositional projection temporal logic
;
Bü
;
chi
automata
;
Model checking
刊名:Theoretical Computer Science
出版年:2016
7.
Modeling different urban growth patterns based on the evolution of urban form: A case study from Huangpi, Central
Chi
na
作者:
Yaolin Liu
a
;
b
;
c
;
yaolin610@163.com" class="auth_mail" title="E-mail the corresponding author
;
Qingsong He
a
;
baihualin2013@163.com" class="auth_mail" title="E-mail the corresponding author
;
Ronghui Tan
a
;
b
;
tanronghui1999@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Yanfang Liu
a
;
b
;
yfliu610@163.com" class="auth_mail" title="E-mail the corresponding author
;
Chaohui Yin
a
;
1018819069@qq.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Urban expansion
;
Cellular
automata
;
Adjacent
;
Outlying
;
Huangpi
刊名:Applied Geography
出版年:2016
8.
Data-driven optimizations for model checking of multi-valued regulatory networks
作者:
Adam Streck
;
adam.streck@fu-berlin.de
;
Kirsten Thobe
;
Heike Siebert
关键词:
Regulatory networks
;
Model checking
;
Bü
;
chi
automata
;
Colorectal cancer
刊名:Biosystems
出版年:2016
9.
Learning regular omega languages
作者:
Dana Angluin
a
;
1
;
Dana Fisman
b
;
2
;
dana.fisman@gmail.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Active learning
;
Language inference
;
Infinitary languages
;
Membership queries
;
Equivalence queries
;
L⁎L⁎
;
Bü
;
chi
automata
刊名:Theoretical Computer Science
出版年:2016
10.
A 3D universal structure based on molecular-QCA and CNT technologies
作者:
Milad Bagherian khosroshahy
a
;
b
;
c
;
m.bagherian@ipm.ir" class="auth_mail" title="E-mail the corresponding author
;
Mahya Sam Daliri
a
;
b
;
c
;
m_sam@sbu.ac.ir" class="auth_mail" title="E-mail the corresponding author
;
Alireza Abdoli
b
;
al.abdoli@mail.sbu.ac.ir" class="auth_mail" title="E-mail the corresponding author
;
Keivan Navi
a
;
b
;
c
;
navi@sbu.ac.ir" class="auth_mail" title="E-mail the corresponding author
;
Nader Bagherzadeh
d
;
nader@uci.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
Molecular quantum cellular
automata
(MQCA)
;
Carbon nanotube (CNT)
;
Minority function
;
3D structure
刊名:Journal of Molecular Structure
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(193)
题名(24)
关键词(27)
文摘(131)
按出版年细分(193)
2027年及以后(11)
2016年(11)
2015年(2)
2013年(13)
2012年(6)
2011年(11)
2010年(10)
2009年(19)
2008年(12)
2007年(9)
2006年(18)
2005年(15)
2004年(5)
2003年(8)
2002年(10)
2001年(12)
2000年(3)
2000年及以前(18)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.