Results 1 to 10 of about 7,903 (294)
On the reification of global constraints [PDF]
Constraints, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Beldiceanu, Nicolas +3 more
openaire +4 more sources
Reification and Truthmaking Patterns [PDF]
, 2018 Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be reified is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible ...
Nicola Guarino +2 more
core +3 more sources
Reification and symbolization [PDF]
Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011 The construction of mental objects by learners is a very complex process and it is desirable to understand it as deeply as possible, especially to understand domain specific subtleties. In this paper we will argue that the adaption of the reification theory that has been used successfully in mathematics education provides new and important insights ...
openaire +1 more source
Theory propagation and reification [PDF]
Science of Computer Programming, 2015 SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives. The DPLL(T) approach to SMT has risen to prominence as a technique for solving these quantifier-free problems.
Edward Robbins 0001 +2 more
openaire +1 more source
Reification and the consciousness of the patient [PDF]
Social Science & Medicine. Part B: Medical Anthropology, 1980 Abstract The signs and symptoms of disease do something more than signify the functioning of our bodies: they also signify critically sensitive and contradictory components of our culture and social relations. Yet, in our standard medical practices this social “language” emanating from our bodies is manipulated by concealing it within the realm of ...
openaire +3 more sources
Reification without evaluation [PDF]
Proceedings of the 1988 ACM conference on LISP and functional programming, 1988 Constructing self-referential systems, e.g. Brian Smith''s 3-Lisp language, is actually more straightforward than you think. Anyone can build an infinite tower of processors (where each processor implements the processor at the next level below) by employing some common sense and one simple trick.
openaire +1 more source
On the reification of Java wildcards
Science of Computer Programming, 2008 AbstractProviding runtime information about generic types–that is, reifying generics–is a challenging problem studied in several research papers in the last years. This problem is not tackled in current version of the Java programming language (Java 6), which consequently suffers from serious safety and coherence problems.
CIMADAMORE, MAURIZIO, VIROLI, MIRKO
openaire +2 more sources
'All Reification Is a Forgetting': Benjamin, Adorno, and the Dialectic of Reification
In his contribution to the book The Idea of Communism, Slavoj Žižek argues that ‘we can no longer talk about “reification”in the classic Lukácsian sense. Far from being invisible, social relationality in its very fluidity is directly the object of marketing and exchange’ (Žižek, 2010, p. 221).
openaire +2 more sources