设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
在“
SpringerLink电子期刊
”中,
命中:
5,246
条,耗时:小于0.01 秒
1.
Boltzmann Samplers for Closed Simply-Typed
Lambda
Terms
关键词:
Boltzmann samplers
;
Random generation of simply
;
typed
lambda
terms
;
Type inference
;
Combinatorics of
lambda
terms
;
Random generation of simply
;
typed normal forms
刊名:Lecture Notes in Computer Science
出版年:2017
2.
\(\
Lambda
_b \rightarrow \pi ^- (D_s^-) \Lambda _c(2595),~\pi ^- (D_s^-) \Lambda _c(2625)\)
decays and
作者:
Wei-Hong Liang
;
Melahat Bayar
;
Eulogio Oset
刊名:The European Physical Journal C
出版年:2017
3.
\(I_0\)
and combinatorics at
作者:
Xianghui Shi
;
Nam Trang
关键词:
Axiom \(I_0\)
;
\(\
lambda
^+\)
;
Aronszajn tree
;
Square
;
Weak square
;
Stationary reflection
;
Good scales
;
Diamond
;
\(\
lambda
\)
;
Continuum hypothsis
;
Generic absoluteness
;
\(\
lambda
\)
;
Goodness
刊名:Archive for Mathematical Logic
出版年:2017
4.
Analysis of a discrete-time
\(Geo^{\
lambda
_1,\
lambda
_2}/G/1\)
queue with
N
-policy and
D
-policy
作者:
Shaojun Lan
;
Yinghui Tang
关键词:
Discrete
;
time queue
N ;
policy and D
;
policy
;
Transient queue length distribution
;
State dependent arrival
;
Optimal capacity design
刊名:Journal of Applied Mathematics and Computing
出版年:2017
5.
Sharp Asymptotics for Einstein-
\({\
lambda
}\)
-Dust Flows
作者:
Helmut Friedrich
刊名:Communications in Mathematical Physics
出版年:2017
6.
Higher-Order Pattern Anti-Unification in Linear Time
作者:
Alexander Baumgartner
;
Temur Kutsia
;
Jordi Levy…
关键词:
Generalizations of
lambda
terms
;
Anti
;
unification
;
Higher
;
order patterns
刊名:Journal of Automated Reasoning
出版年:2017
7.
Stable exponential cosmological solutions with zero variation of
G
in the Einstein–Gauss–Bonnet model with a
\(\
Lambda
\)
-term
作者:
K. K. Ernazarov
;
V. D. Ivashchuk
刊名:The European Physical Journal C
出版年:2017
8.
Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls
作者:
Der-Chen Chang
;
Jun Liu
;
Dachun Yang
;
Wen Yuan
关键词:
(Hajłasz
;
)Sobolev space
;
Triebel
;
Lizorkin space
;
Ball average
;
Difference
;
Lusin
;
area function
;
\(g_{\
lambda
}^{*}\)
;
function
;
Calderón reproducing formula
;
Space of homogeneous type
刊名:Potential Analysis
出版年:2017
9.
A new statistical method for design and analyses of component tolerance
作者:
Mohammad Mehdi Movahedi
;
Mohsen Khounsiavash…
关键词:
Nonlinear programming
;
Generalized
lambda
distribution (GLD)
;
Tolerancing
;
Percentile matching estimates
刊名:Journal of Industrial Engineering International
出版年:2017
10.
An Integral Representation Formula for Multi Meta-
\(\varphi \)
-Monogenic Functions of Second Class
作者:
Eusebio Ariza García
;
Antonio Di Teodoro
关键词:
Monogenic function
;
Metamonogenic function
;
Multi
;
meta
;
monogenic function
;
Multi meta
;
\(\varphi \)
;
monogenic function
;
Clifford algebras
;
Clifford type algebras depending on parameters
刊名:Complex Analysis and Operator Theory
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(5246)
题名(650)
关键词(288)
文摘(4928)
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
.