In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant example, how the Gröbner cover algorithm is...

This paper introduces the new ATISBAT model for generating accelerated-time simulations of baggage handling in an airport terminal. The philosophy of this model combines ideas from cellular automaton and neural network theories. The basics of this model was presented at ACA’2012 (in the...

In this paper we introduce a new model, called the GRAM model, that provides an accelerated-time simulation of traffic on a motorway. The model provides an accelerated-time simulation using ideas and techniques from both cellular automata and neural network models. It has been implemented in a...

This paper deals with the development of efficient numerical solvers for the primitive equations of the ocean in turbulent regime. We derive the numerical approximation of a reduced model by the Smagorinsky turbulence model that includes stabilization of the pressure discretization by a penalty...

In this work we develop a method to fill a hole in a surface, either explicit or in parametric form, or just in a set of three dimensional scattered data. We will construct a new surface which is very close to the original one where it is known and that fills the hole in a homogeneous way, in...

In this paper, the problem of the interpolation of explicit surfaces with vertical faults from scattered data is studied. A new interpolation scheme for compactly supported radial basis functions is proposed which is well adapted to our purpose. This method is based on the construction of an...

There are very few optimal fourth order methods for solving nonlinear algebraic equations having roots of multiplicity m. Here we compare five such methods, two of which require the evaluation of the (m−1)st root. The methods are usually compared by evaluating the computational efficiency and...

An iterative method for the parabolic Cauchy problem in planar domains having a finite number of corners is implemented based on boundary integral equations. At each iteration, mixed well-posed problems are solved for the same parabolic operator. The presence of corner points renders...

In this work we propose a method to obtain the MOSFET transistor threshold voltage, which is known to be an essential magnitude from the modeling viewpoint. Generally, there are a large number N of experimental data, and the use of smoothing splines leads to resolution of linear systems of size...

This paper presents a quick, simple and automatic approximation method that allows the alignments in a road (straights, curves or clothoids) and their respective curvature values to be identified from an approximation point set given by its UTM (Universal Transverse Mercator) coordinates...