刷新
{{item.name}}会员
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
字符串理论的计算机辅助推理工具及其在安全和软件工程验证任务中的应用
基本信息
- 批准号：489845-2016
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2017
- 资助国家：加拿大
- 起止时间：2017-01-01 至 2018-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 }}
Berzish, MurphyThomasReynolds其他文献
Berzish, MurphyThomasReynolds的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Berzish, MurphyThomasReynolds', 18)}}的其他基金
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
字符串理论的计算机辅助推理工具及其在安全和软件工程验证任务中的应用
- 批准号：
489845-2016 - 财政年份：2018
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Development of design automation tools for microfluidic circuits
微流体电路设计自动化工具的开发
- 批准号：
481762-2015 - 财政年份：2015
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Design and implementation of a hardware description language for microfluidic circuits
微流控电路硬件描述语言的设计与实现
- 批准号：
470869-2014 - 财政年份：2014
- 资助金额：
$ 2.55万 - 项目类别：
University Undergraduate Student Research Awards
Compilation of large-scale neural models onto field programmable gate arrays
将大规模神经模型编译到现场可编程门阵列上
- 批准号：
449661-2013 - 财政年份：2013
- 资助金额：
$ 2.55万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
基于磷酸二酯酶IV结构的抑制剂的设计与动态组合合成
- 批准号：30500633
- 批准年份：2005
- 资助金额：26.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Learning-aided Program Reasoning
学习辅助程序推理
- 批准号：
RGPIN-2021-03537 - 财政年份：2022
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Learning-aided Program Reasoning
学习辅助程序推理
- 批准号：
RGPIN-2021-03537 - 财政年份：2021
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Learning-aided Program Reasoning
学习辅助程序推理
- 批准号：
DGECR-2021-00380 - 财政年份：2021
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Launch Supplement
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
字符串理论的计算机辅助推理工具及其在安全和软件工程验证任务中的应用
- 批准号：
489845-2016 - 财政年份：2018
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
CRCD/EI: Integrating Functional Computer-Aided Reasoning into the ComputerScience Curriculum
CRCD/EI：将功能计算机辅助推理融入计算机科学课程
- 批准号：
0844078 - 财政年份：2008
- 资助金额：
$ 2.55万 - 项目类别：
Continuing Grant
Computer-Aided Collaborative Reasoning across the Curriculum
跨课程的计算机辅助协作推理
- 批准号：
0633506 - 财政年份：2007
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
Computer-Aided Collaborative reasoning Across the Curriculum
跨课程的计算机辅助协作推理
- 批准号：
0633055 - 财政年份：2007
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
CRCD/EI: Integrating Functional Computer-Aided Reasoning into the ComputerScience Curriculum
CRCD/EI：将功能计算机辅助推理融入计算机科学课程
- 批准号：
0417413 - 财政年份：2004
- 资助金额：
$ 2.55万 - 项目类别：
Continuing Grant
A development on human interfaces aided for remote education
有助于远程教育的人机界面的发展
- 批准号：
12680210 - 财政年份：2000
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Geometry-based reasoning in a boolean algebra Computer aided process planner
布尔代数中基于几何的推理计算机辅助流程规划器
- 批准号：
170340-1995 - 财政年份：1995
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual