设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
在“
Elsevier电子期刊
”中,
命中:
1,226
条,耗时:小于0.01 秒
1.
Game semantics for non-monotonic intensional logic programming
作者:
Chrysida Galanaki
a
;
chrysida@di.uoa.gr
;
Christos Nomikos
b
;
cnomikos@cs.uoi.gr
;
Panos Rondogiannis
a
;
prondo@di.uoa.gr
关键词:
68
N15
;
68N17
;
68Q55
;
91A05
刊名:Annals of Pure and Applied Logic
出版年:2017
2.
Schubert polynomials, slide polynomials, Stanley symmetric functions and quasi-Yamanouchi pipe dreams
作者:
Sami Assaf
;
shassaf@usc.edu
;
Dominic Searles
dsearles@usc.edu
关键词:
primary
;
14M15
;
secondary
;
14
N15
;
05E05
刊名:Advances in Mathematics
出版年:2017
3.
Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects
作者:
J. Laird
jiml@cs.bath.ac.uk
关键词:
68Q55
;
68
N15
;
18C20
;
18C50
刊名:Annals of Pure and Applied Logic
出版年:2017
4.
On Aluffi's problem and blowup algebras of certain modules
作者:
Cleto B. Miranda-Neto
cleto@mat.ufpb.br
关键词:
Primary
;
13
N15
;
13D02
;
13A30
;
13C13
;
13C12
;
secondary
;
32M25
;
37F75
;
13H10
;
13D99
;
13C99
;
13E15
;
13C15
;
14M07
刊名:Journal of Pure and Applied Algebra
出版年:2017
5.
A posteriori error analysis of a fully-mixed formulation for the Navier-Stokes/Darcy coupled problem with nonlinear viscosity
作者:
Sergio Caucao
a
;
scaucao@ci2ma.udec.cl
;
Gabriel N. Gatica
a
;
ggatica@ci2ma.udec.cl
;
Ricardo Oyarzú
;
a
b
;
c
;
royarzua@ubiobio.cl
关键词:
65N30
;
65N12
;
65
N15
;
35Q79
;
80A20
;
76R05
;
76D07
刊名:Computer Methods in Applied Mechanics and Engineering
出版年:2017
6.
Locally nilpotent derivations and automorphism groups of certain Danielewski surfaces
作者:
Angelo Calil Bianchi
a
;
1
;
acbianchi@unifesp.br" class="auth_mail" title="E-mail the corresponding author
;
Marcelo Oliveira Veloso
b
;
veloso@ufsj.edu.br" class="auth_mail" title="E-mail the corresponding author
关键词:
13
N15
;
14R10
刊名:Journal of Algebra
出版年:2017
7.
High-order time stepping for the Navier-Stokes equations with minimal computational complexity
作者:
Jean-Luc Guermond
a
;
1
;
guermond@math.tamu.edu" class="auth_mail" title="E-mail the corresponding author
;
Peter D. Minev
b
;
minev@ualberta.ca" class="auth_mail" title="E-mail the corresponding author
关键词:
65N12
;
65
N15
;
35Q30
刊名:Journal of Computational and Applied Mathematics
出版年:2017
8.
Asymptotic expansion of solutions to the Black-Scholes equation arising from American option pricing near the expiry
作者:
Seyed-Mohammad-Mahdi Kazemi
a
;
smm.kazemi@aut.ac.ir" class="auth_mail" title="E-mail the corresponding author
;
Mehdi Dehghan
a
;
mdehghan@aut.ac.ir" class="auth_mail" title="E-mail the corresponding author
;
mdehghan.aut@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Ali Foroush Bastani
b
;
bastani@iasbs.ac.ir" class="auth_mail" title="E-mail the corresponding author
关键词:
91G60
;
34E05
;
35R35
;
65
N15
刊名:Journal of Computational and Applied Mathematics
出版年:2017
9.
Homological properties of determinantal arrangements
作者:
Arnold Yim
1
;
ayim@purdue.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
13
N15
;
32S22
刊名:Journal of Algebra
出版年:2017
10.
A lifted square formulation for certifiable Schubert calculus
作者:
Nickolas Hein
a
;
nhein@benedictine.edu" class="auth_mail" title="E-mail the corresponding author
;
;
Frank Sottile
b
;
sottile@math.tamu.edu" class="auth_mail" title="E-mail the corresponding author
;
关键词:
14
N15
;
14Q20
刊名:Journal of Symbolic Computation
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(1226)
题名(206)
作者(147)
关键词(280)
文摘(660)
按出版年细分(1226)
2027年及以后(60)
2017年(34)
2016年(207)
2015年(50)
2014年(5)
2013年(94)
2012年(99)
2011年(70)
2010年(54)
2009年(58)
2008年(50)
2007年(37)
2006年(25)
2005年(41)
2004年(50)
2003年(41)
2002年(42)
2001年(41)
2000年(25)
2000年及以前(143)
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
.