U.S.-Germany Cooperative Research: A Formal Methods Tool Suite for Education
U.S.-Germany Cooperative Research: A Formal Methods Tool Suite for Education
批准号:
0128838
负责人:
Jeannette Wing
金额:
$1.87万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-03-01 至 2005-02-28
中文摘要
点击翻译按钮获取中文摘要
英文摘要
0129163RainesThis award supports Ronald Raines and students from the University of Wisconsin-Madison in a collaboration with Renate Ulbrich-Hofmann of the Department of Biochemistry and Biotechnology at the University of Leipzig, Germany. The aim of the international project is to use intein-mediated protein ligation to create semisynthetic variants of ribonuclease A. These variants will be produced by the US group and studied with respect to their thermodynamic and proteolytic stability by methods established in the German group. The results will provide new insight into protein-folding pathways and the fundamental basis for protein stability, and ultimately lead to the creation of new proteins with desirable properties. The work plan provides for extensive participation by graduate students in the international travel and research.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conference: US-UK Workshop on Developing a Roadmap for Collaborative AI R&D
-
批准号:2218819
-
项目类别:Standard Grant
-
资助金额:$3.84万
-
财政年份:2022
-
负责人:Jeannette Wing
-
依托单位:
BD Hubs: NORTHEAST: The Northeast Big Data Innovation Hub
-
批准号:1916585
-
项目类别:Cooperative Agreement
-
资助金额:$400.0万
-
财政年份:2019
-
负责人:Jeannette Wing
-
依托单位:
ACM-IMS Interdisciplinary Summit on the Foundations of Data Science
-
批准号:1934146
-
项目类别:Standard Grant
-
资助金额:$4.99万
-
财政年份:2019
-
负责人:Jeannette Wing
-
依托单位:
Data Science Leadership Summit
-
批准号:1821451
-
项目类别:Standard Grant
-
资助金额:$2.85万
-
财政年份:2018
-
负责人:Jeannette Wing
-
依托单位:
BD Hubs: NORTHEAST: The Northeast Big Data Innovation Hub
-
批准号:1550284
-
项目类别:Standard Grant
-
资助金额:$125.0万
-
财政年份:2015
-
负责人:Jeannette Wing
-
依托单位:
Model Checking of Software Systems
-
批准号:9523972
-
项目类别:Continuing Grant
-
资助金额:$31.7万
-
财政年份:1996
-
负责人:Jeannette Wing
-
依托单位:
First International Workshop on Larch; Endicott House in Dedham, Massachusetts; July 1992
-
批准号:9213475
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:1992
-
负责人:Jeannette Wing
-
依托单位:
Highly Concurrent Objects
-
批准号:8906483
-
项目类别:Continuing Grant
-
资助金额:$31.9万
-
财政年份:1989
-
负责人:Jeannette Wing
-
依托单位:
Formal Methods for Reasoning About Distributed Systems
-
批准号:8620027
-
项目类别:Standard Grant
-
资助金额:$6.28万
-
财政年份:1987
-
负责人:Jeannette Wing
-
依托单位:
A Study of the Specification of Large Programs
-
批准号:8519254
-
项目类别:Standard Grant
-
资助金额:$3.1万
-
财政年份:1985
-
负责人:Jeannette Wing
-
依托单位:
Research Initiation: A Study of the Specification of Large Programs
-
批准号:8403905
-
项目类别:Standard Grant
-
资助金额:$4.77万
-
财政年份:1984
-
负责人:Jeannette Wing
-
依托单位:
海外基金