RATH- Data structure for relation-algebraic programming
RATH-关系代数规划的数据结构
基本信息
- 批准号:353314-2007
- 负责人:
- 金额:$ 0.33万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:University Undergraduate Student Research Awards
- 财政年份:2007
- 资助国家:加拿大
- 起止时间:2007-01-01 至 2008-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 }}
Albarghouthi, Aws其他文献
Scaling-up in-memory datalog processing: observations and techniques
扩大内存数据记录处理:观察和技术
- DOI:
10.14778/3311880.3311886 - 发表时间:
2019 - 期刊:
- 影响因子:2.5
- 作者:
Fan, Zhiwei;Zhu, Jianqiao;Zhang, Zuyu;Albarghouthi, Aws;Koutris, Paraschos;Patel, Jignesh M. - 通讯作者:
Patel, Jignesh M.
Sketching Robot Programs On the Fly
即时绘制机器人程序草图
- DOI:
10.1145/3568162.3576991 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Porfirio, David;Stegner, Laura;Cakmak, Maya;Sauppé, Allison;Albarghouthi, Aws;Mutlu, Bilge - 通讯作者:
Mutlu, Bilge
Synthesizing Action Sequences for Modifying Model Decisions
综合修改模型决策的动作序列
- DOI:
10.1609/aaai.v34i04.5996 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Ramakrishnan, Goutham;Lee, Yun Chan;Albarghouthi, Aws - 通讯作者:
Albarghouthi, Aws
Generating Programmatic Referring Expressions via Program Synthesis
通过程序合成生成程序引用表达式
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Huang, Jiani;Smith, Calvin;Bastani, Osbert;Singh, Rishabh;Albarghouthi, Aws;Naik, Mayur - 通讯作者:
Naik, Mayur
Repairing Decision-Making Programs under Uncertainty
修复不确定性下的决策程序
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Albarghouthi, Aws;D'Antoni, Loris;Drews, Samuel - 通讯作者:
Drews, Samuel
Albarghouthi, Aws的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Albarghouthi, Aws', 18)}}的其他基金
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
- 批准号:
392064-2010 - 财政年份:2012
- 资助金额:
$ 0.33万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
- 批准号:
392064-2010 - 财政年份:2011
- 资助金额:
$ 0.33万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
- 批准号:
392064-2010 - 财政年份:2010
- 资助金额:
$ 0.33万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
相似国自然基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国青年学者研究基金项目
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:合作创新研究团队
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
基于Linked Open Data的Web服务语义互操作关键技术
- 批准号:61373035
- 批准年份:2013
- 资助金额:77.0 万元
- 项目类别:面上项目
Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data
- 批准号:31070748
- 批准年份:2010
- 资助金额:34.0 万元
- 项目类别:面上项目
高维数据的函数型数据(functional data)分析方法
- 批准号:11001084
- 批准年份:2010
- 资助金额:16.0 万元
- 项目类别:青年科学基金项目
染色体复制负调控因子datA在细胞周期中的作用
- 批准号:31060015
- 批准年份:2010
- 资助金额:25.0 万元
- 项目类别:地区科学基金项目
Computational Methods for Analyzing Toponome Data
- 批准号:60601030
- 批准年份:2006
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Postdoctoral Fellowship: OPP-PRF: Leveraging Community Structure Data and Machine Learning Techniques to Improve Microbial Functional Diversity in an Arctic Ocean Ecosystem Model
博士后奖学金:OPP-PRF:利用群落结构数据和机器学习技术改善北冰洋生态系统模型中的微生物功能多样性
- 批准号:
2317681 - 财政年份:2024
- 资助金额:
$ 0.33万 - 项目类别:
Standard Grant
CAREER: Leveraging Randomization and Structure in Computational Linear Algebra for Data Science
职业:利用计算线性代数中的随机化和结构进行数据科学
- 批准号:
2338655 - 财政年份:2024
- 资助金额:
$ 0.33万 - 项目类别:
Continuing Grant
CIF: Small: Efficient and Secure Federated Structure Learning from Bad Data
CIF:小型:高效、安全的联邦结构从不良数据中学习
- 批准号:
2341359 - 财政年份:2024
- 资助金额:
$ 0.33万 - 项目类别:
Standard Grant
Privacy, Data Protection and Market Structure
隐私、数据保护和市场结构
- 批准号:
DP240102584 - 财政年份:2024
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Projects
The Effects of Data Breaches on Corporate Debt Structure
数据泄露对公司债务结构的影响
- 批准号:
24K16442 - 财政年份:2024
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Three dimensional object reconstruction with hybrid data structure
混合数据结构的三维物体重建
- 批准号:
23K16906 - 财政年份:2023
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
A data science framework for transforming electronic health records into real-world evidence
将电子健康记录转化为现实世界证据的数据科学框架
- 批准号:
10664706 - 财政年份:2023
- 资助金额:
$ 0.33万 - 项目类别:
Real-World Data Estimates of Racial Fairness with Pharmacogenomics-Guided Drug Policy
以药物基因组学为指导的药物政策对种族公平性的真实世界数据估计
- 批准号:
10797705 - 财政年份:2023
- 资助金额:
$ 0.33万 - 项目类别:
A software tool to facilitate variable-level equivalency and harmonization in research data: Leveraging the NIH Common Data Elements Repository to link concepts and measures in an open format
促进研究数据中变量级别等效性和协调性的软件工具:利用 NIH 通用数据元素存储库以开放格式链接概念和测量
- 批准号:
10821517 - 财政年份:2023
- 资助金额:
$ 0.33万 - 项目类别: