over the past twenty-five years, researchers have expressed considerable interest in titles of academic publications. unfortunately, conference paper titles (cpts) have only recently begun to receive attention. the aim of this study, therefore, is to investigate the text length, syntactic structure, and lexicon of cpts in applied linguistics. a data set of 698 titles was selected from the 2008 ...

Many data mining algorithms require numeric, preferably normalized (scaled) data i.e. within specific ranges. Agriculture data by default is non-numeric or nominal in nature. Different techniques are available for mapping from nominal to numeric values, and the selection depends on the problem at hand and the mining tool to be used. However, most (if not all) the techniques are based on the sta...

These are some lecture notes for a course presenting the cubical set model of type theory, first in Copenhagen, December 2014, and then in Paris, February 2015. We describe a particular presheaf model of type theory. This description can also be seen as an operational semantics of a purely syntactical type system. It involves a nominal extension of λ-calculus. We use a generalization of the Kan...

This paper deals with the problem of simulating the behaviour of a mobile robot moving on a terrain along a precomputed nominal path. The nominal path is supposed to be provided by a planner. The purpose of the simulator is to instantiate the nominal path into a complete trajectory, while verifying that a set of constraints is satissed all along the motion. The simulator is based on an iterativ...

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 reduction schemes such as lambda-calculus betareduction, can be smoothly represented. Nominal rewriting maintains a strict distinction between variables of the objectlanguage (atoms) and of the meta-lang...

This paper studies the robust optimization for the single allocation p-hub median problem under discount factor uncertainty. We develop the discount factor as a novel uncertain parameter, which represents different connection modes between hubs. The discount factor can be described by a random variable with discrete distribution in nominal case. We apply a robust optimization approach to deal w...

We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus and first-order ...

Risk-based asset allocation strategies are mainly used to diversify nominal asset weights. In this paper, we discuss the diversification of risk factors. The analysis is based on the idea of Partovi and Caputo (2004), who use principal component analysis to transform a portfolio into a set of uncorrelated principal portfolios. Risk-based asset allocation strategies can be applied to these uncor...