Publications Search

54 results

National Evaluation of Writing Project School Partnerships - Final Report (Executive Summary)
H. Alix Gallagher, Katrina Woodworth, Haiwen Wang, Jennifer Bland, Kristin Bosetti, Lauren Cassidy, Larry Gallagher, Amy Hafter, Teresa McCaffrey, Robert Murphy, & Patrick Shields

Final report on SRI's examination of the effects of partnerships on teacher practices and student writing. The cluster randomized controlled trial (RCT) included a multimethod study to document how partnerships were developed and implemented in participating schools and sites.

Sep, 2012 Technical Report Download PDF Details
Topics: 21st Century Skills Educational Impact Evaluation Randomized Controlled Trials + Quasi-Experimental Designs Reading, Writing + Humanities Teacher Quality + Learning
National Evaluation of Writing Project School Partnerships - Final Report (with Appendices)
H. Alix Gallagher, Katrina Woodworth, Haiwen Wang, Jennifer Bland, Kristin Bosetti, Lauren Cassidy, Larry Gallagher, Amy Hafter, Teresa McCaffrey, Robert Murphy, & Patrick Shields

Final report on SRI's examination of the effects of partnerships on teacher practices and student writing. The cluster randomized controlled trial (RCT) included a multimethod study to document how partnerships were developed and implemented in participating schools and sites.

Sep, 2012 Technical Report Download PDF Details
Topics: 21st Century Skills Educational Impact Evaluation Randomized Controlled Trials + Quasi-Experimental Designs Reading, Writing + Humanities Teacher Quality + Learning
National Evaluation of Writing Project School Partnerships - Final Report (without Appendices)
H. Alix Gallagher, Katrina Woodworth, Haiwen Wang, Jennifer Bland, Kristin Bosetti, Lauren Cassidy, Larry Gallagher, Amy Hafter, Teresa McCaffrey, Robert Murphy, & Patrick Shields

Final report on SRI's examination of the effects of partnerships on teacher practices and student writing. The cluster randomized controlled trial (RCT) included a multimethod study to document how partnerships were developed and implemented in participating schools and sites.

Sep, 2012 Technical Report Download PDF Details
Topics: 21st Century Skills Educational Impact Evaluation Randomized Controlled Trials + Quasi-Experimental Designs Reading, Writing + Humanities Teacher Quality + Learning
On Program Synthesis and Program Verification
Zohar Manna, & Richard J. Waldinger

Certain similarities between program verification and program synthesis are pointed out. The analogy is illustrated using a "bubble-sort" program. Recent work has shown that automatic deductive methods may be applied to the problems of program verification and program synthesis.

Nov, 1970 Journal Download PDF Details
Possible-World Semantics For Autoepistemic Logic
Robert C. Moore

In a previous paper [Moore, 1983a, 1983b], we presented a nonmonotonic logic for modeling the beliefs of ideally rational agents who reflect on their own beliefs, which we call "autoepistemic logic."

Aug, 1984 Journal Download PDF Details
Poster: A System for Creating Assessment of Higher-Order Reasoning in Specific Undergraduate Domains
Louise Yarnall, Geneva Haertel, Larry Gallagher, Rob Johnstone, Robert Mislevy, & Ernest Pascarella

Poster presentation at the annual project manager’s meeting of the Institute of Education Sciences, U.S. Department of Education. Washington, D.C.

Jun, 2009 Miscellaneous Download PDF Details
Topics: Assessment Design + Evaluation Community College: Transitions
Poster: Assessment Research to Inform Community College Instructional Goals
Louise Yarnall, Geneva Haertel, Larry Gallagher, Rob Johnstone, Robert Mislevy, & Ernest Pascarella

A poster presenting the team's research on how to make visible, by means of assessment, the important, foundational knowledge in domain areas.

Apr, 2010 Miscellaneous Download PDF Details
Topics: Assessment Design + Evaluation Community College: Transitions
Poster: Using a Principled Design System to Identify Community College Outcomes
Louise Yarnall, Geneva Haertel, Larry Gallagher, Rob Johnstone, Robert Mislevy, & Ernest Pascarella

Poster presentation at the annual project manager’s meeting of the Institute of Education Sciences, U.S. Department of Education. Washington, D.C.

Jun, 2008 Miscellaneous Download PDF Details
Topics: Assessment Design + Evaluation Community College: Transitions
Practical Natural-Language Processing by Computer
Robert C. Moore

We first consider why one would want to use natural language to communicate with computers at all, looking at both general issues and specific applications. Next we examine what it really means for a system to have natural-language capability.

Oct, 1981 Journal Download PDF Details
Problems In Logical Form
Robert C. Moore

This paper surveys some of the key problems that arise in defining a system of representation for the logical forms of English sentences and suggests possible approaches to their solution.

Apr, 1981 Journal Download PDF Details