搜索页_+RTL

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

SpringerLink电子期刊(899)

在“SpringerLink电子期刊”中，命中：899条，耗时：小于0.01 秒

在所有数据库中总计命中：899条

1. Excitation of unsteady Görtler vortices by localized surface nonuniformities

作者： A. V. Boiko ; A. V. Ivanov ; Yu. S. Kachanov…

关键词：Boundary layer ; Görtler vortices ; Surface roughness ; Surface vibrations ; Receptivity ; Instability ; Optimal disturbances ; Local modes

刊名：Theoretical and Computational Fluid Dynamics

出版年：2017

2. Coping with wild boar in a conservation area: impacts of a 10-year management control program in north-eastern Argentina

作者： Ricardo E. Gürtler ; V. Martín Izquierdo ; Guillermo Gil…

关键词：Conservation areas ; Sustainability ; Wild boar ; Population dynamics ; Wildlife management ; Ungulates

刊名：Biological Invasions

出版年：2017

3. Oxymethylenether als potenziell CO₂-neutraler Kraftstoff für saubere Dieselmotoren Teil 1: Motorenuntersuchungen

作者： Martin Härtl ; Kai Gaukel ; Dominik Pélerin…

刊名：MTZ - Motortechnische Zeitschrift

出版年：2017

4. Oxymethylene Ether as Potentially CO₂-neutral Fuel for Clean Diesel Engines Part 1: Engine Testing

作者： Martin Härtl ; Kai Gaukel ; Dominik Pélerin ; Georg Wachtmeister

刊名：MTZ worldwide

出版年：2017

5. Predicted structure of MIF/CD74 and RTL1000/CD74 complexes

作者： Roberto Meza-Romero ; Gil Benedek ; Lin Leng ; Richard Bucala…

关键词：Inflammation ; Molecular modeling ; Protein interactions ; Binding residues

刊名：Metabolic Brain Disease

出版年：2016

6. Reusing RTL Assertion Checkers for Verification of SystemC TLM Models

作者： Nicola Bombieri ; Franco Fummi ; Valerio Guarnieri…

关键词：Assertion ; based verification ; Transaction ; level modelling ; RTL abstraction

刊名：Journal of Electronic Testing

出版年：2015

7. A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models

作者： Carlos Ivan Castro Marquez ; Marius Strum ; Wang Jiang Chau

关键词：Functional verification ; Formal methods ; Equivalence checking ; High ; level specification ; Interface protocol ; RTL design

刊名：Journal of Electronic Testing

出版年：2015

8. Formal Quantification of the Register Vulnerabilities to Soft Error in RTL Control Paths

作者： Liang Chen ; Mojtaba Ebrahimi ; Mehdi B. Tahoori

关键词：Reliability ; Soft Error ; RTL ; Error Probability

刊名：Journal of Electronic Testing

出版年：2015

9. Study of the Discrete Spectrum in a Mach 4.5 G?rtler Flow

作者： Jie Ren ; Song Fu

关键词：The discrete spectrum ; G?rtler instability ; Compressible flow

刊名：Flow, Turbulence and Combustion

出版年：2015

10. Partial MHC Constructs Treat Thromboembolic Ischemic Stroke Characterized by Early Immune Expansion

作者： Abby L. Dotson ; Yingxin Chen ; Wenbin Zhu ; Nicole Libal…

关键词：Thromboembolic stroke ; RTL1000 ; Therapy ; Immune response ; Neuroinflammation

刊名：Translational Stroke Research

出版年：2016

按检索点细分(899)

题名(152)

作者(246)

关键词(99)

文摘(531)

按出版年细分(899)

2017年(4)

2016年(28)

2015年(58)

2014年(59)

2013年(55)

2012年(55)

2011年(27)

2010年(43)

2009年(37)

2008年(64)

2007年(90)

2006年(55)

2005年(73)

2004年(61)

2003年(35)

2002年(21)

2001年(37)

2000年(27)

2000年及以前(70)

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

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