|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 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 | 一种亚稳β钛合金的相变动力学显示文摘进行了一种亚稳β钛合金Ti-B19在加热、等温及冷却过程中相转变的顺序、动力学以及组织演变等的研究,在此基础上阐述了钛合金,特别是亚稳β钛合金相变的基本特点,并分析和讨论了数字化描述钛合金中析出相尺寸、形貌、分布特征的可行性以及建立合金成分、组织特征、工艺参数和服役性能之间关系的复杂性和可行性. | 常辉 GAUTIER Elisabeth 周廉 | 2014 | 科学通报2014，59，10： | 6 |
| 3 | Aortic Stiffness Is an Independent Predictor of All-Cause and Cardiovascular Mortality in Hypertensive Patients显示文摘 | Stéphane Laurent Pierre Boutouyrie Roland Asmar Isabelle Gautier Brigitte Laloux Louis Guize Pierre Ducimetiere Athanase Benetos | 2001 | Hypertension: Journal of the American Heart Association2001，，5： | 6 |
| 4 | Sustained Type I interferon signaling as a mechanism of resistance to PD-1 blockade显示文摘PD-1 blockade represents a major therapeutic avenue in anticancer immunotherapy.Delineating mechanisms of secondary resistance to this strategy is increasingly important.Here,we identified the deleterious role of signaling via the type I interferon(IFN)receptor in tumor and antigen presenting cells,that induced the expression of nitric oxide synthase 2(N0S2),associated with intratumor accumulation of regulatory T cells(Treg)and myeloid cells and acquired resistance to anti-PD-1 monoclonal antibody(mAb).Sustained IFNP transcription was observed in resistant tumors,in turn inducing PD-L1 and N0S2 expression in both tumor and dendritic cells(DC).Whereas PD-L1 was not involved in secondary resistance to anti-PD-1 mAb,pharmacological or genetic inhibition of N0S2 maintained long-term control of tumors by PD-1 blockade,through reduction of Treg and DC activation.Resistance to immunotherapies,including anti-PD-1 mAb in melanoma patients,was also correlated with the induction of a type I IFN signature.Hence,the role of type I IFN in response to PD-1 blockade should be revisited as sustained type I IFN signaling may contribute to resistance to therapy. | Nicolas Jacquelot Takahiro Yamazaki Maria PRoberti Connie PMDuong Miles CAndrews Loic Verlingue Gladys Ferrere Sonia Becharef Marie Vetizou Romain Daillere Meriem Messaoudene David PEnot Gautier Stoll Stefano Ugel Maria Marigo Shin Foong Ngiow Aurelien Marabelle Armelle Prevost-Blondel Pierre-Olivier Gaudreau Vancheswaran Gopalakrishnan Alexander MEggermont Paule Opolon Christophe Klein Gabriele Madonna Paolo AAscierto Antje Sucker Dirk Schadendorf Mark JSm yth Jean-Charles Soria Guido Kroemer Vincenzo Bronte Jennifer Wargo and Laurence Zitvogel | 2019 | Cell Research2019，29，10： | 6 |
| 5 | Guidelines for the clinical application of the LCP显示文摘 | Gautier E Sommer C | | 0，，2： | 3 |
| 6 | Exploring the metamorphic consequences of secular change in the siliciclastic compositions of continental margins显示文摘Shale and greywacke compositions from the Archean to Phanerozoic record a secular change in the siliciclastic material that comprises much of Earth's continental margins, past and present. This study explores the metamorphic consequence of these compositional changes, by comparing phase equilibrium models constructed for average Archean, Proterozoic, and Phanerozoic shale and greywacke compositions equilibrated along two Barrovian-type geotherms: 1330℃/GPa(A) and 800 ℃/GPa(B). Our models show that Archean siliciclastic rocks can retain up to 4 vol.% water at middle to lower crustal conditions, nearly twice that of Proterozoic and Phanerozoic compositions. The increased ferromagnesium content of Archean siliciclastic rocks stabilizes chlorite to higher temperatures and results in a biotite-rich assemblage at solidus temperatures. Accordingly, water-absent biotite dehydration melting is predicted to play a greater role in the generation of melt in the metamorphism of Archean aged units,and water-absent muscovite dehydration melting is of increasing importance through the Proterozoic and Phanerozoic. This secular variation in predicted mineral assemblages demonstrates the care with which metamorphic facies diagrams should be applied to Archean compositions. Moreover, secular changes in the composition of shale and greywacke is reflected in the evolution of anatectic melt towards an increasingly less viscous, Ca-rich, and Mg-poor monzogranite. | Gautier Nicoli Brendan Dyck | 2018 | Geoscience Frontiers2018，9，4： | 3 |
| 7 | Stable femtosecond X-rays with tunable polarization from a laser-driven accelerator显示文摘Technology based on high-peak-power lasers has the potential to provide compact and intense radiation sources for a wide range of innovative applications.In particular,electrons that are accelerated in the wakefield of an intense laser pulse oscillate around the propagation axis and emit X-rays.This betatron source,which essentially reproduces the principle of a synchrotron at the millimeter scale,provides bright radiation with femtosecond duration and high spatial coherence.However,despite its unique features,the usability of the betatron source has been constrained by its poor control and stability.In this article,we demonstrate the reliable production of X-ray beams with tunable polarization.Using ionization-induced injection in a gas mixture,the orbits of the relativistic electrons emitting the radiation are reproducible and controlled.We observe that both the signal and beam profile fluctuations are significantly reduced and that the beam pointing varies by less than a tenth of the beam divergence.The polarization ratio reaches 80%,and the polarization axis can easily be rotated.We anticipate a broad impact of the source,as its unprecedented performance opens the way for new applications. | Andreas Döpp Benoit Mahieu Agustin Lifschitz Cedric Thaury Antoine Doche Emilien Guillaume Gabriele Grittani Olle Lundh Martin Hansson Julien Gautier Michaela Kozlova Jean Philippe Goddet Pascal Rousseau Amar Tafzi Victor Malka Antoine Rousse Sebastien Corde Kim Ta Phuoc | 2017 | Light(Science & Applications)2017，6，1： | 2 |
| 8 | Evidence of genetic recombination in wheat yellow rust populations of a Chinese oversummering area显示文摘 | M. Mboup M. Leconte A. Gautier A.M. Wan W. Chen C. de Vallavieille-Pope J. Enjalbert | 2009 | Fungal Genetics and Biology2009，，4： | 2 |
| 9 | Aortic Stiffness Is an Independent Predictor of Fatal Stroke in Essential Hypertension显示文摘 | Stéphane Laurent Sandrine Katsahian Céline Fassot Anne-Isabelle Tropeano Isabelle Gautier Brigitte Laloux Pierre Boutouyrie | 2003 | Stroke: Journal of the American Heart Association2003，，5： | 2 |
| 10 | 基于流线理论计算正交切削中应变率和应变的方法显示文摘依据流体力学中的流线理论,选用了一个较为通用的流线模型,对正交金属切削时的塑性变形进行了分析研究.对实验获得的切削中的流线轨迹和流线模型进行拟合,确定了模型中的几何参数.应用流线理论和塑性理论相结合的方法,计算了剪切区的应变率分布,其结果与前人的实验和计算结果基本吻合,说明此流线模型可以用来分析金属切削中的塑性变形.对应变率进行数值积分,得到了剪切区的应变分布.根据计算的应变结果,提出了一种定义剪切区形状的方法. | 毕雪峰 刘永贤 Gautier LIST 刘阳 | 2009 | 东北大学学报(自然科学版)2009，30，8： | 2 |
| 11 | 体位性低血压和心脑血管疾病风险、认知功能下降、跌倒及全因死亡率之间的关系显示文摘许多研究结果表明,体位性低血压(orthostatic hypotension,OH)可能是心脑血管风险和全因死亡率的独立预测因子,尤其是在老年人群。1996年的共识将OH统一定义为站立3 min内收缩压下降≥20mm Hg(1mm Hg=0.133kPa)和(或)舒张压下降≥10mm Hg。方法: | Angelousi A Girerd N Benetos A Frimat L Gautier S Weryha G Boivin JM 刘莉 叶鹏 | 2014 | 中华高血压杂志2014，22，8： | 2 |
| 12 | 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 |
| 13 | Guidelines for the clinical application of the LCP显示文摘 | Emanuel Gautier Christoph Sommer | 2003 | Injury2003，，： | 2 |
| 14 | AIF-regulated oxidative phosphorylation supports lung cancer development显示文摘Cancer is a major and still increasing cause of death in humans. Most cancer cells have a fundamentally different metabolic profile from that of normal tissue. This shift away from mitochondrial ATP synthesis via oxidative phosphorylation towards a high rate of glycolysis, termed Warburg effect, has long been recognized as a paradigmatic hallmark of cancer, supporting the increased biosynthetic demands of tumor cells. Here we show that deletion of apoptosis-inducing factor (AIF) in a Kras^G12D-driven mouse lung cancer model resulted in a marked survival advantage, with delayed tumor onset and decreased malignant progression. Mechanistically, Aif deletion leads to oxidative phosphorylation (OXPHOS) deficiency and a switch in cellular metabolism towards glycolysis in non-transformed pneumocytes and at early stages of tumor development. Paradoxically, although Aif-deficient cells exhibited a metabolic Warburg profile, this bioenergetic change resulted in a growth disadvantage of Kras^G12D-driven as well as Kras wild-type lung cancer cells. Cell-autonomous re-expression of both wild-type and mutant AIF (displaying an intact mitochondrial, but abrogated apoptotic function) in Aif-knockout Kras^G12D mice restored OXPHOS and reduced animal survival to the same level as AIF wild-type mice. In patients with non-small cell lung cancer, high AIF expression was associated with poor prognosis. These data show that AIF-regulated mitochondrial respiration and OXPHOS drive the progression of lung cancer. | Shuan Rao Laura Mondragon Blanka Pranjic Toshikatsu Hanada Gautier Stoll Thomas Kocher Peng Zhang Alexander Jais Alexander Lercher Andreas Bergthaler Daniel Schramek Katharina Haigh Valentina Sica Marion Leduc Nazanine Modjtahedi Tsung-Pin Pai Masahiro Onji Iris Uribesalgo Reiko Hanada Ivona Kozieradzki Rubina Koglgruber Shane J. Cronin Zhigang She Franz Quehenberger Helmut Popper Lukas Kenner Jody J. Haigh Oliver Kepp Malgorzata Rak Kaican Cai Guido Kroemer Josef M. Penninger | 2019 | Cell Research2019，29，7： | 2 |
| 15 | Characterization of the caprine stearoyl-CoA desaturase gene and its mRNA showing an unusually long 3′-UTR sequence arising from a single exon显示文摘 | Laurence Bernard Christine Leroux Hélène Hayes Mathieu Gautier Yves Chilliard Patrice Martin | 2001 | Gene2001，，1： | 2 |
| 16 | Mesenchymal stem cells: Stem cell therapy perspectives for type 1 diabetes显示文摘 | L. Vija D. Farge J.-F. Gautier P. Vexiau C. Dumitrache A. Bourgarit F. Verrecchia J. Larghero | 2009 | Diabetes and Metabolism2009，，2： | 2 |
| 17 | CDL--A component description language for reuse 显示文摘 | Huw E Oliver | 1993 | International Journal of Software Engineering and Knowledge Engineering1993，3，4： | 1 |
| 18 | Optimization of the hyphenation between capillary zone electrophoresis and inductively coupled plasma mass spectrometry for the measurement of As-,Sb-,Se-and Te-species,applicable to soil extracts显示文摘 | CASIOT C C DONARD O F GAUTIER M P | 2002 | Spectrochimica Acta Part B2002，，57： | 1 |
| 19 | Production and characterization of a monoclonal antibody specific for apoptotic bodies derived from several tumour cell lines显示文摘 | Gautier F Lassort D | 1999 | Journal of Immunological Methods1999，228，： | 1 |
| 20 | DNA sequence analysis of the genetic environment of various blaCTX-M genes显示文摘 | Eckert C Gautier V Arlet G | 2006 | J Antimicrob Chemother2006，57，1： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员