搜索页_\(\lambda \)

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

在“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 queueN ; 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

按检索点细分(5246)

题名(650)

关键词(288)

文摘(4928)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700