搜索页_+SMT+

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

在“Springer”中，命中：686条，耗时：0.0539754 秒

1.jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2

作者：David R. Cok

关键词：SMT solvers – ; SMT ; LIB – ; validation – ; software verification – ; automated reasoning – ; jSMTLIB – ; OpenJML

刊名：Lecture Notes in Computer Science

出版时间：2011

出版年：2011

2.SMT-A07, a 3-(Indol-2-yl) indazole derivative, induces apoptosis of leukemia cells in vitro

作者：Shijing Qian ; Ji Cao ; Yan Yan ; Maotang Sun ; Hong Zhu ; Yongzhou Hu ; Qiaojun He and Bo Yang

关键词：Leukemia ; SMT ; A07 ; Apoptosis ; Caspases

刊名：Molecular and Cellular Biochemistry

出版时间：December 2010

出版年：2010

3.Influence of theSMT2 knock-out on hypocotyl elongation inArabidopsis thaliana

作者：Indeok Hwang (1)
Dilli Prasad Paudyal (1)
Seong-Ki Kim (2)
Hyeonsook Cheong (1) hscheong@chosun.ac.kr

关键词：24 ; Sterol C ; methyltransferase (SMT2) ; brassinosteroids (BRs) ; hypocotyls elongation ; brassinazole (Brz)

刊名：Biotechnology and Bioprocess Engineering

出版时间：April 2007

出版年：2007

4.Influence of theSMT2 knock-out on hypocotyl elongation inArabidopsis thaliana

作者：Indeok Hwang (1)
Dilli Prasad Paudyal (1)
Seong-Ki Kim (2)
Hyeonsook Cheong (1) hscheong@chosun.ac.kr

关键词：24 ; Sterol C ; methyltransferase (SMT2) ; brassinosteroids (BRs) ; hypocotyls elongation ; brassinazole (Brz)

刊名：Biotechnology and Bioprocess Engineering

出版时间：April 2007

出版年：2007

5.A novel finding of a low-molecular-weight compound, SMTP-7, having thrombolytic and anti-inflammatory effects in cerebral infarction of mice

作者：Keita Shibata ; Terumasa Hashimoto ; Koji Nobe ; Keiji Hasumi and Kazuo Honda

关键词：Acetic acid ; Anti ; inflammatory effects ; Embolic cerebral infarction ; SMTP ; 7 ; Thrombolysis

刊名：Naunyn-Schmiedeberg's Archives of Pharmacology

出版时间：September 2010

出版年：2010

6.OsMT1a, a type 1 metallothionein, plays the pivotal role in zinc homeostasis and drought tolerance in rice

作者：Zhao Yang ; Yaorong Wu ; Ye Li ; Hong-Qing Ling and Chengcai Chu

关键词：Rice ; Metallothioneins ; OsMT1a ; Zinc homeostasis ; Zinc finger transcription factor ; Drought tolerance

刊名：Plant Molecular Biology

出版时间：May, 2009

出版年：2009

7.Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)

作者：Clark Barrett ; Leonardo de Moura and Aaron Stump

关键词：Automated theorem proving ; Decision procedures ; Competition ; Satisfiability modulo theories ; SMT

刊名：Formal Methods in System Design

出版时间：December, 2007

出版年：2007

8.Parallel sentence generation from comparable corpora for improved SMT

作者：Sadaf Abdul Rauf (1) sadaf.abdul-rauf@lium.univ-lemans.fr
Holger Schwenk (1) holger.schwenk@lium.univ-lemans.fr

关键词：Statistical machine translation (SMT) – ; Comparable corpus – ; Non ; parallel corpus – ; Information retrieval (IR) – ; WER – ; TER – ; TERp – ; Arabic– ; English – ; French– ; English – ; Sentence tail removal

刊名：Machine Translation

出版时间：December 2011

出版年：2011

9.Heterologous expression of ApGSMT2 and ApDMT2 genes from Aphanothece halophytica enhanced drought tolerance in transgenic tobacco

作者：Ying He ; Chunmei He ; Lihua Li ; Zhili Liu ; Aifang Yang and Juren Zhang

关键词：Co ; expressing ApGSMT2 and ApDMT2 ; Drought tolerance ; Glycinebetaine ; Tobacco

刊名：Molecular Biology Reports

出版时间：January 2011

出版年：2011

10.Don鈥檛 care in SMT: building flexible yet efficient abstraction/refinement solvers

作者：Andreas Bauer ; Martin Leucker ; Christian Schallhart and Michael Tautschnig

关键词：SMT ; Verification ; Constraint solver

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版时间：February, 2010

出版年：2010

1

2

3

4

5

6

7

8

9

按检索点细分(686)

题名(165)

作者(8)

关键词(73)

文摘(636)

按出版年细分(686)

2000年及以前(42)

2001年(12)

2002年(8)

2003年(17)

2004年(29)

2005年(39)

2006年(46)

2007年(61)

2008年(67)

2009年(95)

2010年(75)

2011年(112)

2012年(83)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700