刷新
{{item.name}}会员
Investigations Into the Application of Temporal Logic to Real Time Programming
时态逻辑在实时编程中的应用研究
基本信息
- 批准号：8216707
- 负责人：
- 金额：$ 2.16万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1982
- 资助国家：美国
- 起止时间：1982-09-01 至 1984-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Paul Harter其他文献
Paul Harter的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Paul Harter', 18)}}的其他基金
Investigations Into the Application of Temporal Logic to Real-Time Programming
时态逻辑在实时编程中的应用研究
- 批准号：
8121857 - 财政年份：1982
- 资助金额：
$ 2.16万 - 项目类别：
Standard Grant
相似海外基金
Protecting trains, staff, plant and infrastructure through construction and operation: A feasibility study into the application of Universal Interlocking on GCRE
通过建设和运营保护列车、员工、工厂和基础设施：通用联锁在 GCRE 上应用的可行性研究
- 批准号：
10059945 - 财政年份：2023
- 资助金额：
$ 2.16万 - 项目类别：
Collaborative R&D
Putting the individual into face recognition: Bridging theory and application
将个人纳入人脸识别：桥接理论与应用
- 批准号：
ES/X002063/1 - 财政年份：2023
- 资助金额：
$ 2.16万 - 项目类别：
Research Grant
High-efficiency materials transfer and pharmaceutical application into mesoporous structures using laminar flow controlled in microchannels
使用微通道中控制的层流将高效材料转移和药物应用到介孔结构中
- 批准号：
22K04812 - 财政年份：2022
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Transport mechanism of S-adenosyl-L-methionine into vacuole, elucidation of its physiological function and development of its application
S-腺苷-L-蛋氨酸液泡转运机制、生理功能阐明及应用开发
- 批准号：
22H02260 - 财政年份：2022
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Application for Research into formalization of legal texts and contracts
法律文本和合同形式化研究申请
- 批准号：
575706-2022 - 财政年份：2022
- 资助金额：
$ 2.16万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Expanding functionality of booking system to turn it into a B2B SAAS application, enabling UK festival operators to increase margins by £73 per attendee.
扩展预订系统的功能，将其转变为 B2B SAAS 应用程序，使英国节日运营商能够将每位参与者的利润提高 73 英镑。
- 批准号：
10013390 - 财政年份：2021
- 资助金额：
$ 2.16万 - 项目类别：
Responsive Strategy and Planning
Development of a constructive method of the tricyclic skeleton in pallambins and application into their total synthesis
pallambins三环骨架的构建方法及其在全合成中的应用
- 批准号：
21K14616 - 财政年份：2021
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
An investigation into the application of machine learning algorithms for the discrimination, classification and optimal application of a military (nuc
机器学习算法在军队识别、分类和优化应用中的应用研究（nuc
- 批准号：
2750505 - 财政年份：2021
- 资助金额：
$ 2.16万 - 项目类别：
Studentship
Development and Integration of an IoT Application and Sensor Suite into Indoor Vertical Farming Product Line
开发物联网应用程序和传感器套件并将其集成到室内垂直农业产品线中
- 批准号：
561571-2021 - 财政年份：2021
- 资助金额：
$ 2.16万 - 项目类别：
Applied Research and Development Grants - Level 1
Qualitative Analysis and Integration of Stakeholder Engagement into Provincial Policy Roll Out of Free Prescription Contraception: Application of Gender-Based Analysis Plus (GBA+)
定性分析并将利益相关者参与纳入免费处方避孕药省级政策的推广：基于性别的分析增强版（GBA）的应用
- 批准号：
449161 - 财政年份：2021
- 资助金额：
$ 2.16万 - 项目类别：
Fellowship Programs