Mining data-temporal invariants from program executions

从程序执行中挖掘数据时间不变量

基本信息

  • 批准号:
    482273-2015
  • 负责人:
  • 金额:
    $ 0.33万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    University Undergraduate Student Research Awards
  • 财政年份:
    2015
  • 资助国家:
    加拿大
  • 起止时间:
    2015-01-01 至 2016-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 }}

Lemieux, Caroline其他文献

Gauss: program synthesis by reasoning over graphs
高斯:通过图推理进行程序综合
A Pre-mRNA Degradation Pathway that Selectively Targets Intron-Containing Genes Requires the Nuclear Poly(A)-Binding Protein
  • DOI:
    10.1016/j.molcel.2011.06.035
  • 发表时间:
    2011-10-07
  • 期刊:
  • 影响因子:
    16
  • 作者:
    Lemieux, Caroline;Marguerat, Samuel;Bachand, Francois
  • 通讯作者:
    Bachand, Francois
Menstrual cycle influences endothelial progenitor cell regulation: A link to gender differences in vascular protection?
  • DOI:
    10.1016/j.ijcard.2008.04.054
  • 发表时间:
    2009-08-01
  • 期刊:
  • 影响因子:
    3.5
  • 作者:
    Lemieux, Caroline;Cloutier, Isabelle;Tanguay, Jean-Francois
  • 通讯作者:
    Tanguay, Jean-Francois
AutoPandas: Neural-Backed Generators for Program Synthesis
Cotranscriptional recruitment of the nuclear poly(A)-binding protein Pab2 to nascent transcripts and association with translating mRNPs
  • DOI:
    10.1093/nar/gkp207
  • 发表时间:
    2009-06-01
  • 期刊:
  • 影响因子:
    14.9
  • 作者:
    Lemieux, Caroline;Bachand, Francois
  • 通讯作者:
    Bachand, Francois

Lemieux, Caroline的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Lemieux, Caroline', 18)}}的其他基金

Mining satisfying assignments to a linear temporal logic formula
挖掘满足线性时序逻辑公式的赋值
  • 批准号:
    467348-2014
  • 财政年份:
    2014
  • 资助金额:
    $ 0.33万
  • 项目类别:
    University Undergraduate Student Research Awards

相似国自然基金

Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    合作创新研究团队
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国青年学者研究基金项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:
基于高频信息下高维波动率矩阵估计及应用
  • 批准号:
    71901118
  • 批准年份:
    2019
  • 资助金额:
    18.0 万元
  • 项目类别:
    青年科学基金项目
半参数空间自回归面板模型的有效估计与应用研究
  • 批准号:
    71961011
  • 批准年份:
    2019
  • 资助金额:
    16.0 万元
  • 项目类别:
    地区科学基金项目
高频数据波动率统计推断、预测与应用
  • 批准号:
    71971118
  • 批准年份:
    2019
  • 资助金额:
    50.0 万元
  • 项目类别:
    面上项目
基于个体分析的投影式非线性非负张量分解在高维非结构化数据模式分析中的研究
  • 批准号:
    61502059
  • 批准年份:
    2015
  • 资助金额:
    19.0 万元
  • 项目类别:
    青年科学基金项目
基于Linked Open Data的Web服务语义互操作关键技术
  • 批准号:
    61373035
  • 批准年份:
    2013
  • 资助金额:
    77.0 万元
  • 项目类别:
    面上项目
体数据表达与绘制的新方法研究
  • 批准号:
    61170206
  • 批准年份:
    2011
  • 资助金额:
    55.0 万元
  • 项目类别:
    面上项目
一类新Regime-Switching模型及其在金融建模中的应用研究
  • 批准号:
    11061041
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    地区科学基金项目

相似海外基金

Managing and Mining Urban Spatio-Temporal Data
管理和挖掘城市时空数据
  • 批准号:
    RGPIN-2017-05723
  • 财政年份:
    2021
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Managing and Mining Urban Spatio-Temporal Data
管理和挖掘城市时空数据
  • 批准号:
    RGPIN-2017-05723
  • 财政年份:
    2020
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
CRII: III: A Spatio-Temporal Data Mining Framework For Functional Neuroimaging Data
CRII:III:功能神经影像数据的时空数据挖掘框架
  • 批准号:
    1850204
  • 财政年份:
    2019
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Standard Grant
Managing and Mining Urban Spatio-Temporal Data
管理和挖掘城市时空数据
  • 批准号:
    RGPIN-2017-05723
  • 财政年份:
    2019
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Spatio-Temporal Data Mining for Real World Information Analysis
用于现实世界信息分析的时空数据挖掘
  • 批准号:
    18K11320
  • 财政年份:
    2018
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Spatio-Temporal Data Mining and Artificial Intelligence for Computer Animation
计算机动画的时空数据挖掘和人工智能
  • 批准号:
    RGPIN-2014-04598
  • 财政年份:
    2018
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Managing and Mining Urban Spatio-Temporal Data
管理和挖掘城市时空数据
  • 批准号:
    RGPIN-2017-05723
  • 财政年份:
    2018
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Spatio-Temporal Data Mining and Artificial Intelligence for Computer Animation
计算机动画的时空数据挖掘和人工智能
  • 批准号:
    RGPIN-2014-04598
  • 财政年份:
    2017
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Managing and Mining Urban Spatio-Temporal Data
管理和挖掘城市时空数据
  • 批准号:
    RGPIN-2017-05723
  • 财政年份:
    2017
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Spatio-Temporal Data Mining and Artificial Intelligence for Computer Animation
计算机动画的时空数据挖掘和人工智能
  • 批准号:
    RGPIN-2014-04598
  • 财政年份:
    2016
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了