Now showing items 1-8 of 8

    • A note on $k$-finite objects in a boolean topos with the natural numbers object 

      Acuña Ortega, Osvaldo (2012-07-01)
      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 

      Laureano Cruces, Ana Lilia; Hernández González, Diego Enrique; Mora Torres, Martha; Ramírez Rodríguez, Javier (2012-07-01)
      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 ...
    • Asymptotical analysis and Padé approximation in problems on diffusion-controlled cracks propagation 

      Balueva, Alla V.; Germanovich, Leonid N. (2012-07-01)
      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, ...
    • Implementation of LDG method for 3D unstructured meshes 

      Sequeira Chavarría, Filander A.; Castillo, Paul E. (2012-07-01)
      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 

      Díaz García, Juan Antonio; Bernabé Loranca, María Beatriz; Luna Reyes, Dolores Edwiges; Olivares Benítez, Elías; Martínez Flores, José Luis (2012-07-01)
      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 

      Rincón García, Eric Alfredo; Gutiérrez Andrade, Miguel Ángel; de los Cobos Silva, Sergio Gerardo; Lara Velázquez, Pedro (2012-07-01)
      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 

      Serrano, Eduardo P.; Fabio, Marcela; Figliola, Alejandra (2012-07-01)
      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 ...
    • Variants of the mixed postman problem solvable using linear programming 

      Zaragoza Martínez, Francisco Javier; López Bracho, Rafael (2012-07-01)
      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 ...