Finite linear least squares is one of the core problems numerical algebra, with countless applications across science and engineering. Consequently, there a rich ongoing literature on algorithms for solving problems. In this paper, we explore variant in which system's matrix has infinite dimension (i.e., it quasimatrix). We call such semi-infinite regression As show, case arises several applica...

We address the veriication problem of FIFO-channel systems. We apply the symbolic analysis principle to these systems. We represent their sets of conngurations using structures called CQDD's combining nite-state automata with linear arith-metical constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets ...

We address the veriication problem of FIFO-channel systems. We apply the symbolic analysis principle to these systems. We represent their sets of conng-urations using structures called CQDD's combining nite-state automata with linear arithmetical constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets ...

This paper proposes an extended semi-supervised regression approach to enhance the prediction accuracy of housing prices within the geographical information science field. The method, referred to as co-training geographical weighted regression (COGWR), aims to fully utilize the positive aspects of both the geographical weighted regression (GWR) method and the semi-supervised learning paradigm. ...

The propagation and localization of transversal-rotational waves in a two-dimensional granular chain of equal masses are analyzed in this study. The masses are infinitely long cylinders possessing one translational and one rotational degree of freedom. Two dispersive propagating modes are predicted in this granular crystal. By considering the semi-infinite chain with a boundary condition applie...

We address the veriication problem of FIFO-channel systems by applying the symbolic analysis principle. We represent their sets of states (conngurations) using structures called CQDD's combining nite-state automata with linear constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets of conngurations. Mo...

The purpose of this research was to evaluate the nonlinear dynamic response of rigid and semi-rigid steel frames under Far-Fault Earthquake Records. Accordingly, the fragility curve of the moment frames with rigid and semi-rigid connections was determined. Considering the analytical knowledge of structures in the past, the analysis and design of steel frames based on the assumptions of rigid or...

Embedding information networks into low-dimensional spaces has received a lot of attention recently due to its effectiveness in a variety of applications. Most of existing network embedding approaches are totally unsupervised without considering the labeled data. This paper studies the problem of semi-supervised information network embedding. With the guidance of the labeled data, we are likely...