VerifyThis 2019:A Program Verification Competition (Extended Report)

VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties -- something that lies beyond the capabilities of fully automatic verification, and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, which took place at ETAPS 2019 in Prague. Thirteen teams entered the competition, which consisted of three verification challenges and spanned two days of work. The report analyzes how the participating teams fared on these challenges, reflects on what makes a verification challenge more or less suitable for the typical VerifyThis participants, and outlines the difficulties of comparing the work of teams using wildly different verification approaches in a competition focused on the human aspect

Assessment of atrial regional and global electromechanical function by tissue velocity echocardiography: a feasibility study on healthy individuals

BACKGROUND: The appropriate evaluation of atrial electrical function is only possible by means of invasive electrophysiology techniques, which are expensive and therefore not suitable for widespread use. Mechanical atrial function is mainly determined from atrial volumes and volume-derived indices that are load-dependent, time-consuming and difficult to reproduce because they are observer-dependent. AIMS: To assess the feasibility of tissue velocity echocardiography (TVE) to evaluate atrial electromechanical function in young, healthy volunteers. SUBJECTS AND METHODS: We studied 37 healthy individuals: 28 men and nine women with a mean age of 29 years (range 20–47). Standard two-dimensional (2-D) and Doppler echocardiograms with superimposed TVE images were performed. Standard echocardiographic images were digitized during three consecutive cardiac cycles in cine-loop format for off-line analysis. Several indices of regional atrial electrical and mechanical function were derived from both 2-D and TVE modalities. RESULTS: Some TVE-derived variables indirectly reflected the atrial electrical activation that follows the known activation process as revealed by invasive electrophysiology. Regionally, the atrium shows an upward movement of its walls at the region near the atrio-ventricular ring with a reduction of this movement towards the upper levels of the atrial walls. The atrial mechanical function as assessed by several TVE-derived indices was quite similar in all left atrium (LA) walls. However, all such indices were higher in the right (RA) than the LA. There were no correlations between the 2-D- and TVE-derived variables expressing atrial mechanical function. Values of measurement error and repeatability were good for atrial mechanical function, but only acceptable for atrial electrical function. CONCLUSION: TVE may provide a simple, easy to obtain, reproducible, repeatable and potentially clinically useful tool for quantifying atrial electromechanical function

Thucydides [from \u3ci\u3eEncyclopedia of Social Measurement\u3c/i\u3e]

Thucydides (5th Century B.C.E.) is arguably the first person to engage in systematic social measurement. His lone surviving masterwork. The Peloponnesian War, stands as a founding text for the disciplines of history and political science. On its surface, The Peloponnesian War comprehensively and objectively chronicles the 27 year military struggle between Athens and Sparta from which the latter emerged victorious in 404 B.C.E. Yet Thucydides’ aim and approach in recounting the Peloponnesian War is extensively debated, often reflecting enduring disagreements about the philosophy and methodology of social science

Arab Muslim Attitudes Toward the West: Cultural, Social, and Political Explanations

We utilize pooled data from Zogby International's 2002 Arab Values Survey (carried out in Egypt, Jordan, Lebanon, Kuwait, Morocco, Saudi Arabia, and UAE) in order to test for “cultural,” “social” and/or international “political” influences on Arab Muslim attitudes toward “Western” countries (Canada, France, Germany, UK, and USA). We find little support for “cultural” hypotheses to the effect that hostility to the West is a mark-up on Muslim and/or Arab identity. We find only limited support for “social” hypotheses that suggest that hostility to the West is predicted by socioeconomic deprivation, youth, and/or being male. We find the strongest support for a lone “political” hypothesis: hostility toward specific Western countries is predicted by those countries' recent and visible international political actions in regard to salient international issues (e.g., Western foreign policies toward Palestine)

Determinants of Arab Public Opinion on Foreign Relations

Using Zogby International polling data from seven different Arab nations (Egypt, Jordan, Kuwait, Lebanon, Morocco, Saudi Arabia, and the United Arab Emirates) this paper offers a societal-level quantitative analysis (N=91 dyads) of the determinants of Arab public opinion toward 13 different non-Arab countries (Canada, China, France, Germany, India, Iran, Israel, Japan, Pakistan, Russia, Turkey, the United Kingdom, and the United States). We first explore whether Arab public opinion toward these countries is predicted by general “realist,”“liberal,”“Marxist,” and/or “cultural” hypotheses suggested in the IR/foreign policy literature. After finding few statistically significant relationships among these variables, we present evidence that Arab publics evaluate non-Arab countries on the basis of those countries' specific foreign policy behaviors throughout the wider Middle East (e.g., especially those behaviors affecting Palestine and Iraq). Noting that these evaluations occur in the context of competing identity frames, we provisionally link Arab publics' concerns with “regional” matters to the high salience of “Arabist” identity among respondents to the Zogby survey

VerifyThis 2019: a program verification competition

VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties—something that lies beyond the capabilities of fully automatic verification and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, which took place at ETAPS 2019 in Prague. Thirteen teams entered the competition, which consisted of three verification challenges and spanned 2 days ofwork. This report analyzes howthe participating teams fared on these challenges, reflects on what makes a verification challenge more or less suitable for the typical VerifyThis participants, and outlines the difficulties of comparing the work of teams using wildly different verification approaches in a competition focused on the human aspect