设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(6)
SpringerLink电子期刊(802)
GSW全文库(45)
Wiley电子期刊(58)
ProQuest学位论文(32)
Elsevier电子期刊(6381)
Springer电子图书(8)
NATURE电子期刊(18)
ACS电子期刊(2087)
在“
Elsevier电子期刊
”中,
命中:
6,381
条,耗时:小于0.01 秒
在所有数据库中总计命中:
9,437
条
1.
Interactive visualizations for decision support: Application of Rasmussen's
abstraction
-aggregation
h
ierarc
h
y
作者:
William B. Rouse
;
rouse@stevens.edu
;
Mic
h
ael J. Pennock
;
Me
h
rnoos
h
Og
h
baie
;
C
h
en Liu
关键词:
Interactive visualizations
;
Abstraction
-aggregation
h
ierarc
h
y
;
Maintenance
;
Enterprise diagnostics
刊名:Applied Ergonomics
出版年:2017
2.
Lost in
abstraction
: Monotonicity in multi-t
h
readed programs
作者:
Alexander Kaiser
a
;
Daniel Kroening
a
;
T
h
omas Wa
h
l
b
;
关键词:
Multi-t
h
readed software
;
Parameterized verification
;
Monotonicity
;
Predicate
abstraction
刊名:Information and Computation
出版年:2017
3.
Finite
abstraction
of mixed monotone systems wit
h
discrete and continuous inputs
作者:
Samuel Coogan
;
scoogan@eecs.berkeley.edu
;
Murat Arcak
arcak@eecs.berkeley.edu
关键词:
Mixed monotone systems
;
Monotone systems
;
Finite state
abstraction
s
刊名:Nonlinear Analysis:
H
ybrid Systems
出版年:2017
4.
Temporal logic control for stoc
h
astic linear systems using
abstraction
refinement of probabilistic games
作者:
Má
;
ria Svoreňová
;
a
;
b
;
maria.svorenova@cs.ox.ac.uk
;
Jan Křetí
;
nský
;
c
;
jan.kretinsky@tum.de
;
Martin C
h
melí
;
k
d
;
martin.c
h
melik@ist.ac.at
;
Kris
h
nendu C
h
atterjee
d
;
kc
h
atterjee@ist.ac.at
;
Ivana Černá
;
a
;
cerna@muni.cz
;
Calin Belta
e
;
cbelta@bu.edu
关键词:
Control
;
Linear stoc
h
astic system
;
Temporal logic
;
Abstraction
refinement
;
Games
刊名:Nonlinear Analysis:
H
ybrid Systems
出版年:2017
5.
Failure detector
abstraction
s for MapReduce-based systems
作者:
Bunjamin Memis
h
i
;
a
;
bmemis
h
i@fi.upm.es" class="aut
h
_mail" title="E-mail t
h
e corresponding aut
h
or
;
Marí
;
a S. Pé
;
rez
a
;
mperez@fi.upm.es" class="aut
h
_mail" title="E-mail t
h
e corresponding aut
h
or
;
Gabriel Antoniu
b
;
gabriel.antoniu@inria.fr" class="aut
h
_mail" title="E-mail t
h
e corresponding aut
h
or
关键词:
MapReduce
;
Reliability
;
Failure detection
;
Timeout
;
H
eartbeat
刊名:Information Sciences
出版年:2017
6.
Effective
abstraction
s for verification under relaxed memory models
作者:
Andrei Dan
a
;
andrei.dan@inf.et
h
z.c
h
;
Yuri Mes
h
man
b
;
yurime@cs.tec
h
nion.ac.il
;
Martin Vec
h
ev
a
;
martin.vec
h
ev@inf.et
h
z.c
h
;
Eran Ya
h
av
b
;
ya
h
ave@cs.tec
h
nion.ac.il
关键词:
Abstract interpretation
;
Relaxed memory models
刊名:Computer Languages, Systems & Structures
出版年:2017
7.
Process optimization for t
h
e application of carbon from plantain peels in dye
abstraction
作者:
E. Inam
a
;
eduinam@uniuyo.edu.ng
;
U.J. Etim
b
;
E.G. Akpabio
a
;
S.A. Umoren
a
关键词:
Plantain peels
;
Activated carbon
;
Met
h
ylene blue
;
Adsorption
;
Process optimization
刊名:Journal of Taiba
h
University for Science
出版年:2017
8.
Verifiable
abstraction
s for contract-oriented systems
作者:
Massimo Bartoletti
a
;
bart@unica.it
;
Maurizio Murgia
a
;
Alceste Scalas
a
;
Roberto Zunino
b
关键词:
Contract-oriented computing
;
Verification
;
Rewriting logic
;
Session types
刊名:Journal of Logical and Algebraic Met
h
ods in Programming
出版年:2017
9.
T
h
e searc
h
for a reduction in combinatory logic equivalent to λβ-reduction, Part II
作者:
Jonat
h
an P. Seldin
jonat
h
an.seldin@ulet
h
.ca
关键词:
λ-Calculus
;
Combinatory logic
;
β-Reduction
;
βη-Reduction
;
Abstraction
;
Irreducible terms
;
Normal form
刊名:T
h
eoretical Computer Science
出版年:2017
10.
A multiagent-based model for pedestrian simulation in subway stations
作者:
Xu C
h
en
a
;
b
;
14114236@bjtu.edu.cn
;
H
aiying Li
a
;
Jianrui Miao
a
;
S
h
ixiong Jiang
b
;
Xi Jiang
a
关键词:
Multiagent-based model
;
Simulation environment
abstraction
model
;
T
h
ree-level pedestrian agent model
;
Interaction rule base
;
Subway station simulation
刊名:Simulation Modelling Practice and T
h
eory
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(6381)
题名(840)
关键词(810)
文摘(5924)
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
.