刷新
{{item.name}}会员
Intl Travel: Intl Conf on Magnetism, Amsterdam, Netherlands,Sept. 6-10, 1976, and Intl Conf on Itinerant Electron Magnetism, Oxford, United Kingdom, Sept 13-15, 1976
国际旅游：国际磁力大会，荷兰阿姆斯特丹，九月
基本信息
- 批准号：7622607
- 负责人：
- 金额：$ 0.08万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1976
- 资助国家：美国
- 起止时间：1976-06-15 至 1977-06-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Michael Fisher其他文献
Making Sense of the World: Models for Reliable Sensor-Driven Systems
理解世界：可靠的传感器驱动系统模型
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Muffy Calder;S. Dobson;Michael Fisher;J. Mccann - 通讯作者：
J. Mccann
Formal verification of human-robot teamwork
人机团队合作的形式验证
- DOI：
10.1145/1514095.1514169 - 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
Rafael Heitor Bordini;Michael Fisher;M. Sierhuis - 通讯作者：
M. Sierhuis
Clausal Resolution for CTL*
CTL 的条款决议*
- DOI：
- 发表时间：
1999 - 期刊：
- 影响因子：0
- 作者：
A. Bolotov;C. Dixon;Michael Fisher - 通讯作者：
Michael Fisher
An Introduction to Practical Formal Methods Using Temporal Logic
- DOI：
10.1002/9781119991472 - 发表时间：
2011-04 - 期刊：
- 影响因子：0
- 作者：
Michael Fisher - 通讯作者：
Michael Fisher
Optimizing revenue: Service Provisioning Systems with QoS Contracts
优化收入：具有 QoS 合同的服务供应系统
- DOI：
- 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
J. Palmer;I. Mitrani;M. Mazzucco;P. McKee;Michael Fisher;By;J Palmer - 通讯作者：
J Palmer
Michael Fisher的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Michael Fisher', 18)}}的其他基金
Rapid: Impact of Hurricane Florence on Drinking Water Safety in Eastern and Central North Carolina: Rapid Assessment and Recommendations for Recovery and Resilience
快速：佛罗伦萨飓风对北卡罗来纳州东部和中部饮用水安全的影响：快速评估以及恢复和复原力建议
- 批准号：
1903010 - 财政年份：2018
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Network on the Verification and Validation of Autonomous Systems
自治系统验证和确认网络
- 批准号：
EP/M027309/1 - 财政年份：2015
- 资助金额：
$ 0.08万 - 项目类别：
Research Grant
NSF/CBMS Regional Conference in the Mathematical Sciences - The Mathematics of the Social and Behavioral Sciences
NSF/CBMS 数学科学区域会议 - 社会和行为科学的数学
- 批准号：
1137949 - 财政年份：2012
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Engineering Autonomous Space Software
工程自主空间软件
- 批准号：
EP/F037201/1 - 财政年份：2008
- 资助金额：
$ 0.08万 - 项目类别：
Research Grant
Verifying Interoperability Requirements in Pervasive Systems
验证普及系统中的互操作性要求
- 批准号：
EP/F033567/1 - 财政年份：2008
- 资助金额：
$ 0.08万 - 项目类别：
Research Grant
Model Checking Agent Programming Languages
模型检查代理编程语言
- 批准号：
EP/D052548/1 - 财政年份：2006
- 资助金额：
$ 0.08万 - 项目类别：
Research Grant
相似海外基金
Travel support to attend CBET conf to present nanoparticle toxicity prediction
参加 CBET 会议以展示纳米颗粒毒性预测的旅行支持
- 批准号：
1245118 - 财政年份：2012
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Student Travel Support to Japan: 2009 IEEE Int Conf Robotics and Automation and Lab Visits
学生赴日旅行支持：2009 IEEE Int Conf 机器人与自动化及实验室参观
- 批准号：
0922766 - 财政年份：2009
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Special Foreign Currency Travel Support (Indian Currency) ToParticipate in the Fifth Int'l Conf of the Int'l Assoc of Cross-Cultural Psycho; Bhubaneswar, India; 12/28-01/01/81
参加国际跨文化心理协会第五届国际会议特别外币旅行支持（印度货币）；
- 批准号：
8024618 - 财政年份：1980
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Special Foreign Currency Travel Support (In Indian Currency)To Participate in the 5th Int'l Conf. of the Int'l Assoc. For Cross-Cult. Psychology; Bhubaneswar, India; 12/28-1/1/81
参加第五届国际会议特别外币旅行支持（印度货币）
- 批准号：
8025085 - 财政年份：1980
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Group Travel For Us Part in 1)8th Intl Conf on Cloud PhysicsJuly 15-19,1980 & 2)3rd World Meteorological Org Conf on Weather Modification, July 21-25,1980; Clermont-Ferrand,
我们团体旅行参加 1) 第八届云物理国际会议 1980 年 7 月 15-19 日
- 批准号：
8015753 - 财政年份：1980
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Special Foreign Currency Travel Support (In Indian Currency)To Participate in the Fifth Int'l Conf of the Int'l Assoc For Cross-Cultural Psychol; Bhubaneswar, India; 12/28-1/1/81
特别外币旅行支持（印度货币）参加国际跨文化心理学协会第五届国际会议；
- 批准号：
8024623 - 财政年份：1980
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Special Foreign Currency Travel Support (In Indian Currency) to Attend the Int'l Conf on Energy & Environment In Developing Countries; Calcutta, India; Jan 11-14, 197
参加国际能源大会的特别外币旅行支持（印度货币）
- 批准号：
7818463 - 财政年份：1979
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Travel to Attend the 12th Intl. Conf. on Sino-Tibetan Lang. & Linguistics, Paris, France - Oct. 19-21 and a Symposium OnAustro-Asiatic Languages, Copenhagen, Denmark; Oct 24-26
前往参加第十二届国际机场。
- 批准号：
7916988 - 财政年份：1979
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Spec For Curr Award (Egyptian Pounds) For Travel to Attend: 7th Ieee/Pes Conf & Exposition on Overhead & Underground Transmission & Distributions; Atlanta, Ga; April
出席第七届 Ieee/Pes Conf 的旅行获得 Spec For Curr 奖（埃及镑）
- 批准号：
7909164 - 财政年份：1979
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant
Group Travel For Us Part in 1) Intl Conf on Statistics, 2) Stat Climatology Mtg, Tokyo - 11/28-12/1/79 & 3) 42nd Session of the Intl Stat Inst, Manila, Rp, 12/4-14/79
我们的团体旅行参加 1) 国际统计会议，2) 统计气候学会议，东京 - 11/28-12/1/79
- 批准号：
7917694 - 财政年份：1979
- 资助金额：
$ 0.08万 - 项目类别：
Standard Grant