The level 1 highest weight modules of the quantum affine algebra Uq(ŝln) can be described as spaces of certain semi-infinite wedges. Using a q-antisymmetrization procedure, these semi-infinite wedges can be realized inside an infinite tensor product of evaluation modules. This realization gives rise to simple descriptions of vertex operators and (up to a scalar function) their compositions. 1 R...

This paper describes the use of a quadratic manifold for the model order reduction of structural dynamics problems featuring geometric nonlinearities. The manifold is tangent to a subspace spanned by the most relevant vibration modes, and its curvature is provided by modal derivatives obtained by sensitivity analysis of the eigenvalue problem, or its static approximation, along the vibration mo...

Coupling coefficients for thin shells of arbitrary curvature based upon a ray-theoretic approach devised by the authors are benchmarked against exact and high-frequency results for canonical geometries, i.e., the spherical nd infinite circular cylindrical shells. The well-known high-frequency approximations of the coupling coefficients are found to describe their magnitude accurately but not th...

We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be used in MProlog programs. The system contains a number of built-in SLD-resolution calculi for modal logics, including calculi for useful multimodal logics of belief. Modal logics can be used to reason about knowledge, ...

This study aimed to explore non-verbal executive processes in simultaneous interpreters. Simultaneous interpreters, bilinguals without any training in simultaneous interpreting, and control monolinguals performed the Wisconsin card sorting task (WCST; Experiment 1) and the Simon task (Experiment 2). Performance on WCST was thought to index cognitive flexibility while Simon task performance was ...

Modal correspondence theory is a powerful and effective way to guarantee that adding specific syntactic axioms to a modal logic is mirrored by requiring ‘corresponding’ properties of the underlying Kripke models. However, such axioms not only quantify over all formulas, but they are also global in the sense that the corresponding semantic property is assumed to hold for all states. However, in ...

The research about membrane-shape related processes is a new fascinating field. Recently an increasing number of lipid-binding domains that sculpt or sense the shape of the membrane have been identified. Most of the studies about membrane-shape have been focus on the generation of the curvature and less attention has been put on the mechanism of curvature sensing. Thus, this fascinating subject...

The modal behavior of stmctures is governed by the mechanical characteristics of the constituent components. The dynamic mechanical properties of composite smvztures can be modified according to design requirements through hybridization. The objective of this research is to utilize hybridized pultmded composite materials for the dynamic modification and/or optimization of frames and space stNch...