刷新
{{item.name}}会员
Languages and tools for the construction of verifiable programs
用于构建可验证程序的语言和工具
基本信息
- 批准号：203416-2006
- 负责人：
- 金额：$ 1.74万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2009
- 资助国家：加拿大
- 起止时间：2009-01-01 至 2010-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 }}
Sekerinski, Emil其他文献
Sekerinski, Emil的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sekerinski, Emil', 18)}}的其他基金
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：
RGPIN-2017-06692 - 财政年份：2021
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：
RGPIN-2017-06692 - 财政年份：2020
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：
RGPIN-2017-06692 - 财政年份：2019
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：
RGPIN-2017-06692 - 财政年份：2018
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：
RGPIN-2017-06692 - 财政年份：2017
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2015
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2014
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2013
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：
203416-2012 - 财政年份：2012
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
Languages and tools for the construction of verifiable programs
用于构建可验证程序的语言和工具
- 批准号：
203416-2006 - 财政年份：2010
- 资助金额：
$ 1.74万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
The construction and utility of reference pan-genome graphs
参考泛基因组图的构建和利用
- 批准号：
10777673 - 财政年份：2023
- 资助金额：
$ 1.74万 - 项目类别：
Comparison Study on Japanese and Chinese Building Tools and Processing Traces Aimed to Establish the Foundation of the History of East Asian Wooden Building Construction Techniques
中日建筑工具及加工痕迹比较研究，为东亚木建筑建造技术史奠定基础
- 批准号：
23H01597 - 财政年份：2023
- 资助金额：
$ 1.74万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Improving the Safety and Quality of Eye Plaque Brachytherapy by Assembly with Intensity Modulated Loading
通过调强加载组装提高眼斑近距离治疗的安全性和质量
- 批准号：
10579754 - 财政年份：2023
- 资助金额：
$ 1.74万 - 项目类别：
Development of Analytical Tools for Concentration and Real-Time Control of Dissolved Gases and Their Regulation of Tissue Function
溶解气体浓度和实时控制及其组织功能调节分析工具的开发
- 批准号：
10567233 - 财政年份：2023
- 资助金额：
$ 1.74万 - 项目类别：
Femto-seq: Targeted photo-biotinylation, pulldown and sequencing of locus and region-specific DNA from femtoliter volumes within individual cells
Femto-seq：从单个细胞内的飞升体积中对位点和区域特异性 DNA 进行靶向光生物素化、下拉和测序
- 批准号：
10587721 - 财政年份：2023
- 资助金额：
$ 1.74万 - 项目类别：
Project 1: Deployable Software for the Rapid Assessment of Organ Dose Following Radionuclide Intakes
项目 1：用于快速评估放射性核素摄入后器官剂量的可部署软件
- 批准号：
10327396 - 财政年份：2022
- 资助金额：
$ 1.74万 - 项目类别：
Synthesizability-constrained expansion and multi-objective evolution of antitubercular compounds
抗结核化合物的可合成性约束扩展和多目标进化
- 批准号：
10430402 - 财政年份：2022
- 资助金额：
$ 1.74万 - 项目类别：
Structural steel project development integrating structural design and construction engineering: quantitative methods and AI-based tools
结构设计与施工工程相结合的钢结构项目开发：定量方法和基于人工智能的工具
- 批准号：
579062-2022 - 财政年份：2022
- 资助金额：
$ 1.74万 - 项目类别：
Alliance Grants
Developing, Testing, and Disseminating Reasoning Chain Construction Tools for Introductory Physics and Chemistry Courses
开发、测试和传播物理和化学入门课程的推理链构建工具
- 批准号：
2142436 - 财政年份：2022
- 资助金额：
$ 1.74万 - 项目类别：
Continuing Grant