刷新
{{item.name}}会员
U.S.-France Cooperative Research (INRIA): Static Types for Reasoning about Concurrent Systems
美法合作研究 (INRIA)：用于推理并发系统的静态类型
基本信息
- 批准号：9996084
- 负责人：
- 金额：$ 1.71万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1998
- 资助国家：美国
- 起止时间：1998-12-01 至 2001-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 }}
Benjamin Pierce其他文献
Open data sets for assessing photovoltaic system reliability
用于评估光伏系统可靠性的开放数据集
- DOI：
10.1016/j.apenergy.2025.126132 - 发表时间：
2025-10-01 - 期刊：
- 影响因子：11.000
- 作者：
Xin Chen;Baojie Li;Jennifer L. Braid;Brandon Byford;Dylan J. Colvin;Andrew Glaws;Norman Jost;Benjamin Pierce;Salil Rabade;Martin Springer;Anubhav Jain - 通讯作者：
Anubhav Jain
Tacting of Function in College Student Mental Health: An Online and App-Based Approach to Psychological Flexibility
大学生心理健康中的功能触觉：一种基于在线和应用程序的心理灵活性方法
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Benjamin Pierce - 通讯作者：
Benjamin Pierce
The intersection of school ethnic composition and structure: Predicting social and academic outcomes among Latino students
学校种族构成和结构的交叉点：预测拉丁裔学生的社会和学业成果
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
Benjamin Pierce - 通讯作者：
Benjamin Pierce
A view of the sustainable computing landscape
- DOI：
10.1016/j.patter.2025.101296 - 发表时间：
2025-07-11 - 期刊：
- 影响因子：7.400
- 作者：
Benjamin C. Lee;David Brooks;Arthur van Benthem;Mariam Elgamal;Udit Gupta;Gage Hills;Vincent Liu;Linh Thi Xuan Phan;Benjamin Pierce;Christopher Stewart;Emma Strubell;Gu-Yeon Wei;Adam Wierman;Yuan Yao;Minlan Yu - 通讯作者：
Minlan Yu
Effects of perfluorocarbon infusion in an anesthetized swine decompression model.
全氟化碳输注对麻醉猪减压模型的影响。
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：2.2
- 作者：
B. Spiess;Jiepei Zhu;Benjamin Pierce;R. Weis;B. Berger;J. Reses;Cameron R Smith;Brian Ewbank;K. Ward - 通讯作者：
K. Ward
Benjamin Pierce的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Benjamin Pierce', 18)}}的其他基金
Collaborative Research: SHF: Medium: Bringing Python Up to Speed
合作研究：SHF：Medium：加快 Python 速度
- 批准号：
1955565 - 财政年份：2020
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
Collaborative Research: RAPID: Virtual Conference Platform
协作研究：RAPID：虚拟会议平台
- 批准号：
2035101 - 财政年份：2020
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
TWC: Medium: Micro-Policies: A Framework for Tag-Based Security Monitors
TWC：中：微观策略：基于标签的安全监视器框架
- 批准号：
1513854 - 财政年份：2015
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
SHF: Small: Random Testing for Language Design
SHF：小型：语言设计的随机测试
- 批准号：
1421243 - 财政年份：2014
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
Programming Languages Mentoring Workshop
编程语言辅导研讨会
- 批准号：
1353927 - 财政年份：2013
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2013
俄勒冈州编程语言暑期学校会议支持，2013 年
- 批准号：
1338938 - 财政年份：2013
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012
俄勒冈编程语言暑期学校会议支持，2012 年
- 批准号：
1240237 - 财政年份：2012
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
TC: Medium: Putting Differential Privacy To Work
TC：Medium：让差异隐私发挥作用
- 批准号：
1065060 - 财政年份：2011
- 资助金额：
$ 1.71万 - 项目类别：
Continuing Grant
SHF: Small: Algebraic Foundations for Collaborative Data Sharing
SHF：小：协作数据共享的代数基础
- 批准号：
1017212 - 财政年份：2010
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
TC: SMALL: Contracts for Precise Types
TC：SMALL：精确类型合约
- 批准号：
0915671 - 财政年份：2009
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
相似海外基金
IRES: U.S.-France Cooperative Research in Engineering Innovative Software Systems with Applications to Maritime Transportation Logistics
IRES：美法合作研究工程创新软件系统及其应用于海上运输物流
- 批准号：
0729792 - 财政年份：2007
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research (INRIA): A Semantic Foundation For C++ based IC/System Design
美法合作研究 (INRIA)：基于 C 的 IC/系统设计的语义基础
- 批准号：
0554678 - 财政年份：2005
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Probing Dynamics in Open Shell Atoms and Molecules using Two Photons Experiments
美法合作研究：利用两个光子实验探测开壳原子和分子的动力学
- 批准号：
0440633 - 财政年份：2005
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Modelling and Interrogation of Cancellous Bone
美法合作研究：松质骨的建模和研究
- 批准号：
0438765 - 财政年份：2005
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Energetics and Conformational Changes of SNARE-mediated Fusion
美法合作研究：SNARE介导的融合的能量学和构象变化
- 批准号：
0437230 - 财政年份：2005
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Transcriptional and Posttranscriptional Regulation of the Sodium Pump
美法合作研究：钠泵的转录和转录后调控
- 批准号：
0340622 - 财政年份：2004
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Genetics and Chemical Ecology of Reticulitermes Termites
美法合作研究：散白蚁的遗传学和化学生态学
- 批准号：
0233238 - 财政年份：2003
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Flows of Grains Down Inclined Channels
美法合作研究：谷物沿着倾斜渠道的流动
- 批准号：
0233212 - 财政年份：2003
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Studies of Model C-H Bond and Si-H Bond Activation Processes on the Surfaces of Large[RG]n and [CH4]n Clusters
美法合作研究：大[RG]n和[CH4]n团簇表面模型C-H键和Si-H键活化过程的研究
- 批准号：
0124920 - 财政年份：2002
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Passivity Based Control of Networked Control Systems
美法合作研究：网络控制系统的无源控制
- 批准号：
0128656 - 财政年份：2002
- 资助金额：
$ 1.71万 - 项目类别：
Standard Grant