The classical multitrait-multimethod (MTMM) matrix can be viewed as a two-dimensional cross-classification of traits and methods. Beside commonly used analysis methods such as structural equation modeling and generalizability theory, multilevel analysis offers attractive possibilities. If the focus is only on analyzing classical MTMM data, the multilevel approach has no surplus value, because t...

In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing  a few applications of this approach with the former methods.

Based on multi-dominance discernibility matrices, a non-incremental algorithm RIDDM and an incremental algorithm INRIDDM are proposed by means of Dominance-based Rough Set Approach. For the incremental algorithm, when a new object arrives, after updating one row or one column in the matrix, we could get the updated rule sets. Time complexity analysis and experimental results show that the incre...

We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. Problem frames are patterns that provide a precise conceptual model of what is the problem to be solved. The first step of our method is to match the current task with one of the problem frames that we propose for entr...

Multiple-criteria ABC (MCABC) analysis is conducted using a dominance-based rough set approach. ABC analysis, a well-known technique for inventory planning and control, divides stock-keeping units (SKUs) into three classes according to annual dollar usage. But MCABC analysis offers more managerial flexibility by including other criteria, such as lead time and criticality, in the classification ...

We propose a general framework for the static analysis of programs based on Kleene algebra with tests (KAT). We show how KAT can be used to statically verify compliance with safety policies specified by security automata. We prove soundness and completeness over relational interpretations. We illustrate the method on an example involving the correctness of a device driver.

Fluid simulation plays a key role in various domains of science including computer graphics. While most existing work addresses fluids on bounded Euclidean domains, we consider the problem of simulating the behavior of an incompressible fluid on a curved surface represented as an unstructured triangle mesh. Unlike the commonly used Eulerian description of the fluid using its time-varying veloci...

We present a theoretical study of wetting phenomena and interactions between liquid–vapor interfaces based on the density functional theory. The focus is mostly on the impact of long-range van der Waals interactions both within the fluid and between the fluid and substrate. For the latter, we consider two models – hard wall and soft wall approximations – differing by the role of steric effects ...

Building multilingual opinionated models requires multilingual corpora annotated with opinion labels. Unfortunately, such kind of corpora are rare. We consider opinions in this work as subjective or objective. In this paper, we introduce an annotation method that can be reliably transferred across topic domains and across languages. The method starts by building a classifier that annotates sent...

The paper is concerned with stability analysis for a class of impulsive Hopfield neural networks with Markovian jumping parameters and time-varying delays. The jumping parameters considered here are generated from a continuous-time discrete-state homogenous Markov process. By employing a Lyapunov functional approach, new delay-dependent stochastic stability criteria are obtained in terms of lin...