×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [147]
厦门大学 [10]
武汉大学 [2]
内容类型
其他 [159]
发表日期
2018 [2]
2017 [4]
2016 [9]
2015 [15]
2014 [7]
2013 [7]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共159条,第1-10条
帮助
限定条件
内容类型:其他
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Diffusion barrier properties of electroless Ni-Fe-P coatings in Zn-5Al solder joints
其他
2018-01-01
作者:
Zhang, Han
;
Chen, Zhiwen
;
Peng, Juan
;
Liu, Li
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/05
Electroless Ni-Fe-P coatings
Zn-5Al solder
Diffusion barrier property
Interfacial reaction
Diffusion barrier properties of electroless Ni-Fe-P coatings in Zn-5Al solder joints
其他
2018-01-01
作者:
Zhang, Han
;
Chen, Zhiwen
;
Peng, Juan
;
Liu, Li
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
Electroless Ni-Fe-P coatings
Zn-5Al solder
Diffusion barrier property
Interfacial reaction
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems
其他
2017-01-01
Wang, Qiuye
;
Li, Yangjia
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/12/03
Hybrid systems
invariants
non-autonomous systems
polynomial ideals
semi-algebraic sets.
BARRIER CERTIFICATES
SAFETY VERIFICATION
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Optimization of residual stress of SiO2/organic silicon stacked layer prepared using inductively coupled plasma deposition
其他
2017-01-01
Hsu, Chia-Hsun
;
Cho, Yun-Shao
;
Liu, Ting-Xuan
;
Chang, Hsi-Wei
;
Lien, Shui-Yang
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
Organic silicon
Residual stress
Encapsulation
Water vapor transmission rate
Trimethylsilane
LIGHT-EMITTING-DIODES
AMORPHOUS-SILICON
DEGRADATION MECHANISMS
FILMS
TRIMETHYLSILANE
VAPOR
Constraining ribbon rock dolomitization by Mg isotopes: Implications for the 'dolomite problem'
其他
2016-01-01
Li, Fang-Bing
;
Teng, Fang-Zhen
;
Chen, Ji-Tao
;
Huang, Kang-Jun
;
Wang, Shui-Jiong
;
Lang, Xian-Guo
;
Ma, Hao-Ran
;
Peng, Yong-Bo
;
Shen, Bing
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/12/03
Ribbon rock
Mg isotopes
Dolomite
Doushantuo
Clay mineral
EDIACARAN DOUSHANTUO FORMATION
MAGNESIUM-ISOTOPE
MARINE CARBONATES
EXPERIMENTAL CALIBRATION
MICROBIAL MEDIATION
SEAWATER CHEMISTRY
FRACTIONATION
PRECIPITATION
DIAGENESIS
LIMESTONE
基于介质阻挡放电离子源的毛细管电泳-质谱联用接口
其他
2016-01-01
张一丁
;
白玉
;
刘虎威
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
毛细管电泳
质谱
介质阻挡放电
接口
运用栅栏函数验证连续系统的有界时间安全性
其他
2016-01-01
甘庭
;
夏壁灿
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
连续系统
安全性验证
栅栏函数
半定规划
平方和
continuous system
safety verification
barrier certificate
SDP (semi-definite programming)
SOS (sum of squares)
Prolonged Morphine Exposure Induces Increased Firm Adhesion in an in Vitro Model of the Blood-Brain Barrier
其他
2016-01-01
Strazza, Marianne
;
Pirrone, Vanessa
;
Wigdahl, Brian
;
Dampier, Will
;
Lin, Wei
;
Feng, Rui
;
Maubert, Monique E.
;
Weksler, Babette
;
Romero, Ignacio A.
;
Couraud, Pierre-Olivier
;
Nonnemacher, Michael R.
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/12/03
blood-brain barrier
brain microvascular endothelial cells (BMEC)
morphine
(peripheral blood mononuclear cell) PBMC
cellular adhesion molecules (CAM)
CENTRAL-NERVOUS-SYSTEM
NECROSIS-FACTOR-ALPHA
MICROVASCULAR ENDOTHELIAL-CELLS
IMMUNE SURVEILLANCE
MULTIPLE-SCLEROSIS
ICAM-1
EXPRESSION
RECEPTOR
HIV-1
PERMEABILITY
©版权所有 ©2017 CSpace - Powered by
CSpace