Soft Computing, Volume 22, Issue 4, February 2018

Special issue on Quantitative Models and Weighted Automata

1. Preface: Dedicated to the memory of Zoltán Ésik (1951–2016)
Author(s): Manfred Droste, Kim G. Larsen
Pages: 1033

2. Characterizations of recognizable weighted tree languages by logic and bimorphisms
Author(s): Zoltán Fülöp, Heiko Vogler
Pages: 1035-1046

3. A unifying survey on weighted logics and weighted automata
Author(s): Paul Gastin, Benjamin Monmege
Pages: 1047-1065

4. Weighted restarting automata
Author(s): Friedrich Otto, Qichao Wang
Pages: 1067-1083

5. On decidability of recursive weighted logics
Author(s): Kim G. Larsen, Radu Mardare, Bingtian Xue
Pages: 1085-1102

6. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
Author(s): Barbara König, Sebastian Küpper
Pages: 1103-1120

7. Weighted finite automata with output
Author(s): Jelena Ignjatović, Miroslav Ćirić, Zorana Jančić
Pages: 1121-1138

8. Compositionality for quantitative specifications
Author(s): Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez
Pages: 1139-1158

9. Objective reduction for many-objective optimization problems using objective subspace extraction
Author(s): Naili Luo, Xia Li, Qiuzhen Lin
Pages: 1159-1173

10. Efficient and secure outsourced approximate pattern matching protocol
Author(s): Xiaochao Wei, Minghao Zhao, Qiuliang Xu
Pages: 1175-1187

11. Commutative deductive systems of pseudo-BCK-algebras
Author(s): Lavinia Corina Ciungu
Pages: 1189-1201

12. Reduced axioms for the propositional logics induced by basic algebras
Author(s): Ivan Chajda, Miroslav Kolařík
Pages: 1203-1207

13. The importance of implementation details and parameter settings in black-box optimization: a case study on Gaussian estimation-of-distribution algorithms and circles-in-a-square packing problems
Author(s): Peter A. N. Bosman, Marcus Gallagher
Pages: 1209-1223

14. Nearest neighbor search with locally weighted linear regression for heartbeat classification
Author(s): Juyoung Park, Md Zakirul Alam Bhuiyan, Mingon Kang, Junggab Son
Pages: 1225-1236

15. New distance measures on hesitant fuzzy sets based on the cardinality theory and their application in pattern recognition
Author(s): Fangwei Zhang, Shuyan Chen, Jianbo Li, Weiwei Huang
Pages: 1237-1245

16. Research on the measurement and evaluation of trusted cloud service
Author(s): Zifei Ma, Rong Jiang, Ming Yang, Tong Li, Qiujin Zhang
Pages: 1247-1262

17. Self-adaptive differential evolution algorithm with hybrid mutation operator for parameters identification of PMSM
Author(s): Chuan Wang, Yancheng Liu, Xiaoling Liang, Haohao Guo, Yang Chen
Pages: 1263-1285

18. Heterogeneous investment in spatial public goods game with mixed strategy
Author(s): Hong Ding, Yao Zhang, Yizhi Ren, Benyun Shi, Kim-Kwang Raymond Choo
Pages: 1287-1294

19. A novel technical analysis-based method for stock market forecasting
Author(s): Yuh-Jen Chen, Yuh-Min Chen, Shiang-Ting Tsao, Shu-Fan Hsieh
Pages: 1295-1312

20. APDDE: self-adaptive parameter dynamics differential evolution algorithm
Author(s): Hong-bo Wang, Xue-na Ren, Guo-qing Li, Xu-yan Tu
Pages: 1313-1333

21. Adaptive harmony search with best-based search strategy
Author(s): Zhaolu Guo, Huogen Yang, Shenwen Wang, Caiying Zhou, Xiaosheng Liu
Pages: 1335-1349

22. Face image retrieval: super-resolution based on sketch-photo transformation
Author(s): Shu Zhan, Jingjing Zhao, Yucheng Tang, Zhenzhu Xie
Pages: 1351-1360

23. Study on centroid type-reduction of general type-2 fuzzy logic systems with weighted enhanced Karnik–Mendel algorithms
Author(s): Yang Chen, Dazhi Wang
Pages: 1361-1380