CMA
2010
13 years 9 months ago
2010
: In this paper we study the existence and uniqueness of solutions to a nonlinear Neumann problem for a scalar second order ordinary differential equation u = a t u + f(t, u, u ), ...
SIGSOFT
2010
ACM
13 years 10 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
OL
2010
13 years 11 months ago
2010
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
JAT
2007
14 years 10 days ago
2007
We know that not all minimal projections in Lp (1 < p < ∞) are unique (see [39]). The aim of this paper is examine the connection of the Chalmers-Metcalf operator (introduc...
DAM
2007
14 years 12 days ago
2007
This note extends results of Fern´andez, Leighton, and L´opez-Presa on the uniqueness of rth roots for disconnected graphs with respect to the Cartesian product to other product...
CORR
2007
Springer
14 years 12 days ago
2007
Springer
The aim of this paper is to characterize the uniqueness domains in the workspace of parallel manipulators, as well as their image in the joint space. The notion of aspect introduc...
CORR
2008
Springer
14 years 16 days ago
2008
Springer
We prove existence and uniqueness of the minimizer for the average geodesic distance to the points of a geodesically convex set on the sphere. This implies a corresponding existen...
WCE
2007
14 years 1 months ago
2007
–We consider the boundary value problem: x(m) (t) = f(t, x(t)), a ≤ t ≤ b, m > 1 x(a) = β0 ∆x(k) ≡ x(k) (b) − x(k) (a) = βk+1, k = 0, ..., m − 2 wher...
IWMM
2007
Springer
14 years 6 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...