This paper proposes a pattern-matching system that enables nonlinear pattern-matching against unfree data types. The system allows multiple occurrences of the same variables in a pattern, multiple results of pattern-matching and modularization of the way of pattern-matching for each data type at the same time. It enables us to represent patternmatching against not only algebraic data types but ...

a confounder is a variable whose presence affects the variables being studied so that the results do not reflect the actual relationship. there are various ways to exclude or control confounding variables including randomization, restriction and matching. but all these methods are applicable at the time of study design. when experimental designs are premature, impractical, or impossible, resear...

motion analysis and quality assessment of human sperm cell is of great importance for clinical applications of male infertility. sperm tracking is quite complex due to cell collision, occlusion and missed detection. the goal of this study is simultaneous tracking of multiple human sperm cells. in the first step in this research the frame difference algorithm is used for background subtraction. ...

We propose a probabilistic latent variable model for unsupervised cluster matching, which is the task of finding correspondences between clusters of objects in different domains. Existing object matching methods find oneto-one matching. The proposed model finds many-tomany matching, and can handle multiple domains with different numbers of objects. The proposed model assumes that there are an i...