It is well known that many two-dimensional products of modal logics with at least one ‘transitive’ (but not ‘symmetric’) component lack the product finite model property. Here we show that products of two ‘transitive’ logics (such as, e.g., K4 ×K4, S4 × S4, Grz×Grz and GL×GL) do not have the (abstract) finite model property either. These are the first known examples of 2D modal product logics w...

In this paper we adapt the well-known parametric approach from fractional programming to solve a class of fractional programs with a noncompact feasible region. Such fractional problems belong to an important class of single component preventive maintenance models. Moreover, for a special but important subclass we show that the subproblems occurring in this parametric approach are easy solvable...

The hawkmoth, Manduca sexta, uses both colour and odour to find flowers when foraging for nectar. In the present study we investigated how vision and olfaction interact during learning. Manduca sexta were equally attracted to a scented blue coloured feeding target (multimodal stimulus) as to one that does not carry any scent (unimodal stimulus; visual) or to an invisible scented target (unimoda...

Advances in information technologies and telecommunications are making available a very large number of possible input/output modality combinations which are potentially useful for the expression and exchange of information in human-human-system interaction (HHSI). However, standard or shared foundations consisting of all available and possible elementary, or unimodal, input and output modaliti...

We present a family of unimodal maps, arising from a simple queueing model, which exhibits reverse bifurcations. We compare and contrast this with bifurcations occurring in the well-known logistic family of unimodal quadratic maps.

In recent years, multimodal biometrics recognition technology takes more attention by its higher safety and better performance. In this paper, we propose an efficient feature-level fusion algorithm for face and palm. We extract the features of face and palm by principal component analysis(PCA), and then use the canonical correlation analysis(CCA) to carry out feature fusion and get correlation ...