Research team designed PBCounter, a weighted model counting solver for pseudo-Boolean formulas. It uses variable elimination and dynamic programming with ADDs, outperforming state-of-the-art CNF-based ...

The core feature of fuzzy logic is that it allows for varying degrees of truth. Instead of rigidly categorizing inputs as true or false, fuzzy logic enables more nu ...

Murugasu, U. and Subbarao, A. (2025) Customizing Customer Experience: A Systematic Review of Digital Personality in Telecommunications. Open Journal of Business and Management, 13, 1449-1479. doi: ...

Abstract: This paper explores the asymptotic synchronization of drive-response Markovian jump Boolean networks (MJBNs) using an algebraic state space representation. For two switching signals, an ...