搜索页_Termination+analysis

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

中国地质文献-英文(5)	SpringerLink电子期刊(1316)	GSW全文库(71)
Wiley电子期刊(30)	ProQuest学位论文(90)	Elsevier电子期刊(12778)
Springer电子图书(13)	NATURE电子期刊(19)	ACS电子期刊(161)

在“SpringerLink电子期刊”中，命中：1,316条，耗时：0.0859584 秒

在所有数据库中总计命中：14,483条

1. Analyzing Program Termination and Complexity Automatically with AProVE

作者： Jürgen Giesl ; Cornelius Aschermann ; Marc Brockschmidt…

关键词：Termination analysis ; Complexity analysis ; Java ; /C ; /Haskell ; /Prolog ; programs ; Term rewriting

刊名：Journal of Automated Reasoning

出版年：2017

2. Low-complexity lattice reduction algorithm for MIMO detectors with tree searching

作者： Hyunsub Kim ; Hyukyeon Lee ; Jihye Koo…

关键词：Lattice reduction ; Multiple ; input multiple ; output ; Early termination ; Incremental lattice reduction

刊名：EURASIP Journal on Wireless Communications and Networking

出版年：2017

3. Expression profile and in silico characterization of novel RTF2h gene under oxidative stress in Indian catfish, Clarias magur (Hamilton 1822)

作者： Prabhaker Yadav ; Ratnesh K. Tripathi ; Rajeev K. Singh…

关键词：CmRTF2h ; Hypoxia ; Clarias batrachus ; RING superfamily signature ; Differential expression ; Spleen

刊名：Molecular Biology Reports

出版年：2017

4. Homeostatic dynamics, hysteresis and synchronization in a low-dimensional model of burst suppression

作者： Sensen Liu ; ShiNung Ching

关键词：Burst suppression ; Metabolism ; Mean field model ; Homeostasis ; Hysteresis ; Burst synchronization

刊名：Journal of Mathematical Biology

出版年：2017

5. Thermal decomposition of poly(styrene) in the presence of a hydrogen atom transfer agent

作者： Simone T. Lazar ; Bob A. Howell…

关键词：Poly(styrene) degradation ; Radical ; trapping ; Head ; to ; head linkage ; Thermal stabilization ; Antioxidant ; Macroradical decomposition

刊名：Journal of Thermal Analysis and Calorimetry

出版年：2017

6. Density functional theory analysis of surface structures of spinel LiNi_0.5Mn_1.5O₄ cathode materials

作者： Jianjian Shi ; Zhiguo Wang ; Y. Q. Fu

刊名：Journal of Materials Science

出版年：2017

7. Fuzzy-Logic Based Detection and Characterization of Junctions and Terminations in Fluorescence Microscopy Images of Neurons

作者： Miroslav Radojević ; Ihor Smal ; Erik Meijering

关键词：Neuron reconstruction ; Junction detection ; Bifurcation detection ; Termination detection ; Fuzzy logic ; Fluorescence microscopy ; Image analysis

刊名：Neuroinformatics

出版年：2016

8. A Meta-Analysis of Long-Term Outpatient Treatment Effects for Children and Adolescents with Conduct Problems

作者： Sturla Fossum ; Bjørn Helge Handegård ; Frode Adolfsen…

关键词：Long ; term ; Conduct problems ; Mediators ; Meta ; analysis

刊名：Journal of Child and Family Studies

出版年：2016

9. Termination of Nonprofit Alliances: Evidence from China

作者： Ming Hu ; Chao Guo ; Angela Bies

关键词：Nonprofit alliance ; Alliance termination ; Sichuan Earthquake

刊名：Voluntas: International Journal of Voluntary and Nonprofit Organizations

出版年：2016

10. Termination of pregnancy after prenatal diagnosis of spina bifida: a German perspective

作者： Christian M. Domröse ; Sandra Bremer…

关键词：Spina bifida ; Termination of pregnancy ; Neural tube defect ; Ultrasound

刊名：Archives of Gynecology and Obstetrics

出版年：2016

按检索点细分(1316)

题名(73)

关键词(41)

文摘(1100)

按出版年细分(1316)

2017年(6)

2016年(54)

2015年(98)

2014年(122)

2013年(113)

2012年(114)

2011年(25)

2010年(50)

2009年(74)

2008年(72)

2007年(100)

2006年(107)

2005年(108)

2004年(45)

2003年(51)

2002年(46)

2001年(29)

2000年(28)

2000年及以前(74)

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

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