Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrar más

Mostrando 10 de 166.817 registro(s)

tesis Acceso Abierto
Agregar a Mi catálogo

Competitividad dinámica en el sistema agroindustrial de la palta en Perú

Más información
Autores/as: Marcos Antonio Riojas Sandoval ; Guillermo Toranzos Torino ; Evangelina Gabriela Dulce

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2016 FAUBA Digital: Repositorio Institucional Científico y Académico de la Facultad de Agronomía de la UBA (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias agrícolas y veterinarias  

La creciente demanda de palta en el mundo, le ha permitido al sistema agroindustrial (SAI) de la palta de Perú, mostrar un crecimiento sostenido en la producción y en el nivel de exportaciones, posicionándose así en el comercio internacional de esta fruta. Sin embargo, se desconoce si este crecimiento se sostiene sobre ventajas competitivas dinámicas que ha venido desarrollando el sistema, o si el crecimiento responde principalmente a las ventajas comparativas con las que cuenta el país. En base a esto, el objetivo de la investigación consistió en determinar la Competitividad dinámica en el sistema agroindustrial de la palta en Perú desde un enfoque sistémico, tomando un período de análisis comprendido entre los años 1961 - 2013. Para lograr el objetivo se utilizó tres tipos de metodología, combinado la investigación descriptiva (un comparativo de Perú frente al mundo en relación a la palta), cuantitativa (Índice de Ventajas comparativas Revelas (IVCR) y un modelo econométrico) y cualitativa (Diamante de Porter). Mediante el análisis descriptivo se encontró las características del ambiente externo e interno que determinan la condición de Perú como cuarto productor y segundo exportador de palta en el mundo. El IVCR registró un valor de 33,9 en el último año, mostrando que las exportaciones de palta presentan ventajas comparativas reveladas. El Diamante de Porter, permitió identificar que las ventajas competitivas del SAI, principalmente se basan en los factores básicos (agua, tierra, clima, localización geográfica y bajo costo de mano de obra), observándose una baja inversión en generación de factores avanzados y/o especializados. Además, se destaca la importancia de la política comercial de Perú basada en la apertura externa, facilitando el comercio del producto, y permitiendo la importación de los bienes de capital e insumos, para apalancarlos al sector primario y secundario del sistema. Mediante el modelo econométrico se registró que existe una relación funcional entre la competitividad a través del IVCR como variable dependiente y las variables explicativas: factor tecnológico, cantidad exportada y una dummy que representa el cambio institucional. En conclusión el SAI de la palta se encuentra en un camino hacia la construcción de competitividad, situándose en las etapas I y II que corresponde a: la competitividad impulsada por los factores, y la etapa de competitividad impulsada por la inversión. En esta última, aún existe bajo nivel de inversión para la innovación, el cual podría afectar la competitividad del sistema en el largo plazo.
tesis Acceso Abierto
Agregar a Mi catálogo

Compilación Certificada sobre Máquinas Abstractas de evaluación normal

Más información
Autores/as: Leonardo Matías Rodríguez ; Daniel Edgardo Fridlender

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2017 Repositorio Digital Universitario (SNRD) acceso abierto Descargá directamente
En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un compilador basada en la semántica denotacional del lenguaje, utilizando técnicas como step-indexing y biortogonalidad para definir relaciones lógicas que capturen la noción de corrección del compilador de manera composicional. Además, se desarrolla un enfoque basado en la noción de realizabilidad para demostrar la corrección del compilador en un lenguaje con evaluación lazy. Todas las pruebas de corrección presentadas en la tesis están formalizadas en Coq, un asistente de demostración con tipos dependientes.
tesis Acceso Abierto
Agregar a Mi catálogo

Compilación de programas seguros

Más información
Autores/as: Enrique Molinari ; Eduardo Bonelli ; Gustavo Héctor Rossi

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2010 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información  

Este trabajo primero presenta un lenguaje de alto nivel junto con un sistema de tipos que garantiza que los programas bien tipados satisfacen no-interferencia. Luego presenta un lenguaje de bajo nivel basado en Typed Assembly Language, al que denominamos SecTAL (Secure Typed Assembly Language), junto con un sistema de tipos que satisface propiedades similares. Finalmente, presenta una función de compilación junto con una demostración de que preserva la propiedad de no-interferencia. La función de compilación ha sido implementada al igual que un chequeador de tipos para SecTAL1. Las contribuciones pueden resumirse de la siguiente manera: La definición de una función de compilación de un lenguaje imperativo sencillo hacia un lenguaje de bajo nivel basado en Typed Assembly Language. La prueba de un resultado de preservación de tipado que muestra que si el programa fuente es bien tipado (y por ende seguro) también lo será el resultado de compilar el mismo.
libros Acceso Abierto
Agregar a Mi catálogo

Compilado de proyectos de investigación científica empresarial: semana de la ciencia, la tecnología, la innovación y el emprendimiento

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto Descargá directamente
revistas Acceso Abierto
Agregar a Mi catálogo

Compiler

Más información

ISSNs 2252-3839 (impreso) 2549-2403 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde ene. 2016 / hasta may. 2025 Directory of Open Access Journals acceso abierto Descargá directamente

Cobertura temática: Matemáticas - Ingeniería y tecnología  

libros
Agregar a Mi catálogo

Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings./

Más información

ISBNs: 978-3-540-71228-2 (impreso) 978-3-540-71229-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  

libros
Agregar a Mi catálogo

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Proceedings

Más información

ISBNs: 978-3-540-25411-9 (impreso) 978-3-540-31985-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  

libros
Agregar a Mi catálogo

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings^

Más información

ISBNs: 978-3-540-33050-9 (impreso) 978-3-540-33051-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información - Medicina básica - Medicina clínica  

libros Acceso Abierto
Agregar a Mi catálogo

Compiling and annotating a learner corpus for a morphologically rich language: Compiling and annotating a learner corpus for a morphologically rich language

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto Descargá directamente

Cobertura temática: Lenguas y literatura  

libros
Agregar a Mi catálogo

Compiling Esterel

Más información

ISBNs: 978-0-387-70626-9 (impreso) 978-0-387-70628-3 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ingeniería eléctrica, electrónica e informática