刷新
{{item.name}}会员
Mining satisfying assignments to a linear temporal logic formula
挖掘满足线性时序逻辑公式的赋值
基本信息
- 批准号：467348-2014
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2014
- 资助国家：加拿大
- 起止时间：2014-01-01 至 2015-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
高斯：通过图推理进行程序综合
- DOI：
10.1145/3485511 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Bavishi, Rohan;Lemieux, Caroline;Sen, Koushik;Stoica, Ion - 通讯作者：
Stoica, Ion
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
- DOI：
10.1145/3360594 - 发表时间：
2019-10-01 - 期刊：
- 影响因子：1.8
- 作者：
Bavishi, Rohan;Lemieux, Caroline;Stoica, Ion - 通讯作者：
Stoica, Ion
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 data-temporal invariants from program executions
从程序执行中挖掘数据时间不变量
- 批准号：
482273-2015 - 财政年份：2015
- 资助金额：
$ 0.33万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Method development to realize PES policy satisfying ES beneficiaries' needs
实现满足 ES 受益人需求的 PES 政策的方法开发
- 批准号：
22KK0206 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))
Development of an integral equation theory satisfying the variational principle and accurate for long-range potential systems
满足变分原理且对长程势系统准确的积分方程理论的发展
- 批准号：
23K04666 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Collaborative Self-Learning Activities for Reducing Anxiety and Satisfying Basic Psychological Needs of English Language Learners
减少英语学习者焦虑并满足基本心理需求的协作自学活动
- 批准号：
23K18925 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Development of Web husband-attended delivery that leads to a safe and satisfying delivery experience for mothers and husbands in Covid 19
开发网络丈夫陪伴分娩，为 Covid 19 中的母亲和丈夫带来安全、满意的分娩体验
- 批准号：
21K10899 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Global solutions to the Cauchy problem for systems of quasi-linear wave equations satisfying the weak null condition
满足弱零条件的拟线性波动方程组柯西问题的全局解
- 批准号：
21K03324 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Design-less system of Analog integrated circuits - Learning of topology selection satisfying required specifications -
模拟集成电路的无设计系统 - 学习满足所需规格的拓扑选择 -
- 批准号：
20K11727 - 财政年份：2020
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of high throughput multilayer diffraction grating monochromator satisfying the Bragg condition over the 1-5 keV range
开发在1-5 keV范围内满足布拉格条件的高通量多层衍射光栅单色仪
- 批准号：
19K12642 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Attempts to form relationships with students by satisfying their basic psychological needs through classroom activities.
尝试通过课堂活动满足学生的基本心理需求，从而与学生建立关系。
- 批准号：
19K14227 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Development and evaluation of birth animation software for maternal safety and satisfying of maternal and husbands
产妇安全、产妇满意度的分娩动画软件开发与评价
- 批准号：
18K10409 - 财政年份：2018
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Empirical study on satisfying both of climate change mitigation and revitalization in regional core cities
区域核心城市应对气候变化与振兴兼顾的实证研究
- 批准号：
18H03433 - 财政年份：2018
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)