设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(1)
ProQuest学位论文(9)
ACS电子期刊(1)
SpringerLink电子期刊(312)
Elsevier电子期刊(185)
在“
Elsevier电子期刊
”中,
命中:
185
条,耗时:0.0190243 秒
在所有数据库中总计命中:
508
条
1.
Finite
automata approach to observability of switched Boolean control networks
作者:
Kuize Zhang
a
;
b
;
zkz0017@163.com" class="auth_mail" title="E-mail the corresponding author
;
Lijun Zhang
c
;
a
;
zhanglj7385@nwpu.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
Lihua Xie
d
;
elhxie@ntu.edu.sg" class="auth_mail" title="E-mail the corresponding author
关键词:
Switched Boolean control network
;
Observability
;
Weighted pair graph
;
Finite
automaton
;
Formal language
;
Semi-tensor product of matrices
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2016
2.
Further improvements of determinization methods for fuzzy
finite
automata
作者:
Zorana Jančić
zoranajancic329@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Ivana Micić
ivanajancic84@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Jelena Ignjatović
jelena.ignjatovic@pmf.edu.rs" class="auth_mail" title="E-mail the corresponding author
;
Miroslav Ćirić
;
miroslav.ciric@pmf.edu.rs" class="auth_mail" title="E-mail the corresponding author
关键词:
Fuzzy
automaton
;
Crisp-
deterministic
fuzzy
automaton
;
Nerode
automaton
;
Determinization
;
State reduction
;
Complete residuated lattice
刊名:Fuzzy Sets and Systems
出版年:2016
3.
The state complexity of random DFAs
作者:
Daniel Berend
;
Aryeh Kontorovich
;
karyeh@cs.bgu.ac.il" class="auth_mail" title="E-mail the corresponding author
关键词:
Random
;
Deterministic
finite
-state
automaton
;
DFA
;
Minimal
刊名:Theoretical Computer Science
出版年:2016
4.
A generalization of Myhill-Nerode theorem for fuzzy languages
作者:
José
;
R. Gonzá
;
lez de Mendí
;
vil
mendivil@unavarra.es" class="auth_mail" title="E-mail the corresponding author
关键词:
Myhill&ndash
;
Nerode theorem
;
Fuzzy languages
;
Fuzzy
deterministic
finite
automata
;
Right equivalence relations
刊名:Fuzzy Sets and Systems
出版年:2016
5.
The effect of end-markers on counter machines and commutativity
作者:
Oscar H. Ibarra
a
;
1
;
ibarra@cs.ucsb.edu" class="auth_mail" title="E-mail the corresponding author
;
Ian McQuillan
b
;
2
;
mcquillan@cs.usask.ca" class="auth_mail" title="E-mail the corresponding author
关键词:
Counter machines
;
Commutativity
;
Reversal-bounds
;
Determinism
;
Finite
automata
刊名:Theoretical Computer Science
出版年:2016
6.
Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations
作者:
Shuhei Denzumi
a
;
denzumi@ist.hokudai.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Ryo Yoshinaka
b
;
ry@i.kyoto-u.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Hiroki Arimura
a
;
arim@ist.hokudai.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Shin-ichi Minato
a
;
c
;
minato@ist.hokudai.ac.jp" class="auth_mail" title="E-mail the corresponding author
关键词:
Sequence binary decision diagram
;
Persistent data structure
;
Deterministic
finite
automaton
;
Minimization
;
Boolean set operation
刊名:Discrete Applied Mathematics
出版年:2016
7.
Automata, reduced words and Garside shadows in Coxeter groups
作者:
Christophe Hohlweg
a
;
1
;
hohlweg.christophe@uqam.ca" class="auth_mail" title="E-mail the corresponding author
;
;
Philippe Nadeau
b
;
nadeau@math.univ-lyon1.fr" class="auth_mail" title="E-mail the corresponding author
;
;
Nathan Williams
c
;
nathan.f.williams@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
关键词:
primary
;
20F55
;
secondary
;
20F10
;
05E15
;
06F99
刊名:Journal of Algebra
出版年:2016
8.
An
automaton
-based index scheme supporting twig queries for on-demand XML data broadcast
作者:
Peng Liu
a
;
b
Author Vitae
;
Weiwei Sun
a
;
b
;
wwsun@fudan.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Jian Zhang
a
;
b
Author Vitae
;
Baihua Zheng
c
Author Vitae
关键词:
Air indexing
;
Deterministic
finite
automaton
;
On-demand XML data broadcast
;
Twig query
刊名:Journal of Parallel and Distributed Computing
出版年:2015
9.
Multipass automata and group word problems
作者:
Tullio Ceccherini-Silberstein
a
;
tceccher@mat.uniroma3.it" class="auth_mail" title="E-mail the corresponding author
;
Michel Coornaert
b
;
coornaert@math.unistra.fr" class="auth_mail" title="E-mail the corresponding author
;
Francesca Fiorenzi
c
;
fiorenzi@lri.fr" class="auth_mail" title="E-mail the corresponding author
;
Paul E. Schupp
d
;
schupp@math.uiuc.edu" class="auth_mail" title="E-mail the corresponding author
;
Nicholas W.M. Touikan
e
;
nicholas.touikan@gmail.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Pushdown
automaton
;
Multipass
automaton
;
Context-free language
;
Finite
ly generated group
;
The word problem
刊名:Theoretical Computer Science
出版年:2015
10.
Cycle-aware minimization of acyclic
deterministic
finite
-state automata
作者:
Johannes Bubenzer
关键词:
Minimization
;
Deterministic
finite
state automata
;
Algorithmic
刊名:Discrete Applied Mathematics
出版年:30 January, 2014
1
2
3
4
5
6
7
8
9
按检索点细分(185)
题名(2)
关键词(17)
文摘(152)
按出版年细分(185)
2027年及以后(6)
2016年(7)
2015年(8)
2014年(1)
2013年(13)
2012年(16)
2011年(10)
2010年(11)
2009年(20)
2008年(14)
2007年(12)
2006年(8)
2005年(9)
2004年(11)
2003年(5)
2002年(2)
2001年(8)
2000年(8)
2000年及以前(16)
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
.