Showing 5,781 - 5,800 results of 25,315 for search '"Computation"', query time: 0.15s Refine Results
  1. 5781
    http://purl.org/coar/resource_type/c_f744
    Theorem Proving Modulo Based on Boolean Equational Procedures
    Por Rocha, Camilo; Meseguer, José
    Published in 2008
    Repositorio Repositorio Institucional ECI

    “...Deduction with inference rules modulo computation rules plays an important role in automated...”
    Get full text
  2. 5782
    Article of journal
    An elementary and unified approach to program correctness
    Por Bohórquez, Jaime
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Get full text
  3. 5783
    Trabajo de grado de pregrado
    Clasificación de lenguajes naturales en la Jerarquía de Chomsky: lenguajes regulares e independientes de contexto
    Por Pérez Díaz, Andrés Felipe
    Published in 2022
    Repositorio Séneca: repositorio Uniandes

    Get full text
  4. 5784
    Trabajo de grado de pregrado
    Módulo Web de construcción y edición de mapas cognitivos difusos para la abstracción del proceso interactivo en entornos inteligentes
    Por Betancur-Acero, Yesica Paola; Pacheco-Gómez, Sebastián
    Published in 2013
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
  5. 5785
    Article of journal
    On the approximation of the inverse dynamics of a robotic manipulator by a neural network trained with a stochastic learning algorithm
    Por Segura, Enrique Carlos
    Published in 2013
    Repositorio REDICUC - Repositorio CUC

    “... of the relation between mean relative errors -in the training and test-ing sets-, network size, and computation...”
    Get full text
    Get full text
  6. 5786
    Lyapunov Exponents to Predict the Behavior of the Product of Random Matrices
    Published in 2025
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
  7. 5787
    Investigation report
    Practicas empresarial empresa Grupo Bernier S.A.S
    Por Muñoz Vidal, Juan Pablo
    Published in 2019
    Repositorio Repositorio UNAB

    Get full text
  8. 5788
    Sistema embebido destinado a la detección y eliminación de artefactos en señales EEG para aplicaciones médicas
    Por Lozada Tenorio, Cesar Augusto; David Medina, Bolívar Daniel
    Published in 2015
    Repositorio Repositorio USB

    Get full text
  9. 5789
    Relevant kinematic feature selection to support human action recognition in MoCap data
    Por Pulgarín Giraldo, Juan Diego; Alvarez Meza, Andrés Marino; Ruales Torres, Anderson Alberto; Castellanos-Dominguez, German
    Published in 2017
    Repositorio RED: Repositorio Educativo Digital UAO

    Get full text
    Get full text
  10. 5790
    Sistema criptográfico para almacenamiento y transporte de información basado en álgebra de curvas hiperelípticas
    Por Cortés Osorio, Carlos Eduardo
    Published in 2016
    Repositorio Repositorio USB

    Get full text
  11. 5791
    Los múltiples rostros de la filosofía de la información
    Por Olimpia Lombardi, Cristian López
    Published in 2016
    Repositorio Repositorio USB

    Get full text
  12. 5792
    Application of the Generalized Normal Distribution Optimization Algorithm to the Optimal Selection of Conductors in Three-Phase Asymmetric Distribution Networks
    Por Vega-Forero, Julián Alejandro; Ramos-Castellanos, Jairo Stiven; Montoya, Oscar Danilo
    Published in 2023
    Repositorio Repositorio Institucional UTB

    Get full text
    Get full text
  13. 5793
    Distribución Bivariada Birnbaum-Saunders Unitaria
    Por Rodríguez Quevedo, Luisa Paulina
    Published in 2023
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  14. 5794
    Doctoral thesis
    Simulación de las propiedades energéticas, termodinámicas y espectroscópicas de moléculas nanoconfinadas
    Por Carrillo Bohórquez, Orlando
    Published in 2022
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  15. 5795
    Doctoral thesis
    Operational planning of smart microgrids considering intraday markets
    Por Garcia Guarín, Pedro Julian
    Published in 2022
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  16. 5796
    https://purl.org/coar/resource_type/c_7a1f
    Desarrollo de un protocolo metodológico in sílico para comprender las posibles interacciones entre la proteína YlbF de Staphylococcus aureus con ARN
    Por Ruiz Castellanos, Julian Santiago
    Published in 2024
    Repositorio Repositorio U. El Bosque

    Get full text
    Get full text
  17. 5797
    Trabajo de grado de pregrado
    Diseño y desarrollo de sistemas instrumentados por ingeniería en nanotecnología para la automatización de plantas industriales
    Por Díaz Puentes, Liz Caterine
    Published in 2017
    Repositorio Repositorio UNAB

    Get full text
  18. 5798
    Doctoral thesis
    Metodología multiobjetivo para la programación de producción de los sistemas de manufactura "Job Shop Flexible" del sector metalmecánico, bajo un enfoque de sosteniblidad
    Por Coca Ortegón, Germán Augusto
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  19. 5799
    article
    La abducción como punto de partida en el desarrollo del pensamiento científico en estudiantes de química en la fase experimental
    Published in 2014
    Repositorio Repositorio Ibero
    Get full text
    Get full text
  20. 5800
    Article of journal
    The dynamic model of a four control moment gyroscope system
    Por Yime-Rodríguez, Eugenio; Peña-Cortés, Cesar Augusto; Rojas-Contreras, William Mauricio
    Published in 2014
    Repositorio Universidad Nacional de Colombia

    “... computing the derivative of the angular momentum equation. Although this approach leads to a simple dynamic...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search