It was shown in Schlenker (to appear) that in ASL one and the same anaphoric element has nominal, temporal, and modal uses, and that in all three domains generalized quantifiers can introduce loci (= positions in signing space) that denote what is often called the 'maximal set', i.e. the maximal set of objects that satisfy both the restrictor and the nuclear scope. But the anaphoric status of r...

What are variables, and what is universal quantification over a variable? Nominal sets are a notion of ‘sets with names’, and using equational axioms in nominal algebra these names can be given substitution and quantification actions. So we can axiomatise first-order logic as a nominal logical theory. We can then seek a nominal sets representation theorem in which predicates are interpreted as ...

Nominal rewriting is based on the observation that if we add support for alphaequivalence to first-order syntax using the nominal-set approach, then systems with binding, including higher-order features such as lambda-calculus beta-reduction, can be smoothly represented. Nominal rewriting maintains a strict distinction between variables of the objectlanguage (atoms) and of the meta-language (va...

We present work on the task of reducing noise in nominal terminology extraction. Based on a comparative evaluation of statistical measures aimed at capturing domain specificity, we propose strategies to increase the typically quite low accuracy of classical hybrid nominal multi-word term extraction. Our experiments on a set of German do-it-yourself instruction texts show that using linguistic f...

A robust Capon beamformer (RCB) against the uncertainty of nominal array steering vector (ASV) is formulated in this paper. The RCB, which can be categorized as diagonal loading approach, is obtained by maximizing the output power of the standard Capon beamformer (SCB) subject to an uncertainty constraint on the nominal ASV. The bound of its output signal-to-interference-plusnoise ratio (SINR) ...

We address the inherent robustness properties of nonlinear systems controlled by suboptimal model predictive control (MPC), i.e., when a suboptimal solution of the (generally nonconvex) optimization problem, rather than an element of the optimal solution set, is used for the control. The suboptimal control law is then a set-valued map, and consequently, the closed-loop system is described by a ...

Nominal attributes are very common in data sets about individuals, specifically medical data like patient healthcare records. Attributes of this type tend to be sensitive due to their personal nature. If public-use data sets need to be released, e.g. for clinical research purposes, data should be first anonymized. However, since most anonymization methods omit data semantics when dealing with n...