设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(50)
SpringerLink电子期刊(5133)
GSW全文库(48)
Wiley电子期刊(102)
ProQuest学位论文(1207)
Elsevier电子期刊(5586)
Springer电子图书(20)
NATURE电子期刊(116)
ACS电子期刊(397)
在“
SpringerLink电子期刊
”中,
命中:
5,133
条,耗时:0.0539991 秒
在所有数据库中总计命中:
12,659
条
1.
The
Complexity
of Finding Effectors
作者:
Laurent Bulteau
;
Stefan Fafianie
;
Vincent Froese…
关键词:
Probabilistic information propagation
;
Influence maximization
;
Network activation
;
Social networks
;
Exact algorithms
;
Parameterized
complexity
刊名:Theory of Computing Systems
出版年:2017
2.
Faster exact distributions of pattern statistics through sequential elimination of
state
s
作者:
Donald E. K. Martin
;
Laurent Noé
关键词:
Active proper suffix
;
Auxiliary Markov chain
;
Computational efficiency
;
Extended seed patterns
;
Minimal deterministic finite automaton
;
Overlapping pattern occurrences
;
Seeded alignments
;
Spaced seed coverage
刊名:Annals of the Institute of Statistical Mathematics
出版年:2017
3.
Multiplierless 16-point DCT approximation for low-
complexity
image and video coding
作者:
Thiago L. T. da Silveira
;
Raíza S. Oliveira…
关键词:
DCT approximation
;
Fast algorithm
;
Image compression
;
Low computational cost
;
Video coding
刊名:Signal, Image and Video Processing
出版年:2017
4.
On
Complexity
of the Quantum Ising Model
作者:
Sergey Bravyi
;
Matthew Hastings
刊名:Communications in Mathematical Physics
出版年:2017
5.
Characterization, thermal stability, and solid-
state
phase transition behaviors of gestodene polymorphs and amorphous phase
作者:
Li-yu Wang
;
Liang Zhu
;
Zuo-liang Sha…
关键词:
Gestodene
;
Polymorph
;
Phase transition
;
Thermodynamic stability
;
Crystallization kinetics
刊名:Journal of Thermal Analysis and Calorimetry
出版年:2017
6.
Novel Simplex Kalman Filters
作者:
Wen-Jie Zhang
;
Shi-Yuan Wang
;
Ya-Li Feng
关键词:
Bayesian filter
;
Nonlinear Kalman filter
;
State
estimation
;
Numerical integration
;
Simplex rule
刊名:Circuits, Systems, and Signal Processing
出版年:2017
7.
Enclosure of all index-1 saddle points of general nonlinear functions
作者:
Dimitrios Nerantzis
;
Claire S. Adjiman
关键词:
Global optimization
;
Transition
state
s
;
Interval matrix
;
Eigenvalue bounding
;
NP
;
Hard
刊名:Journal of Global Optimization
出版年:2017
8.
Effective software fault localization using predicted execution results
作者:
Ruizhi Gao
;
W. Eric Wong
;
Zhenyu Chen
;
Yabin Wang
关键词:
Program debugging
;
Software fault localization
;
Output verification
;
State
ment suspiciousness
;
EXAM score
刊名:Software Quality Journal
出版年:2017
9.
Unrestricted
State
Complexity
of Binary Operations on Regular Languages
关键词:
Boolean operation
;
Concatenation
;
Different alphabets
;
Most complex languages
;
Product
;
Quotient
complexity
;
Regular language
;
State
complexity
;
Stream
;
Unrestricted
complexity
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Channel exploration for aggregation in cognitive radio system
作者:
Wenlong Yin
;
Qihui Wu
;
Jinlong Wang
;
Changhua Yao
关键词:
Cognitive radio
;
Channel exploration
;
Channel aggregation
;
Partially Observable Markov Decision Process
;
Optimal stopping problem
刊名:Wireless Networks
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(5133)
题名(110)
作者(1)
关键词(100)
文摘(4590)
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
.