设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(3)
Springer电子图书(3)
CNKI学位论文(9171)
知网期刊论文(3315)
中国地质文献-英文(4)
CNKI会议论文(9)
CNKI期刊论文0611(10)
在“
SpringerLink电子期刊
”中,
命中:
792
条,耗时:0.0149902 秒
在所有数据库中总计命中:
12,515
条
1.
MOPG: a multi-objective evolutionary algorithm for
prototype
generation
作者:
Hugo Jair Escalante
;
Maribel Marin-Castro…
关键词:
Prototype
generation
;
Evolutionary algorithms
;
1NN classification
;
Multi
;
objective optimization
刊名:Pattern Analysis and Applications
出版年:2017
2.
Antibacterial efficacy and cytotoxicity of low intensity direct current activated silver–titanium implant system
prototype
作者:
Zhuo Tan
;
Edward A. Havell
;
Paul E. Orndorff
;
Rohan A. Shirwaiker
关键词:
Low intensity direct current
;
Silver–titanium implant
;
Orthopaedic application
;
Antimicrobial efficacy
;
Cytotoxicity
刊名:BioMetals
出版年:2017
3.
A high-speed shaft supported by magnetic bearings applied to energy systems
作者:
Fabiano Camargo Rosa
;
Fábio Lima…
关键词:
Active magnetic bearings
;
Dynamics
;
Energy
generation
刊名:Journal of the Brazilian Society of Mechanical Sciences and Engineering
出版年:2017
4.
Development of a feature-based open soft-CNC system
作者:
Kamran Latif
;
Yusri Yusof
;
Aydin Nassehi…
关键词:
CNC
;
STEP
;
NC
;
Interpreter
;
Simulation
;
Monitoring
;
Open architecture controller
刊名:The International Journal of Advanced Manufacturing Technology
出版年:2017
5.
Polygons and iteratively regularizing affine transformations
作者:
Otto Roeschel
关键词:
Affine Iterations
;
Affine Regularization
;
Regular n
;
gons
刊名:Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry
出版年:2017
6.
Instruction Fusion for Multiscalar and Many-Core Processors
作者:
Yaojie Lu
;
Sotirios G. Ziavras
关键词:
Instruction fusion
;
Superscalar
;
Benchmarking
;
Many
;
core processor
刊名:International Journal of Parallel Programming
出版年:2017
7.
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
关键词:
Program verification
;
Concurrent programs
;
Abstract interpretation
;
Thread
;
modular analyses
;
Rely
;
guarantee methods
;
Numeric invariant
generation
刊名:Lecture Notes in Computer Science
出版年:2017
8.
Reducing the Response Time for Activity Recognition Through use of
Prototype
Generation
Algorithms
关键词:
Activity recognition
;
Data
;
driven
;
Nearest Neighbor (NN)
;
Prototype
Generation
(PG)
;
Response time
刊名:Lecture Notes in Computer Science
出版年:2015
9.
Experimental study on hydrodynamic characteristics of vertical-axis floating tidal current energy power
generation
device
作者:
Yong Ma 马 勇
;
Teng-fei Li 李腾飞
;
Liang Zhang 张 亮
;
Qi-hu Sheng 盛其虎
…
关键词:
Key wordstidal current energy
;
power
generation
device
;
experiment
;
hydrodynamic characteristics
;
attenuation
;
wave response
;
lateral displacement
刊名:China Ocean Engineering
出版年:2016
10.
Towards a verified compiler
prototype
for the synchronous language SIGNAL
作者:
Zhibin Yang
;
Jean-Paul Bodeveix
;
Mamoun Filali
;
Kai Hu…
关键词:
synchronous languages
;
SIGNAL
;
guarded actions
;
verified compiler
;
Coq
;
architecture analysis and design language (AADL)
刊名:Frontiers of Computer Science in China
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(792)
题名(13)
关键词(10)
文摘(677)
按出版年细分(792)
2017年(7)
2016年(51)
2015年(64)
2014年(67)
2013年(81)
2012年(70)
2011年(20)
2010年(33)
2009年(43)
2008年(32)
2007年(68)
2006年(66)
2005年(59)
2004年(34)
2003年(25)
2002年(30)
2001年(7)
2000年(7)
2000年及以前(28)
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
.