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.819 registro(s)

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  

revistas Acceso Abierto
Agregar a Mi catálogo

Teoria e Cultura

Más información

ISSNs 1809-5968 (impreso) 2318-101X (en línea)

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

Cobertura temática: Sociología - Ciencia política  

libros Acceso Abierto
Agregar a Mi catálogo

Teoria e prática dos conselhos tutelares e conselhos dos direitos da criança e do adolescente

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

Cobertura temática: Ciencias sociales