刷新
{{item.name}}会员
Design verification
设计验证
基本信息
- 批准号：194294-1997
- 负责人：
- 金额：$ 0.93万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2000
- 资助国家：加拿大
- 起止时间：2000-01-01 至 2001-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 }}
Walsh, Peter其他文献
NUAK1 governs centrosome replication in pancreatic cancer via MYPT1/PP1β and GSK3β-dependent regulation of PLK4.
- DOI：
10.1002/1878-0261.13425 - 发表时间：
2023-07 - 期刊：
- 影响因子：6.6
- 作者：
Whyte, Declan;Skalka, George;Walsh, Peter;Wilczynska, Ania;Paul, Nikki R.;Mitchell, Claire;Nixon, Colin;Clarke, William;Bushell, Martin;Morton, Jennifer P.;Murphy, Daniel J.;Muthalagu, Nathiya - 通讯作者：
Muthalagu, Nathiya
Forest Elephants: Tree Planters of the Congo
- DOI：
10.1111/j.1744-7429.2009.00512.x - 发表时间：
2009-07-01 - 期刊：
- 影响因子：2.1
- 作者：
Blake, Stephen;Deem, Sharon Lynn;Walsh, Peter - 通讯作者：
Walsh, Peter
An experimental investigation of strain rate, temperature and humidity effects on the mechanical behavior of a perfluorosulfonic acid membrane
- DOI：
10.1016/j.jpowsour.2012.04.094 - 发表时间：
2012-09-15 - 期刊：
- 影响因子：9.2
- 作者：
Lu, Zongwen;Lugo, Melissa;Walsh, Peter - 通讯作者：
Walsh, Peter
Silicon Photonic Microring Resonators: A Comprehensive Design-Space Exploration and Optimization under Fabrication-Process Variations
硅光子微环谐振器：制造工艺变化下的全面设计空间探索和优化
- DOI：
10.1109/tcad.2021.3132555 - 发表时间：
2022 - 期刊：
- 影响因子：2.9
- 作者：
Mirza, Asif;Sunny, Febin;Walsh, Peter;Hassan, Karim;Pasricha, Sudeep;Nikdast, Mahdi - 通讯作者：
Nikdast, Mahdi
Physical Activity and Obesity in Canadian Women.
加拿大妇女的体育锻炼和肥胖。
- DOI：
10.1186/1472-6874-4-s1-s6 - 发表时间：
2004-08-25 - 期刊：
- 影响因子：2.5
- 作者：
Bryan, Shirley;Walsh, Peter - 通讯作者：
Walsh, Peter
Walsh, Peter的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Walsh, Peter', 18)}}的其他基金
Effective methods for diophantine analysis
丢番图分析的有效方法
- 批准号：
203044-2005 - 财政年份：2009
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for diophantine analysis
丢番图分析的有效方法
- 批准号：
203044-2005 - 财政年份：2008
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for diophantine analysis
丢番图分析的有效方法
- 批准号：
203044-2005 - 财政年份：2007
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for diophantine analysis
丢番图分析的有效方法
- 批准号：
203044-2005 - 财政年份：2006
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for diophantine analysis
丢番图分析的有效方法
- 批准号：
203044-2005 - 财政年份：2005
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for solving diophantine equations
求解丢番图方程的有效方法
- 批准号：
203044-2001 - 财政年份：2004
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for solving diophantine equations
求解丢番图方程的有效方法
- 批准号：
203044-2001 - 财政年份：2003
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for solving diophantine equations
求解丢番图方程的有效方法
- 批准号：
203044-2001 - 财政年份：2002
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Effective methods for solving diophantine equations
求解丢番图方程的有效方法
- 批准号：
203044-2001 - 财政年份：2001
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
Methods in computational number theory and geometry with applications to diophantine analysis and algebraic curves
计算数论和几何方法及其在丢番图分析和代数曲线中的应用
- 批准号：
203044-1998 - 财政年份：2000
- 资助金额：
$ 0.93万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
FMitF: Track I: Formal Verification for Mechanism Design
FMITF：第一轨：机制设计的形式验证
- 批准号：
2319186 - 财政年份：2023
- 资助金额：
$ 0.93万 - 项目类别：
Standard Grant
Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
时间关键拜占庭容错系统的设计和验证
- 批准号：
EP/W034514/1 - 财政年份：2023
- 资助金额：
$ 0.93万 - 项目类别：
Research Grant
Medium- and long-term verification of developing competencies on lesson design and learning assessment through lesson study based on learning science
通过基于学习科学的课程研究，对课程设计和学习评估能力的发展进行中长期验证
- 批准号：
23K02727 - 财政年份：2023
- 资助金额：
$ 0.93万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Design and Verification of Fault Tolerant Distributed Systems
容错分布式系统的设计与验证
- 批准号：
2885821 - 财政年份：2023
- 资助金额：
$ 0.93万 - 项目类别：
Studentship
Collaborative Research: FET: Medium: Engineering DNA and RNA computation through simulation, sequence design, and experimental verification
合作研究：FET：中：通过模拟、序列设计和实验验证进行 DNA 和 RNA 计算
- 批准号：
2211792 - 财政年份：2022
- 资助金额：
$ 0.93万 - 项目类别：
Continuing Grant
Design and Model-Based Safety Verification of a Volitional Sit-Stand Controller for a Powered Knee-Ankle Prosthesis
动力膝踝假肢自主坐站控制器的设计和基于模型的安全验证
- 批准号：
10570170 - 财政年份：2022
- 资助金额：
$ 0.93万 - 项目类别：
Collaborative Research: FET: Medium: Engineering DNA and RNA computation through simulation, sequence design, and experimental verification
合作研究：FET：中：通过模拟、序列设计和实验验证进行 DNA 和 RNA 计算
- 批准号：
2211793 - 财政年份：2022
- 资助金额：
$ 0.93万 - 项目类别：
Continuing Grant
Design and Model-Based Safety Verification of a Volitional Sit-Stand Controller for a Powered Knee-Ankle Prosthesis
动力膝踝假肢自主坐站控制器的设计和基于模型的安全验证
- 批准号：
10388466 - 财政年份：2022
- 资助金额：
$ 0.93万 - 项目类别：
Supplement: Design and Model-Based Safety Verification of a Volitional Sit-Stand Controller for a Powered Knee-Ankle Prosthesis
补充：动力膝踝假肢自主坐站控制器的设计和基于模型的安全验证
- 批准号：
10785336 - 财政年份：2022
- 资助金额：
$ 0.93万 - 项目类别：
Formal Verification in the CIRCT Open-Source Hardware Design Stack
CIRCT 开源硬件设计堆栈中的形式验证
- 批准号：
2737542 - 财政年份：2022
- 资助金额：
$ 0.93万 - 项目类别：
Studentship