Cylindrical algebraic decomposition (CAD) is a core algorithm within Symbolic Computation, particularly for quantifier elimination over the reals and polynomial systems solving more generally. It is now finding increased application as a decision procedure for Satisfiability Modulo Theories (SMT) solvers when working with non-linear real arithmetic. We discuss the potentials from increased focu...

In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema design, fixpoint evaluations of these rules at run time compute consistent realizations of view update requests. Alternative realizations are expressed using disjunctive Datalog internally. The approach extends and integrates s...

The goal of this paper is to characterize and account for the systematic distribution of a semantic property, “evaluativity”. A construction is evaluative if it makes reference to a degree that exceeds a contextually specified standard. The term comes from Neeleman et al. (2004); Seuren (1978) alternatively refers to this property as ‘orientedness’ and Bierwisch (1989) as ‘norm-relatedness’. Th...

{ Since OSF/Motif is lacking any tool in the domain of graphics, we developed a new widget providing high level primitives for anyone who needs interactive or animated graphics. This widget is able to display various classes of objects, which are internally deened using the same kind of object-orientedness as the X toolkit uses to deene the concept of a widget. This paper will discuss our motiv...

the study of the function of religion in creating meaning in man’s individual life and its social effects is one of the significant subjects in sociology of religion. the significance of meaning in life stems from the fact that with the advent of the modern world, the traditional value systems encounter a challenge and the volatility of the modern world life, its multiple of meanings and its va...

making a distinction between the two concepts of explanation (tabyīn) and interpretation (tafsīr) in the study of history, the present article examines the status of traditional hermeneutics in the formation and development of history as a science (history science). explanation means a description of how and why a series of events take place in relation to the subject being studied in light of ...

With the advent of digital economy, more aspects and methods providing services products in organizations are related to digitalization. These changes affect both an organization’s work management practices (including process management) innovation mindset among employees. Although employees one fundamental factors each organization their level satisfaction is crucial efficiency a busine...

For various good reasons, many businesses are moving from traditional desktop applications towards web based applications. But especially in web based applications, the user system interaction lacks any fluidity that could keep the user in the task flow. Jumps and breaks reduce the usability. Furthermore, the transaction orientedness and static paths of actions in these applications reduce the ...