We explore the implications of the two queries assumption, P [1] = P SAT [2] || , with respect to the polynomial hierarchy (PH) and Arthur-Merlin classes. We prove the following results under the assumption P [1] = P SAT [2] || : 1. AM = MA 2. There exists no relativizable proof for PH ⊆ MA 3. Every problem in PH can be solved by a non-uniform variant of a Merlin-Arthur(MA) protocol where Arthu...

This paper addresses the question of φ -feature marking in Basque. Basque finite verbs display an uncommonly large number of morphemes which covary with the φ -features of the absolutive, ergative, and dative arguments as well as (in some dialects) the gender of the addressee. Recent work (Preminger 2009; Arregi & Nevins 2012) has addressed the question of how these morphemes are derived. In ta...

In this paper the basic features of the intonational structure of Bermeo Basque (BB) are analyzed. In BB there exists a lexical distinction between accented and unaccented words. Accented words are always stressed, and unaccented words (not containing any accented morphemes) only receive stress on their final syllable when they are immediately preceding the verb; otherwise they surface stressle...

Real-time, in situ electrochemical quartz crystal microbalance (EQCM) measurements are conducted to better understand the electrocrystallization of calcium phosphates (CaP) on CP-Ti. X-ray photoelectron spectroscopy is used to identify the exact phase deposited, so that reliable estimation of the electrochemical processes involved is made. Analysis of the integrated intensity of the oxygen shak...