default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoft Computing, Volume 21
Volume 21, Number 1, January 2017
- Aldo Ursini:
Franco Montagna (1948-2015). 1-7 - Antonio Di Nola, Daniele Mundici, Carlo Toffalori, Aldo Ursini:
Preface. 9 - Claudio Bernardi:
Graphs of real functions with pathological behaviors. 11-15 - Peter Jipsen
:
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. 17-27 - Luca Spada:
An expansion of Basic Logic with fixed points. 29-37 - Albert Visser:
On Q. 39-56 - Tomás Kroupa, Vincenzo Marra:
Generalised states: a multi-sorted algebraic approach to probability. 57-67 - Zuzana Haniková:
Complexity of some language fragments of fuzzy logics. 69-77 - Stefano Aguzzoli, Simone Bova, Diego Valota:
Free weak nilpotent minimum algebras. 79-95 - Rodolfo Cristian Ertola Biraben, Francesc Esteva, Lluís Godo:
Expanding FLew with a Boolean connective. 97-111 - Tommaso Flaminio, Lluís Godo:
Layers of zero probability and stable coherence over Łukasiewicz events. 113-123 - Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo:
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions. 125-147 - Juan P. Aguilera, Matthias Baaz:
Ten problems in Gödel logic. 149-152 - Paolo Aglianò:
Varieties of BL-algebras I, revisited. 153-163 - Almudena Colacito, Dick de Jongh, Ana Lucia Vargas:
Subminimal negation. 165-174 - George Metcalfe, Constantine Tsinakis:
Density revisited. 175-189 - Arnold Beckmann, Norbert Preining:
Deciding logics of linear Kripke frames with scattered end pieces. 191-197 - Maciej Kusy, Jacek Kluska:
Assessment of prediction ability for reduced probabilistic neural network in data classification problems. 199-212 - Lizhe Wang, Jiabin Zhang, Peng Liu, Kim-Kwang Raymond Choo, Fang Huang:
Spectral-spatial multi-feature-based deep learning for hyperspectral remote sensing image classification. 213-221 - Sibo Ding:
Uncertain minimum cost multicommodity flow problem. 223-231 - Yeqin Shao, Marcello Trovati, Quan Shi, Olga Angelopoulou, Eleana Asimakopoulou, Nik Bessis:
A hybrid spam detection method based on unstructured datasets. 233-243 - Ye Tian, Jian Luo:
A new branch-and-bound approach to semi-supervised support vector machine. 245-254 - Qinkun Xiao, Ren Song:
Motion retrieval based on Motion Semantic Dictionary and HMM inference. 255-265 - Qinkun Xiao, Siqi Liu:
Motion retrieval based on Dynamic Bayesian Network and Canonical Time Warping. 267-280
Volume 21, Number 2, January 2017
- Chang-Shing Lee, Hung-Yu Kao:
Special issue on soft computing for knowledge management and web applications. 281-282 - Wei Song, Wei Ma, Yingying Qiao:
Particle swarm optimization algorithm with environmental factors for clustering analysis. 283-293 - Michael Kampouridis, Fernando E. B. Otero:
Heuristic procedures for improving the predictability of a genetic programming financial forecasting algorithm. 295-310 - Wei-Jie Huang, Chao-Lin Liu:
Exploring lexical, syntactic, and semantic features for Chinese textual entailment in NTCIR RITE evaluation tasks. 311-330 - Daisuke Kitakoshi, Takuya Okano, Masato Suzuki:
An empirical study on evaluating basic characteristics and adaptability to users of a preventive care system with learning communication robots. 331-351 - Parisa D. Hossein Zadeh, Mahsa D. Hossein Zadeh, Marek Z. Reformat:
Feature-driven linguistic-based entity matching in linked data with application in pharmacy. 353-368 - Yamine Aït Ameur, Mickaël Baron, Ladjel Bellatreche, Stéphane Jean, Eric Sardet:
Ontologies in engineering: the OntoDB/OntoQL platform. 369-389 - Yung-Chun Chang, Yu-Lun Hsieh, Cen-Chieh Chen, Wen-Lian Hsu:
A semantic frame-based intelligent agent for topic detection. 391-401 - Rajaganapathy Chinna Gounder Dhanajayan, Subramani Appavu Pillai:
SLMBC: spiral life cycle model-based Bayesian classification technique for efficient software fault prediction and classification. 403-415 - Elham Majd, Vimala Balakrishnan:
A trust model for recommender agent systems. 417-433 - Yaoming Zhou, Yongchao Wang, Xuzhi Chen, Lei Zhang, Kan Wu:
A novel path planning algorithm based on plant growth mechanism. 435-445 - Lixia Zhang, Kangshun Li, Zhaoming Ou, Fubin Wang:
Seam warping: a new approach for image retargeting for small displays. 447-457 - Pantelimon George Popescu, Radu Constantin Poenaru, Florin Pop:
New third-order Newton-like method with lower iteration number and lower TNFE. 459-466 - Ting Wang, Junde Song, Meina Song:
A three-stage global optimization method for server selection in content delivery networks. 467-475 - Min-Yuan Cheng, Jui-Sheng Chou, Minh-Tu Cao:
Nature-inspired metaheuristic multivariate adaptive regression splines for predicting refrigeration system performance. 477-489 - Hongxin Cao, Shouqian Sun, Kejun Zhang:
Modified EMG-based handgrip force prediction using extreme learning machine. 491-500 - Ali Ahrari, Oliver Kramer:
Finite life span for improving the selection scheme in evolution strategies. 501-513 - Peng Zhang, Lei Liu, Rui Zhang, Guangli Li:
Loss evaluation analysis of illegal attack in SCSKP. 515-524 - Hossein Shayeghi, Ali Ghasemi, Mohammad Moradzadeh, Mehdi Nooshyar:
Day-ahead electricity price forecasting using WPT, GMI and modified LSSVM-based S-OLABC algorithm. 525-541 - Sai-Ho Ling, Phyo Phyo San, Hak-Keung Lam, Hung T. Nguyen:
Hypoglycemia detection: multiple regression-based combinational neural logic approach. 543-553
Volume 21, Number 3, February 2017
- Hiram Ponce-Espinosa, Miguel González-Mendoza, María de Lourdes Martínez-Villaseñor:
Special issue on Mexican International Conference on Artificial Intelligence, MICAI 2014 and 2015. 555-556 - Miguel Angel Medina-Pérez, Raúl Monroy, José Benito Camiña, Milton García-Borroto:
Bagging-TPMiner: a classifier ensemble for masquerader detection based on typical objects. 557-569 - Carlos A. Rodriguez, Pedro Ponce, Arturo Molina:
ANFIS and MPC controllers for a reconfigurable lower limb exoskeleton. 571-584 - Ángel Hernández-Castañeda, Hiram Calvo, Alexander F. Gelbukh, Jorge J. García Flores:
Cross-domain deception detection using support vector networks. 585-595 - Angel Kuri-Morales:
Closed determination of the number of neurons in the hidden layer of a multi-layered perceptron network. 597-609 - María Celeste Ramírez Trujillo, Teresa E. Alarcón, Oscar S. Dalmau, Adalberto Zamudio Ojeda:
Segmentation of carbon nanotube images through an artificial neural network. 611-625 - Juan Pablo Posadas-Durán, Helena Gómez-Adorno, Grigori Sidorov, Ildar Z. Batyrshin, David Pinto, Liliana Chanona-Hernández:
Application of the distributed document representation in the authorship attribution task for small corpora. 627-639 - Ricardo Zavala-Yoé, Ricardo Ambrocio Ramírez-Mendoza, Silverio García-Lara:
A 3-SPS-1S parallel robot-based laser sensing for applications in precision agriculture. 641-650 - Luis Miralles Pechuán, Dafne Rosso, Fernando Jiménez, José M. García:
A methodology based on Deep Learning for advert value calculation in CPM, CPC and CPA networks. 651-665 - Jonathan Pérez, Fevrier Valdez, Oscar Castillo, Patricia Melin, Claudia I. González, Gabriela E. Martinez:
Interval type-2 fuzzy logic for dynamic parameter adaptation in the bat algorithm. 667-685 - Somayeh Motamed, Lida Torkzadeh:
A new class of BL-algebras. 687-698 - Chengde Zheng, Yongjin Xian, Zhanshan Wang:
Third-order reciprocally convex approach to stability of fuzzy cellular neural networks under impulsive perturbations. 699-720 - Konstantinos Liagkouras, Kostas S. Metaxiotis:
An experimental analysis of a new two-stage crossover operator for multiobjective optimization. 721-751 - Jun Chen, Hong Zhao, Jufeng Yang, Jian Zhang, Tao Li, Kai Wang:
An intelligent character recognition method to filter spam images on cloud. 753-763 - Xueqin Sui, Zhumin Chen, Lei Guo, Kai Wu, Jun Ma, Guanghui Wang:
Social media as sensor in real world: movement trajectory detection with microblog. 765-779 - Xingxing Hao, Jing Liu:
A multiagent evolutionary algorithm with direct and indirect combined representation for constraint satisfaction problems. 781-793 - Hui Tian, Yanpeng Wu, Yiqiao Cai, Yongfeng Huang, Jin Liu, Tian Wang, Yonghong Chen, Jing Lu:
Distributed steganalysis of compressed speech. 795-804 - Dujuan Wang, Yunqiang Yin, Wen-Hsiang Wu, Wen-Hung Wu, Chin-Chia Wu, Peng-Hsiang Hsu:
A two-agent single-machine scheduling problem to minimize the total cost with release dates. 805-816 - Jun Ye:
Single-valued neutrosophic similarity measures based on cotangent function and their application in the fault diagnosis of steam turbine. 817-825
Volume 21, Number 4, February 2017
- Yadong Qin, Jun Ma, Shuai Gao:
Efficient influence maximization under TSCM: a suitable diffusion model in online social networks. 827-838 - Zhaowen Li, Ningxin Xie, Ninghua Gao:
Rough approximations based on soft binary relations and knowledge bases. 839-852 - Eszter K. Horváth, Branimir Seselja, Andreja Tepavcevic:
Cut approach to invariance groups of lattice-valued functions. 853-859 - Adriana Menchaca-Méndez, Carlos A. Coello Coello:
An alternative hypervolume-based selection mechanism for multi-objective evolutionary algorithms. 861-884 - Radhia Azzouz, Slim Bechikh, Lamjed Ben Said:
A dynamic multi-objective evolutionary algorithm using a change severity-based adaptive population management strategy. 885-906 - He Fang, Li Xu, Xinyi Huang:
Self-adaptive trust management based on game theory in fuzzy large-scale networks. 907-921 - Yang Li, Shuqiang Huang, Rensheng Fan, Zhen Zhang, Yuyu Zhou:
Research on gateway deployment of WMN based on maximum coupling subgraph and PSO algorithm. 923-933 - Longxin Lin, Weiwei Lin, Weijun Xiao, Sibin Huang:
An optimized video synopsis algorithm and its distributed processing model. 935-947 - Alejandro Hidalgo-Paniagua, Miguel A. Vega-Rodríguez, Joaquin Ferruz, Nieves Pavón:
Solving the multi-objective path planning problem in mobile robotics with a firefly-based approach. 949-964 - Khalid Almohammadi, Hani Hagras, Bo Yao, Abdulkareem Alzahrani, Daniyal M. Al-Ghazzawi, Ghadah Aldabbagh:
A type-2 fuzzy logic recommendation system for adaptive teaching. 965-979 - Damjan Strnad, Stefan Kohek:
Novel discrete differential evolution methods for virtual tree pruning optimization. 981-993 - Ramón Alberto Carrasco, Juan Sánchez-Fernández, Francisco Muñoz-Leiva, María Francisca Blasco, Enrique Herrera-Viedma:
Evaluation of the hotels e-services quality under the user's experience. 995-1011 - M. G. H. Akbari, Majid Chahkandi:
Fuzzy record values. 1013-1020 - Asghar Khan, Raees Khan, Young Bae Jun:
Uni-soft structure applied to ordered semigroups. 1021-1030 - Yung-Fa Huang, Tan-Hsu Tan, Chia-Hsin Cheng, Wei-Cheng Lai, Hsing-Chung Chen:
Performance of a novel evolutionary genetic-based multi-user detector for multi-carrier CDMA communication systems. 1031-1039 - Guoqing Yang, Wansheng Tang, Ruiqing Zhao:
An uncertain furniture production planning problem with cumulative service levels. 1041-1055 - Sefa Anil Sezer, Ibrahim Çanak:
Power series methods of summability for series of fuzzy numbers and related Tauberian Theorems. 1057-1064 - Kyung-Joong Kim, Sung-Bae Cho:
Ensemble bayesian networks evolved with speciation for high-performance prediction in data mining. 1065-1080 - Shu-Hua Teng, Fan Liao, Yanxin Ma, Mi He, Yongjian Nian:
Uncertainty measures of rough sets based on discernibility capability in information systems. 1081-1096
Volume 21, Number 5, March 2017
- Alexandru Mihai Bica, Shokrollah Ziari:
Iterative numerical method for fuzzy Volterra linear integral equations in two dimensions. 1097-1108 - Ruimin Shen, Jinhua Zheng, Miqing Li, Juan Zou:
Many-objective optimization based on information separation and neighbor punishment selection. 1109-1128 - Yingdong He, Zhen He, He Huang:
Decision making with the generalized intuitionistic fuzzy power interaction averaging operators. 1129-1144 - Shangwei Guo, Tao Xiang, Xiaoguo Li:
Image quality assessment based on multiscale fuzzy gradient similarity deviation. 1145-1155 - Anmol Pandey, Rituparna Datta, Bishakh Bhattacharya:
Topology optimization of compliant structures and mechanisms using constructive solid geometry for 2-d and 3-d applications. 1157-1179 - Giuseppe Casarano, Gilberto Castellani, Luca Passalacqua, Francesca Perla, Paolo Zanetti:
Relevant applications of Monte Carlo simulation in Solvency II. 1181-1192 - Shyam Sundar, Ponnuthurai N. Suganthan, Tay Jin Chua, Tian Xiang Cai, Chong Chin Soon:
A hybrid artificial bee colony algorithm for the job-shop scheduling problem with no-wait constraint. 1193-1202 - Basar Öztaysi, Sezi Çevik Onar, Kerim Goztepe, Cengiz Kahraman:
Evaluation of research proposals for grant funding using interval-valued intuitionistic fuzzy sets. 1203-1218 - Dongyan Zhang, Hui He, Weihua Li, Pingxin Du:
Rate control optimization for live streaming using fixed-time playback buffer. 1219-1228 - Alexandru Mihai Bica, Constantin Popescu:
Fuzzy trapezoidal cubature rule and application to two-dimensional fuzzy Fredholm integral equations. 1229-1243 - Luigi Laura, Gianluigi Me:
Searching the Web for illegal content: the anatomy of a semantic search engine. 1245-1252 - Rodica Ioana Lung, Mihai Suciu, Noémi Gaskó:
Noisy extremal optimization. 1253-1270 - Mohammadreza Farahmand, Mohammad Ishak Desa:
RED: a new method for performance ranking of large decision making units. 1271-1290 - Hang Wei, Li Lin, Honglai Zhang, Yangyang Xu, Shao-dong Deng, Jiajing Yu, Jiaming Hong, Rui Chen, Qinqun Chen:
Fuzzy clustering algorithms for identification of Exocarpium Citrus Grandis through chromatography. 1291-1300 - Weiwei Lin, Siyao Xu, Jin Li, Lingling Xu, Zhiping Peng:
Design and theoretical analysis of virtual machine placement algorithm based on peak workload characteristics. 1301-1314 - Wujian Ye, Kyungsan Cho:
P2P and P2P botnet traffic classification in two stages. 1315-1326 - Zhuoran Xu, Hiroyuki Iizuka, Masahito Yamamoto:
Attraction basin sphere estimation approach for niching CMA-ES. 1327-1345 - Filippo Maria Bianchi, Enrico Maiorino, Lorenzo Livi, Antonello Rizzi, Alireza Sadeghian:
An agent-based algorithm exploiting multiple local dissimilarities for clusters mining and knowledge discovery. 1347-1369
Volume 21, Number 6, March 2017
- Maria Luisa Dalla Chiara, Roberto Giuntini, Eleonora Negri, Giuseppe Sergioli, Sonja Smets:
Preface. 1371-1372 - Hector Freytes, Christian de Ronde, Graciela Domenech:
Semilattices global valuations in the topos approach to quantum mechanics. 1373-1379 - Giuseppe Sergioli, Roberto Leporini:
Quantum approach to epistemic semantics. 1381-1390 - Giuseppe Sergioli, Antonio Ledda:
A note on many valued quantum computational logics. 1391-1400 - Reinhard Blutner:
Modelling tonal attraction: tonal hierarchies, interval cycles, and quantum probabilities. 1401-1419 - Jort Martinus Bergfeld, Joshua Sack:
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. 1421-1441 - Antonino Salibra, Antonio Ledda, Francesco Paoli:
Factor varieties. 1443-1454 - Sandro Sozzo:
Effectiveness of the quantum-mechanical formalism in cognitive modeling. 1455-1465 - Volkmar Putz, Karl Svozil:
Quantum music. 1467-1471 - Maria Luisa Dalla Chiara, Roberto Giuntini, Antonino Riccardo Luciani, Eleonora Negri:
A quantum-like semantic analysis of ambiguity in music. 1473-1481 - Diederik Aerts, Massimiliano Sassoli de Bianchi:
Do spins have directions? 1483-1504 - Tomas Veloz, Pablo Razeto:
The state context property formalism: from concept theory to the semantics of music. 1505-1513 - Stefano Bonzio, Paola Verrucchi:
The rhythm of quantum algorithms. 1515-1521 - Alexandru Baltag, Sonja Smets:
Modeling correlated information change: from conditional beliefs to quantum conditionals. 1523-1535 - Huan-yu Zheng, Ling Wang, Xiaolong Zheng:
Teaching-learning-based optimization algorithm for multi-skill resource constrained project scheduling problem. 1537-1548 - Xiangshan Dai, Xiaofang Yuan, Liang-Hong Wu:
A novel harmony search algorithm with gaussian mutation for multi-objective optimization. 1549-1567 - Wu He, Jim X. Chen, Weihua Zhang:
Low-rank representation with graph regularization for subspace clustering. 1569-1581 - Luigi Troiano, Cosimo Birtolo, Roberto Armenise:
Modeling and predicting the user next input by Bayesian reasoning. 1583-1600