设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(19)
SpringerLink电子期刊(3980)
GSW全文库(109)
Wiley电子期刊(110)
ProQuest学位论文(167)
Elsevier电子期刊(5672)
Springer电子图书(10)
NATURE电子期刊(79)
ACS电子期刊(277)
在“
Elsevier电子期刊
”中,
命中:
5,672
条,耗时:0.122915 秒
在所有数据库中总计命中:
10,423
条
1.
Inference of ranking functions for proving
temporal
properties
by abstract interpretation
作者:
Caterina Urban
a
;
b
;
caterina.urban@inf.ethz.ch
;
Antoine Miné
;
a
;
c
;
antoine.mine@lip6.fr
关键词:
Static analysis
;
Abstract interpretation
;
Liveness
;
Temporal
properties
;
Ranking functions
;
Termination
刊名:Computer Languages, Systems & Structures
出版年:2017
2.
Temporal
logic control for stochastic 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 Chmelí
;
k
d
;
martin.chmelik@ist.ac.at
;
Krishnendu Chatterjee
d
;
kchatterjee@ist.ac.at
;
Ivana Černá
;
a
;
cerna@muni.cz
;
Calin Belta
e
;
cbelta@bu.edu
关键词:
Control
;
Linear stochastic system
;
Temporal
logic
;
Abstraction refinement
;
Games
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2017
3.
Resting state functional network disruptions in a kainic acid model of
temporal
lobe epilepsy
作者:
Ravnoor Singh Gill
a
;
f
;
rsing96@uwo.ca
;
Seyed M. Mirsattari
a
;
b
;
c
;
d
;
e
;
Seyed.Mirsattari@lhsc.on.ca
;
L. Stan Leung
a
;
f
;
sleung@uwo.ca
关键词:
Temporal
lobe epilepsy
;
Limbic system
;
Default mode network
;
Resting-state networks
;
Kainic acid
;
Functional connectivity
刊名:NeuroImage: Clinical
出版年:2017
4.
Measurements of scattering and absorption
properties
of surface aerosols at a semi-arid site, Anantapur
作者:
K. Rama Gopal
a
;
krgvema@yahoo.com" class="auth_mail" title="E-mail the corresponding author
;
G. Balakrishnaiah
a
;
S.Md. Arafath
a
;
K. Raja Obul Reddy
a
;
N. Siva Kumar Reddy
a
;
S. Pavan Kumari
a
;
K. Raghavendra Kumar
b
;
T. Chakradhar Rao
a
;
T. Lokeswara Reddy
a
;
R.R. Reddy
a
;
S. Nazeer Hussain
a
;
d
;
M. Vasudeva Reddy
a
;
d
;
S. Suresh Babu
c
;
P. Mallikarjuna Reddy
e
关键词:
Atmospheric aerosols
;
Scattering and absorption coefficients
;
Single scattering albedo
;
Meteorology
刊名:Atmospheric Research
出版年:2017
5.
Hyper-
temporal
remote sensing for digital soil mapping: Characterizing soil-vegetation response to climatic variability
作者:
Jonathan J. Maynard
;
jonathan.maynard@ars.usda.gov" class="auth_mail" title="E-mail the corresponding author
;
Matthew R. Levi
关键词:κ ;
kappa statistic
;
PCC
;
percent correctly classified
;
PFT
;
plant functional type
;
RS
;
remote sensing
;
SVM
;
support vector machine
刊名:Geoderma
出版年:2017
6.
Interrelationships Between Structure and the
Properties
of Amorphous Solids of Pharmaceutical Interest
作者:
George Zografi
1
;
Ann Newman
2
;
ann.newman@seventhstreetdev.com
关键词:
amorphous
;
fragility
;
glass
;
glass transition
;
hygroscopicity
;
mobility
;
physical stability
;
solid dispersion
;
water in solids
;
structure
刊名:Journal of Pharmaceutical Sciences
出版年:2017
7.
Psychometric
properties
of the Turkish version of the Internet Addiction Test (IAT)
作者:
Murat Boysan
a
;
boysan.murat@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Daria J. Kuss
b
;
daria.kuss@ntu.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
Yaşar Barut
c
;
yasarbarut@yahoo.com" class="auth_mail" title="E-mail the corresponding author
;
Nafi Aykö
;
se
d
;
nafiaykose@hotmail.com" class="auth_mail" title="E-mail the corresponding author
;
Mustafa Gü
;
leç
;
e
;
mustafagulec78@yahoo.com" class="auth_mail" title="E-mail the corresponding author
;
Osman Ö
;
zdemir
f
;
drosmanozdemir@yahoo.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Dissociation
;
Obsessive&ndash
;
compulsive disorder
;
Internet addiction
;
Coping
;
Reliability
;
Validity
刊名:Addictive Behaviors
出版年:2017
8.
Reasoning about equilibria in game-like concurrent systems
作者:
Julian Gutierrez
;
Julian.Gutierrez@cs.ox.ac.uk
;
Paul Harrenstein
;
Michael Wooldridge
关键词:
03B44
;
03B70
;
68T27
;
91A40
刊名:Annals of Pure and Applied Logic
出版年:2017
9.
Design and demonstration of a data model to integrate agent-based and field-based modelling
作者:
Merijn P. de Bakker
;
m.p.debakker@uu.nl
;
Kor de Jong
;
Oliver Schmitz
;
Derek Karssenberg
关键词:
Agent-based modelling
;
Field-based modelling
;
Integrated modelling
;
Data model
;
Map algebra
;
Modelling language
刊名:Environmental Modelling & Software
出版年:2017
10.
Blind identification of full-field vibration modes of output-only structures from uniformly-sampled, possibly
temporal
ly-aliased (sub-Nyquist), video measurements
作者:
Yongchao Yang
a
;
1
;
yyang@lanl.gov
;
yangyongchaohit@gmail.com
;
Charles Dorn
b
;
cdorn@caltech.edu
;
Tyler Mancini
c
;
tylermancini@gmail.com
;
Zachary Talken
d
;
zrtalken@gmail.com
;
Satish Nagarajaiah
e
;
Satish.Nagarajaiah@rice.edu
;
Garrett Kenyon
f
;
gkenyon@lanl.gov
;
Charles Farrar
a
;
farrar@lanl.gov
;
David Mascareñ
;
as
a
;
dmascarenas@lanl.gov
关键词:
Operational modal analysis
;
Full field measurement
;
Video processing
;
Sub-Nyquist sampling
;
Signal aliasing
;
Blind source separation
刊名:Journal of Sound and Vibration
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(5672)
题名(239)
关键词(60)
文摘(4976)
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
.