Mathematics and Computer Science

Volume 6, Issue 2, March 2021

  • Algebraic Specification for Input-Output in Abstract Data Types

    Patricia Peratto

    Issue: Volume 6, Issue 2, March 2021
    Pages: 30-37
    Received: 23 March 2021
    Accepted: 21 April 2021
    Published: 29 April 2021
    Abstract: Abstract Data Types (ADT) are used when creating software systems, in the systems design. Usually we use algebraic specification to specify the operations in a data type. The use of data types is a methodology or style of working which yields improved design when followed. In this paper we study the addition of input-output operations to the algebr... Show More
  • Python Language Training System Based on MFCC, VQ, Variational Coefficient and KNTM Algorithm

    Leandro Daniel Lau Alfonso, Sergio Suarez Guerra, Jose Luis Oropeza Rodriguez, Roberto Rodriguez Morales, Gustavo Asumu Mboro Nchama

    Issue: Volume 6, Issue 2, March 2021
    Pages: 38-44
    Received: 31 March 2021
    Accepted: 26 April 2021
    Published: 14 May 2021
    Abstract: This contribution describes the second stage of the creation of a language training system programmed in Python with the aim of application to speech therapy in spanish-speaking countries, starting the study in Cuba. The first stage of this research was carried out in Matlab by analyzing the dynamics of change of the centroids of the codebooks, ext... Show More