设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(144)
Elsevier电子期刊(427)
在“
Elsevier电子期刊
”中,
命中:
427
条,耗时:0.0669682 秒
在所有数据库中总计命中:
571
条
1.
Repl
ac
ing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution
作者:
Jens Knoop
a
;
knoop@complang.
tuwien
.
ac
.
at
;
Laura Kov&a
ac
ute
;
cs
b
;
laura.kov
ac
s@
tuwien
.
ac
.
at
;
Jakob Zwirchmayr
c
;
jakob@complang.
tuwien
.
ac
.
at
关键词:
Worst-case execution time (WCET) analysis
;
St
at
ic symbolic execution
;
Symbolic comput
at
ion
刊名:Journal of Symbolic Comput
at
ion
出版年:2017
2.
MaxS
AT
-based large neighborhood search for high school timetabling
作者:
Emir Demirović
;
demirovic@dbai.
tuwien
.
ac
.
at
;
Nysret Musliu
musliu@dbai.
tuwien
.
ac
.
at
关键词:
Max
;
S
AT
High school timetabling
;
Large neighborhood search
;
Local search
刊名:Computers & Oper
at
ions Research
出版年:2017
3.
c-LASSO and its dual for sparse signal estim
at
ion from array d
at
a
作者:
Christoph F. Mecklenbrä
;
uker
a
;
c
;
cfm@nt.
tuwien
.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
;
Peter Gerstoft
b
;
gerstoft@ucsd.edu" class="auth_mail" title="E-mail the corresponding author
;
Erich Zö
;
chmann
a
;
c
;
ezoechma@nt.
tuwien
.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
关键词:
Sparsity
;
c-LASSO
;
Duality theory
;
Homotopy
刊名:Signal Processing
出版年:2017
4.
Inter
ac
tion of pricing, advertising and experience quality: A dynamic analysis
作者:
Jon
at
han P. Caulkins
a
;
caulkins@andrew.cmu.edu" class="auth_mail" title="E-mail the corresponding author
;
Gustav Feichtinger
b
;
c
;
gustav@eos.
tuwien
.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
;
Dieter Grass
b
;
dieter.grass@
tuwien
.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
;
Richard F. Hartl
;
d
;
richard.hartl@univie.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
;
Peter M. Kort
e
;
f
;
kort@uvt.nl" class="auth_mail" title="E-mail the corresponding author
;
Andrea Seidl
b
;
d
;
andrea.seidl@
tuwien
.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
关键词:
System dynamics
;
Marketing
;
Optimal control
;
History-dependence
;
Skiba point
刊名:European Journal of Oper
at
ional Research
出版年:2017
5.
Optimal sizing of residential PV-systems from a household and social cost perspective: A case study in Austria
作者:
Michael Hartner
a
;
hartner@eeg.
tuwien
.
ac
.
at
;
Dieter Mayr
b
;
dieter.mayr@boku.
ac
.
at
;
Andrea Kollmann
c
;
kollmann@energieinstitut-linz.
at
;
Reinhard Haas
a
关键词:
Photovoltaic
;
PV sizing
;
Onsite-consumption
;
Renewables integr
at
ion
刊名:Solar Energy
出版年:2017
6.
Liaison linkages
作者:
M
at
teo Gallet
a
;
m
at
teo.gallet@ricam.oeaw.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
;
Georg Nawr
at
il
b
;
nawr
at
il@geometrie.
tuwien
.
ac
.
at
" class="auth_mail" title="E-mail the corresponding author
;
Josef Schicho
c
;
josef.schicho@risc.jku.
at
" class="auth_mail" title="E-mail the corresponding author
关键词:
Hexapod
;
Stewart Gough pl
at
form
;
Self motion
;
Liaison theory
;
Bond theory
;
Segre cubic primal
刊名:Journal of Symbolic Comput
at
ion
出版年:2017
7.
Transition radi
at
ion in EELS and c
at
hodoluminescence
作者:
Michael Stö
;
ger-Poll
ac
h
;
stoeger@ustem.
tuwien
.
ac
.
at
;
Luk&a
ac
ute
;
&scaron
;
K
ac
ht&i
ac
ute
;
k
1
;
Bernhard Miesenberger
;
Philipp Retzl
关键词:
Transition radi
at
ion
;
EELS
;
C
at
hodoluminescence
刊名:Ultramicroscopy
出版年:2017
8.
Anisotropic interpol
at
ion method of silicon carbide oxid
at
ion growth r
at
es for three-dimensional simul
at
ion
作者:
Vito &Scaron
;
imonka
a
;
b
;
simonka@iue.
tuwien
.
ac
.
at
;
Georg Nawr
at
il
c
;
Andreas Hö
;
ssinger
d
;
Josef Weinbub
a
;
b
;
Siegfried Selberherr
b
关键词:
Silicon carbide
;
Oxid
at
ion
;
Growth r
at
es
;
Anisotropy
;
Interpol
at
ion
刊名:Solid-St
at
e Electronics
出版年:2017
9.
Valence EELS below the limit of inelastic delocaliz
at
ion using conical dark field EFTEM or Bessel beams
作者:
Michael Stö
;
ger-Poll
ac
h
a
;
stoeger@ustem.
tuwien
.
ac
.
at
;
Thomas Sch
ac
hinger
a
;
K
at
i Biedermann
b
;
Volkhard Beyer
b
关键词:
Coulomb inter
ac
tion
;
Inelastic delocaliz
at
ion
;
VEELS
;
Bessel beams
刊名:Ultramicroscopy
出版年:2017
10.
Framework to model neutral particle flux in convex high aspect r
at
io structures using one-dimensional radiosity
作者:
Paul Manstetten
a
;
manstetten@iue.
tuwien
.
ac
.
at
;
Lado Filipovic
b
;
Andreas Hö
;
ssinger
c
;
Josef Weinbub
a
;
b
;
Siegfried Selberherr
b
关键词:
High aspect r
at
io
;
Neutral particle flux
;
Etching
;
Radiosity
;
View f
ac
tor
刊名:Solid-St
at
e Electronics
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(427)
作者(424)
文摘(3)
按出版年细分(427)
2027年及以后(20)
2017年(16)
2016年(90)
2015年(24)
2014年(10)
2013年(57)
2012年(66)
2011年(115)
2010年(9)
2009年(8)
2005年(1)
2002年(1)
2001年(1)
2000年及以前(9)
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
.