Exponentiable objects in the category of topological molecular lattices. - Yong-Ming Li 001 (Fuzzy Sets Syst., 1999)

Top is a reflective and coreflective subcategory of fuzzy topological spaces. - Yong-Ming Li 001; Zhi-Hui Li 006 (Fuzzy Sets Syst., 2000)

Remarks on uninorm aggregation operators. - Yong-Ming Li 001; Zhong-Ke Shi (Fuzzy Sets Syst., 2000)

Weak uninorm aggregation operators. - Yong-Ming Li 001; Zhong-Ke Shi (Inf. Sci., 2000)

Limit structures over completely distributive lattices. - Yong-Ming Li 001 (Fuzzy Sets Syst., 2002)

Approximation theory of fuzzy systems based upon genuine many-valued implications - SISO cases. - Yong-Ming Li 001; Zhong-Ke Shi; Zhi-Hui Li 006 (Fuzzy Sets Syst., 2002)

Approximation theory of fuzzy systems based upon genuine many-valued implications - MIMO cases. - Yong-Ming Li 001; Zhong-Ke Shi; Zhi-Hui Li 006 (Fuzzy Sets Syst., 2002)

On the order conditions of fuzzy convergence classes. - Yong-Ming Li 001 (Fuzzy Sets Syst., 2003)

Decomposition and resolution of min-implication fuzzy relation equations based on S-implications. - Yanbin Luo; Yongming Li 001 (Fuzzy Sets Syst., 2004)

A fuzzy sets theoretic approach to approximate spatial reasoning. - Yongming Li 001; Sanjiang Li (IEEE Trans. Fuzzy Syst., 2004)

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications. - Yanbin Luo; Chunjie Yang 001; Yongming Li 001; Daoying Pi (Australian Conference on Artificial Intelligence, 2005)

New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition. - Yanbin Luo; Kannappan Palaniappan; Yongming Li 001 (ICNC (3), 2005)

Relational reasoning in the region connection calculus - Yongming Li 001; Sanjiang Li; Mingsheng Ying (CoRR, 2005)

Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. - Yongming Li 001; Witold Pedrycz (Fuzzy Sets Syst., 2005)

On countable RCC models. - Sanjiang Li; Mingsheng Ying; Yongming Li 001 (Fundam. Informaticae, 2005)

An approach to measure the robustness of fuzzy reasoning. - Yongming Li 001; Dechao Li; Witold Pedrycz; Jingjie Wu (Int. J. Intell. Syst., 2005)

A categorical approach to lattice-valued fuzzy automata. - Yongming Li 001 (Fuzzy Sets Syst., 2006)

Algebraic properties of LA-languages. - Ping Li 015; Yongming Li 001 (Inf. Sci., 2006)

The relationships among several types of fuzzy automata. - Zhihui Li 006; Ping Li 015; Yongming Li 001 (Inf. Sci., 2006)

On the complemented disk algebra. - Sanjiang Li; Yongming Li 001 (J. Log. Algebraic Methods Program., 2006)

The equivalence between fuzzy Mealy and fuzzy Moore machines. - Yongming Li 001; Witold Pedrycz (Soft Comput., 2006)

Regular grammars with truth values in lattice-ordered monoid and their languages. - Li Sheng; Yongming Li 001 (Soft Comput., 2006)

Approximation Property of Fuzzy Finite Automata. - Yongming Li 001 (AWIC, 2007)

Finite Automata Based on Quantum Logic and Their Determinization - Yongming Li 001 (CoRR, 2007)

Minimization of lattice finite automata and its application to the decomposition of lattice languages. - Yongming Li 001; Witold Pedrycz (Fuzzy Sets Syst., 2007)

Robustness of fuzzy reasoning via logically equivalence measure. - Jianhua Jin; Yongming Li 001; Chunquan Li 003 (Inf. Sci., 2007)

Minimization of states in automata theory based on finite lattice-ordered monoids. - Hongxuan Lei; Yongming Li 001 (Inf. Sci., 2007)

Generalized Ideals and Supports in Pseudo Effect Algebras. - Yun Shang; Yongming Li 001 (Soft Comput., 2007)

Fuzzy finite automata and fuzzy monadic second-order logic. - Yongming Li 001 (FUZZ-IEEE, 2008)

Approximation and universality of fuzzy Turing machines. - Yongming Li 001 (Sci. China Ser. F Inf. Sci., 2008)

Linguistic quantifiers based on Choquet integrals. - Licong Cui; Yongming Li 001 (Int. J. Approx. Reason., 2008)

Approximation and robustness of fuzzy finite automata. - Yongming Li 001 (Int. J. Approx. Reason., 2008)

Sufficient and necessary conditions for Boolean fuzzy systems as universal approximators. - Dechao Li; Zhong-Ke Shi; Yongming Li 001 (Inf. Sci., 2008)

The relationship of controllability between classical and fuzzy discrete-event systems. - Junping Liu; Yongming Li 001 (Inf. Sci., 2008)

Some algebraic properties of measure-once two-way quantum finite automata. - Zhengjun Xi; Xin Wang; Yongming Li 001 (Quantum Inf. Process., 2008)

Algebraic properties on the cuts of lattice-valued regular languages. - Changjian Liang; Yongming Li 001 (Soft Comput., 2008)

Fuzzy Turing Machines: Variants and Universality. - Yongming Li 001 (IEEE Trans. Fuzzy Syst., 2008)

Lattice-valued fuzzy turing machines and their computing power. - Yongming Li 001 (FUZZ-IEEE, 2009)

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency. - Yongming Li 001 (Fuzzy Sets Syst., 2009)

Intuitionistic Fuzzy Linguistic Quantifiers Based on Intuitionistic Fuzzy-Valued Fuzzy Measures and integrals. - Licong Cui; Yongming Li 001; Xiaohong Zhang 001 (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2009)

Approximation of fuzzy context-free grammars. - Yongbing Wang; Yongming Li 001 (Inf. Sci., 2009)

Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata. - Xiaowei Zhang; Yongming Li 001 (Soft Comput., 2009)

Finite automata based on quantum logic and monadic second-order quantum logic. - Yongming Li 001 (Sci. China Inf. Sci., 2010)

Application of level soft sets in decision making based on interval-valued fuzzy soft sets. - Feng Feng 003; Yongming Li 001; Violeta Leoreanu Fotea (Comput. Math. Appl., 2010)

The pasting constructions of lattice ordered effect algebras. - Yongjian Xie; Yongming Li 001; Aili Yang (Inf. Sci., 2010)

Riesz ideals in generalized pseudo effect algebras and in their unitizations. - Yongjian Xie; Yongming Li 001 (Soft Comput., 2010)

Generalized intuitionistic fuzzy soft sets and multiattribute decision making. - Shengling Geng; Yongming Li 001; Feng Feng 003; Xin Wang (BMEI, 2011)

Necessary and sufficient condition for achieving the upper bound of quantum discord - Zhengjun Xi; Xiao-Ming Lu; Xiaoguang Wang 014; Yongming Li 001 (CoRR, 2011)

Measurement-induced nonlocality based on the relative entropy - Zhengjun Xi; Xiaoguang Wang 014; Yongming Li 001 (CoRR, 2011)

Finite automata theory with membership values in lattices. - Yongming Li 001 (Inf. Sci., 2011)

Robustness of interval-valued fuzzy inference. - De-Chao Li; Yong-Ming Li 001; Yongjian Xie (Inf. Sci., 2011)

The Representation of Semiring-based Constraint Satisfaction Problems using fuzzy finite Automata. - Yongming Li 001 (QLSC, 2012)

Level Soft Sets based on fuzzy Sets. - Feng Feng 003; Yongming Li 001; Hongxuan Lei (QLSC, 2012)

Model-Checking of linear-Time Properties in Possibilistic Kripke Structure. - Lijun Li; Yongming Li 001 (QLSC, 2012)

On Reversible fuzzy Automata. - Lin Li; Yongming Li 001 (QLSC, 2012)

The Representation of the Universal fuzzy Automaton. - Qian Wang; Yongming Li 001 (QLSC, 2012)

Theory of γ-fuzzy Truth degree Relative to finite Theory in Logic System Rn. - Ge Ni Xu; Yong-Ming Li 001 (QLSC, 2012)

Possibilistic Kripke Structure Decision Processes. - Yan Xue; Hongxuan Lei; Yongming Li 001 (QLSC, 2012)

Continuity in Information Algebras - Xuechong Guan; Yongming Li 001 (CoRR, 2012)

Information algebra system of soft sets - Xuechong Guan; Yongming Li 001 (CoRR, 2012)

The one-way unlocalizable quantum discord - Zhengjun Xi; Heng Fan 002; Yongming Li 001 (CoRR, 2012)

Model-Checking of Linear-Time Properties in Multi-Valued Systems - Yongming Li 001; Lihui Lei (CoRR, 2012)

Generalized uni-int decision making schemes based on choice value soft sets. - Feng Feng 003; Yongming Li 001; Naim Çagman (Eur. J. Oper. Res., 2012)

Algebraic structures of interval-valued fuzzy (S, N)-implications. - Dechao Li; Yongming Li 001 (Int. J. Approx. Reason., 2012)

On Two Types of continuous Information Algebras. - Xuechong Guan; Yongming Li 001 (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2012)

A new algorithm for testing diagnosability of fuzzy discrete event systems. - Minnan Luo; Yongming Li 001; Fuchun Sun 001; Huaping Liu 001 (Inf. Sci., 2012)

E-perfect effect algebras. - Yongjian Xie; Yongming Li 001; Aili Yang (Soft Comput., 2012)

Intuitionistic fuzzy Choquet integrals and their application in modeling linguistic quantifiers. - Yongming Li 001; Lu Li (IFSA/NAFIPS, 2013)

On a Condition for Semirings to Induce Compact Information Algebras. - Xuechong Guan; Yongming Li 001 (ISDT, 2013)

Soft subsets and soft product operations. - Feng Feng 003; Yongming Li 001 (Inf. Sci., 2013)

Algebraic properties of L-fuzzy finite automata. - Jianhua Jin; Qingguo Li; Yongming Li 001 (Inf. Sci., 2013)

A new order relation on fuzzy soft sets and its application. - Xuechong Guan; Yongming Li 001; Feng Feng 003 (Soft Comput., 2013)

Model Checking of Linear-Time Properties Based on Possibility Measure. - Yongming Li 001; Lijun Li (IEEE Trans. Fuzzy Syst., 2013)

The realization problems related to weighted transducers over strong bimonoids. - Ping Li 015; Yongming Li 001; Shengling Geng (FUZZ-IEEE, 2014)

Hierarchy of lattice-valued fuzzy automata and decidability of their languages. - Qianqian Xue; Lei Li; Yongming Li 001 (FUZZ-IEEE, 2014)

Lattice-valued fuzzy residual finite automata. - Fugang Zhang; Yongming Li 001 (FUZZ-IEEE, 2014)

The universal fuzzy automaton. - Yongming Li 001; Qian Wang (Fuzzy Sets Syst., 2014)

Elicitation criterions for restricted intersection of two incomplete soft sets. - Bang-He Han; Yongming Li 001; Jie Liu; Sheng-Ling Geng; Hou-Yi Li (Knowl. Based Syst., 2014)

Weighted Turing machines over strong bimonoids. - Ping Li 015; Yongming Li 001; Shengling Geng (FSKD, 2015)

Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains. - Xiaoyong Xi; Yongming Li 001 (Appl. Categorical Struct., 2015)

Exogenous Quantum Operator Logic Based on Density Operators. - Yunguo Lin; Yongming Li 001 (CoRR, 2015)

The optimal information rate for graph access structures of nine participants. - Yun Song; Zhihui Li 006; Yongming Li 001; Ren Xin (Frontiers Comput. Sci., 2015)

Computation tree logic model checking based on possibility measures. - Yongming Li 001; Yali Li; Zhanyou Ma (Fuzzy Sets Syst., 2015)

Model checking fuzzy computation tree logic. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Fuzzy Sets Syst., 2015)

Pasting of lattice-ordered effect algebras. - Yongjian Xie; Yongming Li 001; Aili Yang (Fuzzy Sets Syst., 2015)

Robustness analysis of logic metrics on F(X). - Jingyao Duan; Yongming Li 001 (Int. J. Approx. Reason., 2015)

Lattice-valued simulations for quantitative transition systems. - Haiyu Pan; Yongming Li 001; Yongzhi Cao (Int. J. Approx. Reason., 2015)

广义模糊集GFScom在模糊综合评判中的应用 (Application of Generalized Fuzzy Sets GFScom to Fuzzy Comprehensive Evaluation). - Shengli Zhang; Yongming Li 001 (计算机科学, 2015)

A new multi-use multi-secret sharing scheme based on the duals of minimal linear codes. - Yun Song; Zhihui Li 006; Yongming Li 001; Jing Li (Secur. Commun. Networks, 2015)

On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras. - Xuechong Guan; Yongming Li 001 (Theor. Comput. Sci., 2015)

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures. - Yongming Li 001; Zhanyou Ma (IEEE Trans. Fuzzy Syst., 2015)

Expressive power of linear-temporal logic based on generalized possibility measures. - Shengli Zhang; Yongming Li 001 (FUZZ-IEEE, 2016)

Ideal access structures based on a class of minimal linear codes. - Zhihui Li 006; Yun Song; Yongming Li 001 (Int. J. Comput. Math., 2016)

Temporal normal form for Linear Temporal Logic formulae. - Hui-Xian Shi; Yong-Ming Li 001 (J. Intell. Fuzzy Syst., 2016)

Lattice and metric completions of the classical logic metric space and a comparison. - Hui-Xian Shi; Yong-Ming Li 001 (J. Intell. Fuzzy Syst., 2016)

信道噪声对量子信息分离的影响 (Effect of Channel Noise on Quantum Information Splitting). - Chen-Ming Bai; Yong-Ming Li 001 (计算机科学, 2016)

Model checking computation tree logic over finite lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Theor. Comput. Sci., 2016)

On tree-preserving constraints. - Shufeng Kong; Sanjiang Li; Yongming Li 001; Zhiguo Long (Ann. Math. Artif. Intell., 2017)

0-1 Linear programming methods for optimal normal and pseudo parameter reductions of soft sets. - Bang-He Han; Yongming Li 001; Shengling Geng (Appl. Soft Comput., 2017)

Quantitative model checking of linear-time properties based on generalized possibility measures. - Yongming Li 001 (Fuzzy Sets Syst., 2017)

Nondeterministic fuzzy automata with membership values in complete residuated lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Ping Li 015 (Int. J. Approx. Reason., 2017)

Fuzzy alternating Büchi automata over distributive lattices. - Xiujuan Wei; Yongming Li 001 (Int. J. Approx. Reason., 2017)

Model checking of linear-time properties in multi-valued systems. - Yongming Li 001; Manfred Droste; Lihui Lei (Inf. Sci., 2017)

The relationships among several forms of weighted finite automata over strong bimonoids. - Ping Li 015; Yongming Li 001; Shengling Geng (Inf. Sci., 2017)

Attribute-based signcryption scheme based on linear codes. - Yun Song; Zhihui Li 006; Yongming Li 001; Jing Li (Inf. Sci., 2017)

On conditions for semirings to induce compact information algebras. - Xuechong Guan; Yongming Li 001; Jürg Kohlas (Math. Struct. Comput. Sci., 2017)

Quantum secret sharing using orthogonal multiqudit entangled states. - Chen-Ming Bai; Zhi-Hui Li 006; Cheng-Ji Liu; Yong-Ming Li 001 (Quantum Inf. Process., 2017)

Quantum secret sharing using the d-dimensional GHZ state. - Chen-Ming Bai; Zhi-Hui Li 006; Ting-Ting Xu; Yong-Ming Li 001 (Quantum Inf. Process., 2017)

Ordering states with Tsallis relative α-entropies of coherence. - Fugang Zhang; Lian-He Shao; Yu Luo; Yongming Li 001 (Quantum Inf. Process., 2017)

A novel table look-up scheme based on GFScom and its application. - Shengli Zhang; Yongming Li 001 (Soft Comput., 2017)

Reachability in Fuzzy Game Graphs. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Dechao Li (IEEE Trans. Fuzzy Syst., 2017)

Jumping restarting automata. - Qichao Wang; Yongming Li 001 (NCMA, 2018)

Fuzzy alternating automata over distributive lattices. - Xiujuan Wei; Yongming Li 001 (Inf. Sci., 2018)

Minimization of lattice multiset finite automata. - Yongbing Wang; Yongming Li 001 (J. Intell. Fuzzy Syst., 2018)

Restricted (k, n)-threshold quantum secret sharing scheme based on local distinguishability of orthogonal multiqudit entangled states. - Chen-Ming Bai; Zhi-Hui Li 006; Jing-Tao Wang; Cheng-Ji Liu; Yong-Ming Li 001 (Quantum Inf. Process., 2018)

A dynamic multiparty quantum direct secret sharing based on generalized GHZ states. - Yun Song; Zhihui Li 006; Yongming Li 001 (Quantum Inf. Process., 2018)

Entropic cohering power in quantum operations. - Zhengjun Xi; Ming-Liang Hu; Yongming Li 001; Heng Fan 002 (Quantum Inf. Process., 2018)

Approximate bisimulation relations for fuzzy automata. - Chao Yang; Yongming Li 001 (Soft Comput., 2018)

ε-Bisimulation Relations for Fuzzy Automata. - Chao Yang; Yongming Li 001 (IEEE Trans. Fuzzy Syst., 2018)

Weighted Two-Dimensional Finite Automata. - Qichao Wang; Yongming Li 001; Wei Zhou (AAIM, 2019)

Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights. - Sanjiang Li; Yongming Li 001 (CoRR, 2019)

Computation tree logic model checking based on multi-valued possibility measures. - Yongming Li 001; Lihui Lei; Sanjiang Li (Inf. Sci., 2019)

The sum of observables on a $$ sigma $$ σ -distributive lattice effect algebra. - Jirí Janda; Yongming Li 001 (Soft Comput., 2019)

A Mahjong-Strategy based on Weighted Restarting Automata. - Qichao Wang; Yongming Li 001; Xiaoyin Chen (MLMI, 2020)

Alternation of Restarting Automata. - Qichao Wang; Yongming Li 001; Xiaoyin Chen (MLMI, 2020)

An (R, S)-norm information measure for hesitant fuzzy sets and its application in decision-making. - Chunfeng Suo; Yongming Li 001; Zhihui Li 006 (Comput. Appl. Math., 2020)

Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures. - Chao Yang; Yongming Li 001 (Fuzzy Sets Syst., 2020)

Distillability for non-full-rank coherent states in the probabilistic framework. - Ping Li 015; Yu Luo; Yong-Ming Li 001 (Quantum Inf. Process., 2020)

Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler. - Wuniu Liu; Qing He 008; Yongming Li 001 (NCTCS, 2021)

Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making. - Xiang Chen; Chunfeng Suo; Yongming Li 001 (Comput. Appl. Math., 2021)

A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand. - Xueqing Yan; Yongming Li 001; Sanjiang Li (CoRR, 2021)

On n-polygonal interval-valued fuzzy sets. - Chunfeng Suo; Yongming Li 001; Zhihui Li 006 (Fuzzy Sets Syst., 2021)

Fuzzy ϵ-approximate regular languages and minimal deterministic fuzzy automata ϵ-accepting them. - Chao Yang; Yongming Li 001 (Fuzzy Sets Syst., 2021)

Width-based distance measures on interval-valued intuitionistic fuzzy sets. - Xi Li; Chunfeng Suo; Yongming Li 001 (J. Intell. Fuzzy Syst., 2021)

Quantification of resource theory of imaginarity. - Shengnan Xue; Jiansheng Guo; Ping Li 015; Mingfei Ye; Yongming Li 001 (Quantum Inf. Process., 2021)

Operational characterization of weight-based resource quantifiers via exclusion tasks in general probabilistic theories. - Mingfei Ye; Yongming Li 001; Zhihui Li 006 (Quantum Inf. Process., 2021)

An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions. - Renqing Che; Chunfeng Suo; Yongming Li 001 (Soft Comput., 2021)

A series of information measures of hesitant fuzzy soft sets and their application in decision making. - Chunfeng Suo; Yongming Li 001; Zhihui Li 006 (Soft Comput., 2021)

Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking. - Yongming Li 001; Jielin Wei (IEEE Trans. Fuzzy Syst., 2021)

Coherence of Quantum States Based on Mutually Unbiased Bases in $ mathbb {C}^4$. - Xudong Ma; Yongming Li 001 (NCTCS, 2022)

A new approach to compute deficiency number of Mahjong configurations. - Qichao Wang; Yang Zhou; Dongyi Zhu; Yongming Li 001 (Entertain. Comput., 2022)

On quotients of formal power series. - Yongming Li 001; Qian Wang; Sanjiang Li (Inf. Comput., 2022)

Coherence-breaking superchannels. - Yu Luo; Yongming Li 001; Zhengjun Xi (Quantum Inf. Process., 2022)

Complex objective optimization in fuzzy environments. - Wuniu Liu; Zhihui Li 006; Yongming Li 001 (J. Intell. Fuzzy Syst., 2023)

Granular Computing Approach to Evaluate Spatio-Temporal Events in Intuitionistic Fuzzy Sets Data through Formal Concept Analysis. - Imran Ali; Yongming Li 001; Witold Pedrycz (Axioms, 2023)

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes. - Yongming Li 001; Wuniu Liu; Junmei Wang; Xianfeng Yu; Chao Li (IEEE Trans. Fuzzy Syst., 2023)

Optimal Strategy Model Checking in Possibilistic Decision Processes. - Wuniu Liu; Yongming Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Stabilizer Rényi entropy on qudits. - Yiran Wang; Yongming Li 001 (Quantum Inf. Process., 2023)

Deterministic fuzzy two-dimensional on-line tessellation automata and their languages. - Chao Yang; Xiaobing Sun 001; Qingyu He; Qichao Wang; Yongming Li 001 (Fuzzy Sets Syst., 2024)

Relative approximate bisimulations for fuzzy picture automata. - Chao Yang; Ruiling Wu; Xiaobing Sun 001; Qichao Wang; Yongming Li 001 (Inf. Comput., 2024)

Generalized possibility computation tree logic with frequency and its model checking. - Qing He 008; Wuniu Liu; Yong-Ming Li 001 (Int. J. Approx. Reason., 2024)

Differential evolution with proration-based mutation strategy and multi-segment mixed parameter setting for numerical optimization. - Xueqing Yan; Mengnan Tian; Yongming Li 001 (Inf. Sci., 2024)

A hierarchy of jumping restarting automata. - Qichao Wang; Yongming Li 001 (Inf. Sci., 2024)

Self-Learning Modeling in Possibilistic Model Checking. - Wuniu Liu; Qing He 008; Zhihui Li 006; Yongming Li 001 (IEEE Trans. Emerg. Top. Comput. Intell., 2024)

Quantifying correlations relative to channels via metric-adjusted skew information. - Ruonan Ren; Yu Luo; Yongming Li 001 (Quantum Inf. Process., 2024)

Accelerating Possibilistic Model Checking: Sparse Engine for Large-Scale Models. - Wuniu Liu; Zhihui Li; Yongming Li 001 (ICIC (19), 2025)