Prediction of soft tissue aesthetics is important for achieving an optimal outcome in orthodontic treatment planning. Previously, applicable procedures were mainly restricted to 2-D profile prediction. In this study, a generic 3-D finite element (FE) model of the craniofacial soft and hard tissue was constructed, and individualisation of the generic model based on cone beam CT data and mathemat...

This work is concerned with the numerical implementation of the space-transformation approach in porous media modeling. Space transformation is a mathematical approach that simplifies the study of multidimensional problems by reducing them to unidimensional ones. In particular, the implementation aspects considered in this work include (i) the development and testing of numerical space-transfor...

In many practical applications, it turns out to be useful to use the notion of fuzzy transform: once we have functions A1(x) ≥ 0, . . . , An ≥ 0, with n ∑ i=1 Ai(x) = 1, we can then represent each function f(x) by the coefficients Fi = ∫ f(x) ·Ai(x) dx ∫ Ai(x) dx . Once we know the coefficients Fi, we can (approximately) reconstruct the original function f(x) as n ∑ i=1 Fi · Ai(x). The original...

It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal analysis domains. Software design is often considered a human oriented task while the analysis phase draws on formal representation and mathematical foundations. An example of this dichotomy is the use of UML for the so...

This paper describes the rst steps of the formal veriication of a Prolog compiler with the KIV system. We build upon the mathematical deenitions given by BB orger and Rosenzweig in BR95]. There an operational semantics of Prolog is deened using the formalism of Evolving Algebras, and then transformed in several systematic steps to the Warren Abstract Machine (WAM). To verify these transformatio...

This paper describes the rst steps of the formal veriication of a Prolog compiler with the KIV system. We build upon the mathematical deenitions given by BB orger and Rosenzweig in BR95]. There an operational semantics of Prolog is deened using the formalism of Evolving Algebras, and then transformed in several systematic steps to the Warren Abstract Machine (WAM). To verify these transformatio...

Wavelet mathematical transformation and heart sound signal processing have recently been attracting a significant amount of attention in the research community. Why is this new priority being given to improved approach to heart sound signal analysis for accurate pattern recognition using the wavelet transform technique? This article provides an overview of this emerging field of digital bio-sig...

Visualirable Elastic Concrete FI G1V.E) F] R"(V,EI M b 4 ) 1 1 SPACES FORMS FORMS F I G U R E S M O L E C U L A R YxY S T R U C T U R E Fig. 7. A whematic reprc\ciil.iii~iii 01 ihe rnicrrclationship of topological spaces. graphical forms, geometric forms, and geometric figures. The embedding of any of these objects in conventional chemical paradigms produces a model 01' molecular structure. R ,...

the paper presents the semi-numerical solution for the magnetohydrodynamic (mhd) viscous flow due to a stretching sheet caused by boundary layer of an incompressible viscous flow. the governing partial differential equations of momentum equations are reduced into a nonlinear ordinary differential equation (node) by using a classical similarity transformation along with appropriate boundary cond...