In this paper a laminar flow of water on an ice layer subjected to a slip condition is considered numerically. The paper describes a parametric mathematical model to simulate the coupled heat and mass transfer events occurring in moving boundary problems associated with a quasi steady state steady flow process. The discretization technique of the elliptic governing differential equations of mas...

We present a straightforward, yet effective approach to volume-preserving mesh skinning. After each skinned mesh deformation, a volume correction is applied which moves the vertices along an automatically constructed displacement field. The volume correction is exact and is computed directly by a closed-form solution. The animator can control the volume correction interactively to achieve custo...

cantaloupe (cucumis melo) volume was measured using water displacement and image processing methods. the volume determined from image processing method was compared to the volume determined by the water displacement method using the paired samples t-test and the bland-altman approach. the paired samples t-test results showed that the volume determined by image processing method was not signific...

A b s t r a c t In this paper, we briefly discuss the dynamic and functional approach to computer symbolic tensor analysis. The ccgrg package for Wolfram Language/Mathematica is used to illustrate this approach. Some examples of applications are attached.

In this article, we propose a fuzzy class relation assigning to each pair of finite fuzzy sets a degree to which they are equipollent, which indicates that they have the same number of elements. The concepts of fuzzy sets and fuzzy classes in the class of all countable sets are introduced, and several standard relations and constructions, such as the fuzzy power set and exponentiation, are defi...

The development of the Event-B formal method and the supporting tools Rodin and ProB was guided by practical experiences with the B-Method, the Z specification notation, VDM and similar practical formal methods. The case study discussed in this article — a cruise control system — is a serious test of industrial use. We report on where Event-B and its tools have succeeded, where they have not. W...

The Interval Volume Decomposer (IVD) is an interface for decomposing an entire volume into interval volumes each of which characterizes a distinctive volume feature. The advantage of the IVD is that it allows us to look inside the volume by peeling interval volumes from outside to inside not only interactively but also automatically. This is achieved due to the rigorous analysis of nested struc...

In this paper, thermal effects of laser irradiance on biological tissue is investigated using computer simulations. Earlier attempts in this field made use of finite difference and finite element techniques. Here a novel approach is adopted to improve the results. The effect of our implicit approach on the convergence procedure and accuracy of results, with different timing steps, is explor...