维普期刊资源整合服务平台（V6.5）

377篇 您的检索式：作者名="Besnard"

选中清除导出查看参考文献查看引证文献引用追踪共19页首页上一页第1页下一页末页 /19 跳转

	题名	作者	年代	出处	被引量
1	Formal verification of synchronous data-flow program transformations toward certified compilers显示文摘翻译确认被 Pnueli 等在 90 年代发明。作为一种技术到正式验证代码发电机的正确性。而非证明代码生成器或用尽一切地限制它,翻译验证程序试图证实程序转变保存语义。在这个工作,我们采用这条途径正式证实钟语义和数据依赖在信号编译器的编译期间被保存。翻译确认从起始的阶段为每个编译阶段被实现直到可执行的代码被产生的最近的阶段,由证明在编译器的每个阶段的转变保存语义。我们作为分别地被称为钟模型和同步依赖图(SDG ) 的一阶的公式代表钟语义,一个程序的数据依赖和它的转变对应物。我们然后分别地介绍表示钟语义和依赖的保藏的钟精炼和依赖精炼关系,作为钟模型和 SDG 上的一种关系。我们的验证程序不要求编译器,也不任何重写源程序的任何乐器学或修正。	Van Chan NGO Jean-Pierre TALPIN Thierry GAUTIER Paul Le GUERNIC Loic BESNARD	2013	Frontiers of Computer Science2013，7，5：	7
2	Exploring system architectures in AADL via POLYCHRONY and SYNDEx显示文摘	Huafeng YU Yue MA Thierry GAUTIER LoYc BESNARD Jean-Pierre TALPIN Paul Le GUERNIC Yves SOREL	2013	Frontiers of Computer Science2013，7，5：	2
3	Protective role of interleukin-10 in atherosclerosis显示文摘	Mallat Z Besnard S Duriez M	1999	Circ Res1999，85，8：	1
4	Protective role of interleuki n-10 in atherosclerosis显示文摘	Mallat Z Besnard S Duriez M	1999	Circ Res1999，85，8：	1
5	Inflammasome-IL-1 -Th17 response in allergic lung inflammation 显示文摘	Besnard AG Togbe D Couillin I	2012	J Mol Cell Biol2012，4，1：	1
6	Evidence for transcriptional induction of the liver fattyacid-binding-protein gene by bezafibrate in the small intestine 显示文摘	MALLORDY A POIRIER H BESNARD P	1995	European Joumal of Biochemistry1995，227，3：	1
7	Influence of organic amendments on copper distribution among particle-size and density fraction in champagne vineyard soils显示文摘	BESNARD E CHENU C ROBERT M	2001	Environmental Pollution2001，112，：	1
8	Interaction of wa-ter diluted in 1-butyl-3-methyl imidazolium ionic liq-uids by vibrational spectroscopy modeling显示文摘	Danten Y Cabao M I Besnard M	2010	J MolLiquids2010，153，1：	1
9	Oligocene CO2decline promoted C4 photosynthesis in grasses 显示文摘	Christin P A Besnard G Samaritani E	2008	Curr Biol2008，18，1：	1
10	Dual role of IL-22 in allergic airway inflammation and its cross-talk with IL-17A显示文摘	Besnard AG Sabat R Dumoutier L	2011	Am J Respir Crit Care Med2011，183，9：	1
11	Peroxisome proliferatoractivated receptor α negatively regulates the vascular inflammatory gene response by negative cross-talk with transcription factors NF-κB and AP-1 显示文摘	Bosscher KD Besnard S	1999	J Biol Chem1999，274，32：	1
12	PPAR negatively regulates the vascular inflammatory gene response by negative cross-talk with transcription factors NF - KB and AP - 1 显示文摘	Delerive P De Bosscher K Besnard S	1999	Journal of Biological Chemistry1999，274，32：	1
13	Protective role retinoic acid from antiproliferative action of TNF-α on lung epithelial cells显示文摘	Besnard V Nabeyrat E Henrion-Caude A	2002	Am J Physiol Lung Cell Mol Physiol2002，282，4：	1
14	Development of a direct viable count procedure for the investigation of VBNC State in Listeria monocytogenes显示文摘	Besnard V Federighi M Cappelier JM	2003	Lett Appl Microbiol2003，31，1：	1
15	Constructive neural networks and their application to shipmulti-disciplinary design optimization显示文摘	BESNARD E SCHMITZ A HEFAZI H SHINDE R	2007	Journal of Ship Research2007，，：	1
16	Nitric oxide enhances Th9 cell differentiation and airway inflammation 显示文摘	Niedbala W Besnard AG Nascimento DC	2014	Nat Commun2014，5，：	1
17	Retinoic acid pretects againsthyperoxia mediated cell-cycle arrest of lung alveolar epithelial cells by preserving late G1 cyclin activities显示文摘	Nabeyrat E Corroyer S Besnard V	2001	Am J Respir Cell Mol Biol2001，25，4：	1
18	Putative antipsychotics with pronounced agonism at serotonin 5-HT1A and partial agonist activity at dopamine D2 receptors disrupt basal PPI of the startle reflex in rats 显示文摘	Auclair AL Galinier A Besnard J	2007	Psychopharmacology (Berl)2007，193，1：	1
19	Quadrotor vehicle control via sliding mode controller driven by sliding mode distur- bance observer 显示文摘	BESNARD L SHTESSEL Y B LANDRUM B	2012	Journal of the Franklin Institute2012，349，2：	1
20	Association betweenZika virus and microcephaly in French Polynesia, 2013-15: aretrospective study 显示文摘	Cauchemez S Besnard M Bompard P	2016	Lancet2016，15，：	1

返回顶部每页显示：

共19页首页上一页第1页下一页末页 /19 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示