3,497 research outputs found
Recommended from our members
Coletta, Michela. Decandent Modernity: Civilization and “Latinidad” in Spanish America, 1880-1920. Liverpool: Liverpool UP, 2018. 190 pp.
Coletta, Michela. Decandent Modernity: Civilization and
“
Latinidad
”
in Spanish America, 1880-1920
. Liverpool: Liverpool UP, 2018.
190 pp
An Instantiation-Based Approach for Solving Quantified Linear Arithmetic
This paper presents a framework to derive instantiation-based decision
procedures for satisfiability of quantified formulas in first-order theories,
including its correctness, implementation, and evaluation. Using this framework
we derive decision procedures for linear real arithmetic (LRA) and linear
integer arithmetic (LIA) formulas with one quantifier alternation. Our
procedure can be integrated into the solving architecture used by typical SMT
solvers. Experimental results on standardized benchmarks from model checking,
static analysis, and synthesis show that our implementation of the procedure in
the SMT solver CVC4 outperforms existing tools for quantified linear
arithmetic
Recommended from our members
Embedding sustainability through systems thinking in practice: some experiences from the Open University
One initiative that has emerged during the UN Decade of Education for Sustainable Development (ESD) through the work of the Open University Systems group has been its postgraduate programme in Systems Thinking and Practice (STiP). Built on some forty years’ experience of systems teaching and research at the Open University (OU), this open learning, distance taught programme is designed to develop students’ abilities to tackle complex messy situations, to provide skills to think more holistically and to work more collaboratively to avoid systemic failures. This paper critically reviews the trajectory of this programme –its past, present and future. It discusses the STiP programme’s many boundaries with other programmes and across sectors. Challenges of epistemology, ethics and purpose are explored, in relation to education for sustainability. The programme’s many and varied teaching and learning processes are explicated. The pedagogy of the STiP programme is grounded in a diverse range of students’ experiences and needs that by no means all focus explicitly, or primarily, on sustainability or sustainable development. Many OU students study part-time alongside their other commitments, both work and community-based. STiP students are all interested in systems and learning. But what STiP is a part of for them varies considerably. Students come mainly from the UK and rest of Europe. Many of their interactions are online through several different fora. A diverse, active and critical OU STiP alumni community has developed, initiated by the early graduates of the programme. Academics responsible for the programme also participate in this community’s deliberations, at the invitation of student alumni. In this paper, the authors build on their various experiences of the STiP programme and re-explore its contexts and boundaries from an ESD point of view. They use some of the systems heuristics that they teach, to critically reflect on both what is being achieved through this programme in relation to education for sustainability and what they and some of their past students and associate lecturers think ought to be occurring in this respect as they go forward
LGBT MPs and Candidates in the British General Election May 2015: The State of Play
The UK has led the way in the inclusion of out LGBT politicians in Westminster. In this post, Andrew Reynolds presents the findings of a recent report which discusses LGBT candidates and politicians in the context of the upcoming election. You can see a full version of the report her
A Possible Anglo-Saxon Execution Cemetery at Werg, Mildenhall (Cvnetio), Wiltshire and the Wessex-Mercia Frontier in the Age of King Cynewulf
This chapter is offered as a small token of immense gratitude to the honorand of this volume. Barbara Yorke’s work sets a standard that few are able to reach; always insightful, to the point and deeply thought-provoking. Her ability to throw new light on well-trodden material is widely acknowledged and is in many ways a function of her belief in, and lifelong engagement with, interdisciplinary approaches to the study of the early Middle Ages and the rich fruits that forays into the past of that nature can bear. Barbara has offered sage advice over the last ten years or so in a series of research collaborations at the Institute of Archaeology, ucl, both guiding and informing the Leverhulme Trust funded projects Beyond the Burghal Hidage, Landscapes of Governance and, most recently, Travel and Communication in Anglo-Saxon England. Before that, from 2000–2003, we were colleagues at the then King Alfred’s College, Winchester (now the University of Winchester), where we shared our common interests. This piece therefore attempts to encapsulate the spirit of interdisciplinary enquiry by bringing together materials drawn from archaeology, written sources and place-names to reveal elements of the early medieval landscape history of a corner of north-eastern Wessex (Fig. 12.1), part of the region that has been the focus of so much of Barbara’s writing and whose complicated history is encapsulated in her hugely influential Wessex in the Early Middle Ages published in 1995
- …