Restriction mapping is one of the essential steps in gene analysis and molecular biology studies. Slab gel electrophoresis is the traditional way to separate DNA fragments for restriction mapping. However, slab gel electrophoresis does not provide sufficient resolution as required in many mapping applications, and the use of radioisotopes in traditional mapping methods creates health hazards. I...

This paper shows how PILLY (Polymorphic Intuitionistic / Linear Lambda calculus with a fixed point combinator Y ) with parametric polymorphism can be used as a metalanguage for domain theory, as originally suggested by Plotkin more than a decade ago. Using Plotkin’s encodings of recursive types in PILLY we show how parametric models of PILLY give rise to models of FPC, a simply typed lambda cal...

‎In this paper‎, ‎we study a class of boundary value problem‎ ‎involving the p-Laplacian oprator and singular nonlinearities‎. ‎We‎ ‎analyze the existence a critical parameter $lambda^{ast}$ such‎ ‎that the problem has least one solution for‎ ‎$lambdain(0,lambda^{ast})$ and no solution for‎ ‎$lambda>lambda^{ast}.$ We find lower bounds of critical‎ ‎parameter $lambda^{ast}$‎. ‎We use the method ...

We study analytically the change in wealth ($x$) distribution $P(x)$ against saving propensity $\lambda$ a closed economy, using Kinetic theory. estimate Gini ($g$) and Kolkata ($k)$ indices by deriving (using $P(x)$) Lorenz function $L(f)$, giving cumulative fraction $L$ of possessed $f$ people ordered ascending order wealth. First, exact result for when $\lambda = 0$ we derive from there inde...

Parameterization of discrete surfaces is a fundamental and widely-used operation in graphics, required, for instance, for texture mapping or remeshing. As 3D data becomes more and more detailed, there is an increased need for fast and robust techniques to automatically compute least-distorted parameterizations of large meshes. In this paper, we present new theoretical and practical results on t...

Framework for Similarity-Based Methods (SBMs) allows to create many algorithms that differ in important aspects. Although no single learning algorithm may outperform other algorithms on all data an almost optimal algorithm may be found within the SBM framework. To avoid tedious experimentation a meta-learning search procedure in the space of all possible algorithms is used to build new algorith...

Parameterization of discrete surfaces is a fundamental and widely-used operation in graphics, required, for instance, for texture mapping or remeshing. As 3D data becomes more and more detailed, there is an increased need for fast and robust techniques to automatically compute least-distorted parameterizations of large meshes. In this paper, we present new theoretical and practical results on t...

Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into formulas. A formula can be reevaluated with arbitrary texture-space coordinates, to generate a new portion of the texture in texture space. Most evolutionary art programs are interactive, and require the user to repeat...

This paper presents the predicted polar mapping that is to improve the efficiency of an unexpected moving obstacle detecting system in a single vision-based robot. The polar mapping is used to simplify the segmentation of moving objects from the background and is performed with the focus of expansion (FOE) as the center. When the movement of the robot per a step becomes a bit large, then static...