It is very important to extract distinct and local characteristics (minutiae) from fingerprint images to construct an automatic fingerprint identification and recognition ...

Abstract: In this paper we report on a package, written in the Mathematica computer algebra system, which has been developed to compute the spheroidal wavefunctions of ...

TContinuumMechanics is an add-on application for Tensorial by Jean-Francois Gouyet that illustrates the application of tensor methods to continueous mechanics problems. ...

A computational approach for the engineering analysis of ablative-type thermal protection systems (TPS) in atmospheric reentry ballistic flights is communicated. We first ...

Several projects in computational biology at the Scientific Inference Systems Laboratory at the University of California, Irvine depend heavily on the use of computer algebra ...

Motivation: Analysis of the conversion of 13C glucose within the metabolic network allows the evaluation of the biochemical fluxes in interconnecting metabolic pathways. Such ...

This article presents the H2/Hinf control (disturbance rejection LQ method) of the Bergman minimal model, [10] for Type I diabetic patients under intensive care using ...

Abstract Intervals have been considered by mathematicians for a while, in the study of numerical functions and numerical analysis, But only in the 1960s Moore had the Idea ...

A Gaussian integer is an expression of the form x+yⅉ, where x and y are (rational) integers, and ⅉ is defined by ⅉ2=-1. The Gaussian integers form the ...

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive ...