Now showing items 1-8 of 8
A note on $k$-finite objects in a boolean topos with the natural numbers object
Una nota sobre objetos <img alt="k" class="tex" src="http://www.latindex.ucr.ac.cr/plugins/generic/latexRender/cache/8ce4b16b22b58894aa86c421e8759df3.png"/>-finitos en un topos booleano con el objeto de los números naturales
We prove that every $k$-finite object in a boolean topos with nat-ural number object is internally the quotient of a natural number object.Keywords: Topoi, $k$-finite objects, natural numbers.Mathematics Subject Classification: ...
Application of a cognitive model of emotional appraisal to the board evaluation function of a program that plays chess
Aplicación de un modelo cognitivo de valoración emotiva a la función de evaluación de tableros de un programa que juega ajedrez
This paper describes the analysis and design of a cognitive emotional assesment model. This model is based on the goals looked for a chess player during a game. The model affects the output of the board evaluation function ...
Variants of the mixed postman problem solvable using linear programming
Variantes del problema del cartero mixto que se pueden resolver usando programación lineal
Given a connected mixed graph with costs on its edges and arcs, the mixed postman problem consists of finding a minimum cost closed tour of the mixed graph traversing all of its edges and arcs. It is well-known that this ...
Implementation of LDG method for 3D unstructured meshes
Implementación del método LDG para mallas no estructuradas en 3D
This paper describes an implementation of the Local Discontinuous Galerkin method (LDG) applied to elliptic problems in 3D. The implementation of the major operators is discussed. In particular the use of higher-order ...
Lagrangean relaxation for the geographical partitioning problem
Relajacion lagrangeana para el problema de particionamiento de áreas geográficas
Among methodologies used in territory clustering, stand location-allocation and set partitioning models, to group small geographic areas, usually called “basic units” into a given number of larger groups called “territories”. ...
New geometrical compactness measures for zones design
Nuevas medidas de compacidad geométrica para el diseño de zonas
The design of compact zones has been studied because of its influence in the creation of zones with regular forms, which are easier to analyze, to investigate or to administer. This paper propose a new method to measure ...
Time-frequency methods based on the wavelet transform
Métodos tiempo-frecuencia basados en la transformada wavelet
The information contained in an analog signal is reveled by its numerical representation. The Fourier pair, in two complementary representations, expounds time and frequency structures. However, to detect and characterize ...
Asymptotical analysis and Padé approximation in problems on diffusion-controlled cracks propagation
Análisis asintótico y aproximación de Padé en problemas de propagacion de grietas con difusión controlada
In this work, we consider the diffusion-controlled axisymmetric fracture in an infinite space, and half-space. An important example of diffusion-controlled fracture growth is given by hydrogen induced cracking. In metals, ...