刷新
{{item.name}}会员
Complexity of Checking Feasibility of Semidefinite Programs
半定规划可行性检验的复杂性
基本信息
- 批准号：408835-2011
- 负责人：
- 金额：$ 1.27万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份：2011
- 资助国家：加拿大
- 起止时间：2011-01-01 至 2012-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 }}
Sharpe, Malcolm其他文献
Sharpe, Malcolm的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sharpe, Malcolm', 18)}}的其他基金
Network flow based algorithms for mixed integer programs in revenue management
收入管理中混合整数规划的基于网络流的算法
- 批准号：
382652-2009 - 财政年份：2009
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
Good feasible solutions of combinatorial optimization problems from continuous relaxations
连续松弛组合优化问题的良好可行解
- 批准号：
369054-2008 - 财政年份：2008
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Development of model checking technology for dependable distributed systems
可靠分布式系统模型检测技术的开发
- 批准号：
23H03370 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Proof Checking for SMT-solving and its application in the Railway domain
SMT求解的验证及其在铁路领域的应用
- 批准号：
2822973 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Studentship
Effects of Political Ideology and News Consumption on the Public's Perception of Fact-Checking: The Case of the United Kingdom
政治意识形态和新闻消费对公众事实核查认知的影响：以英国为例
- 批准号：
2889835 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Studentship
Securing Web-based Services by Policy Coherence and Proof-checking
通过策略一致性和验证检查来保护基于 Web 的服务
- 批准号：
DP230102828 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Projects
Semi-Automated Checking of Research Outputs
研究成果的半自动检查
- 批准号：
MC_PC_23006 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Intramural
ImmunIGy: A Novel Pen-side Test for Checking Calf Immune Status, to increase the efficiency of beef production through supply chain feedback and improved management
ImmunIGy：一种用于检查小牛免疫状态的新型栏边测试，通过供应链反馈和改进管理来提高牛肉生产效率
- 批准号：
10052523 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Collaborative R&D
A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
基于 Tableau 的大型系统时态属性模型检查方法
- 批准号：
23K19959 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Towards reliable automated fact-checking in Public Health
在公共卫生领域实现可靠的自动事实核查
- 批准号：
2719172 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Studentship
Integrating a low-barrier drug checking platform into public health responses to overdose
将低门槛药物检查平台纳入公共卫生应对过量用药的过程中
- 批准号：
549668-2020 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Collaborative Health Research Projects