We propose an implementation of a functional logic language with parametric order sorted types by translating typed lazy narrowing into Prolog, and establishing a reasonable strategy of combination of data and type constraints solving. By means of this translation, we describe how types can be used at run-time to prune the search space of solutions of a goal. Moreover, we present type inference...

This paper presents an approach to controller design in the complex plain, satisfying some performance specifications and an analysis of the obtained system in the presence of parametric uncertainty. The relative location of regions in the complex plane, specifying performance and uncertainty, is analyzed. Transient responses and the notion of robustness are commented. The design example, shown...

We present a mutiple-perspective collaboration metamodel, which mixes Place-Centred and People-Centred perspectives. It allows instances of the metamodel to be derived and experimented until the more adequate to a particular situation is found. It also allows parametric changes in run-time, enhancing the flexibility of the metamodel. The motivation for this work was extracted from the necessity...

Negative binomial distributions are fitted to partnership scores and innings scores in test cricket. For partnership scores, we use a parametric model that allows us to consider run rate as a covariate in the distribution of runs scored and hence to use run rate as a surrogate for batting strategy. Then we describe the implied influence of run rate on match outcome probabilities given the state...

Frictionless, perfectly competitive traded-goods markets justify thinking of purchasing power parity (PPP) as the main driver of exchange rates in the long-run. But differences in the traded/non-traded sectors of economies tend to be persistent and affect movements in local price levels in ways that upset the PPP balance (the underpinning of the Harrod-Balassa-Samuelson hypothesis, HBS). This p...

The joint behavior of Total Factor Productivity (TFP) and the Relative Price Investment (RPI) in data lead several authors to conclude that neutral technology shocks are positively correlated with investment-specific shocks, challenging specification standard macroeconomic models. This paper rejects correlated-shocks hypothesis using both parametric non-parametric methods controlling for struct...

the purpose of this study is estimation of daily value at risk (var) for total index of tehran stock exchange using parametric, nonparametric and semi-parametric approaches. conditional and unconditional coverage backtesting are used for evaluating the accuracy of calculated var and also to compare the performance of mentioned approaches. in most cases, based on backtesting statistics results, ...

In this paper, the finite element analysis of two-dimensional linear viscoelastic problems is performed using quadrilateral complex Fourier elements and, the results are compared with those obtained by quadrilateral classic Lagrange elements. Complex Fourier shape functions contain a shape parameter which is a constant unknown parameter adopted to enhance approximation’s accuracy. Since the iso...