Menú

Listar Conacyt por autor "Hernández Servín, José Antonio"

Ordenar por:Orden:Resultados:

  • A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas 
    LOPEZ MEDINA, MARCO ANTONIO; MARCIAL ROMERO, JOSE RAYMUNDO; DE ITA LUNA, GUILLERMO; Hernández Servín, José Antonio (Martínez-Villaseñor L., Herrera-Alcántara O., Ponce H., Castro-Espinoza F.A., 2020)
    An O(m + n) time algorithm is presented for counting the number of models of a two Conjunctive Normal Form Boolean Formula whose constrained graph is represented by a Series-Parallel graph, where n is the number of variables ...
  • A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Di®erencing Steganography 
    Grajeda Marín, Ismael; Hernández Servín, José Antonio; MONTES VENEGAS, HECTOR ALEJANDRO; MARCIAL ROMERO, JOSE RAYMUNDO; MUÑOZ JIMENEZ, VIANNEY; DE ITA LUNA, GUILLERMO (International Journal of Pattern Recognition and Artificial Intelligence, 2018-01-01)
    In Digital Image Steganography, Pixel-Value Di®erencing (PVD) methods use the di®erence between neighboring pixel values to determine the amount of data bits to be inserted. The main advantage of these methods is the size ...
  • Applied Radiation and Isotopes Monte Carlo Verification of Output Correction Factors for a TrueBeam STx linac 
    HERNANDEZ BECERRIL, MARIO ALBERTO; LARRAGA GUTIERREZ, JOSE MANUEL; SALDIVAR MARQUEZ, MARTHA BELEM; Hernández Servín, José Antonio (Instituto de Neurologia, 2020-12-01)
    The recent publication of the new code of practice IEAA/AAPM TRS-483 introduces the use of output correction factors to correct the changes in detector response in relative dosimetry of small photon beams. In TRS-483, ...
  • CFD Analysis of BED Textural Characteristics on TBR Behavior: Hydrodynamics and Scaling-up 
    CORDERO SANCHEZ, MARIO EDGAR; URIBE LOPEZ, JOSE SEBASTIAN; ZARATE LOPEZ, LUIS GUADALUPE; Hernández Servín, José Antonio; PERALTA REYES, EVER; REGALADO MENDEZ, ALEJANDRO; NATIVIDAD RANGEL, REYNA (DEGRUYTER, 2017-09-14)
    In recent years, CFD has played an important role in the understanding and design of TBR’s. In this work, through CFD with Eulerian approach, a three-phase heterogeneous reactor model was developed, were the accuracy of ...
  • Electrochemical Mineralization of Ibuprofen on BDD Electrodes in an Electrochemical Flow Reactor: Numerical Optimization Approach 
    REGALADO MENDEZ, ALEJANDRO; RUIZ MARTINEZ, MARTIN; Hernández Servín, José Antonio; NATIVIDAD RANGEL, REYNA; ROMERO ROMERO, RUBI; CORDERO SANCHEZ, MARIO EDGAR; ESTRADA VAZQUEZ, CARLOS; PERALTA REYES, EVER (MDPI, 2020-12-17)
    Statistical analysis was applied to optimize the electrochemical mineralization of ibuprofen with two boron-doped diamond (BDD) electrodes in a continuous electrochemical flow reactor under recirculation batch mode. A ...
  • Exteding Extremal Polygonal Arrays for the Meriifield-Simmons Index 
    DE ITA LUNA, GUILLERMO; Hernández Servín, José Antonio; MARCIAL ROMERO, JOSE RAYMUNDO; Valdovinos Rosas, Rosa María; Romero Huertas, Marcelo (J. A. Carasco-Ochoa, 2017-06-01)
    Polygonal array graphs have been widely investigated, and they represent a relevant area of interest in mathematical chemistry because they have been used to study intrinsic properties of molecular graphs. For example, to ...
  • Extremsl Polygonal Arrays for the Merrifield-Simmons Index 
    Hernández Servín, José Antonio; MARCIAL ROMERO, JOSE RAYMUNDO; DE ITA LUNA, GUILLERMO (Communications in Mathematical and in Computer Chemistry, 2019-03-01)
    For any polygonal array, independently of the number of sides on each polygon the zig-zag polygonal array has the extremal minimum value for the Merrifield-Simmons index. This result generalises a well known fact obtained ...
  • Functional first order definability of LRTp 
    MARCIAL ROMERO, JOSE RAYMUNDO; Hernández Servín, José Antonio (Asociación Española para la Inteligencia Artificial, 2010)
  • Lenguaje de programación cuántico QML con historial, reversibilidad y cálculo lambda con mediciones 
    PLATA CESAR, NELY (Universidad Autónoma del Estado de México, 2020-06)
    La investigación en el cómputo cuántico permite pensar de una forma nueva y diferente la computación, teniendo la ambición de solucionar problemas de manera más eficiente que con el cómputo clásico. Por ahora, las tareas ...
  • Propuesta de una taxonomía para la reconstrucción urbana de interiores y exteriores 
    MERCADO HERRERA, RAFAEL (Universidad Autónoma del Estado de México, 2018-09-26)
    La reconstrucción tridimensional es el proceso de generar la forma y representación de objetos de manera tridimensional, es un campo importante para diversas disciplinas como son el Diseño Asistido por Computadora, Gráficos ...
  • Reversibility for Quantum Programming Language QML 
    PLATA CESAR, NELY; MARCIAL ROMERO, JOSE RAYMUNDO; Hernández Servín, José Antonio (IEEE, 2021-01-01)
    We present an extension of the denotational semantic model of the quantum programming language QML, to which computational reversibility is incorporated. The semantics of QML is defined in a functional setting which consider ...

Buscar en RI


Buscar en RI

Usuario