This paper proposes a structural analysis of two types of wh-question formation in the Austronesian languages Seediq and Tagalog. Wh-questions formed on arguments are pseudo-cleft constructions; the wh-word functions as a predicate taking the rest of the clause, in the form of a headless relative, as its subject. The restriction that argument wh-questions can only be formed on absolutives is ac...

We present a formalism that models the computation of clause sharing portfolio solvers with inprocessing. The soundness of these solvers is not a straightforward property since shared clauses can make a formula unsatisfiable. Therefore, we develop characterizations of simplification techniques and suggest various settings how clause sharing and inprocessing can be combined. Our formalization mo...

The class SLUR (Single Lookahead Unit Resolution) was introduced in [22] as an umbrella class for efficient SAT solving. [7,2] extended this class in various ways to hierarchies covering all of CNF (all clause-sets). We introduce a hierarchy SLURk which we argue is the natural “limit” of such approaches. The second source for our investigations is the class UC of unit-refutation complete clause...

In earlier work on a limited form of extended resolution for CDCL based SAT solving, new literals were introduced to factor out parts of learned clauses. The main goal was to shorten clauses, reduce proof size and memory usage and thus speed up propagation and conflict analysis. Even though some reduction was achieved, the effectiveness of this technique was rather modest for generic SAT solvin...

the persian morpheme ra has attracted the attention of many linguists including karimi (1989), dabir-moghaddam (1990) and ghomeshi (1996) among others. karimi takes ra as the accusative case marker, the presence of which on subjects and objects of prepositions render the sentence ungrammatical. according to ghomeshi (1996), it marks dps functioning as vp-level topics. dabir-moghaddam (1990) ana...

Finding a satisfying assignment for a k-CNF formula (k ≥ 3), assuming such exists, is a notoriously hard problem. In this work we consider the uniform distribution over satisfiable k-CNF formulas with a linear number of clauses (clause-variable ratio greater than some constant). We rigorously analyze the structure of the space of satisfying assignments of a random formula in that distribution, ...

topicalization and focus movement have been discussed in literature with respect to a vriety of their properties. in persian, syntactic objects within tense phrase, including phrasal arguments, may freely be displaced to a higher position and the reordering of these elements is mainly considered to be the result of discourse functional elements such as topic and focus. the present study is an e...

OBJECTIVE To determine the efficacy of Bixa Orellana (BO) in patients with benign prostatic hyperplasia (BPH) presenting moderate lower urinary tract symptoms (LUTS). MATERIALS AND METHODS It is a prospective double-blind randomized placebo-controlled study. One thousand four hundred and seventy eight patients presenting moderate LUTS associated to BPH were interviewed, from whom we selected ...

As the threat potential of Code-Reuse Attacks (CRAs) is rising we want to develop a tool that can mitigate such state-of-the-art attacks (e.g., the attack dubbed Counterfeit Object-Oriented Programming (COOP)). This attack is particularly hard to defend against since traditional Control Flow Integrity (CFI) approaches are useless. Based on source code recompilation techniques we want to harden ...