We present a new modular shape analysis that can synthesize heap memory specification on a per method basis. We rely on a second-order biabduction mechanism that can give interpretations to unknown shape predicates. There are several novel features in our shape analysis. Firstly, it is grounded on second-order bi-abduction. Secondly, we distinguish unknown pre-predicates in pre-conditions, from...

Article history: Received 29 October 2015 Received in revised form 18 December 2015 Accepted 19 December 2015 Available online 29 December 2015 Particle shape plays an important role in determining the engineering behaviour of granular materials. In this regard, characterisation and quantification of particle shape are essential for understanding the behaviour of granular materials. X-ray micro...

In this paper we exploit the effectiveness of bioinformatics tools to deal with 3D shape matching. The key idea is to transform the shape into a biological sequence and take advantage of bioinformatics tools for sequence alignment to improve shape matching. In order to extract a reliable ordering of mesh vertices we employ the spectral-based sequencing method derived from the well known Fiedler...

Solid-liquid extraction is carried out from vegetable substrates in industrial continuous counter-current extractor. A batch study was conducted to obtain the extraction kinetic and the bulk phase saturation. An extraction model is proposed and compared with experimental data. This model is based on the general diffusion model including a shape factor of solid particle. A methodology for the ba...

Abstraet--A neural network approach is proposed to build the first stage of an Automatic Handwritten Signature Verification System. The directional Probability Density Function was used as a global shape factor and its discriminating power was enhanced by reducing its cardinality via filtering. Various experimental protocols were used to implement the backpropagation network (BPN) classifier. A...

We present a novel extension to shape grammars, in which the generated shapes are voxelized. This allows easy Boolean geometry operations on the shapes, and detailing of generated models at a sub-shape level, both of which are extremely difficult to do in conventional shape grammar implementations. We outline a four step algorithm for using these extensions, discuss a number of optional enhance...

We present model calculations for the inelastic cross sections of electron collisions with tetrahedral molecules XH4 ~X5C, Si, Ge! when only the molecular ‘‘breathing’’ mode, n1 , is being excited. The collision energy range is well above the excited thresholds and up to 12 eV, where the adiabatic approximation for the inelastic T matrix is expected to hold. The results show the efficiency of t...

Cylindrical microparticle transport and deposition from electrokinetic microflow in a 90 degree bend have been numerically simulated. Under the effect of dielectrohporetic force, gravity and stokes force, it’s found that microparticles with larger size deposit on the lower region of the bend’s outer wall. An exponential curve of deposition efficiency versus the product of stokes number and shap...

This paper presents a spline approximation method for the representation of a large set of points. The representation should be smooth with preserving important shape characteristics given by the points. Because of a large size of the set, the standard spline interpolation cannot be used. The proposed method is based on a least squares minimization of the distances of the points from the spline...