设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(4)
CNKI学位论文(41)
CNKI期刊论文0611(4)
知网期刊论文(366)
在“
SpringerLink电子期刊
”中,
命中:
8
条,耗时:小于0.01 秒
在所有数据库中总计命中:
415
条
1.
Meta-analysis of the prognostic value of circulating tumor cells detected with the CellSearch System in colorectal cancer
作者:
Xuanzhang
Huang
;
Peng Gao
;
Yongxi Song
;
Jingxu Sun
;
Xiaowan
Chen
;
Junhua Zhao…
关键词:
Circulating tumor cells
;
Colorectal cancer
;
CellSearch System
;
Prognosis
;
Meta
;
analysis
刊名:BMC Cancer
出版年:2015
2.
Relationship between circulating tumor cells and tumor response in colorectal cancer patients treated with chemotherapy: a meta-analysis
作者:
Xuanzhang
Huang
;
Peng Gao
;
Yongxi Song
;
Jingxu Sun
;
Xiaowan
Chen
;
Junhua Zhao…
关键词:
Circulating tumor cells
;
Colorectal cancer
;
Chemotherapy
;
Tumor response
;
Prognosis
刊名:BMC Cancer
出版年:2014
3.
Software monitoring with controllable overhead
作者:
Xiaowan
Huang
(1)
Justin Seyster (1) jseyster@cs.stonybrook.edu
Sean Callanan (1)
Ketan Dixit (1)
Radu Grosu (1)
Scott A. Smolka (1)
Scott D. Stoller (1)
Erez Zadok (1)
关键词:
Software instrumentation –
;
Supervisory control
刊名:International Journal on Software Tools for Technology Transfer (STTT)
出版年:2012
4.
InterAspect: aspect-oriented instrumentation with GCC
作者:
Justin Seyster (1)
Ketan Dixit (1)
Xiaowan
Huang
(1)
Radu Grosu (1)
Klaus Havelund (2)
Scott A. Smolka (1)
Scott D. Stoller (1)
Erez Zadok (1)
关键词:
Program instrumentation
;
Aspect
;
oriented programming
;
GCC
;
Monitoring
;
Tracecut
刊名:Formal Methods in System Design
出版年:2012
5.
Aspect-Oriented Instrumentation with GCC
作者:
Justin Seyster
;
Ketan Dixit
;
Xiaowan
Huang
;
Radu Grosu
;
Klaus Havelund
;
et al.
刊名:Lecture Notes in Computer Science
出版年:2010
6.
Dynamic Path Reduction for Software Model Checking
作者:
Zijiang Yang
;
Bashar Al-Rawi
;
Karem Sakallah
;
Xiaowan
Huang
;
Scott Smolka
;
et al.
刊名:Lecture Notes in Computer Science
出版年:2009
7.
Deep Random Search for Efficient Model Checking of Timed Automata
作者:
Radu Grosu
;
Xiaowan
Huang
;
Scott A. Smolka
;
Wenkai Tan
;
Stavros Tripakis
刊名:Lecture Notes in Computer Science
出版年:2007
8.
Deep Random Search for Efficient Model Checking of Timed Automata
作者:
Radu Grosu
;
Xiaowan
Huang
;
Scott A. Smolka
;
Wenkai Tan
;
Stavros Tripakis
刊名:Lecture Notes in Computer Science
出版年:2007
1
按检索点细分(8)
作者(8)
按出版年细分(8)
2015年(1)
2014年(1)
2012年(2)
2010年(1)
2009年(1)
2007年(2)
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
.