刷新
{{item.name}}会员
Efficiently Solving Least Fixed Points for Declaratively-Specified Static Analyses
有效求解声明性指定静态分析的最小不动点
基本信息
- 批准号：489748-2016
- 负责人：
- 金额：$ 0.76万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2019
- 资助国家：加拿大
- 起止时间：2019-01-01 至 2020-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 - 财政年份：2018
- 资助金额：
$ 0.76万 - 项目类别：
Postgraduate Scholarships - Doctoral
Efficiently Solving Least Fixed Points for Declaratively-Specified Static Analyses
有效求解声明性指定静态分析的最小不动点
- 批准号：
489748-2016 - 财政年份：2017
- 资助金额：
$ 0.76万 - 项目类别：
Postgraduate Scholarships - Doctoral
Parallel algorithms for solving multi-objective optimization problems
求解多目标优化问题的并行算法
- 批准号：
480350-2015 - 财政年份：2015
- 资助金额：
$ 0.76万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Digital News & Discussion Aggregation
数字新闻
- 批准号：
428546-2011 - 财政年份：2012
- 资助金额：
$ 0.76万 - 项目类别：
Experience Awards (previously Industrial Undergraduate Student Research Awards)
Understanding System Logs For Software Verification and Failure Troubleshooting
了解系统日志以进行软件验证和故障排除
- 批准号：
432568-2012 - 财政年份：2012
- 资助金额：
$ 0.76万 - 项目类别：
University Undergraduate Student Research Awards
Real-time news and content monitoring
实时新闻和内容监控
- 批准号：
411916-2010 - 财政年份：2011
- 资助金额：
$ 0.76万 - 项目类别：
Experience Awards (previously Industrial Undergraduate Student Research Awards)
相似海外基金
Solving cashflow shortfalls in the construction industry using digital payments with embedded finance
使用数字支付和嵌入式金融解决建筑行业的现金流短缺
- 批准号：
10097800 - 财政年份：2024
- 资助金额：
$ 0.76万 - 项目类别：
Collaborative R&D
Solving the disability data puzzle to ensure progress towards equity
解决残疾数据难题，确保在实现公平方面取得进展
- 批准号：
IE230100561 - 财政年份：2024
- 资助金额：
$ 0.76万 - 项目类别：
Early Career Industry Fellowships
Solving key issues in wearable thermoelectrics for practical applications
解决可穿戴热电器件实际应用中的关键问题
- 批准号：
DE240100519 - 财政年份：2024
- 资助金额：
$ 0.76万 - 项目类别：
Discovery Early Career Researcher Award
CAREER: Solving Estimation Problems of Networked Interacting Dynamical Systems Via Exploiting Low Dimensional Structures: Mathematical Foundations, Algorithms and Applications
职业：通过利用低维结构解决网络交互动力系统的估计问题：数学基础、算法和应用
- 批准号：
2340631 - 财政年份：2024
- 资助金额：
$ 0.76万 - 项目类别：
Continuing Grant
CAREER: Investigating linguistic and cognitive abstractions for solving word problems in minds and machines
职业：研究语言和认知抽象以解决大脑和机器中的文字问题
- 批准号：
2339729 - 财政年份：2024
- 资助金额：
$ 0.76万 - 项目类别：
Continuing Grant
The Science of Solving Hard Subgraph Problems
解决困难子图问题的科学
- 批准号：
EP/X030032/1 - 财政年份：2024
- 资助金额：
$ 0.76万 - 项目类别：
Research Grant
AGS-FIRP Track 2: Understanding Vertical Variation of Energy Dissipation near the Surface for Solving the Mystery of the Observed Surface Energy Imbalance
AGS-FIRP 轨道 2：了解地表附近能量耗散的垂直变化，以解决观测到的地表能量不平衡之谜
- 批准号：
2231229 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant
Collaborative Research: Using Machine Learning to Improve Visual Problem-Solving in Chemistry Education
协作研究：利用机器学习提高化学教育中的视觉问题解决能力
- 批准号：
2235790 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant
Solving the participation puzzle: Understanding mechanisms behind causal effects of randomized controlled trials in conservation
解决参与难题：了解保护中随机对照试验因果效应背后的机制
- 批准号：
2242087 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant
Collaborative Research: An Extended Reality Factory Innovation for Adaptive Problem-solving and Personalized Learning in Manufacturing Engineering
协作研究：制造工程中自适应问题解决和个性化学习的扩展现实工厂创新
- 批准号：
2302833 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant