刷新
{{item.name}}会员
Mathematics of program analysis and construction, with security as main application
程序分析与构造数学，以安全为主要应用
基本信息
- 批准号：89769-2003
- 负责人：
- 金额：$ 2.04万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2003
- 资助国家：加拿大
- 起止时间：2003-01-01 至 2004-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 }}
Desharnais, Jules其他文献
Desharnais, Jules的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Desharnais, Jules', 18)}}的其他基金
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
- 批准号：
89769-2012 - 财政年份：2016
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
- 批准号：
89769-2012 - 财政年份：2015
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
- 批准号：
89769-2012 - 财政年份：2014
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
- 批准号：
89769-2012 - 财政年份：2013
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
- 批准号：
89769-2012 - 财政年份：2012
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
- 批准号：
89769-2007 - 财政年份：2011
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
- 批准号：
89769-2007 - 财政年份：2010
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
- 批准号：
89769-2007 - 财政年份：2009
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
- 批准号：
89769-2007 - 财政年份：2008
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
- 批准号：
89769-2007 - 财政年份：2007
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
凯莱流形上的几何流
- 批准号：11771301
- 批准年份：2017
- 资助金额：48.0 万元
- 项目类别：面上项目
秘密共享及其在安全多方计算中的应用
- 批准号：60573004
- 批准年份：2005
- 资助金额：21.0 万元
- 项目类别：面上项目
相似海外基金
Mathematics of program analysis and construction, with security as main application
程序分析与构造数学，以安全为主要应用
- 批准号：
89769-2003 - 财政年份：2006
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Mathematics of program analysis and construction, with security as main application
程序分析与构造数学，以安全为主要应用
- 批准号：
89769-2003 - 财政年份：2005
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Mathematics of program analysis and construction, with security as main application
程序分析与构造数学，以安全为主要应用
- 批准号：
89769-2003 - 财政年份：2004
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Mathematical Sciences: Post Doctoral Program in Analysis and Applied Mathematics
数学科学：分析与应用数学博士后项目
- 批准号：
9406467 - 财政年份：1994
- 资助金额：
$ 2.04万 - 项目类别：
Continuing Grant
The Development Study of Education Program for Mathematics and Science Teacher
数理教师教育规划的发展研究
- 批准号：
05401023 - 财政年份：1993
- 资助金额：
$ 2.04万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
Mathematical Sciences: Post Doctoral Program in Analysis andApplied Mathematics
数学科学：分析与应用数学博士后项目
- 批准号：
9112654 - 财政年份：1991
- 资助金额：
$ 2.04万 - 项目类别：
Continuing Grant
Mathematical Sciences: Post Doctoral Program in Analysis andApplied Mathematics
数学科学：分析与应用数学博士后项目
- 批准号：
8806727 - 财政年份：1988
- 资助金额：
$ 2.04万 - 项目类别：
Continuing Grant
Mathematical Sciences: Post Doctoral Program in Analysis andApplied Mathematics
数学科学：分析与应用数学博士后项目
- 批准号：
8504683 - 财政年份：1985
- 资助金额：
$ 2.04万 - 项目类别：
Continuing Grant
Mechanizing the Mathematics of Computer Program Analysis
计算机程序分析的数学机械化
- 批准号：
8202943 - 财政年份：1982
- 资助金额：
$ 2.04万 - 项目类别：
Continuing Grant
Mathematical Sciences: Post Doctoral Program in Analysis and Applied Mathematics
数学科学：分析与应用数学博士后项目
- 批准号：
8117526 - 财政年份：1982
- 资助金额：
$ 2.04万 - 项目类别：
Continuing Grant