Results 21 to 30 of about 15,879 (140)
RedAlert: Determinacy Inference for Prolog [PDF]
, 2011 This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle cut. To this end a new semantics is introduced for cut, which is abstracted to systematically derive a backward analysis that derives conditions ...
King, Andy, Kriener, Jael
core +3 more sources
Generalizing Consistency and other Constraint Properties to Quantified Constraints [PDF]
, 2007 Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate.
Bordeaux, Lucas +2 more
core +2 more sources
The Taylor Principle and (In-)Determinacy in a New Keynesian Model with Hiring Frictions and Skill Loss [PDF]
SSRN Electronic Journal, 2010 We introduce skill decay during unemployment into Blanchard and Gali's (2008) New-Keynesian model with hiring frictions and real-wage rigidity. Plausible values of quarterly skill decay and realwage rigidity turn the long-run marginal cost-unemployment relationship positive in a "European" labour market with little hiring but not in a fluid "American ...
openaire +4 more sources
How unprovable is Rabin's decidability theorem?
, 2015 We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical ...
Beckmann A. +6 more
core +1 more source
International Journal of Management, Finance and AccountingIn Malaysia, a worrisome trend is emerging as an increasing number of individuals find themselves trapped within the poverty bracket and the Base of the Pyramid (BoP) socioeconomic groups.
MHD Louai Sarhan, Kamarulzaman Ab Aziz
doaj +1 more source
System as a Unifying Process: An Onto‐Epistemic Notion of System
Systems Research and Behavioral Science, EarlyView.ABSTRACT This article proposes an onto‐epistemic notion of system as a relational process of unifying a multiplicity of actuals and abstractions into an actual unity, thereby encompassing concreteness and abstraction onto the same plane. This notion rejects the opposition between constructivism and realism within systems studies, the excessive focus on
Felipe Rodrigues Oliveira e Silva +1 more
wiley +1 more source
Judaism, Philo, and Hegel's Theology
Modern Theology, EarlyView.Abstract Hegel displays consistent interest in Judaism, but his presentation seems to differ widely between his earlier and later writings. Contemporary scholarly interpretations of this apparent change also differ widely. In this article, I present the interpretive problem as one of continuity‐discontinuity, and place the major scholarly treatments ...
Reed Frey, C.O.
wiley +1 more source
R. Merton: Factors of production of scientific innovations in sociology
RUDN journal of SociologyThe article considers the nonlinear production of scientific innovations in sociology in the context of Robert Merton’s success in creating an original theory in competition with other authoritative scholars. The relevance of his experience is determined
S. A. Kravchenko, R. I. Filippov
doaj +1 more source
A Theory of Pricing Private Data [PDF]
, 2012 Personal data has value to both its owner and to institutions who would like to analyze it. Privacy mechanisms protect the owner's data while releasing to analysts noisy versions of aggregate query results.
Li, Chao +3 more
core +5 more sources
Bad Practices: Unintended Consequences of Practice‐Based Theories of Reference
Analytic Philosophy, EarlyView.ABSTRACT Practice theories are a genus of causal theories of reference. They claim that the semantic referent of an utterance of a name is determined by features of a practice of using that name to speaker‐refer to, or coordinate actions around, a certain object.
Hugo Heagren
wiley +1 more source