设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(8)
ProQuest学位论文(117)
Elsevier电子期刊(652)
SpringerLink电子期刊(547)
NATURE电子期刊(5)
ACS电子期刊(6)
在“
Elsevier电子期刊
”中,
命中:
652
条,耗时:0.0180193 秒
在所有数据库中总计命中:
1,335
条
1.
Formal
verification of LTE-UMTS and LTE-LTE handover procedures
作者:
Piergiuseppe Bettassa Copet
a
;
piergiuseppe.bettassa@polito.it
;
Guido Marchetto
a
;
guido.marchetto@polito.it
;
Riccardo Sisto
a
;
riccardo.sisto@polito.it
;
Luciana Costa
b
;
luciana.costa@it.telecomitalia.it
关键词:
LTE
;
UMTS
;
Security
;
Formal
verification
;
ProVerif
;
Handover
刊名:Computer
Standards
& Interfaces
出版年:2017
2.
The impact of
standards
and regulation on innovation in uncertain markets
作者:
Knut Blind
a
;
knut.blind@tu-berlin.de
;
Sö
;
ren S. Petersen
b
;
soeren.s.petersen@tu-berlin.de
;
petersen.soeren.simon@gmail.com
;
Cesare A.F. Riillo
c
;
d
;
cesare.riillo@statec.etat.lu
关键词:
Innovation
;
Regulation
;
Formal
standardization
;
Information asymmetry
;
Regulatory capture
;
Innovation efficiency
刊名:Research Policy
出版年:2017
3.
Evidence-Based and Personalized Medicine. It’s [AND] not [OR]
作者:
Sahar Mokhles
;
PhD
a
;
Johanna JM Takkenberg
;
MD
;
PhD
a
;
Tom Treasure
;
MD
;
MS
b
;
tom.treasure@gmail.com
关键词:
CONSORT
;
Consolidated
Standards
of Reporting Trials
;
EBM
;
evidence-based medicine
;
GRADE
;
Grading of Recommendations Assessment
;
Development and Evaluation
;
IRLM
;
International Registry of Lung Metastases
;
MOOSE
;
Meta-analysis of Observational Studies in Epidemiology
;
RCT
;
randomized controlled trial
;
PICO
;
P = patients
;
population
;
or participants
;
I = intervention
;
C = control or comparator
;
O = outcome
;
PRISMA
;
Preferred Reporting Items for Systematic Reviews and Meta-Analyses
刊名:The Annals of Thoracic Surgery
出版年:2017
4.
Dynamic state machines for modelling railway control systems
作者:
M. Benerecetti
a
;
R. De Guglielmo
c
;
U. Gentile
a
;
S. Marrone
b
;
N. Mazzocca
a
;
R. Nardone
a
;
roberto.nardone@unina.it
;
A. Peron
a
;
L. Velardi
c
;
V. Vittorini
a
关键词:
Dynamic STate machines
;
Promela model
;
ERTMS/ETCS
;
Control system
;
Verification and validation
刊名:Science of Computer Programming
出版年:2017
5.
What are shaping the ethical bottom line?: Identifying factors influencing young readers’ acceptance of digital news photo alteration
作者:
Qingjiang (Q. J.) Yao
a
;
qyao@lamar.edu" class="auth_mail" title="E-mail the corresponding author
;
David D. Perlmutter
c
;
Josie (Zhaoxi) Liu
b
关键词:
Digital ethics
;
News photo alteration
;
Readers&rsquo
;
&ldquo
;
Qualified Expectation of Reality&rdquo
;
Perceived alteration prevalence
刊名:Telematics and Informatics
出版年:2017
6.
On the importance of truly ontological distinctions for standardizations: A case study in the domain of telecommunications
作者:
Pedro Paulo F. Barcelos
a
;
pedropaulofb@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Cá
;
ssio C. Reginato
b
;
cassio.reginato@inf.ufes.br" class="auth_mail" title="E-mail the corresponding author
;
Maxwell E. Monteiro
c
;
maxmonte@ifes.edu.br" class="auth_mail" title="E-mail the corresponding author
;
Anilton S. Garcia
a
;
anilton@inf.ufes.br" class="auth_mail" title="E-mail the corresponding author
关键词:
Standard
;
Formal
specification
;
Ontology
;
OntoUML
;
ITU-T Recommendation G.805
刊名:Computer
Standards
& Interfaces
出版年:2016
7.
Declarative specifications for the development of multi-agent systems
作者:
Moharram Challenger
a
;
moharram.challenger@mail.ege.edu.tr" class="auth_mail" title="E-mail the corresponding author
;
m.challenger@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Marjan Mernik
b
;
marjan.mernik@um.si" class="auth_mail" title="E-mail the corresponding author
;
Geylani Kardas
a
;
geylani.kardas@ege.edu.tr" class="auth_mail" title="E-mail the corresponding author
;
Toma啪 Kosar
b
;
tomaz.kosar@um.si" class="auth_mail" title="E-mail the corresponding author
关键词:
Domain-specific language
;
Multi-agent system
;
Semantic Web
;
Formal
semantics
;
Declarative specifications
刊名:Computer
Standards
& Interfaces
出版年:2016
8.
Standards
for QUality Improvement Reporting Excellence 2.0: revised publication guidelines from a detailed consensus process
作者:
Greg Ogrinc
;
MD
;
MS
a
;
b
;
c
;
Louise Davies
;
MD
;
MS
a
;
b
;
c
;
louise.davies@dartmouth.edu" class="auth_mail" title="E-mail the corresponding author
;
Daisy Goodman
;
DNP
;
MPH
a
;
b
;
Paul Batalden
;
MD
b
;
c
;
Frank Davidoff
;
MD
c
;
David Stevens
;
MD
c
;
d
关键词:
Quality improvement
;
Publication guideline
;
Healthcare quality
刊名:Journal of Surgical Research
出版年:2016
9.
International
standards
for optical circuit board fabrication, assembly and measurement
作者:
Richard Pitwon
a
;
richard.pitwon@seagate.com" class="auth_mail" title="E-mail the corresponding author
;
Marika Immonen
b
;
Kai Wang
a
;
Hideo Itoh
d
;
Tsuyoshi Shioda
e
;
Jinhua Wu
c
;
Long Xiu Zhu
c
;
Hui Juan Yan
c
;
Alex Worrall
a
关键词:
Optical PCB
;
Optical circuit board fabrication
;
Optical waveguide connector
;
Optical waveguide measurement
刊名:Optics Communications
出版年:2016
10.
A
formal
validation of the RBAC ANSI 2012 standard using B
作者:
Nghi Huynh
a
;
b
;
nghi.huynh@usherbrooke.ca" class="auth_mail" title="E-mail the corresponding author
;
Marc Frappier
a
;
marc.frappier@usherbrooke.ca" class="auth_mail" title="E-mail the corresponding author
;
Amel Mammar
c
;
amel.mammar@telecom-sudparis.eu" class="auth_mail" title="E-mail the corresponding author
;
Ré
;
gine Laleau
b
;
laleau@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
;
Jules Desharnais
d
;
Jules.Desharnais@ift.ulaval.ca" class="auth_mail" title="E-mail the corresponding author
关键词:
Role-Based Access Control
;
B method
;
Invariant preservation
刊名:Science of Computer Programming
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(652)
题名(6)
关键词(18)
文摘(482)
按出版年细分(652)
2027年及以后(19)
2017年(5)
2016年(32)
2015年(12)
2014年(1)
2013年(28)
2012年(36)
2011年(36)
2010年(30)
2009年(41)
2008年(39)
2007年(42)
2006年(33)
2005年(41)
2004年(56)
2003年(16)
2002年(20)
2001年(25)
2000年(20)
2000年及以前(120)
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
.