Algorithms  

Wei Gao, Hengyi Lv, Qiang Zhang and Dunbo Cai

The satisfiability modulo theories (SMT) problem is to decide the satisfiability of a logical formula with respect to a given background theory. This work studies the counting version of SMT with respect to linear integer arithmetic (LIA), termed SMT(LIA)... see more

Miguel Pires, Srivatsan Ravi and Rodrigo Rodrigues

One of the most recent members of the Paxos family of protocols is Generalized Paxos. This variant of Paxos has the characteristic that it departs from the original specification of consensus, allowing for a weaker safety condition where different process... see more

Asahi Takaoka

The Hamiltonian cycle reconfiguration problem asks, given two Hamiltonian cycles ??0 C 0 and ???? C t of a graph G, whether there is a sequence of Hamiltonian cycles ??0,??1,…,???? C 0 , C 1 , … , C t such that ???? C i can be obtained from ????-1 C i... see more

Ioannis E. Livieris, Andreas Kanavos, Vassilis Tampakas and Panagiotis Pintelas

Semi-supervised learning algorithms have become a topic of significant research as an alternative to traditional classification methods which exhibit remarkable performance over labeled data but lack the ability to be applied on large amounts of unlabeled... see more

Sanjiv R. Das, Karthik Mokashi and Robbie Culkin

We examine the use of deep learning (neural networks) to predict the movement of the S&P 500 Index using past returns of all the stocks in the index. Our analysis finds that the future direction of the S&P 500 index can be weakly predicted by the ... see more

Qingyao Ai, Vahid Azizi, Xu Chen and Yongfeng Zhang

Providing model-generated explanations in recommender systems is important to user experience. State-of-the-art recommendation algorithms—especially the collaborative filtering (CF)- based approaches with shallow or deep models—usually work with various u... see more

Manuel A. Duarte-Mermoud, Javier A. Gallegos, Norelys Aguila-Camacho and Rafael Castro-Linares

Adaptive and non-adaptive minimal realization (MR) fractional order observers (FOO) for linear time-invariant systems (LTIS) of a possibly different derivation order (mixed order observers, MOO) are studied in this paper. Conditions on the convergence and... see more

Jun Ye and Wenhua Cui

Linguistic decision making (DM) is an important research topic in DM theory and methods since using linguistic terms for the assessment of the objective world is very fitting for human thinking and expressing habits. However, there is both uncertainty and... see more

Gabriele Russo Russo, Matteo Nardelli, Valeria Cardellini and Francesco Lo Presti

The capability of efficiently processing the data streams emitted by nowadays ubiquitous sensing devices enables the development of new intelligent services. Data Stream Processing (DSP) applications allow for processing huge volumes of data in near real-... see more

Xiuyun Zheng and Jiarong Shi

In this paper, a modification to the Polak–Ribiére–Polyak (PRP) nonlinear conjugate gradient method is presented. The proposed method always generates a sufficient descent direction independent of the accuracy of the line search and the convexity of the o... see more

Jinglin Du, Yayun Liu and Zhijun Liu

Jan Friso Groote, Jao Rivera Verduzco and Erik P. De Vink

Piotr Borkowski

Zhiyong Sheng, Dandan Qu, Yuan Zhang and Dan Yang