A novel method of the multiprimitive texture analysis is proposed. This method segments a texture using the watershed algorithm into fragments each of which contains one grain. The size density function of each fragment is calculated, and the fragments are located in the feature space each of whose basis is the size density of a size. The shape of each grain is distorted by the segmentation if ...

When characterising typical human movement profiles, the optimal number of trials analysed for each participant should ensure a stable mean. Sequential analysis is one method able to establish the number of trials to stability by assessing a moving point mean against a set bandwidth. As the total trial number determining this bandwidth is selected arbitrarily, the effect of applying different t...

The paper presents a new method of sample size determination (SSD) based on performance evaluation of systems under study. The method builds upon previous work on Bayesian approach to nonparametric receiver operating characteristics (ROC) analysis with estimation of probability density functions and confidence intervals for parameters of ROC curve. Technical details of the method together with ...

In 2001 Lee, Jones and Ben-Amram introduced the notion of size-change termination (SCT) for first order functional programs, a sufficient condition for termination. They proved that a program is size-change terminating if and only if it has a certain property which can be statically verified from the recursive definition of the program. Their proof of the size-change termination theorem used Ra...

Semiconducting materials such as CdSe, CdS, PbS and GaP are included in crystalline zeolite Y and mordenite and structurally flexible ethylenemethacrylic acid copolymer solid matrices. EXAFS anal sis reveals formation of while the polymer matrices allow agglomeration of larger semiconducting particles. Zeolite anchored structures are distinctively different to small particles with bulk crystal ...

We present a size-aware type system for a first-order functional language with algebraic data types, where types are annotated with polynomials over size variables. We define how to generate typing rules for each data type, provided its user defined size function meets certain requirements. As an example, a program for balancing binary trees is type checked. The type system is shown to be sound...

We study the problem of determining stack boundedness and the exact maximum stack size for three classes of interrupt-driven programs. Interrupt-driven programs are used in many real-time applications that require responsive interrupt handling. In order to ensure responsiveness, programmers often enable interrupt processing in the body of lower-priority interrupt handlers. In such programs a pr...

We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments. Examples of shapely function definitions may be matrix multiplication and the Cartesian product of two lists. The type checking problem for the type system is shown to be u...