刷新
{{item.name}}会员
CoreASM: A high-level specification language for model-based engineering of concurrent and reactive systems
CoreASM：一种高级规范语言，用于并发和反应式系统的基于模型的工程
基本信息
- 批准号：333991-2006
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2006
- 资助国家：加拿大
- 起止时间：2006-01-01 至 2007-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 }}
Farahbod, Roozbeh其他文献
Farahbod, Roozbeh的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Farahbod, Roozbeh', 18)}}的其他基金
CoreASM: A high-level specification language for model-based engineering of concurrent and reactive systems
CoreASM：一种高级规范语言，用于并发和反应式系统的基于模型的工程
- 批准号：
333991-2006 - 财政年份：2007
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
相似国自然基金
外周犬尿氨酸通过脑膜免疫致海马BDNF水平降低介导术后认知功能障碍
- 批准号：82371193
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
海马神经元胆固醇代谢重编程致染色质组蛋白乙酰化水平降低介导老年小鼠术后认知功能障碍
- 批准号：82371192
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
粒子level set方法的改进与空间自适应波浪模型并行化研究
- 批准号：52171245
- 批准年份：2021
- 资助金额：58 万元
- 项目类别：面上项目
多层次纳米叠层块体复合材料的仿生设计、制备及宽温域增韧研究
- 批准号：51973054
- 批准年份：2019
- 资助金额：60.0 万元
- 项目类别：面上项目
无振荡可压缩两相流切割网格方法及其在激波诱导气泡塌陷中的应用研究
- 批准号：11702272
- 批准年份：2017
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
含有表面活性剂的液体浸润的模型和数值计算
- 批准号：11601221
- 批准年份：2016
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
基于高频限价指令簿的流动性度量及对市场波动影响机制研究
- 批准号：71601091
- 批准年份：2016
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
- 批准号：11502121
- 批准年份：2015
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
非球对称单气穴声致发光问题的直接数值模拟
- 批准号：11501173
- 批准年份：2015
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
- 批准号：41401376
- 批准年份：2014
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Investigating the molecular mechanisms of asymmetric histone incorporation during DNA replication
研究 DNA 复制过程中不对称组蛋白掺入的分子机制
- 批准号：
10314925 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Investigating the molecular mechanisms of asymmetric histone incorporation during DNA replication
研究 DNA 复制过程中不对称组蛋白掺入的分子机制
- 批准号：
10456597 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Delineating spatiotemporal dynamics of hair follicle dermal niche specification at the single-cell level
在单细胞水平上描绘毛囊真皮生态位规范的时空动态
- 批准号：
10401954 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Delineating spatiotemporal dynamics of hair follicle dermal niche specification at the single-cell level
在单细胞水平上描绘毛囊真皮生态位规范的时空动态
- 批准号：
10623272 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Delineating spatiotemporal dynamics of hair follicle dermal niche specification at the single-cell level
在单细胞水平上描绘毛囊真皮生态位规范的时空动态
- 批准号：
10210360 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Dynamic analyses of cell-fate determination and cell specification at the molecular level
分子水平上细胞命运决定和细胞规格的动态分析
- 批准号：
17K19407 - 财政年份：2017
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Generating Distributed Programs from High Level Specification Based on Combinatorial Topology
基于组合拓扑的高级规范生成分布式程序
- 批准号：
16K00016 - 财政年份：2016
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Specification of sour taste receptior in human level by sour taste modifier and analysis of structiral corerationship
酸味调节剂对人体酸味感受器的规范及结构相关性分析
- 批准号：
24501006 - 财政年份：2012
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Program-level Specification and Deductive Verification of Security Properties
安全属性的程序级规范和演绎验证
- 批准号：
183818606 - 财政年份：2010
- 资助金额：
$ 1.53万 - 项目类别：
Priority Programmes
CoreASM: A high-level specification language for model-based engineering of concurrent and reactive systems
CoreASM：一种高级规范语言，用于并发和反应式系统的基于模型的工程
- 批准号：
333991-2006 - 财政年份：2007
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral