Obras de Publio Virgilio Maron : concordado en latin artificial, en latin natural, en lengua castellana, de prossa y verso, y en notas latinas... /

Abdias Joseph es seud. de Antonio de Moya.

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Multilingualism and conceptual modelling

One of the leading motivations behind the multilingual semantic web is to make resources accessible digitally in an online global multilingual context. Consequently, it is fundamental for knowledge bases to find a way to manage multilingualism and thus be equipped with those procedures for its conceptual modelling. In this context, the goal of this paper is to discuss how common-sense knowledge and cultural knowledge are modelled in a multilingual framework. More particularly, multilingualism and conceptual modelling are dealt with from the perspective of FunGramKB, a lexico-conceptual knowledge base for natural language understanding. This project argues for a clear division between the lexical and the conceptual dimensions of knowledge. Moreover, the conceptual layer is organized into three modules, which result from a strong commitment towards capturing semantic knowledge (Ontology), procedural knowledge (Cognicon) and episodic knowledge (Onomasticon). Cultural mismatches are discussed and formally represented at the three conceptual levels of FunGramKB.

Implementación de un servidor FTP utilizando el modelo cliente/servidor mediante el uso de sockets en lenguaje c UNIX con el fin de mejorar los tiempos de respuesta en la red

Este trabajo pretende evaluar la latencia en la transferencia de archivos utilizando un servidor FTP con un modelo cliente-servidor empleando una computadora con el sistema operativo Fedora para ejecutar el código del modelo cliente/servidor con sockets en lenguaje C UNIX, con el fin de simular un servidor que contiene archivos con diferentes formatos y tamaños, y medir la latencia de la transmisión al subir y descargar los archivos del servidor, usando diferentes tamaños de buffer. Con los resultados del retardo en la transmisión en los diferentes escenarios y al compararlos, se observa que entre mayor sea el tamaño del buffer es menor la latencia y conforme aumenta el tamaño del archivo la latencia aumenta,

Digestibilidad fecal aparente de partidas de sorgo con diferentes contenidos de taninos, sometidos a distintas tecnologías de procesamiento en cerdos

Con el objetivo de determinar el aporte en nutrientes digestibles para cerdos de dos tipos de sorgo procesados por distintos métodos, se realizó una prueba de digestibilidad fecal aparente (DFA) con cerdos en recría. Se estudiaron seis dietas: T1: maíz molido (MM); T2: sorgo alto tanino (SAT) molido (SATM); T3: SAT extrusado (SATE); T4: silo de grano húmedo de SAT (SSAT); T5: sorgo de bajo tanino (SBT) molido (SBTM); T6: silo de grano húmedo de SBT (SSBT). Se utilizaron 18 cerdos, tres por tratamiento, con un peso promedio de 36,5 kg, alojados en jaulas de digestibilidad individuales. El periodo experimental comprendió siete días de acostumbramiento y cinco de recolección de heces. Se suministraron dos tomas diarias iguales, de una cantidad de materia seca equivalente el 6 % del peso metabólico corporal. Se realizó recolección total de heces. Se determinó la DFA de materia seca (MS), materia orgánica (MO), proteína cruda (PC) y energía bruta (EB). Se estimó el aporte en base seca de Proteína Digestible y Energía Digestible. Los resultados de DFA de MS, MO, PC y EB, en porcentaje, fueron respectivamente, MM: 90,27; 90,18; 81,65; 89,74; SATM: 89,45; 89,29; 73,31; 88,96; SATE: 90,78; 90,64; 81,94; 91,24; SSAT: 83,58; 83,41; 49,11; 83,22; SBTM: 91,23; 91,09; 72,63; 90,83; SSBT: 93,16; 93,05; 83,55; 92,78. Se concluye que el SBTM, el SSBT y el SATE tienen un valor nutritivo equivalente al maíz.

An?lisis del proceso de conversi?n de problemas escritos en lengua natural a un sistema de ecuaciones lineales

Este trabajo presenta un an?lisis semi?tico de problemas escritos en lengua natural, que usualmente se estudian en las escuelas en el ?rea de matem?ticas, al trabajar con sistemas de ecuaciones lineales con dos inc?gnitas. Este an?lisis se centra en la actividad cognitiva de conversi?n de dichos problemas escritos en lengua natural a un sistema de ecuaciones (Duval, 2011). El prop?sito es analizar la dificultad de cada problema utilizando la teor?a de Duval en relaci?n con las caracter?sticas de la conversi?n: la designaci?n y redesignaci?n funcional de los objetos, la relaci?n entre las cantidades conocidas y desconocidas que permiten formular el sistema de ecuaciones lineales, adem?s, de la congruencia o no congruencia de estos problemas mediante la aplicaci?n de los tres criterios de congruencia. Lo anterior permiti? seleccionar un grupo de 9 problemas caracter?sticos que se obtuvo a partir de un primer grupo de 90 problemas. Se presentan los resultados de una prueba piloto realizada a 11 estudiantes de la cual se recolectaron datos, para estudiar la dificultad de los 9 problemas en la designaci?n y redesignaci?n funcional de los objetos, y la congruencia o no congruencia de este tipo de problemas; se encontr? que los estudiantes no manejaban el contexto de los problemas y ten?an dificultades para designar y redesignar las inc?gnitas, as? como establecer relaciones entre ellas lo que les imped?a formular el sistema de ecuaciones lineales asociado al problema.

Motor de recomendación construido sobre implicaciones

Este Trabajo Fin de Grado (TFG) tiene como objetivo la creación de un framework para su uso en sistemas de recomendación. Se ha realizado por dos personas en la modalidad de trabajo en equipo. Las tareas de este TFG están divididas en dos partes, una realizada conjuntamente y la otra de manera individual. La parte conjunta se centra en construir un sistema que sea capaz de, a partir de comentarios y opiniones sobre puntos de interés (POIs) y haciendo uso de la herramienta de procesamiento de lenguaje natural AlchemyAPI, construir contextos formales y contextos formales multivaluados. Para crear este último es necesario hacer uso de ontologías. El context formal multivaluado es el punto de partida de la segunda parte (individual), que consistirá en, haciendo uso del contexto multivaluado, obtener un conjunto de dependencias funcionales mediante la implementación en Java del algoritmo FDMine. Estas dependencias podrán ser usados en un motor de recomendación. El sistema se ha implementado como una aplicación web Java EE versión 6 y una API para trabajar con contextos formales multivaluados. Para el desarrollo web se han empleado tecnologías actuales como Spring y jQuery. Este proyecto se presenta como un trabajo inicial en el que se expondrán, además del sistema construido, diversos problemas relacionados con la creacion de conjuntos de datos validos. Por último, también se propondrán líneas para futuros TFGs.

“Contemporandino”: tres piezas de música andina colombiana en lenguaje contemporáneo

La Música contemporánea, como corriente estética de los siglos XX y XXI, ha contado con distintos desarrollos teóricos y técnicos, que se han convertido en herramientas con amplias posibilidades creativas para la renovación del lenguaje sonoro del compositor -- El objetivo de este artículo es dar cuenta de un proceso compositivo que buscó unir la riqueza tímbrica, rítmica y melódica de las músicas populares tradicionales de la zona andina colombiana, con algunas de las estéticas y formas más representativas de la música académica contemporánea -- En primer lugar, se realizó una investigación sobre estas últimas, seleccionando, en un primer momento, algunas de las más representativas, seguido por una identificación de ciertos aires, formas y estructuras propias de la música tradicional colombiana que permitieran este proceso de fusión entre ambos lenguajes -- Esta etapa de reflexión y experimentación dio lugar a la composición de tres piezas instrumentales basadas en elementos de Guabina-Torbellino (primer movimiento); Danza (segundo movimiento) y Bambuco-Pasillo (tercer movimiento), acompañadas de su respectivo análisis descriptivo que tiene, como objetivo pedagógico, el acercar a compositores y a ejecutantes intérpretes de cuerdas pulsadas colombianas (Bandola, Tiple y Guitarra) a este tipo de fusión, que buscó que la música andina colombiana pueda encontrar, en otro tipo de estéticas, nuevos caminos de evolución

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

ISMAEL : un agente BDI como cerebro de una plataforma de tele-educación

Resumen tomado del autor

A new classroom.

Nuevo material de apoyo didáctico para uso en sesiones de lectura guiada. Se basa en la idea de que mientras los niños pueden tener inicialmente dificultades en reconocer palabras separadas en una pagina, o en el aprendizaje de palabras fuera de contexto, si pueden realizar una narración en lenguaje natural de una sencilla historia. Para introducir destrezas específicas de lectura, el desarrollo de habilidades lingüísticas de comprensión, junto con el reconocimiento de palabras técnicas, de los alumnos de primaria. Contiene una historia sobre la instalación de un aula nueva, la visita que hacen los alumnos acompañados de sus profesoras y la gran sorpresa final. Las imágenes y el texto trabajados conjuntamente ayudan a los niños a predecir el significado de oraciones simples.

TutorGSI : aplicación de tecnologías de 'bots' a entornos LMS.

Número monográfico dedicado a las I Jorandas Telspain de Proyectos de I + D en Tecnologías para el Aprendizaje en España.Resumen basado en el de la publicación