This paper is about non-interrogative temporal embedded clauses introduced by when (temporal when-clauses), their semantic interpretation and their syntax/semantics mapping. Our goal is to provide a fully compositional account of temporal when-clauses that accounts for their formal identity with interrogative clauses and their difference in meaning. The main idea is that temporal when-clauses a...

A simple nonconstructive argument shows that most CNF formulas with clauses (where is a large enough constant) are not satisfiable. It is an open question whether there is an efficient refutation algorithm that for most formulas with clauses proves that they are not satisfiable. We present a polynomial time algorithm that for most CNF formulas with clauses (where is a large enough constant) fin...

In Danish relative clauses and embedded interrogative clauses are not extraction islands. However, there is an asymmetry between the two clauses. In Danish it is possible to extract the subject out of an embedded interrogative clause. Extraction of the subject out of a relative clause, on the other hand, is not allowed. In this paper we present a formal HPSG analysis of extraction in Danish whi...

Communicat ion among agents collaborating on a task often involves complex ut terances about multiple actions. In this paper, we analyze two part icular multiaction constructions, ut terances with means clauses and utterances with rationale clauses. We present the distinctive features of these constructions, describe their logical form, and define interpretation rules for deriving their meaning...

Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories. We give examples of application. 1998 ACM Subject Clas...

Robust performance controller design for duty-cycle controlled series resonant converter (SRC) is proposed in this paper. The uncertainties of the converter are analyzed with load variation and power circuit components tolerances are taken into consideration. Additionally, a nominal performance (NP) controller is designed. Closed-loop system is simulated with Orcad and simulation results of r...