For 30 male and 30 female talkers, distributions of short-term rms speech levels, relative to the corresponding long-term rms levels, were determined in each of eight 1/3-oct bands for six short-term measurement intervals. Consecutive, Hanning-windowed, 20-ms time records were combined to produce nominal measurement intervals ranging from 20 to 120 ms. For each measurement interval, mean distri...

In solid-phase peptide synthesis, the nominal batch size is calculated using the starting resin substitution and the mass of the starting resin. The starting resin substitution constitutes the basis for the calculation of a whole set of important process parameters, such as the number of amino acid derivative equivalents. For Fmoc-substituted resins, substitution determination is often performe...

We present a simplified version of nominal terms with improved properties. Nominal terms are themselves a version of first-order terms, adapted to provide primitive support for names, binding, capturing substitution, and alpha-conversion. Nominal terms lack certain properties of first-order terms; it is always possible to ‘choose a fresh variable symbol’ for a first-order term and it is always ...

We present a formal correspondence between Laird’s trace semantics and the nominal game model of Murawski and Tzevelekos for RefML, a callby-value language with higher-order references. This gives an operational flavor to game semantics, where denotation of terms is generated via an interactive reduction, which allows to reduce terms with free functional variables, and where pointer structure i...

In this paper we have described the construction of a graded naming test that makes the distinction between object and proper names. This distinction was prompted by a single case study of a patient who showed a specific naming impairment for a particular class of proper names. Naming vocabulary was found to be highly correlated with other measures of verbal intelligence and we have discussed t...

This thesis investigates and proposes models for programming and verifying adaptive software at different abstraction levels. First, we design the kernel of a programming language, endowed with primitives for programming the adaptation to different working environments. We provide the language with a type and effect system that allows us to statically prove properties of the behaviour of the pr...

We define a type inference system for Nominal Rewriting where the types associated to terms are polymorphic (built from a set of base data sorts, type variables, and user-defined type constructors). In contrast with standard term rewriting systems or the λ-calculus, a typing environment for nominal rewriting includes type information for atoms, variables and function symbols. We give a syntax-d...

We develop the coalgebraic theory of nominal Kleene algebra, including an alternative language-theoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulation-based decision procedure for the equational theory.

Recently, a very general description logic (DL) that extends SROIQ (the DL underlying OWL 2 DL) at the same time with nominal schemas and epistemic modal operators has been proposed, which encompasses some of the most prominent monotonic and non-monotonic rule languages, including Datalog under the answer set semantics. A decidable fragment is also presented, but the restricted language does no...

Prior information for robust control synthesis includes the knowledge of a nominal model and upper bounds on model uncertainties and external disturbances. Incomplete prior information is often an obstacle in the application of robust control theory to real problems. Data-based estimation of upper bounds on model uncertainties and disturbances is called errors quantification. At the early 90s, ...