Results 31 to 40 of about 1,206 (89)
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity [PDF]
, 2017 In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL)
Buszkowski, Wojciech
core +1 more source
Local equivalence and refinements of Rasmussen's s‐invariant
Journal of Topology, Volume 19, Issue 1, March 2026.Abstract Inspired by the notions of local equivalence in monopole and Heegaard Floer homology, we introduce a version of local equivalence that combines odd Khovanov homology with equivariant even Khovanov homology into an algebraic package called a local even–odd (LEO) triple.
Nathan M. Dunfield +2 more
wiley +1 more source
On the incompatibility between two AIFS [PDF]
, 2008 The purpose of this paper is to commence studying the incompatibility in the Atanassov's intuitionistic fuzzy sets framework. In order to do this, firstly we deal with the concept of T -incompatible sets, where T is an intuitionistic t- norm, relating it
Castiñeira Holgado, Elena +2 more
core +1 more source
CoRoFR: Community Detection of Feature Graph Improves Feature Selection Using Robust Fuzzy Rough Set
Advanced Intelligent Systems, Volume 7, Issue 12, December 2025.In machine learning, features often function as communities in many tasks, especially in medicine. However, existing feature selection methods struggle to mine feature collaborations, which can boost predictive performance. Moreover, they are noise‐sensitive, leading to suboptimal feature selection and accuracy degradation.
Duanyang Feng +4 more
wiley +1 more source
Resource modalities in game semantics [PDF]
, 2007 The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate instead the contrary: that
Melliès, Paul-André, Tabareau, Nicolas
core +2 more sources
Nonsymmetric Askey–Wilson Shift Operators
Studies in Applied Mathematics, Volume 155, Issue 3, September 2025.ABSTRACT We classify the shift operators for the symmetric Askey–Wilson polynomials and construct shift operators for the nonsymmetric Askey–Wilson polynomials using two decompositions of nonsymmetric Askey–Wilson polynomials in terms of symmetric ones. These shift operators are difference–reflection operators, and we discuss the conditions under which
Max van Horssen, Philip Schlösser
wiley +1 more source
Monadic Fragments of Intuitionistic Control Logic [PDF]
, 2016 We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants.
Glenszczyk, Anna
core +2 more sources
Nonlinear Control of Inertial Response for HVDC‐Connected Offshore Wind Farms
IET Renewable Power Generation, Volume 19, Issue 1, January/December 2025.This article proposes a nonlinear control strategy specifically designed to enable robust inertial support under the grid frequency events. A detailed nonlinear model is developed for the entire system, including the wind turbine, DFIG converters, HVDC transmission system, and grid interface.
Mahdi Jafari Harandi +2 more
wiley +1 more source
The Real K-Theory of Compact Lie Groups [PDF]
, 2014 Let $G$ be a compact, connected, and simply-connected Lie group, equipped with a Lie group involution $\sigma_G$ and viewed as a $G$-space with the conjugation action. In this paper, we present a description of the ring structure of the (equivariant) $KR$
Fok, Chi-Kwong
core +5 more sources
The Journal of Engineering, Volume 2025, Issue 1, January/December 2025.This study explores the stabilization of chaotic systems by comparing sliding mode control and input state linearization applied to the Lorenz system. Both methods achieve system stability, but sliding mode control offers enhanced robustness and reduced chattering, making it more effective for controlling chaos under uncertainties.
A. Bilal Ozcan +2 more
wiley +1 more source