刷新
{{item.name}}会员
Demonstration de theoremes et verification automatique pour la synthese de systemes informatiques
信息系统综合定理和验证自动演示
基本信息
- 批准号：180192-1994
- 负责人：
- 金额：$ 0.9万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Collaborative Research and Development Grants - Government (H)
- 财政年份：1995
- 资助国家：加拿大
- 起止时间：1995-01-01 至 1996-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Ferguson, Michael其他文献
White Coat Hypertension Persistence in Children and Adolescents: The Pediatric Nephrology Research Consortium Study.
- DOI：
10.1016/j.jpeds.2022.03.036 - 发表时间：
2022-07 - 期刊：
- 影响因子：5.1
- 作者：
Miyashita, Yosuke;Hanevold, Coral;Faino, Anna;Scher, Julia;Lande, Marc;Yamaguchi, Ikuyo;Hernandez, Joel;Acosta, Alisa;Weaver, Donald J., Jr.;Thomas, Jason;Kallash, Mahmoud;Ferguson, Michael;Patel, Ketan N.;South, Andrew M.;Kelton, Megan;Flynn, Joseph T. - 通讯作者：
Flynn, Joseph T.
Direct observation by high resolution transmission electron microscopy of gold(iii) particle transformation during aging reduction reaction
- DOI：
10.1039/d2fd00126h - 发表时间：
2022-08-30 - 期刊：
- 影响因子：3.4
- 作者：
Ferguson, Michael;Richard, Austin J.;Moores, Audrey - 通讯作者：
Moores, Audrey
Insights into mechanochemical reactions at the molecular level: simulated indentations of aspirin and meloxicam crystals
- DOI：
10.1039/c8sc04971h - 发表时间：
2019-03-14 - 期刊：
- 影响因子：8.4
- 作者：
Ferguson, Michael;Silvina Moyano, M.;Del Popolo, Mario G. - 通讯作者：
Del Popolo, Mario G.
Renal volume of five-year-old preterm children are not different than full-term controls.
五岁的早产儿童的肾脏体积与完美对照没有不同。
- DOI：
10.1016/j.jped.2021.06.008 - 发表时间：
2022-05 - 期刊：
- 影响因子：3.3
- 作者：
Restrepo, Jaime M.;Torres-Canchala, Laura;Arias Cadavid, Juan Carlos;Ferguson, Michael;Villegas, Adriana;Ramirez, Oscar;Rengifo, Martin;Filler, Guido - 通讯作者：
Filler, Guido
Comparison of effectiveness of two 10% carbamide peroxide tooth-bleaching systems using spectrophotometric measurements.
- DOI：
10.1111/j.1708-8240.2004.tb00070.x - 发表时间：
2004-01-01 - 期刊：
- 影响因子：0
- 作者：
Ishikawa-Nagai, Shigemi;Terui, Takayuki;Ferguson, Michael - 通讯作者：
Ferguson, Michael
Ferguson, Michael的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ferguson, Michael', 18)}}的其他基金
Formal specifications, performance modeling, and precision software for telecommunication protocols
电信协议的正式规范、性能建模和精确软件
- 批准号：
1048-1998 - 财政年份：2000
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
Formal specifications, performance modeling, and precision software for telecommunication protocols
电信协议的正式规范、性能建模和精确软件
- 批准号：
1048-1998 - 财政年份：1999
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
Precision telecommunication software - algebraic and state space methods
精密电信软件 - 代数和状态空间方法
- 批准号：
1048-1994 - 财政年份：1997
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
Precision telecommunication software - algebraic and state space methods
精密电信软件 - 代数和状态空间方法
- 批准号：
1048-1994 - 财政年份：1996
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
Demonstration de theoremes et verification automatique pour la synthese de systemes informatiques
信息系统综合定理和验证自动演示
- 批准号：
180192-1994 - 财政年份：1996
- 资助金额：
$ 0.9万 - 项目类别：
Collaborative Research and Development Grants - Government (H)
Precision telecommunication software - algebraic and state space methods
精密电信软件 - 代数和状态空间方法
- 批准号：
1048-1994 - 财政年份：1995
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
Precision telecommunication software - algebraic and state space methods
精密电信软件 - 代数和状态空间方法
- 批准号：
1048-1994 - 财政年份：1994
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
Fundamental models for communications-potential and extreme behaviour
沟通潜力和极端行为的基本模型
- 批准号：
1048-1991 - 财政年份：1993
- 资助金额：
$ 0.9万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
DNMT3B通过de novo甲基化下调EIF4A3表达抑制PI3K/AKT通路减少巨噬细胞M2极化增强NPC放疗抵抗的研究
- 批准号：2025JJ70151
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于吡咯并[4,3,2-de]喹啉类生物碱新型抗植物病毒剂的发现及机制
研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
BAIAP2基因de novo变异在儿童发育性癫痫性脑病中的作用
及机制研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于RT-3DE的3DFCN模型全自动检测及预测CRF患者亚临床左心室收缩功能障碍
- 批准号：82371980
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
基于中国马Y染色体de novo组装对家马父系起源进化及繁殖性状候选基因定位的研究
- 批准号：32302731
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于Cre酶的靶向性de novo DNA甲基化技术和模型开发
- 批准号：32300469
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
De Bruijn序列及其推广序列的构造与分析
- 批准号：
- 批准年份：2022
- 资助金额：54 万元
- 项目类别：面上项目
狼疮易感基因PHRF1及其de novo突变R194C的免疫病理机制研究
- 批准号：32270946
- 批准年份：2022
- 资助金额：54 万元
- 项目类别：
IDO-1介导的De novo NAD+合成激活在肺动脉高压中的作用和机制研究
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
新一代生物标志物dE-DHP 用于吡咯里西啶生物碱肝损害精准诊断的研究
- 批准号：21Y11921800
- 批准年份：2021
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
Open Access Block Award 2024 - De Montfort University
2024 年开放访问区块奖 - 德蒙福特大学
- 批准号：
EP/Z532290/1 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Research Grant
de novo 脂肪酸合成経路に着目した心臓線維化の分子機序解明と治療法の確立
阐明心脏纤维化的分子机制并建立以脂肪酸从头合成途径为重点的治疗方法
- 批准号：
24K11290 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
NSF Engines Development Award: Accelerating A Just Energy Transition Through Innovative Nature-Inclusive Offshore Wind Farms (CT,DE,MA,MD,NJ,RI,VA)
NSF 发动机开发奖：通过创新的自然包容性海上风电场加速公正的能源转型（康涅狄格州、特拉华州、马里兰州、马里兰州、新泽西州、罗德岛州、弗吉尼亚州）
- 批准号：
2315558 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Cooperative Agreement
De Montfort University and Edward C. Buckwald Limited, t/a Abbots Langley Clinic KTP 23_24 R2
德蒙福特大学和 Edward C. Buckwald Limited，t/a Abbots Langley Clinic KTP 23_24 R2
- 批准号：
10078961 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Knowledge Transfer Partnership
De Montfort University Higher Education Corporation and FABRIC Charitable Incorporated Organisation KTP 23_24 R1
德蒙福特大学高等教育公司和 FABRIC 慈善法人组织 KTP 23_24 R1
- 批准号：
10071520 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Knowledge Transfer Partnership
次世代mRNAに資するde novo IRESの創製
从头创建 IRES 有助于下一代 mRNA
- 批准号：
24KJ1491 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Grant-in-Aid for JSPS Fellows
CAREER: Inviting all 21st century problem-solvers: Building equity by de-tracking middle school mathematics instruction
职业：邀请所有 21 世纪的问题解决者：通过打破中学数学教学的轨道来建立公平
- 批准号：
2336391 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Continuing Grant
中国語における“的（de）”構文の統語的・意味的研究
汉语“德”字句法语义研究
- 批准号：
24K03905 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Ghrelin de-acylation inhibitors as novel compounds for Parkinson's dementia
生长素释放肽去酰化抑制剂作为治疗帕金森痴呆症的新型化合物
- 批准号：
MR/Y503435/1 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Research Grant
Voices from the Periphery: (De-)Constructing and Contesting Public Narratives about Post-Industrial Marginalization (VOICES)
来自外围的声音：关于后工业边缘化的公共叙事的（去）建构和争论（VOICES）
- 批准号：
AH/Y007603/1 - 财政年份：2024
- 资助金额：
$ 0.9万 - 项目类别：
Research Grant