刷新
{{item.name}}会员
Parallel Evaluation of Logic Programs: The Reduce-or Process Model
逻辑程序的并行评估：归约或处理模型
基本信息
- 批准号：8700988
- 负责人：
- 金额：$ 16.31万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1987
- 资助国家：美国
- 起止时间：1987-05-15 至 1989-10-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 }}
Laxmikant Kale其他文献
Parallel Simulations of Dynamic Fracture Using Extrinsic Cohesive Elements
- DOI：
10.1007/s10915-008-9254-0 - 发表时间：
2008-11-08 - 期刊：
- 影响因子：3.300
- 作者：
Isaac Dooley;Sandhya Mangala;Laxmikant Kale;Philippe Geubelle - 通讯作者：
Philippe Geubelle
Laxmikant Kale的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Laxmikant Kale', 18)}}的其他基金
OAC Core: Small: Collaborative Research: Scalable distributed algorithms for tree structured astronomical data
OAC 核心：小型：协作研究：树结构天文数据的可扩展分布式算法
- 批准号：
1910428 - 财政年份：2019
- 资助金额：
$ 16.31万 - 项目类别：
Standard Grant
PREEVENTS Track 2: Collaborative Research: A Dynamic Unified Framework for Hurricane Storm Surge Analysis and Prediction Spanning across the Coastal Floodplain and Ocean
预防事件轨道 2：协作研究：跨沿海洪泛区和海洋的飓风风暴潮分析和预测的动态统一框架
- 批准号：
1855096 - 财政年份：2019
- 资助金额：
$ 16.31万 - 项目类别：
Continuing Grant
SI2-SSI: Collaborative Research: ParaTreet: Parallel Software for Spatial Trees in Simulation and Analysis
SI2-SSI：协作研究：ParaTreet：仿真和分析中的空间树并行软件
- 批准号：
1550554 - 财政年份：2016
- 资助金额：
$ 16.31万 - 项目类别：
Standard Grant
Collaborative Research: CDS&E: Evolution of the High Redshift Galaxy and AGN Populations
合作研究：CDS
- 批准号：
1312913 - 财政年份：2013
- 资助金额：
$ 16.31万 - 项目类别：
Standard Grant
SI2-SSI: Collaborative Research: Scalable, Extensible, and Open Framework for Ground and Excited State Properties of Complex Systems
SI2-SSI：协作研究：复杂系统基态和激发态属性的可扩展、可扩展和开放框架
- 批准号：
1339715 - 财政年份：2013
- 资助金额：
$ 16.31万 - 项目类别：
Continuing Grant
Simplifying Parallel Programming for CSE Applications using a Multi-Paradigm Approach
使用多范式方法简化 CSE 应用程序的并行编程
- 批准号：
0833188 - 财政年份：2008
- 资助金额：
$ 16.31万 - 项目类别：
Standard Grant
CSR---SMA: BigSim: Performance Prediction for Petascale Machines and Applications
CSR---SMA：BigSim：千万亿级机器和应用的性能预测
- 批准号：
0720827 - 财政年份：2007
- 资助金额：
$ 16.31万 - 项目类别：
Continuing Grant
Collaborative Research: Advanced Parallel Computing Techniques with Applications to Computational Cosmology
合作研究：先进并行计算技术及其在计算宇宙学中的应用
- 批准号：
0205611 - 财政年份：2002
- 资助金额：
$ 16.31万 - 项目类别：
Standard Grant
NGS: Performance Modeling and Programming Environments for PetaFlop Computers and the Blue Gene Machine
NGS：PetaFlop 计算机和 Blue Gene Machine 的性能建模和编程环境
- 批准号：
0103645 - 财政年份：2001
- 资助金额：
$ 16.31万 - 项目类别：
Continuing Grant
The Chare Kernal Parallel Programming System
Chare 内核并行编程系统
- 批准号：
9106608 - 财政年份：1991
- 资助金额：
$ 16.31万 - 项目类别：
Standard Grant
相似国自然基金
基于重要农地保护LESA（Land Evaluation and Site Assessment）体系思想的高标准基本农田建设研究
- 批准号：41340011
- 批准年份：2013
- 资助金额：20.0 万元
- 项目类别：专项基金项目
相似海外基金
Ethical Evaluation of Information Disclosure and Shielding by Counterfactual Conditionals: Its Analysis and Proposal for it based on Modal Logic
反事实条件对信息披露与屏蔽的伦理评价：基于模态逻辑的分析与建议
- 批准号：
20K12784 - 财政年份：2020
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Evaluation of repair time of building damaged by earthquake using automatic generation of logic network of repair schedule
利用修复计划逻辑网络自动生成评估地震受损建筑物的修复时间
- 批准号：
20K04768 - 财政年份：2020
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Administrative evaluation using logic models and decision-making methods to achieve efficient and effective management of budgets
利用逻辑模型和决策方法进行行政评价，实现高效有效的预算管理
- 批准号：
20K01480 - 财政年份：2020
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A Study of Educational Materials and Evaluation in Logic Education Focusing on Deductive Logic: in Consideration of the Link between Preschool and School Education
以演绎逻辑为中心的逻辑教育教材与评价研究——兼论学前教育与学校教育的衔接
- 批准号：
19K03125 - 财政年份：2019
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research on the evaluation of rhetoric in logic education
逻辑教育中修辞评价的研究
- 批准号：
18K02624 - 财政年份：2018
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Evaluation of Bhaviveka's Logic from Dignaga's Point of View
从迪尼亚加的角度评价巴维维卡的逻辑
- 批准号：
18K00069 - 财政年份：2018
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Evaluation of autonomous driving system which have high affinity and acceptability with drivers including the logic of conflict object prediction and speed control
评估与驾驶员具有较高亲和力和接受度的自动驾驶系统，包括冲突物体预测和速度控制的逻辑
- 批准号：
17K01305 - 财政年份：2017
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Logic design and security evaluation for tamper-resistant light weight block cipher
防篡改轻量级分组密码逻辑设计与安全评估
- 批准号：
17K00190 - 财政年份：2017
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Proposal and real-world evaluation of a VANET protocol utilizing fuzzy logic and reinforcement learning
利用模糊逻辑和强化学习的 VANET 协议的提案和实际评估
- 批准号：
25730053 - 财政年份：2013
- 资助金额：
$ 16.31万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Building STEM Education and Evaluation Capacity through Research on Logic Model Use
通过逻辑模型运用研究构建STEM教育和评估能力
- 批准号：
0634083 - 财政年份：2006
- 资助金额：
$ 16.31万 - 项目类别：
Continuing Grant