Interpretive Summaries, May 2021

EMBL Programme 2017-2021: Digital Biology

Summaries ∗

Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program’s lifetime. This is due, in large part, to the use of syntactic program differencing techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we d...

Interpretive Summary

The Office of Public Health and Science in the U.S. Department of Agriculture’s Food Safety and Inspection Service (USDA/FSIS)—with input from other federal agencies, industry, and the public—conducted an assessment of the risk of illness associated with Escherichia coli O157:H7 in ground beef. This risk assessment details our current state of knowledge about (1) the occurrence of E. coli O157:...

Query-Focused Summaries or Query-Biased Summaries?

In the context of the Document Understanding Conferences, the task of Query-Focused Multi-Document Summarization is intended to improve agreement in content among humangenerated model summaries. Query-focus also aids the automated summarizers in directing the summary at specific topics, which may result in better agreement with these model summaries. However, while query focus correlates with p...

Interpretive and Critical Evaluation

we see knowledge about teaching as communicative and emancipatory in nature, we are led to view the evaluation of teaching as interpretive and critical processes. We have become quite familiar with the notion that we should be matching the kinds of techniques we use for the evaluation of learning with the nature of the expected learning outcomes. We use multiple-choice tests to assess the recog...