We propose a new technique called stable-PUF-marking as an alternative to error correction to get reproducible (i.e. stable) outputs from physical unclonable functions (PUF). The concept is based on the influence of the mismatch on the stability of the PUF-cells’ output. To use this fact, cells providing a high mismatch between their crucial transistors are selected to substantially lower the e...

This paper presents a generic approach to statically analyze Java programs in order to detect potential er rors bugs We discuss a framework that supports our approach and carries out the static analysis of Java code automatically Our approach can automatically detect potential bugs and report them before the pro gram is executed For a Java class invariants related to the category of error under...

Static hand gesture recognition is very important for human-computer interaction systems, which is widely used in human-computer interaction systems. Using visible RGB images as the input method would be more stable, but the illumination and skin color are big problems; by contrast the depth images is a better choice. A novel algorithm which recognizes static hand gesture based on depth images ...

When telescopes are exploited for the observation of orbiting objects, images are often distorted by diurnal motion and also by the motion of the imaging apparatus during acquisition, causing a significant drift across image sequences. The drift of normally static objects, such as the stars in the background, can be exploited to correct the effect of the drift and recalibrate the sequence of im...

This paper continues the discussion of the detailed experimental study conducted on adaptive optical control methodologies inside a laser resonator.(1) In this paper we discuss the experimental results for the correction of tilt within a laser resonator utilizing a multidither zonal COAT system. The tilt aberration was introduced in three different ways: (1) static tilt was introduced while the...

Progress in the fabrication of integrated circuits (ICs) enables smaller and smaller minimum feature sizes, so that more and more transistors can be realized per chip area. Digital circuits greatly benefit from the miniaturization. By contrast, analog circuits suffer from reduced precision when component sizes are decreased, because for decreased component sizes, the respective component values...

Presbyopia is the primary cause of reduction in the quality of life of people in their 40s, due to dependence on spectacles. Therefore, presbyopia correction has become an evolving and rapidly progressive field in refractive surgery. There are two primary options for presbyopia correction: the dynamic approach uses the residual accommodative capacity of the eye, and the static approach attempts...

Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of secret information manipulated by a program. Many static analyses have been developed for the verification of noninterference. In contrast to those static analyses, this paper considers the run-time verification of the r...