Identifiability of nonlinear logistic test models

The linear logistic test model (LLTM) specifies the item parameters as a weighted sum of basic parameters. The LLTM is a special case of a more general nonlinear logistic test model (NLTM) where the weights are partially unknown. This paper is about the identifiability of the NLTM. Sufficient and necessary conditions for global identifiability are presented for a NLTM where the weights are linear functions, while conditions for local identifiability are shown to require a model with less restrictions. It is also discussed how these conditions are checked using an algorithm due to Bekker, Merckens, and Wansbeek (1994). Several illustrations are given.This article was written while the first author was a post doctoral fellow at the university of Twente. He gratefully acknowledges the university's hospitality and the financial support by NWO (project nr. 30002).     

A global optimization approach for generating efficient points for multiobjective concave fractional programs

In this article, we present a global optimization approach for generating efficient points for multiobjective concave fractional programming problems. The main work of the approach involves solving an instance of a concave multiplicative fractional program (W̄). Problem (W̄) is a global optimization problem for which no known algorithms are available. Therefore, to render the approach practical, we develop and validate a branch and bound algorithm for globally solving problem (W̄). To illustrate the performance of the global optimization approach, we use it to generate efficient points for a sample multiobjective concave fractional program. Copyright © 2006 John Wiley & Sons, Ltd.     

A Mixed λ-calculus

The aim of this paper is to define a λ-calculus typed in aMixed (commutative and non-commutative) Intuitionistic Linear Logic. The terms of such a calculus are the labelling of proofs of a linear intuitionistic mixed natural deduction NILL, which is based on the non-commutative linear multiplicative sequent calculus MNL [RuetAbrusci 99]. This linear λ-calculus involves three linear arrows: two directional arrows and a nondirectional one (the usual linear arrow). Moreover, the -terms are provided with seriesparallel orders on free variables. We prove a normalization theorem which explicitly gives the behaviour of the order during the normalization procedure. Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller     

Multilevel and Latent Variable Modeling with Composite Links and Exploded Likelihoods

Composite links and exploded likelihoods are powerful yet simple tools for specifying a wide range of latent variable models. Applications considered include survival or duration models, models for rankings, small area estimation with census information, models for ordinal responses, item response models with guessing, randomized response models, unfolding models, latent class models with random effects, multilevel latent class models, models with log-normal latent variables, and zero-inflated Poisson models with random effects. Some of the ideas are illustrated by estimating an unfolding model for attitudes to female work participation. We wish to thank The Research Council of Norway for a grant supporting our collaboration.     

Multilevel Modeling with Correlated Effects

When there exist omitted effects, measurement error, and/or simultaneity in multilevel models, explanatory variables may be correlated with random components, and standard estimation methods do not provide consistent estimates of model parameters. This paper introduces estimators that are consistent under such conditions. By employing generalized method of moments (GMM) estimation techniques in multilevel modeling, the authors present a series of estimators along a robust to efficient continuum. This continuum depends on the assumptions that the analyst makes regarding the extent of the correlated effects. It is shown that the GMM approach provides an overarching framework that encompasses well-known estimators such as fixed and random effects estimators and also provides more options. These GMM estimators can be expressed as instrumental variable (IV) estimators which enhances their interpretability. Moreover, by exploiting the hierarchical structure of the data, the current technique does not require additional variables unlike traditional IV methods. Further, statistical tests are developed to compare the different estimators. A simulation study examines the finite sample properties of the estimators and tests and confirms the theoretical order of the estimators with respect to their robustness and efficiency. It further shows that not only are regression coefficients biased, but variance components may be severely underestimated in the presence of correlated effects. Empirical standard errors are employed as they are less sensitive to correlated effects when compared to model-based standard errors. An example using student achievement data shows that GMM estimators can be effectively used in a search for the most efficient among unbiased estimators. This research was supported by the National Academy of Education/Spencer Foundation and the National Science Foundation, grant number SES-0436274. We thank the editor, associate editor, and referees for detailed feedback that helped improve the paper.     

SLAP: Specification logic of actions with probability

A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main contributions of the paper is the formulation of the decision procedure: a tableau system which appeals to solving systems of linear equations. The tableau rules eliminate propositional connectives, then, for all open branches of the tableau tree, systems of linear equations are generated and checked for feasibility. Proofs of soundness, completeness and termination of the decision procedure are provided.     

An Approach for Determining the Mix between Human and Automated Service Providers

With the growing popularity of self‐service technologies (SST), businesses have to determine how to combine traditional human service with SST technologies. These mix problems have not received adequate attention in the research literature. This paper offers a decision model for solving mix problems between human service channels and SSTs. The decision problem cannot be determined as a traditional max or min problem and it is fuzzy. In fuzzy problems, the decision maker (DM) is considered as the focal point with the relevant knowledge and preferences and therefore, the objective is to maximize the DM's preferences. This paper develops a decision support system for eliciting a DM's value function when the service channels are considered to be substitutes, but when the rate of substitution may change and then uses a linear‐fractional model to fit the DM's data and optimize the DM's preferences. A service mix problem for a grocery store with human service providers and SSTs is used to demonstrate how the decision model can be employed to analyze and solve service mix decision making problems. Copyright © 2014 John Wiley & Sons, Ltd.     

Exploring behavioral validity of driving simulator under time pressure driving conditions of professional drivers

Driving simulators have become an important tool in human factors research, given that they are appropriately validated. Therefore, this study aims to explore the behavioral (absolute and relative) validity of a fixed-base driving simulator by analyzing different driving behavior measures such as speed, longitudinal acceleration, lateral acceleration, and brake pedal force. Thirty professional drivers participated in the experiment and the data was collected in real and simulated worlds under No Time Pressure (NTP) and Time Pressure (TP) driving conditions. Initially, comparative analyses were conducted on different driving behavior measures using Wilcoxon-signed rank test to examine absolute validity of the driving simulator. Finally, Generalized Linear Mixed (GLM) models were developed for computing the effective distance between real and simulated worlds by quantifying the parameters and for establishing relative validity. In general, the continuous profiles of driving behavior measures followed similar trends in real and simulated worlds and comparative analyses indicated relative validity of the driving simulator. The GLM models showed significant interaction effect of driving environments (real-world and simulated world) and driving conditions (NTP and TP) where high driving speed, high brake pedal force, and low lateral acceleration were observed in simulated world under TP driving condition than real-world under TP driving condition. Overall, the statistical analyses showed qualitative correspondence (relative validity) of the driving behavior measures in between real and simulated worlds. The findings from the current study showed expediency of the driving simulator and its effectiveness in conducting research on human factors and driver safety.