Images of human iris contain specular highlights due to the reflective properties of the cornea. This corneal reflection causes many errors not only in iris and pupil center estimation but also to locate iris and pupil boundaries especially for methods that use active contour. Each iris recognition system has four steps: Segmentation, Normalization, Encoding and Matching. In order to address th...

The aim of this note is a classification of all nice and all inductively factored reflection arrangements. It turns out that apart from the supersolvable instances only the monomial groups G(r, r, 3) for r > 3 give rise to nice reflection arrangements. As a consequence of this and of the classification of all inductively free reflection arrangements from Hoge and Röhrle (2015) we deduce that th...

The basic properties of soundness, extensibility, and stability required from a verification system V taken in full yield the necessity of having a reflection rule in every such V. However, the reflection rule based on the Gödel provability predicate (implicit provability predicate) leads to a "reflection tower" of theories which cannot be formally verified. The paper introduces an explicit ref...

We study consequences of stationary and semi-stationary set reflection. We show that the semi-stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi-stationary set reflection augmented with a weak form of Mar...

Collaborative reflection helps groups to learn from work experiences for future work. Although its potential has been recognized and initial work is available, insights on how tools support people in collaborative reflection at work are scarce. We present an approach to analyze collaborative reflection support based on content analysis and an initial study in which it was applied to four cases ...

Reflection is an increasingly important feature in software systems as evidenced by introduction of datatype reflection abilities in Java, RTTI runtime type information reflection package for C++, and reflection service in .NET environment. Since systems being designed today are supposed to self-configure, self-heal and make a lot more intelligent decisions about itself, including versioning, f...

In the present work the reflection behavior and the color appearance of acrylic yarns, as pile yarns used in carpet and pilled fabrics, are considered along their lengths as well as their cross- sections. Differences between longitudinal and cross-sectional reflection behaviors of yarns are measured in different yarn densities and hues and explained by the geometric model. The results of experi...

In the present work the reflection behavior and the color appearance of acrylic yarns, as pile yarns used in carpet and pilled fabrics, are considered along their lengths as well as their cross- sections. Differences between longitudinal and cross-sectional reflection behaviors of yarns are measured in different yarn densities and hues and explained by the geometric model. The results of experi...