MinSAT is the problem of finding a truth assignment that minimizes the number of satisfied clauses in a CNF formula. When we distinguish between hard and soft clauses, and soft clauses have an associated weight, then the problem, called Weighted Partial MinSAT, consists in finding a truth assignment that satisfies all the hard clauses and minimizes the sum of weights of satisfied soft clauses. ...

In this paper, we consider iterative methods for solving a partial eigenvalue problem real symmetric interval matrices. Such matrices have applications in modeling many technical problems where lot of data suffers from limited variation or uncertainty. most applied problems, when some parameter values fluctuate with known amplitude, then it can be considered that is advisable to use methods. Th...

Abstract This article is concerned with the Dirichlet eigenvalue problem associated ∞ \infty -Laplacian in metric spaces. We establish a direct partial differential equation approach to find principal and eigenfunctions proper geodesic space without assuming any measure structure. provide an appropriate notion of solut...

This paper models and analyzes downlink and uplink power assignment in code division multiple access (CDMA) mobile networks. By discretizing the area into small segments, the power requirements are characterized via a matrix representation that separates user and system characteristics. We obtain a closed-form analytical expression of the so-called Perron–Frobenius eigenvalue of that matrix, wh...

Radial Basis Function (RBF) collocation methods for time-dependent PDEs, in particular hyperbolic PDEs, are known to be difficult to implement in a way so that they are stable for time integration. It has been hypothesized that the instability is due to the way that boundary conditions are applied and to the relatively large errors in boundary regions. We describe a preconditioning technique th...

The purpose of this paper is to develop a “calculus” on graphs that allows graph theory to have new connections to analysis. For example, our framework gives rise to many new partial differential equations on graphs, most notably a new (Laplacian based) wave equation (see [FTa, FTc]); this wave equation gives rise to a partial improvement on the Chung-Faber-Manteuffel diameter/eigenvalue bound ...