设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(3)
SpringerLink电子期刊(295)
NATURE电子期刊(2)
ACS电子期刊(5)
Wiley电子期刊(5)
ProQuest学位论文(24)
Elsevier电子期刊(1063)
在“
SpringerLink电子期刊
”中,
命中:
295
条,耗时:0.0979582 秒
在所有数据库中总计命中:
1,397
条
1.
Comparative Analysis of Statistical
Model
Checking Tools
关键词:
Membrane computing
;
P systems
;
Statistical
model
checking
;
Biological
model
s
;
Performance benchmarking
刊名:Lecture Notes in Computer Science
出版年:2017
2.
Bringing LTL
Model
Checking to Biologists
刊名:Lecture Notes in Computer Science
出版年:2017
3.
Identifying the missing proteins in human proteome by
biological
language
model
作者:
Qiwen Dong
;
Kai Wang
;
Xuan Liu
关键词:
Human proteome
;
Missing protein
;
Biological
language
model
刊名:BMC Systems Biology
出版年:2016
4.
The Statistical Approach to
Biological
Event Extraction Using Markov’s Method
关键词:
Biological
entity
;
Biological
event
;
First order logic
;
Gene regulation network
;
Bayesian network
;
Markov’s
model
刊名:Lecture Notes in Computer Science
出版年:2016
5.
Simulations of Light Propagation and Thermal Response in
Biological
Tissues Accelerated by Graphics Processing Unit
关键词:
Monte Carlo
;
Pennes’ equation
;
GPU
;
Opencl
;
Biological
tissues
刊名:Lecture Notes in Computer Science
出版年:2016
6.
Verification of Temporal Properties of Neuronal Archetypes
Model
ed as Synchronous Reactive Systems
刊名:Lecture Notes in Computer Science
出版年:2016
7.
Knowledge Extraction and Annotation for Cross-Domain Textual Case-Based Reasoning in
Biological
ly Inspired Design
刊名:Lecture Notes in Computer Science
出版年:2016
8.
Challenges for the Animation of Expressive Virtual Characters: The Standpoint of Sign
Language
and Theatrical Gestures
刊名:Springer Tracts in Advanced Robotics
出版年:2016
9.
Lateral and Vertical Transfer in Biology, Linguistics and Anthropology: An Account of Widely Neglected Ideas in the Formation of Evolutionary Theories
作者:
Frank Kressing
关键词:
Reticulate evolution
;
Socio
;
cultural evolution
;
Anthropology
;
Co
;
evolution
;
Lateral/horizontal transfer
;
Interdisciplinary networks
刊名:Evolutionary Biology
出版年:2016
10.
Simulating Stochastic Dynamic Interactions with Spatial Information and Flux
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
查看站内搜索结果(1)
按检索点细分(295)
题名(9)
关键词(4)
文摘(252)
按出版年细分(295)
2017年(2)
2016年(11)
2015年(14)
2014年(21)
2013年(24)
2012年(23)
2011年(16)
2010年(17)
2009年(22)
2008年(22)
2007年(30)
2006年(32)
2005年(18)
2004年(6)
2003年(11)
2002年(9)
2001年(6)
2000年(3)
2000年及以前(8)
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
.