The present essay scrutinizes the application of discrete mollification as a filtering procedure to solve a nonlinear backward inverse heat conduction problem in one dimensional space. These problems are seriously ill-posed. So, we combine discrete mollification and space marching method to address the ill-posedness of the proposed problem. Moreover, a proof of stability and<b...

I introduce axiomatically infinite sequential games that extend von Neumann and Kuhn’s classic axiomatic frameworks. Within this setup, I define a modified backward induction procedure that is applicable to all games. A strategy profile that survives backward pruning is called a backward induction equilibrium (BIE). The main result compares the sets of BIE and subgame perfect equilibria (SPE). ...

Given an acyclic digraph D, the competition graph C(D) is defined to be the undirected graph with V (D) as its vertex set and where vertices x and y are adjacent if there exists another vertex z such that the arcs (x, z) and (y, z) are both present in D. The competition number k(G) for an undirected graph G is the least number r such that there exists an acyclic digraph F on |V (G)| + r vertice...

Neville elimination is an elimination procedure alternative to Gaussian elimination. It is very useful when dealing with totally positive matrices, for which nice stability results are known. Here we include examples, most of them test matrices used in MATLAB which are not totally positive matrices, where Neville elimination outperforms Gaussian elimination. 2010 Elsevier Inc. All rights reserved.

The second-order Arnoldi (SOAR) procedure is an algorithm for computing an orthonormal basis of the second-order Krylov subspace. It has found applications in solving quadratic eigenvalue problems and model order reduction of second-order dynamical systems among others. Unfortunately, the SOAR procedure can be numerically unstable. The two-level orthogonal Arnoldi (TOAR) procedure has been prop...

This paper sets out a method for improving the resolution of resonant microwave sensors. Usually, frequency response these devices is associated with low quality factor, and consequently in terms tracking capacity resonance shift. Furthermore, since only finite number samples can be acquired during measurement process, “true” may not included set data. In order to have an accurate estimate freq...

Deep neural networks are famous for their high prediction accuracy, but they also known black-box nature and poor interpretability. We consider the problem of variable selection, that is, selecting input variables have significant predictive power on output, in deep networks. Most existing selection methods only applicable to shallow or computationally infeasible large datasets; moreover, lack ...

Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), which contains the future probable cache miss instructions and backward slice, can run on the spare hardware context for data prefetching. Recently, various forms of speculative pre-execution have been developed, including...