设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(38)
馆藏电子书[解放前](1)
Springer电子图书(163)
CNKI学位论文(28822)
知网期刊论文(34544)
中国地质文献-英文(3)
馆藏书目(6)
CNKI会议论文(16)
CNKI期刊论文0611(25)
标准(1)
在“
Elsevier电子期刊
”中,
命中:
7,150
条,耗时:0.1509285 秒
在所有数据库中总计命中:
63,619
条
1.
Comparison of reduction in
formal
decision contexts
作者:
Jinhai Li
a
;
jhlixjtu@163.com
;
Cherukuri Aswani Kumar
b
;
aswanis@gmail.com
;
Changlin Mei
c
;
clmei@mail.xjtu.edu.cn
;
Xizhao Wang
d
;
xzwang@szu.edu.cn
关键词:
Formal
concept analysis
;
Formal
decision context
;
Rule acquisition
;
Reduction
;
Comparison
刊名:International Journal of Approximate Reasoning
出版年:2017
2.
Reliability modeling and analysis of communication networks
作者:
Waqar Ahmed
a
;
waqar.ahmad@seecs.nust.edu.pk
;
Osman Hasan
a
;
osman.hasan@seecs.nust.edu.pk
;
Usman Pervez
a
;
usman.pervez@seecs.nust.edu.pk
;
Junaid Qadir
b
;
junaid.qadir@itu.edu.pk
关键词:
Reliability assessment
;
Communication networks
;
Reliability block diagrams (RBDs)
;
Fault tree
;
Markov chain
;
Simulation tools
;
Formal
methods
刊名:Journal of Network and Computer Applications
出版年:2017
3.
Models and data engineering
作者:
Ladjel Bellatreche
a
;
bellatreche@ensma.fr
Author Vitae
;
Yamine Ait Ameur
b
;
yamine@enseeiht.fr
Author Vitae
;
George Angelos Papadopoulos
c
;
george@cs.ucy.ac.cy
Author Vitae
关键词:
Modelling
;
Ontologies
;
Formal
methods
;
Engagement systems
;
Data warehouses
;
Clustering
;
Model and data stores
刊名:Future Generation Computer Systems
出版年:2017
4.
Models and data engineering
作者:
Ladjel Bellatreche
a
;
bellatreche@ensma.fr
;
Yamine Ait Ameur
b
;
yamine@enseeiht.fr
;
George Angelos Papadopoulos
c
;
george@cs.ucy.ac.cy
关键词:
Modelling
;
Ontologies
;
Formal
methods
;
Engagement systems
;
Data warehouses
;
Clustering
;
Model and data stores
刊名:Future Generation Computer Systems
出版年:2017
5.
A
formal
approach to discovering simultaneous additive masking between auditory medical alarms
作者:
Bassam Hasanain
a
;
Andrew D. Boyd
b
;
Judy Edworthy
c
;
Matthew L. Bolton
d
;
mbolton@buffalo.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
Medical alarms
;
Masking
;
Psychoacoustics
;
Formal
methods
;
Model checking
刊名:Applied Ergonomics
出版年:2017
6.
Goal-based testing of semantic web services
作者:
M. Shaban Jokhio
a
;
mjok002@aucklanduni.ac.nz
;
Jing Sun
;
a
;
j.sun@cs.auckland.ac.nz
;
Gillian Dobbie
a
;
gill@cs.auckland.ac.nz
;
Tianming Hu
b
;
tmhu@ieee.org
关键词:
Formal
methods
;
Model checking
;
Mutation analysis
;
Web Service Modeling Ontology
;
Semantic web services.
刊名:Information and Software Technology
出版年:2017
7.
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
作者:
Tigran Avanesov
a
;
tigran.avanesov@uni.lu
;
Yannick Chevalier
b
;
ychevali@irit.fr
;
Michael Rusinowitch
c
;
rusi@loria.fr
;
Mathieu Turuani
c
;
mathieu.turuani@loria.fr
关键词:
Web services
;
Orchestration
;
Security policy
;
Separation of duty
;
Deducibility constraints
;
Cryptographic protocols
;
Formal
methods
;
Automated verification
;
Synthesis
刊名:Journal of Symbolic Computation
出版年:2017
8.
Checking global usage of resources handled with local policies
作者:
Chiara Bodei
;
chiara@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
;
Viet Dung Dinh
dinh@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
;
Gian-Luigi Ferrari
giangi@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Network resources
;
Process calculi
;
Publish-subscribe systems
;
Formal
methods
;
Control flow analysis
刊名:Science of Computer Programming
出版年:2017
9.
Unusual Lewis-acid catalyzed
formal
(3+3)-cycloaddition of azomethine imines and nitrones to N-vinylpyrroles
作者:
Mariia M. Efremova
a
;
Rafael R. Kostikov
a
;
Alexander V. Stepakov
a
;
Taras L. Panikorovsky
a
;
Victoriya S. Shcherbakova
b
;
Andrey V. Ivanov
b
;
Alexander P. Molchanov
a
;
a.molchanov@spbu.ru
关键词:
Pyrroles
;
(3+3)-cycloadditiones
;
Nitrones
;
Azomethine imines
;
Catalysis
刊名:Tetrahedron
出版年:2017
10.
Regularized characteristic boundary conditions for the Lattice-Boltzmann
methods
at high Reynolds number flows
作者:
Gauthier Wissocq
a
;
b
;
c
;
wissocq@cerfacs.fr
;
Nicolas Gourdain
a
;
Orestis Malaspinas
d
;
Alexandre Eyssartier
b
关键词:
Lattice Boltzmann method
;
Characteristic boundary conditions
;
LODI
;
High Reynolds number flows
刊名:Journal of Computational Physics
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(7150)
题名(131)
关键词(427)
文摘(5817)
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
.