Increasing Interaction and Visualization in the Computability Course
Increasing Interaction and Visualization in the Computability Course
批准号:
0311407
负责人:
Rakesh Verma
金额:
$10.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-07-01 至 2006-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Computer Science (31)Intellectual MeritComputability concepts are at the core of foundational concepts for computer science, yet many undergraduates obtain only a superficial understanding of these essential concepts due to the "textual" environment in which they are usually taught and the lack of hands-on experience except for paper and pencil exercises. This project enhances learning and improves the learning experience of computer science students at the University of Houston by increasing visualization and interaction in a theory of computation course through adaptation and integration of the popular software tools for visualizing various models of computation developed at Duke University including JFLAP, Pate and PumpLemma. A secondary goal of the project is to expose students to current applications of these concepts and give them a glimpse of the variety of finite automata including tree and DAG (directed acyclic graph) automata. Broader Impacts The dissemination of the new course materials, including lecture notes, presentations, problem sets, the adapted tools, and evaluation instruments will facilitate interaction and visualization in other theory of computation courses, particularly in departments with scarce resources. The course materials developed and the visualization tools adapted will be widely disseminated on the World Wide Web.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Scholarships for Service: Increasing Talented Trus
-
批准号:1433817
-
项目类别:Continuing Grant
-
资助金额:$154.63万
-
财政年份:2014
-
负责人:Rakesh Verma
-
依托单位:
Preparing Computer Science Students for Global Challenges of the Twenty-first Century
-
批准号:1356705
-
项目类别:Standard Grant
-
资助金额:$58.36万
-
财政年份:2014
-
负责人:Rakesh Verma
-
依托单位:
TWC: Small: Unsupervised and Statistical Natural Language Processing Techniques for Automatic Phishing and Opinion Spam Detection
-
批准号:1319212
-
项目类别:Standard Grant
-
资助金额:$40.82万
-
财政年份:2013
-
负责人:Rakesh Verma
-
依托单位:
Collaborative Project: Enriching Security Curricula and Enhancing Awareness of Security in Computer Science and Beyond
-
批准号:1241772
-
项目类别:Standard Grant
-
资助金额:$43.54万
-
财政年份:2012
-
负责人:Rakesh Verma
-
依托单位:
Collaborative Research: An Interactive Undergraduate Data Mining Course with Industrial-Strength Projects
-
批准号:0737404
-
项目类别:Standard Grant
-
资助金额:$8.23万
-
财政年份:2008
-
负责人:Rakesh Verma
-
依托单位:
Algorithmic and Foundational Aspects of Rewriting
-
批准号:0306475
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Rakesh Verma
-
依托单位:
Collaborative Research: Capacity Expansion in Information Assurance
-
批准号:0313880
-
项目类别:Standard Grant
-
资助金额:$20.19万
-
财政年份:2003
-
负责人:Rakesh Verma
-
依托单位:
Algorithmic and Foundational Aspects of Rewriting
-
批准号:9732186
-
项目类别:Standard Grant
-
资助金额:$17.5万
-
财政年份:1998
-
负责人:Rakesh Verma
-
依托单位:
Computational Aspects of Normalization, Matching and Unification
-
批准号:9303011
-
项目类别:Continuing Grant
-
资助金额:$14.41万
-
财政年份:1994
-
负责人:Rakesh Verma
-
依托单位:
Computational Aspects of Rewriting
-
批准号:9010366
-
项目类别:Standard Grant
-
资助金额:$3.61万
-
财政年份:1990
-
负责人:Rakesh Verma
-
依托单位:
国内基金
海外基金
基于interaction和backbone的NP类MAS问题解集表示、复杂性统计与高效算法研究
-
批准号:11201019
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2012
-
负责人:韦卫
-
依托单位:
Reality-based Interaction用户界面模型和评估方法研究
-
批准号:61170182
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2011
-
负责人:田丰
-
依托单位:
Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data
-
批准号:31070748
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2010
-
负责人:Christine Nardini
-
依托单位: