Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Uniqueness type

Known as: Uniqueness typing 
In computing, a unique type guarantees that an object is used in a single-threaded way, with at most a single reference to it. If a value has a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
This paper considers unbalanced multiphase distribution systems with generic topology and different load models, and extends the… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • table II
Is this relevant?
2017
2017
6 Abstract. In this paper, the coalitional game with fuzzy payoffs is considered. Based on the credibility theory, two new… Expand
Is this relevant?
2008
2008
We prove the global classical solvability of initial-boundary problems for semilinear first-order hyperbolic systems subjected to… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We show that various inverse problems in signal recovery can be formulated as the generic problem of minimizing the sum of two… Expand
Is this relevant?
2004
2004
Abstract The generalized radius and center Lipschitz conditions with L average are introduced to investigate the convergence of… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
An introduction to the special section is given. The new database of experimental data used in this section is also introduced… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
Abstract. Let w be a finite word and n the least non-negative integer such that w has no right special factor of length $n$ and… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Sufficient conditions are given for existence and uniqueness in Smoluchowski's coagulation equation, for a wide class of… Expand
Is this relevant?
1995
1995
We extend the Uniqueness Type System with uniqueness polymorphism. Using a notion of ‘principal uniqueness variants’ the type… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
A wheel cover having an annular, axially directed flange of a diameter slightly less than the inner diameter of the wheel rim is… Expand
Is this relevant?