刷新
Program Verification and Synthesis for Migrating Database Applications
迁移数据库应用程序的程序验证和综合
基本信息
- 批准号：DGECR-2022-00417
- 负责人：
- 金额：$ 0.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Launch Supplement
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-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 }}
Wang, Yuepeng其他文献
Effects of frailty on patients undergoing head and neck cancer surgery with flap reconstruction: a retrospective analysis.
- DOI：
10.1136/bmjopen-2022-062047 - 发表时间：
2022-12-08 - 期刊：
- 影响因子：2.9
- 作者：
Wang, Yuepeng;Zheng, Yukai;Wen, Zuozhen;Zhou, Yuwei;Wang, Yan;Huang, Zhiquan - 通讯作者：
Huang, Zhiquan
Lactate anion catalyzes aminolysis of polyesters with anilines.
- DOI：
10.1126/sciadv.ade7971 - 发表时间：
2023-02-03 - 期刊：
- 影响因子：13.6
- 作者：
Wu, Fengtian;Wang, Yuepeng;Zhao, Yanfei;Tang, Minhao;Zeng, Wei;Wang, Ying;Chang, Xiaoqian;Xiang, Junfeng;Han, Buxing;Liu, Zhimin - 通讯作者：
Liu, Zhimin
Upcycling poly(succinates) with amines to N-substituted succinimides over succinimide anion-based ionic liquids.
- DOI：
10.1038/s41467-024-44892-1 - 发表时间：
2024-01-24 - 期刊：
- 影响因子：16.6
- 作者：
Wu, Fengtian;Wang, Yuepeng;Zhao, Yanfei;Zeng, Shaojuan;Wang, Zhenpeng;Tang, Minhao;Zeng, Wei;Wang, Ying;Chang, Xiaoqian;Xiang, Junfeng;Xie, Zongbo;Han, Buxing;Liu, Zhimin - 通讯作者：
Liu, Zhimin
HPV Enhances HNSCC Chemosensitization by Inhibiting SERPINB3 Expression to Disrupt the Fanconi Anemia Pathway.
- DOI：
10.1002/advs.202202437 - 发表时间：
2022-11-16 - 期刊：
- 影响因子：15.1
- 作者：
Huang, Zixian;Chen, Yongju;Chen, Rui;Zhou, Bin;Wang, Yongqiang;Hong, Lei;Wang, Yuepeng;Wang, Jianguang;Xu, Xiaoding;Huang, Zhiquan;Chen, Weiliang - 通讯作者：
Chen, Weiliang
Dimethyl Fumarate Ameliorates Doxorubicin-Induced Cardiotoxicity By Activating the Nrf2 Pathway.
富马酸二甲酯通过激活 Nrf2 通路改善阿霉素引起的心脏毒性
- DOI：
10.3389/fphar.2022.872057 - 发表时间：
2022 - 期刊：
- 影响因子：5.6
- 作者：
Hu, Xiaoliang;Li, Cheng;Wang, Qian;Wei, Zhixing;Chen, Taizhong;Wang, Yuepeng;Li, Yigang - 通讯作者：
Li, Yigang
Wang, Yuepeng的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Wang, Yuepeng', 18)}}的其他基金
Program Verification and Synthesis for Migrating Database Applications
迁移数据库应用程序的程序验证和综合
- 批准号：
RGPIN-2022-04983 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Bcl-2家族促凋亡蛋白BH3模拟肽的合成与糖尿病相关作用靶点的确认研究
- 批准号：21907086
- 批准年份：2019
- 资助金额：26.0 万元
- 项目类别：青年科学基金项目
两类生物碱的全合成及其生物活性与靶点确认的研究
- 批准号：21877067
- 批准年份：2018
- 资助金额：67.0 万元
- 项目类别：面上项目
一些海洋吲哚生物碱的合成与其生物靶点确认研究
- 批准号：21772181
- 批准年份：2017
- 资助金额：66.0 万元
- 项目类别：面上项目
日本血吸虫硫氧还蛋白谷胱甘肽还原酶(SjTGR)成靶性确认与基于该酶的抗血吸虫病药物先导化合物的发现
- 批准号：81773560
- 批准年份：2017
- 资助金额：25.0 万元
- 项目类别：面上项目
三例生理活性天然产物的合成、探针化与作用靶点研究
- 批准号：21532002
- 批准年份：2015
- 资助金额：300.0 万元
- 项目类别：重点项目
相似海外基金
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Migrating Database Applications
迁移数据库应用程序的程序验证和综合
- 批准号：
RGPIN-2022-04983 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots
NRI：INT：COLLAB：协作机器人的程序验证和综合
- 批准号：
1925043 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant