刷新
{{item.name}}会员
The fourth international conference on algebraic methodology and software technology, 3 - 7, July 1995
第四届代数方法论和软件技术国际会议，1995 年 7 月 3 - 7 日
基本信息
- 批准号：174365-1995
- 负责人：
- 金额：$ 0.16万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Conference Grants (H)
- 财政年份：1995
- 资助国家：加拿大
- 起止时间：1995-01-01 至 1996-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 }}
Alagar, Vangalur其他文献
Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development
- DOI：
10.3390/s19112430 - 发表时间：
2019-06-01 - 期刊：
- 影响因子：3.9
- 作者：
Alsaig, Alaa;Alagar, Vangalur;Shiri, Nematollaah - 通讯作者：
Shiri, Nematollaah
Contelog: A declarative language for modeling and reasoning with contextual knowledge
- DOI：
10.1016/j.knosys.2020.106403 - 发表时间：
2020-11-05 - 期刊：
- 影响因子：8.8
- 作者：
Alsaig, Ammar;Alagar, Vangalur;Nematollaah, Shiri - 通讯作者：
Nematollaah, Shiri
Context-Aware Security Solutions for Cyber-Physical Systems
网络物理系统的上下文感知安全解决方案
- DOI：
10.1007/s11036-014-0495-x - 发表时间：
2012-11 - 期刊：
- 影响因子：3.8
- 作者：
Wan, Kaiyu;Alagar, Vangalur - 通讯作者：
Alagar, Vangalur
Alagar, Vangalur的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Alagar, Vangalur', 18)}}的其他基金
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2019
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2018
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2017
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2016
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2015
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
- 批准号：
3552-2010 - 财政年份：2011
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
- 批准号：
3552-2010 - 财政年份：2010
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2009
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2008
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2007
- 资助金额：
$ 0.16万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Conference: Student Support to attend the Thirty-Fourth Annual International Solid Freeform Fabrication (SFF) Symposium; Austin, Texas; 14-16 August 2023
会议：支持学生参加第三十四届年度国际固体自由成型（SFF）研讨会；
- 批准号：
2323154 - 财政年份：2023
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
The Fourth International Conference on Sign Language Acquisition
第四届国际手语习得会议
- 批准号：
2017625 - 财政年份：2021
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
Fourth International Conference on Quantitative Ethnography (ICQE22)
第四届定量民族志国际会议（ICQE22）
- 批准号：
2139106 - 财政年份：2021
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
Fifty-One Ergs 2019: The fourth international conference on the physics and observations of explosive astronomical transients supernovae and their remnants
51 Ergs 2019：第四届爆炸性天文瞬变超新星及其遗迹的物理和观测国际会议
- 批准号：
1910246 - 财政年份：2019
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
RI: Doctoral Student Consortium at the Twenty Fourth International Conference on Case-Based Reasoning
RI：第二十四届国际案例推理会议博士生联盟
- 批准号：
1637547 - 财政年份：2016
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
The Fourth International Conference on Sustainable Chemical Product and Process Engineering, Nanjing, China, May 31-June 3, 2016
第四届可持续化学产品与过程工程国际会议，中国南京，2016年5月31日至6月3日
- 批准号：
1629385 - 财政年份：2016
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
Partial support for the Fourth International Conference on Effects of Noise on Aquatic Life
部分支持第四届噪声对水生生物影响国际会议
- 批准号：
1534712 - 财政年份：2015
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
Fourth International IEEE Conference on Computational Advances in Bio and medical Sciences (ICCABS) - Travel Awards
第四届 IEEE 生物与医学计算进展国际会议 (ICCABS) - 旅行奖
- 批准号：
1441827 - 财政年份：2014
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
Fourth International Conference on Mathematical Modeling and Analysis of Populations in Biological Systems
第四届生物系统群体数学建模与分析国际会议
- 批准号：
1338501 - 财政年份：2013
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant
Conference Support for the Fourth International Conference on Establishment Surveys (June 11-14, 2012 Montreal, Canada)
第四届国际机构调查会议（2012 年 6 月 11-14 日，加拿大蒙特利尔）的会议支持
- 批准号：
1141789 - 财政年份：2012
- 资助金额：
$ 0.16万 - 项目类别：
Standard Grant