In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equatio...

The quality of low frequency audio reproduction in small spaces has always been problematic. For some time, methods have been suggested in order to optimise this reproduction. Many such methods have been based upon objective metrics which remain unproven from a subjective perspective. Whilst perception has been studied, this thesis identifies a research gap for more thorough testing. A series o...

The modal split model is one of the steps of the classical four-step travel demand planning. Predictive, descriptive, and prescriptive modal split models are essential to make a balance between travel demand and supply. To calibrate these models, it is necessary to detect and employ influential independent variables that are related to characteristics of travel modes, individual and family attr...

A general method of automated modal logic theorem proving is discussed and illustrated. This method is based on the sub-stitutional framework for the development of systems for hybrid reasoning. Sentences in modal logic are translated into a constraint logic in which the constraints represent the connections between worlds in the possible world semantics for modal logic. Deduction in the constr...

A wide range of vibrating structures are characterized by variable structural dynamics resulting from changes in environmental and operational conditions, posing challenges in their identification and associated condition assessment. To tackle this issue, the present contribution introduces a stochastic modelingmethodology viaGaussian Process (GP) time-series models. In the presently introduced...

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truthfunctional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congru...

Abstract Current state-of-the-art approaches to cross- modal retrieval process text and visual input jointly, relying on Transformer-based architectures with cross-attention mechanisms that attend over all words objects in an image. While offering unmatched performance, such models: 1) are typically pretrained from scratch thus less scalable, 2) suffer huge latency inefficiency issues, which ma...

As an important research issue in affective computing community, multi-modal emotion recognition has become a hot topic the last few years. However, almost all existing studies perform multiple binary classification for each with focus on complete time series data. In this paper, we multi-label scenario. scenario, consider not only label-to-label dependency, but also feature-to-label and modali...

Cross-modal retrieval has drawn wide interest for retrieval across different modalities of data (such as text, image, video, audio and 3D model). However, existing methods based on deep neural network (DNN) often face the challenge of insufficient cross-modal training data, which limits the training effectiveness and easily leads to overfitting. Transfer learning is usually adopted for relievin...