4757 search results - page 13 / 952 » A Unique |
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
MOC
1998
13 years 7 months ago
1998
The existence and uniqueness of the Lipschitz continuous traveling wave of Godunov’s scheme for scalar conservation laws are proved. The structure of the traveling waves is studi...
APPROX
2010
Springer
13 years 9 months ago
2010
Springer
We show a tight relation between the behavior of unique games under parallel repetition and their semidefinite value. Let G be a unique game with alphabet size k. Suppose the semid...
INFSOF
2006
13 years 7 months ago
2006
In finite state machine (FSM) based testing, the problem of fault masking in the unique input/output (UIO) sequence may degrade the test performance of the UIO based methods. This...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino ...