Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Temática

Mostrar más

Mostrando 10 de 25.689 registro(s)

Filtros plataforma quitar todos
tesis Acceso Abierto
Agregar a Mi catálogo

Teoría de modelos, teoría de prueba, y aspectos computacionales de lógicas para razonar sobre árboles con datos

Más información
Autores/as: Sergio Alejandro Abriola ; Santiago Figueira

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2017 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto
XPath es el lenguaje de consultas más ampliamente utilizado para documentos XML; es un estándar abierto y constituye una World Wide Web Consortium (W3C) Recommendation. Trabajamos con un fragmento de este lenguaje, apropiadamente reinterpretado como una lógica: XPath=, una lógica que puede ser vista como una extensión de la lógica modal básica, pero en el contexto de árboles con datos y, fundamentalmente, con la capacidad de realizar comparación de datos entre nodos. Desarrollamos la teoría de modelos de XPath=(↓), que solo puede navegar el árbol descendiendo, y XPath=(↑↓), que también puede navegar hacia arriba. Obtenemos resultados de definibilidad y separación para los dos tipos de fórmulas en XPath=: expresiones de nodo y expresiones de camino. También desarrollamos la noción de bisimulación binaria para ambos fragmentos, y demostramos un teorema de caracterización al estilo van Benthem para expresiones de camino de XPath=(↓). Encontramos axiomatizaciones ecuacionales correctas y completas para XPath=(↓) y para su fragmento libre de desigualdades de datos XPath=(↓)^-. Para demostrar completitud construimos, para cada expresión de nodo consistente, un árbol finito con datos en cuya raíz se satisface la formula. Extendemos XPath= al universo de grafos con datos, y analizamos la complejidad computacional de decidir si dos nodos en dos grafos con datos son bisimilares. Calculamos cotas ajustadas de complejidad para varios problemas de bisimilaridad y para diferentes universos de modelos. Introducimos LRV, una lógica para navegar sobre árboles con datos múltiples, y obtenemos procedimientos de decisión para el problema de satisfabilidad de LRV y algunos fragmentos al reducirlo al problema de control-state-reachability de diferentes sistemas con contadores.
tesis Acceso Abierto
Agregar a Mi catálogo

Teoría de productos cruzados trenzados

Más información
Autores/as: Mauricio da Rocha ; Juan José Guccione

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2015 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto

Cobertura temática: Matemáticas  

La noción de producto cruzado A#fH, de un álgebra de Hopf H con un álgebra A sobre la cual H actúa débilmente, y que esta provista de un cociclo normal f : H ⊗ H → A, fue introducida independientemente en [3] y [14], generalizando la construcción clásica de producto cruzado de un grupo con un álgebra. Un caso importante es el de los productos semidirectos (productos cruzados A#H, con cociclo trivial f(h ⊗ l) := є(h)є(l), asociados a una acción de H sobre A). Numerosos trabajos han sido dedicados al estudio de este concepto (vease el libro [26] y las referencias citadas ah´ı). En particular se sabe que si H es un álgebra de Hopf de dimensión finita, entonces existe un contexto Morita natural relacionando cada producto semidirecto A#H con el anillo HA, de invariantes de la acción. En el trabajo [18] se extendieron al contexto trenzado las definiciones de producto cruzado (y en particular de producto semidirecto) dadas en [3] y [14], y se probó que en este contexto siguen valiendo muchos de los resultados bien conocidos en el caso clásico (en particular los relacionados con la existencia de un contexto Morita). En esta tesis estudiamos este contexto en detalle. Nuestro primer objetivo es determinar condiciones bajo las cuales las flechas que lo definen son sobreyectivas (lo que logramos, obteniendo además varias aplicaciones de estos resultados). Nuestro segundo objetivo es describir los productos cruzados de una familia de álgebras de Hopf trenzadas.
tesis Acceso Abierto
Agregar a Mi catálogo

Teoría de Tannaka sobre Sup-reticulados

Más información
Autores/as: Martín Szyld ; Eduardo J. Dubuc

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2015 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto
El resultado principal de esta tesis es la construcción de un contexto tannakiano sobre la categoría sl de sup-reticulados, asociado a un topos de Grothendieck arbitrario, y la obtención de nuevos resultados en teoría de representación tannakiana a partir de él. Si bien numerosos resultados fueron obtenidos y publicados históricamente relacionando teorías de Galois y teorías de Tannaka (ver introducción), estos son diferentes y de menor generalidad pues asumen la existencia de clausuras de Galois y trabajan sobre topos de Galois en lugar de sobre topos arbitrarios. En cambio nosotros, al hablar sobre Teoría de Galois, nos referimos a la extensión de la misma a topos arbitrarios realizada en el artículo [17], fundamental para obtener los resultados de esta tesis. El contexto tannakiano asociado a un topos de Grothendieck se obtiene mediante el proceso de tomar relaciones a su cubrimiento locálico. Luego, mediante una inves- tigación y comparación exhaustiva de las construcciones de las teorías de Galois y de Tannaka, se prueba la equivalencia entre sus teoremas fundamentales (ver sección 8). Como las (bi)categorías de relaciones de un topos de Grothendieck fueron caracterizadas en [3], se obtiene un nuevo teorema de tipo recognition (theorem 8.12) esencial- mente diferente a los conocidos hasta el momento (ver introducción).
tesis Acceso Abierto
Agregar a Mi catálogo

Teoría de topos de Grothendieck y sus aplicaciones a la lógica y la geometría

Más información
Autores/as: Oscar Pablo Bruno ; Eduardo J. Dubuc

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1986 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto
Fil:Bruno, Oscar Pablo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
tesis Acceso Abierto
Agregar a Mi catálogo

Teoría del comportamiento de la empresa transnacional y aplicaciones a problemas de regulación

Más información
Autores/as: Jorge Eduardo Fernández Pol

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1975 Biblioteca Digital (FCE-UBA) (SNRD) acceso abierto

Cobertura temática: Economía y negocios  

tesis Acceso Abierto
Agregar a Mi catálogo

Teoría del descenso y formas bilineales invariantes de álgebras de Lie de dimensión infinita

Más información
Autores/as: Claudia Sepp ; Jorge Devoto ; Arturo Pianzola

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2015 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto

Cobertura temática: Matemáticas  

La existencia de formas bilineales invariantes no degeneradas es una de las herramientas más importantes para el estudio de las álgebras de Lie de Kac-Moody y de las álgebras extendidas afines. En la práctica, estas formas se crean, se demuestra que existen en una base ad hoc, o simpemente se asumen. El propósito de este trabajo es describir la naturaleza de los espacios de formas bilineales invariantes de ciertas álgebras dadas por descenso fielmente playo (que incluye las álgebras afines de Kac Moody, las álgebras de Azumaya y las álgebras de multilazos) en un marco functorial. Esto nos permite concluir la existencia, unicidad y naturaleza de formas bilineales invariantes para varias clases importantes de álgebras.
tesis Acceso Abierto
Agregar a Mi catálogo

Teoría del financiamiento: evaluación y aportes

Más información
Autores/as: Roberto León Drimer ; Luisa Lucila Lazzari ; José Luis Pungitore

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2008 Biblioteca Digital (FCE-UBA) (SNRD) acceso abierto

Cobertura temática: Matemáticas  

tesis Acceso Abierto
Agregar a Mi catálogo

Teoría del seguro social

Más información
Autores/as: Pedro Herbst ; Alejandro M. Unsain

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1945 Biblioteca Digital (FCE-UBA) (SNRD) acceso abierto

Cobertura temática: Economía y negocios  

tesis Acceso Abierto
Agregar a Mi catálogo

Teoría económica espacial y el desarrollo argentino

Más información
Autores/as: Raúl Alberto Beunza

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1969 Biblioteca Digital (FCE-UBA) (SNRD) acceso abierto

Cobertura temática: Economía y negocios  

tesis Acceso Abierto
Agregar a Mi catálogo

Teoría en la enseñanza práctica del diseño: Propuesta de intervención en la asignatura Taller de Diseño en Comunicación Visual de 1° a 5° año de la carrera de Diseño en Comunicación Visual de la Facultad de Bellas Artes de la UNLP

Más información
Autores/as: Muriel Walter ; Beatriz Ramacciotti

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

Cobertura temática: Educación  

En la carrera de Diseño en Comunicación Visual de la Facultad de Bellas Artes de la UNLP se dicta la asignatura Taller de Diseño en Comunicación Visual de 1° a 5° año, la misma es esencialmente práctica y de carácter vertebrador ya que en ella convergen diferentes saberes teóricos y prácticos de las otras asignaturas de la carrera (técnicas, humanísticas y específicas). En esta asignatura el estudiante incorpora la metodología de trabajo del diseñador, realiza proyectos de diseño y debería integrar en su práctica los contenidos teóricos específicos, generales, técnicos, y artísticos. El modelo de enseñanza instituido en el taller de diseño en el que soy docente se basa principalmente en la práctica en desmedro de la teoría, situación que vuelve superficiales las prácticas y le quita recursos a la formación del estudiante. Si bien la práctica del diseño es parte esencial en el aprendizaje, esta propuesta tiene un carácter instituyente que busca un mayor aporte de la teoría en la enseñanza para permitir la profundización del análisis, la internalización de la metodología al conocer los procesos intervinientes, la comprensión de los andamiajes subyacentes al proyecto de diseño y la reflexión sobre la práctica. La presente propuesta de intervención propone lograr relaciones significativas y de mayor articulación entre TEORÍA y PRÁCTICA en la enseñanza y el aprendizaje del diseño. Considera que esta interrelación se trabajará en el aula sobre las relaciones didácticas establecidas en la tríada: contenido, docente y estudiante. Considerando que toda propuesta de intervención debe ser viable en relación con las condiciones disponibles, se realizará el replanteo del trabajo en el aula a través uno de los cuatro trabajos prácticos anuales del Taller de 3º año, Cátedra A, Facultad de Bellas Artes, UNLP. Esta propuesta busca trascender el modelo de la racionalidad técnica cuya lógica es instrumental por lo cual no se busca incorporar teoría prescriptiva o teoría para ser aplicada a la práctica como tampoco que la práctica sea una simple ejercitación con carácter técnico. Esta propuesta sostiene una postura que destaca el valor de la práctica profesional y su saber a la vez que se busca lograr una presencia significativa de la teoría interrelacionada con la práctica, que fortalezca ambos aspectos de la formación del futuro profesional.