设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(13)
SpringerLink电子期刊(49)
GSW全文库(2)
ACS电子期刊(3)
Wiley电子期刊(2)
ProQuest学位论文(7)
Elsevier电子期刊(39)
在“
SpringerLink电子期刊
”中,
命中:
49
条,耗时:0.0759631 秒
在所有数据库中总计命中:
115
条
1.
Method of Lines Transpose: An Efficient Unconditionally Stable Solver for Wave Propagation
作者:
Matthew Causley
;
Andrew Christlieb
;
Eric Wolf
关键词:
Method of lines transpose
;
Transverse method of lines
;
Implicit methods
;
Boundary integral methods
;
Alternating direction implicit methods
;
ADI schemes
刊名:Journal of Scientific Computing
出版年:2017
2.
An Abstract Model for Proving Safety of Autonomous Urban Traffic
关键词:
Multi
;
dimensional
spatial
logic
;
Urban traffic
;
Bended view
;
Virtual lanes
;
Autonomous cars
;
Collision freedom
;
Timed Automata
刊名:Lecture Notes in Computer Science
出版年:2016
3.
Dynamic scale validation reloaded
作者:
Micha Germann
;
Fernando Mendez
刊名:Quality & Quantity
出版年:2016
4.
Undecidability Results for Multi-Lane
Spatial
Logic
关键词:
Robustness
;
Interval
logic
;
Spatial
logic
;
Undecidability
刊名:Lecture Notes in Computer Science
出版年:2015
5.
No Need Knowing Numerous Neighbours
关键词:
Highly automated driving
;
Real
;
time decision making
;
Spatial
logic
;
Decidability
刊名:Lecture Notes in Computer Science
出版年:2015
6.
What is in a Contour Map?
关键词:
Contour maps
;
Isolines
;
Knowledge representation
;
First
;
order
logic
;
Spatial
ontology
;
Region
;
based space
;
Naive geography
;
Physical reasoning
刊名:Lecture Notes in Computer Science
出版年:2015
7.
Integrating Separation
Logic
with PPTL
作者:
Xu Lu (3)
Zhenhua Duan (3)
Cong Tian (3)
Hongjin Liu (4)
关键词:
Temporal
logic
;
Separation
logic
;
Heap
;
Many
;
dimensional
logic
刊名:Lecture Notes in Computer Science
出版年:2014
8.
Integrating Separation
Logic
with PPTL
作者:
Xu Lu (3)
Zhenhua Duan (3)
Cong Tian (3)
Hongjin Liu (4)
关键词:
Temporal
logic
;
Separation
logic
;
Heap
;
Many
;
dimensional
logic
刊名:Lecture Notes in Computer Science
出版年:2014
9.
Automatic validation of computational models using pseudo-3D spatio-temporal model checking
作者:
Ovidiu Parvu
;
David Gilbert
关键词:
Stochastic
spatial
discrete event system (SSpDES)
;
Probabilistic bounded linear
spatial
temporal
logic
(PBLSTL)
;
Spatio
;
temporal
;
Multi
dimensional
;
Model checking
;
Mudi
;
Computational model
;
Model validation
;
Systems biology
;
Synthetic biology
刊名:BMC Systems Biology
出版年:2014
10.
Spatial
temporal pyramid matching using temporal sparse representation for human motion retrieval
作者:
Liuyang Zhou (1)
Zhiwu Lu (2)
Howard Leung (1)
Lifeng Shang (3)
关键词:
Motion retrieval
;
Temporal sparse representation
;
Spatial
temporal pyramid matching
;
Sparse coding
;
Motion capture
刊名:The Visual Computer
出版年:2014
1
2
3
4
5
按检索点细分(49)
关键词(1)
文摘(35)
按出版年细分(49)
2017年(1)
2016年(2)
2015年(3)
2014年(9)
2011年(1)
2010年(2)
2009年(3)
2008年(2)
2007年(8)
2006年(2)
2005年(1)
2004年(3)
2003年(2)
2002年(2)
2001年(2)
2000年(1)
2000年及以前(5)
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
.