In this paper we introduce the uniqueness and completeness problems of array comprehensions. An array comprehension has the uniqueness property if it deenes each array element at most once. Uniqueness is a necessary condition for correctness in single assignment languages such as Haskell, Id, and Sisal. The uniqueness problem can be stated as a data dependence problem, which in itself can be re...

In this paper we introduce the uniqueness problem of array comprehensions. An array comprehension has the uniqueness property if it de nes each array element at most once. Uniqueness is a necessary condition for the correctness of single assignment languages such as Haskell, Id, and Sisal. The uniqueness problem can be stated as a data dependence problem, which in itself can be reformulated as ...

In this paper, we study the uniqueness of solutions for diagonal hyperbolic systems in one space dimension. We present two uniqueness results. The first one is a global existence and uniqueness result of a continuous solution for strictly hyperbolic systems. The second one is a global existence and uniqueness result of a Lipschitz solution for hyperbolic systems not necessarily strictly hyperbo...

‎In this paper‎, ‎we study the Neumann boundary value problem of a class of nonlinear divergence type diffusion equations‎. ‎By a priori estimates‎, ‎difference and variation techniques‎, ‎we establish the existence and uniqueness of weak solutions of this problem.

This paper uses the Tsuji’s characteristic to investigate the uniqueness of transcen- dental meromorphic function with shared values in an angular domain dealing with the multiple values which improve a result of J. Zheng.

In this article, we verify existence and uniqueness of positive and nondecreasing solution for nonlinear boundary value problem of fractional differential equation in the form $D_{0^{+}}^{alpha}x(t)+f(t,x(t))=0, 0

Uniqueness has a positive and attractive connotation, but being too unique can result in social sanctions. This paper focuses on the dual role of consumers’ need for uniqueness. The findings of two studies in Israel support the notion that expressing uniqueness via consumption behavior is a safe way to achieve a different sense of being without damaging an individual’s sense of social assimilat...

In this paper, we study the uniqueness of solutions for diagonal hyperbolic systems in one space dimension. We present two uniqueness results. The first one is a global existence and uniqueness result of a continuous solution for strictly hyperbolic systems. The second one is a global existence and uniqueness result of a Lipschitz solution for hyperbolic systems not necessarily strictly hyperbo...

One of the most important theorems in Ordinary Di↵erential Equations is Picard’s Existence and Uniqueness Theorem for first-order ordinary di↵erential equations. Why is Picard’s Theorem so important? One reason is it can be generalized to establish existence and uniqueness results for higher-order ordinary di↵erential equations and for systems of di↵erential equations. Another is that it is a g...

In this paper we introduce the uniqueness problem of array comprehensions. An array comprehension has the uniqueness property if it deenes each array element at most once. Uniqueness is a necessary condition for the correctness of single assignment languages such as Haskell, Id, and Sisal. The uniqueness problem can be stated as a data dependence problem, which in itself can be reformulated as ...