Publications
-
The Mechanical Verification of a DPLL-Based Satisfiability Solver
We use the Prototype Verification System (PVS) to verify a satisfiability procedure based on the Davis–Putnam–Logemann–Loveland (DPLL) scheme.
-
Domain-specific Assessment: What Foundational Concepts and Reasoning Skills are Community College Students Learning?
The Domain-Specific Assessment project developed a set of tools and assessment items that measure students’ capacity to apply knowledge rather than simply memorize vast amounts of it.
-
The Design Pattern: A Blueprint for a New Domain-specific Assessment
Assessment researchers at SRI International in Menlo Park, CA, designed a prototype scenario-based assessment to measure how well college students learn the big ideas of biology and economics and how…
-
Implementing Online Learning Labs in Schools and Districts
-
Focus, Fiddle, and Friends: Experiences That Transform Knowledge for the Implementation of Innovations
-
Scientific Literacy In The Context Of Civic Reasoning: An Educational Design Problem
-
Focus on α4β2* and α6β2* nAChRs for Parkinson’s Disease Therapeutics
-
Systems Level in Silico Pathway Analysis Predicts Metabolites That Are Potential Antimicrobial Targets
-
Associations of Cyp2A6 Genotype with Smoking Behaviors in Southern China
-
Formative Assessment Practices to Promote Model-Based Reasoning in Earth Science
-
Supporting science teaching with scientists and engineers in middle school classrooms
Bienkowski, M. & Dieterle, E. (2011). Supporting science teaching with scientists and engineers in middle school classrooms. Annual Meeting of the American Educational Research Association (April), New Orleans, LA.
-
Biocyc: Microbial Genomes and Cellular Networks