Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 59 for “"Formalización"”.
-
Una formalización de las relaciones entre distintas representaciones del conocimiento
La presente tesis desarrolla a partir de los conceptos de marcos y reglas produccion una estructuracion de estos dos formalismos de representacion del conocimiento.se comprueba que los marcos y las reglas con sus operaciones asociadas tienen una estructura algebraica de espacio vectorial. Para ello …
-
Formalización y generalización del manejo de preferencias en servicios de razonamiento rebatible
Esta tesis aborda el estudio, diseño y formalización de herramientas computacionales concretas para seleccionar y cambiar el criterio de preferencia entre argumentos que es utilizado por el sistema de Programación Lógica Rebatible (DeLP) requerido para decidir derrotas al analizar ataques entre …
-
Mecanismo de formalización de las acciones de innovación para el Concejo de Bogotá D.C.
… diseñar un dispositivo institucional híbrido de formalización de las acciones de innovación, que integre gobernanza estratégica, gestión del conocimiento y gestión del riesgo, orientado a generar condiciones estructurales para la institucionalización de una cultura de innovación publica …
-
Integración de argumentación rebatible y ontologías en el contexto de la web semántica : formalización y aplicaciones
… Los sistemas argumentativos constituyen una formalización del razonamiento rebatible donde se pone especial enfasis en la noción de argumento. Así, la construcción de argumentos permite que un agente obtenga conclusiones en presencia de información incompleta y potencialmente contradictoria. …
-
Modelo basado en ingeniería ontológica para la formalización semántica de la información en el dominio de la gerencia de proyectos
En el presente trabajo se aplicó la Ingeniería Ontológica a la disciplina de la Gestión de Proyectos, donde por medio de un modelo basado en dicha ingeniería, se estructuró una ontología, que identifica, define y caracteriza, los conceptos que pueden generarse durante el ciclo de vida de un …
-
Los procesos de formalización en las cooperativas de trabajo del Partido de General Pueyrredon. Aportes desde la Administración, 2019-2023
… iniciar el proceso colectivo para establecer la formalización, resultó dificultosa. Este trabajo consiste en una investigación acerca de la situación de las cooperativas de trabajo del Partido de General Pueyrredon, provincia de Buenos Aires, Argentina, en los años 2019-2023, respecto de su grado …
-
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ello el sistema ACL2. Es decir, se usa ACL2 para definir formalmente algoritmos y conceptos relacionados con la lógica ecuacional, y se llevan a cabo demostraciones automáticas …
-
Integración del proceso de inferencia de conocimiento con los sistemas de bases de datos relacionales: formalización matemática de la fase de análisis
La rápida extensión de la computación en la ciencia, gobierno y negocios de todo tipo, ha hecho que sea esencial el descubrimiento efectivo y eficaz del conocimiento oculto en las grandes cantidades de datos que han sido recogidas en los últimos años. El descubrimiento en las bases de datos (KDD) o …
-
Método formal de modelización conceptual para sistemas software
… ingenieros de Software. Sin embargo, la falta de formalización de este proceso supone una importante limitación. Para resolver esta carencia se propone un enfoque para abordar la construcción de los modelos conceptuales de una forma sistemática, disciplinada y formal. La materialización de este …
-
Propuesta de un manual de obligaciones mercantiles, contables y tributarias para la micro y pequeña empresa de El Salvador en su proceso de formalización.
El comercio siempre ha sido vital para todo el mundo y a través de la historia de las civilizaciones. No importa donde, el comercio siempre ha sido una parte muy importante, pues con ello garantizan la riqueza de la nación y en algunos casos, la supervivencia.
-
Diagnóstico sobre las oportunidades y amenazas de la formalización en el sector de artesanía tradicional en la zona central de Chile : |un estudio de caso
… evaluar la necesidad de elaborar un programa de formalización especial para artesanos tradicionales. La disciplina que se utiliza como marco de investigación es la Antropología Aplicada. Se busca conocer el pensamiento socioeconómico del grupo objetivo y a partir de ese conocimiento, se …
-
Restablecimiento y especificidad en sistemas argumentativos
… no se debe al restablecimiento, sino a la formalización de los ejemplos. La solución consiste en hacer al lenguaje lo suficientemente expresivo como para obtener los resultados correctos. También advierten que no se debe retocar la formalización sólo para obtener los resultados deseados …
-
Property rights and agricultural performance: effects of land formalization on agricultural performance
… la implementación del Programa Nacional para la Formalización de la Propiedad Rural en Colombia ha tenido un impacto en el desempeño agrícola. El programa de formalización fue una iniciativa gubernamental encaminada a formalizar la propiedad de la tierra y mejorar la calidad de vida de los …
-
Desigualdades de géneros al interior de Cooperativas de Recuperadores/as Urbanos/as en la Ciudad Autónoma de Buenos Aires
… las políticas de reciclado de la Ciudad y si su formalización como Recuperadoras Urbanas, significó la adopción de los mismos derechos que tienen los varones dentro de estas organizaciones. Para lograr responder esta pregunta, haré hincapié en analizar la experiencia de vida de las Recuperadoras …
-
El sector hábitat en Bogotá y su aporte al mejoramiento de las condiciones de vida en la ciudad
… de los antecedentes que ocasionaron la formalización del Sector Hábitat en Bogotá, analizando los diferentes esquemas orgánico institucionales del Sector Hábitat en Bogotá, e identificando los hechos relevantes y las acciones lideradas desde el Sector Hábitat que conducen al mejoramiento …
-
Análisis normativo para la aplicación del régimen de contratación electrónica para la apertura de cuentas bancarias de personas jurídicas en el sistema financiero peruano
… a servicios financieros y avancen hacia su formalización. Se hace especial énfasis en las micro y pequeñas empresas, pues representan la mayoría de las compañías del país y, en gran medida, operan en la informalidad. Frente a esta problemática, la apertura digital de cuentas se presenta como …
-
Determinantes del acceso a distintas fuentes de financiamiento de las microempresas en Chile
… de financiamiento son el género y el nivel de formalización de la empresa. Segundo, en cuanto a los que respondieron que utilizaron créditos bancarios para su inicio de actividades, la formalización fue lo más relevante en estos. Tercero, las empresas formalizadas y con mayor número de clientes …
-
Manual de procedimientos para la legalización de la pequeña empresa comercial afiliadas a la Asociación de medianos y pequeños empresarios salvadoreños, del área metropolitana de San Salvador.
… metropolitana de San Salvador para realizar su formalización y legalización ante las diferentes instituciones públicas con el fin de ganar nuevos espacios a nivel de mercado, tanto nacional como internacional. En tal sentido, el objetivo del equipo de trabajo ha sido elaborar un documento que …
Page 1 of 3