权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Formal synthesis of digital systems

数字系统的形式综合

基本信息

批准号：
298200-2004
负责人：
Kort, Skander
金额：
$ 1.22万
依托单位：
Concordia University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2004
资助国家：
加拿大
起止时间：
2004-01-01 至 2005-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=273483
关键词：
Formal synthesis digital systems

项目摘要

No summary - Aucun sommaire

没有总结 - Aucun sommaire

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

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

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Kort, Skander其他文献

Kort, Skander的其他文献

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

立即体验

相似国自然基金

胆固醇合成蛋白CYP51介导线粒体通透性转换诱发Th17/Treg细胞稳态失衡在舍格伦综合征中的作用机制研究

批准号：
82370976
批准年份：
2023
资助金额：
48.00 万元
项目类别：
面上项目

“肠—肝轴”PPARα/CYP8B1胆汁酸合成信号通路在减重手术改善糖脂代谢中的作用与机制

批准号：
82370902
批准年份：
2023
资助金额：
49.00 万元
项目类别：
面上项目

lncGEI诱导湖羊卵巢颗粒细胞E2合成的分子机制

批准号：
32372856
批准年份：
2023
资助金额：
50.00 万元
项目类别：
面上项目

脂肪酸合成通过GDF15/IRS2介导胰岛素抵抗促进血管内皮细胞活化导致脓毒症肺损伤的机制研究

批准号：
82372203
批准年份：
2023
资助金额：
49.00 万元
项目类别：
面上项目

环状RNA circ-PRKAA1调控肝癌细胞脂代谢重编程的研究

批准号：
32000527
批准年份：
2020
资助金额：
24.0 万元
项目类别：
青年科学基金项目

ALDH6A1缺损重塑糖脂代谢促进肝细胞癌发生的机制研究

批准号：
91957109
批准年份：
2019
资助金额：
79.0 万元
项目类别：
重大研究计划

新型滤波器综合技术-直接综合技术(Direct synthesis Technique)的研究及应用

批准号：
61671111
批准年份：
2016
资助金额：
58.0 万元
项目类别：
面上项目

双硅化合物反应及天然产物合成应用研究

批准号：
21172150
批准年份：
2011
资助金额：
60.0 万元
项目类别：
面上项目

新型M4受体选择性拮抗剂的研究

批准号：
30973615
批准年份：
2009
资助金额：
32.0 万元
项目类别：
面上项目

基于penicillide结构的类天然产物合成及其胆固醇酯转运蛋白抑制的研究

批准号：
20872019
批准年份：
2008
资助金额：
32.0 万元
项目类别：
面上项目

相似海外基金

International Collaboration on Mobility Digital Twin for Accelerating Data Driven Autonomous Driving Design Platform Synthesis

移动数字孪生国际合作加速数据驱动的自动驾驶设计平台综合

批准号：
22KK0237
财政年份：
2023
资助金额：
$ 1.22万
项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))

Electronically Addressable DNA Assembly

电子可寻址 DNA 组装

批准号：
10697597
财政年份：
2023
资助金额：
$ 1.22万
项目类别：

Development of GenomeBuild as a Universal Method to Synthesize Genomes

GenomeBuild 的开发作为合成基因组的通用方法

批准号：
10565058
财政年份：
2023
资助金额：
$ 1.22万
项目类别：

METEOR-Data Synthesis and Transfer (METEOR-DST)

METEOR-数据合成和传输 (METEOR-DST)

批准号：
10715025
财政年份：
2023
资助金额：
$ 1.22万
项目类别：

Enhancing experimental rigor through education in evidence synthesis

通过证据综合教育提高实验严谨性

批准号：
10673907
财政年份：
2022
资助金额：
$ 1.22万
项目类别：

Next Generation Virtual Musical Instruments: Physics-informed Neural Networks for Sound Synthesis and Digital Audio Effects

下一代虚拟乐器：用于声音合成和数字音频效果的物理信息神经网络

批准号：
2710512
财政年份：
2022
资助金额：
$ 1.22万
项目类别：
Studentship

Bio- and digital technologies for the enzyme development and application for pharmaceutical synthesis

用于药物合成酶开发和应用的生物和数字技术

批准号：
22H00361
财政年份：
2022
资助金额：
$ 1.22万
项目类别：
Grant-in-Aid for Scientific Research (A)

Discovery & Synthesis Chemputer: An intelligent universal system for automated chemical synthesis and discovery across different hardware and scales

发现

批准号：
10446751
财政年份：
2022
资助金额：
$ 1.22万
项目类别：

Informatics and Machine Learning Modules for Research Planning, Scheduling, Simulation, and Optimization in the ASPIRE Autonomous Laboratory

用于 ASPIRE 自主实验室研究规划、调度、模拟和优化的信息学和机器学习模块

批准号：
10448106
财政年份：
2022
资助金额：
$ 1.22万
项目类别：