课题基金 / 基金详情

CT-ISG: Summer School on Reliable Computing

CT-ISG: Summer School on Reliable Computing
CT-ISG：可靠计算暑期学校
批准号：
0524639
负责人：
Zena Ariola
金额：
$1.0万
依托单位：
University of Oregon Eugene
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2005
资助国家：
美国
项目状态：
已结题
起止时间：
2005-09-01 至 2006-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0524639&HistoricalAwards=false
关键词：
CTISGSummerReliableComputing

项目摘要

项目成果

Zena Ariola的其他基金

相似基金

相关文献

中文摘要
翻译
俄勒冈州尤金的Zena M.AriolaU该提案旨在开发一个关于提高软件可靠性的工具的暑期班。该学院的目标是为研究生、博士后、学术和工业研究人员进行这一主题的研究做准备。将介绍三种不同类型的材料：基础理论、软件可靠性的先进技术和实际应用。
英文摘要
ABSTRACT0524639Zena M. AriolaU of Oregon EugeneThe proposal aims at the development of a summer school on Tools for Improving Software Reliability. The aim of the school is to prepare graduate students, post docs, academic and industrial researchers to conduct research on this topic. Three di.erent types of material will be presented: the foundational theory, the advanced techniques for software reliability, and practical applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
  • 批准号：
    2329771
  • 项目类别：
    Standard Grant
  • 资助金额：
    $5.0万
  • 财政年份：
    2023
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
  • 批准号：
    2227189
  • 项目类别：
    Standard Grant
  • 资助金额：
    $4.5万
  • 财政年份：
    2022
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security
  • 批准号：
    1933086
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.5万
  • 财政年份：
    2019
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)
  • 批准号：
    1832506
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.5万
  • 财政年份：
    2018
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
国内基金
海外基金
甘草苷通过IFN-I／ISG15信号通路促进卵巢颗粒细胞外泌体分泌延缓卵巢衰老的作用机制
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    李璐邑
  • 依托单位：
ISG15/LFA-1调控肿瘤相关巨噬细胞浸润促进胆囊癌免疫逃逸的机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    蔡炜龙
  • 依托单位：
ISG15类泛素化修饰多囊泡小体介导KNG1-PI3K/Akt信号轴在葡萄膜炎内皮屏障损伤中的作用机制研究
  • 批准号：
    JCZRQN202500743
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
  • 依托单位：
    武汉大学
肾周脂肪M2 巨噬细胞通过ISG15/LFA-1轴调控传入神经活性在肥 胖相关高血压中的作用及机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    郭静
  • 依托单位：