OBJECTIVE The aim of this study was to compare geometrically cross-sectional areas of two different laminoplasty techniques in same opening size. Some investigators have studied the expanded areas of the two different techniques using imaging study. Although it is unclear that postoperative spinal canal is correlated with the surgical outcome we just focused on mathematical and geometrical corr...

introduction: one of the types of hospital management information systems is decision support information system (dsis). this system uses decision-making models and databases for preparing specific information to support their semi-structured or unstructured decisions. the present study aimed to design a decision dsis model for board of trustees of ayatollah kashani hospital, shahrekord, iran. ...

We use the technique of interactive theorem proving to develop the theory and an enumeration technique for finite idempotent relations. Starting from a short mathematical characterization of finite idempotents defined and proved in Isabelle/HOL, we derive first an iterative procedure to generate all instances of idempotents over a finite set. From there, we develop a more precise theoretical ch...

This paper presents a class of theoretical and iterative method for linear partial differential equations. An algorithm and analytical solution with a initial condition is obtained using the reduced differential transform method. In this technique, the solution is calculated in the form of a series with easily computable components. There test modeling problems from mathematical mechanic, physi...

Arising from research in the computer science community, constraint programming is a fairly new technique for solving optimization problems. For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming. In this short tutorial on constraint programming, we explain how it relates to familiar mathematical pro...

‎A computational technique for solution of mathematical model of gas solution in a fluid is presented‎. ‎This model describes the change of mass of the gas volume due to diffusion through the contact surface‎. ‎An appropriate representation of the solution based on the M"{u}ntz polynomials reduces its numerical treatment to the solution of a linear system of algebraic equations‎. ‎Numerical exa...

A mathematical model for nutritional transport in capillary tissues exchange system in thepresence of magnetic field has been studied. In this case, the cell is deformed. Due to concentrationgradients, the dissolved nutrient in substrate diffuses into surrounding tissue. Theanalytical method is based on perturbation technique while the numerical simulation is basedon finite difference scheme. R...