刷新
{{item.name}}会员
Equipment to Support Joint Studies Between Computer Science and Mathematics
支持计算机科学和数学联合研究的设备
基本信息
- 批准号：8612417
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1987
- 资助国家：美国
- 起止时间：1987-02-01 至 1988-07-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 }}
Robert Constable其他文献
Implementing Euclid’s straightedge and compass constructions in type theory
- DOI：
10.1007/s10472-018-9603-0 - 发表时间：
2018-09-26 - 期刊：
- 影响因子：1.000
- 作者：
Ariel Kellison;Mark Bickford;Robert Constable - 通讯作者：
Robert Constable
Robert Constable的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Robert Constable', 18)}}的其他基金
EAGER: Constructive Univalent Foundations
EAGER：建设性的单价基础
- 批准号：
1650069 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Standard Grant
CSR-EHS: Developing a Theory of Events to Improve Distributed Systems
CSR-EHS：开发事件理论以改进分布式系统
- 批准号：
0614790 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Continuing grant
Enabling Large-Scale Coherency Among Mathematical Texts in the NSDL
实现 NSDL 中数学文本的大规模连贯性
- 批准号：
0333526 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Standard Grant
Innovative Programming Technology for Embedded Systems
嵌入式系统的创新编程技术
- 批准号：
0208536 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Continuing grant
U.S.-Germany Cooperative Research: Enhancing Proof Assistant Systems
美德合作研究：增强证明辅助系统
- 批准号：
0003789 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Standard Grant
Educational Innovation: Creating and Evaluating Formal Courseware for Mathematics and Computing
教育创新：创建和评估数学和计算的正式课件
- 批准号：
9812630 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Standard Grant
Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing
创建和评估数学和计算交互式正式课件
- 批准号：
9555162 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
Exploring New Constructs in Computational Type Theory
探索计算类型理论的新结构
- 批准号：
9423687 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing grant
A Set Theory for Functional Programming Languages
函数式编程语言的集合论
- 批准号：
9203302 - 财政年份：1992
- 资助金额：
-- - 项目类别：
Continuing grant
Computation in Refinement Logics for Type Theory
类型论细化逻辑中的计算
- 批准号：
9108062 - 财政年份：1991
- 资助金额：
-- - 项目类别：
Continuing grant
相似国自然基金
两性离子载体（zwitterionic support）作为可溶性支载体在液相有机合成中的应用
- 批准号：21002080
- 批准年份：2010
- 资助金额：19.0 万元
- 项目类别：青年科学基金项目
基于Support Vector Machines（SVMs)算法的智能型期权定价模型的研究
- 批准号：70501008
- 批准年份：2005
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Support of Student Travel to Attend the Joint Meetings of The Clay Minerals Society and the Asian Clay Conference
支持学生参加粘土矿物学会和亚洲粘土会议联席会议
- 批准号：
2421961 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Research & development of joint health support aid made from sustainable textiles
研究
- 批准号：
10076045 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant for R&D
A Development and Trial Educational Practice of Activity Model of Learning and Teaching Support Robot in Online Joint Class
在线联课学教辅助机器人活动模型的开发与试教实践
- 批准号：
22H01045 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Elucidation of the relationship between pain and facial expression and its application to a joint rehabilitation education support robot
疼痛与面部表情关系的阐明及其在关节康复教育支持机器人中的应用
- 批准号：
20K12015 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Evaluation of sensory weighting and joint strategy in balance control for horizontal sway of the support surface
支撑面水平摇摆平衡控制中的感觉加权和联合策略评估
- 批准号：
20K04366 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Travel Support for Hinode-14/IRIS-11 Joint Science Meeting
Hinode-14/IRIS-11 联合科学会议的差旅支持
- 批准号：
2025986 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Standard Grant
Clay Minerals Society Conference Support for U.S. Graduate Student Attendance at a Joint Meeting with European-clay Conference in 2019
粘土矿物协会会议支持美国研究生参加 2019 年欧洲粘土会议联席会议
- 批准号：
1900583 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Standard Grant
A Study for Designning and Building a Collaborative Learning and Lesson Support Environment and a ICT Skill Development Model for Improving the Quality of Remote Joint Lesson
设计和构建协作学习和课程支持环境以及提高远程联合课程质量的ICT技能发展模型的研究
- 批准号：
18H01053 - 财政年份：2018
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Japan - South Korea joint research about adequate ways to support single parent families whose autonomy should be regarded
日韩共同研究支持应尊重自主权的单亲家庭的适当方法
- 批准号：
17H02602 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Systematization of the Biological soil mechanics focused on the maintenance of infrastructure and the support for newly energy resources(Fostering Joint International Research)
生物土壤力学的系统化重点关注基础设施的维护和新能源的支持（促进国际联合研究）
- 批准号：
16KK0133 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research)