刷新
{{item.name}}会员
Efficiently Solving Least Fixed Points for Declaratively-Specified Static Analyses
有效求解声明性指定静态分析的最小不动点
基本信息
- 批准号：489748-2016
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2018
- 资助国家：加拿大
- 起止时间：2018-01-01 至 2019-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
static program analysis, programming languages, compilers, programming tools
静态程序分析，编程语言，编译器，编程工具
项目成果
期刊论文数量（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 }}
Yee, MingHo其他文献
Yee, MingHo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Yee, MingHo', 18)}}的其他基金
Efficiently Solving Least Fixed Points for Declaratively-Specified Static Analyses
有效求解声明性指定静态分析的最小不动点
- 批准号：
489748-2016 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Efficiently Solving Least Fixed Points for Declaratively-Specified Static Analyses
有效求解声明性指定静态分析的最小不动点
- 批准号：
489748-2016 - 财政年份：2017
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Parallel algorithms for solving multi-objective optimization problems
求解多目标优化问题的并行算法
- 批准号：
480350-2015 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Digital News & Discussion Aggregation
数字新闻
- 批准号：
428546-2011 - 财政年份：2012
- 资助金额：
$ 1.53万 - 项目类别：
Experience Awards (previously Industrial Undergraduate Student Research Awards)
Understanding System Logs For Software Verification and Failure Troubleshooting
了解系统日志以进行软件验证和故障排除
- 批准号：
432568-2012 - 财政年份：2012
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
Real-time news and content monitoring
实时新闻和内容监控
- 批准号：
411916-2010 - 财政年份：2011
- 资助金额：
$ 1.53万 - 项目类别：
Experience Awards (previously Industrial Undergraduate Student Research Awards)
相似海外基金
Solving the disability data puzzle to ensure progress towards equity
解决残疾数据难题，确保在实现公平方面取得进展
- 批准号：
IE230100561 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Early Career Industry Fellowships
Solving cashflow shortfalls in the construction industry using digital payments with embedded finance
使用数字支付和嵌入式金融解决建筑行业的现金流短缺
- 批准号：
10097800 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Collaborative R&D
CAREER: Solving Estimation Problems of Networked Interacting Dynamical Systems Via Exploiting Low Dimensional Structures: Mathematical Foundations, Algorithms and Applications
职业：通过利用低维结构解决网络交互动力系统的估计问题：数学基础、算法和应用
- 批准号：
2340631 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Solving key issues in wearable thermoelectrics for practical applications
解决可穿戴热电器件实际应用中的关键问题
- 批准号：
DE240100519 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Early Career Researcher Award
The Science of Solving Hard Subgraph Problems
解决困难子图问题的科学
- 批准号：
EP/X030032/1 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Research Grant
CAREER: Investigating linguistic and cognitive abstractions for solving word problems in minds and machines
职业：研究语言和认知抽象以解决大脑和机器中的文字问题
- 批准号：
2339729 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Solving smoke taint: Overcoming the impacts of vineyard exposure to smoke
解决烟雾污染：克服葡萄园暴露于烟雾的影响
- 批准号：
LP210300715 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Linkage Projects
Fast and accurate algorithms for solving large eigenvalue problems
用于解决大型特征值问题的快速准确的算法
- 批准号：
23K11226 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study for solving problems related to multimorbid conditions using an innovative QOL evaluation method
使用创新的生活质量评估方法解决与多病相关的问题的研究
- 批准号：
23H03127 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Waste Stream Valorisation: Solving sustainable chemical production
废物流增值：解决可持续化学品生产问题
- 批准号：
2881252 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Studentship