设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(14)
ProQuest学位论文(6)
Elsevier电子期刊(49)
在“
SpringerLink电子期刊
”中,
命中:
14
条,耗时:0.1139465 秒
在所有数据库中总计命中:
69
条
1.
Interactive visualization of multi-layered clothing
作者:
Vladimir Lazunin
;
Vladimir Savchenko
关键词:
Garment rendering
;
Ray tracing
;
Surface deformation
刊名:The Visual Computer
出版年:2017
2.
Computing with Catalan Families, Generically
关键词:
Tree
;
based
numbering
systems
;
Cross
;
validation with type classes
;
Arithmetic with combinatorial objects
;
Catalan families
;
Generic functional programming algorithms
刊名:Lecture Notes in Computer Science
出版年:2016
3.
The use of a topological list for calculating the parameters of electric-power
systems
on the basis of the node-voltage method
作者:
V. A. Tarasov
;
A. G. Leisle
;
A. B. Petrochenkov
关键词:
electric
;
power system
;
node
;
voltage method
;
topological list
;
scheme
;
branch
;
node
刊名:Russian Electrical Engineering
出版年:2016
4.
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations
关键词:
Lambda calculus
;
compressed de Bruijn terms
;
Tree
;
based
numbering
systems
;
Ranking and unranking of lambda terms
;
Normalization with higher order abstract syntax
;
Random generation of large lambda terms
刊名:Lecture Notes in Computer Science
出版年:2016
5.
A Declarative Specification of Giant Number Arithmetic
作者:
Paul Tarau (18)
关键词:
hereditary
numbering
systems
;
compressed number representations
;
arithmetic computations with giant numbers
;
tree
;
based
numbering
systems
;
Prolog as a specification language
刊名:Lecture Notes in Computer Science
出版年:2014
6.
Computing with Catalan Families
作者:
Paul Tarau (19)
关键词:
hereditary
numbering
systems
;
arithmetic algorithms for Combinatorial objects
;
structural complexity of natural numbers
;
run
;
length compressed numbers
;
Catalan families
刊名:Lecture Notes in Computer Science
出版年:2014
7.
The Arithmetic of Recursively Run-Length Compressed Natural Numbers
作者:
Paul Tarau (17)
关键词:
run
;
length compressed numbers
;
hereditary
numbering
systems
;
arithmetic algorithms for giant numbers
;
representation complexity of natural numbers
刊名:Lecture Notes in Computer Science
出版年:2014
8.
Canonical labels for protein spots of proteomics maps
作者:
Milan Randi? (1)
Rok Orel (2)
关键词:
Canonical labels
;
Proteomics maps
;
Chaos game
刊名:Journal of Mathematical Chemistry
出版年:2014
9.
Planning of Relocation Staff Operations in Electric Vehicle Sharing
Systems
作者:
Junghoon Lee (21)
Gyung-Leen Park (21)
关键词:
Smart transportation
;
electric vehicle sharing system
;
vehicle relocation
;
genetic algorithm
;
relocation distance
刊名:Lecture Notes in Computer Science
出版年:2013
10.
Exploring surface reactivity of phosphorous-doped (6,0) and (4,4) BC3 nanotubes: a DFT study
作者:
Mohammad Alizadeh (1)
Mehdi D. Esrafili (2)
Esmail Vessally (3)
关键词:
BC3 nanotubes
;
Electrostatic potential
;
Average local ionization energies
;
Reaction energies
刊名:Journal of Molecular Modeling
出版年:2013
1
2
按检索点细分(14)
关键词(3)
文摘(7)
按出版年细分(14)
2017年(1)
2016年(3)
2014年(4)
2013年(2)
2006年(1)
2002年(2)
2000年(1)
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
.