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

Técnicas de preprocesamiento espectral para la reducción de potencia fuera de banda en señales de OFDM

Más información
Autores/as: Enrique Mariano Lizárraga ; Víctor Hugo. Sauchelli

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2013 Repositorio Digital Universitario (SNRD) acceso abierto
Tesis (DCI)--FCEFN-UNC, 2013
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas de procesamiento de EEG para detección de eventos

Más información
Autores/as: Andrea Noelia Bermúdez Cicchino ; Enrique Mario Spinelli ; Carlos Horacio Muravchik

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

Cobertura temática: Biotecnología médica  

La electroencefalografía (EEG) es una técnica no invasiva que sirve para caracterizar la actividad eléctrica del cerebro. En la actualidad existe un creciente interés en el desarrollo de técnicas digitales de procesamiento para interpretar dichas señales, estas técnicas consisten en transformar la información contenida en las señales de EEG en datos numéricos y/o gráficos que faciliten su análisis y sistematización. El objetivo de la presente tesis es el estudio y la aplicación de diferentes técnicas de procesamiento de EEG a casos típicos como la detección no supervisada de ritmos cerebrales, de potenciales relacionados a la ejecución de movimientos y crisis epilépticas. Para el procesamiento de las señales de EEG se utilizaron las técnicas de Transformada de Fourier, procesamientos tiempo-frecuencia como la Transformada de Gabor y la Transformada Wavelet, y diferentes mediciones de la entropía de la señal, como la entropía dependiente del tiempo, la entropía espectral y la entropía multirresolución.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas de razonamiento automático para lógicas híbridas

Más información
Autores/as: Daniel Alejandro Gorín ; Carlos Eduardo Areces ; Verónica Becher

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2009 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto
Las "lógicas híbridas" extienden a las lógicas modales tradicionales con el poder de describir y razonar sobre cuestiones de identidad, lo cual es clave para muchas aplicaciones. Aunque lógicas modales que hoy llamaríamos "híbridas" pueden rastrearse hasta cuatro décadas atrás, su estudio sistem ático data de fines de la década del '90. Parte de su interés proviene de que llenan un hueco de expresividad importante de las lógicas modales tradicionales. Uno de los temas de esta tesis es el problema de la satisfacibilidad para la lógica híbrida más conocida, denominada H(@;!), y algunas de sus sublógicas. El de la satisfacibilidad es el problema fundamental en razonamiento automático. En el caso de las lógicas híbridas, éste se ha estudiado fundamentalmente a partir del método de tableaux. En esta tesis intentamos completar el panorama del área investigando el problema de la satisfacibilidad para lógicas híbridas usando resolución clásica de primer orden (vía traducciones) y variaciones de un cálculo basado en resolución que opera directamente sobre fórmulas híbridas. Presentamos, en primer lugar, traducciones de complejidad lineal de fórmulas de H(@;!) a lógica de primer orden, que preservan satisfacibilidad. Éstas están concebidas de manera de reducir el espacio de búsqueda de un demostrador automático basado en resolución de primer orden. Luego cambiamos nuestra atención a cálculos que operan directamente sobre fórmulas híbridas. En particular, consideramos el cálculo llamado de"resolución directa". Inspirados por el caso clásico, transformamos este cálculo en uno de resolución ordenada con funciones de selección y probamos que posee la "propiedad de reducción de contraejemplos", de lo cual se deduce que es completo y compatible con el criterio de redundancia estándar. Mostramos también que un refinamiento de este cálculo es un método de decisión para la sublógica decidible H(@). En la última parte de esta tesis, consideramos ciertas formas normales para lógicas híbridas y otras lógicas modales extendidas. En particular nos interesan formas normales donde se garantice que ciertas modalidades no aparecen por debajo de otros operadores modales. Este tipo de transformaciones puede ser aprovechadas en una etapa de preprocesamiento a fin de reducir el número de inferencias requeridas por un demostrador modal. Al intentar expresar estos resultados de extractibilidad de una manera que comprenda también otras lógicas modales extendidas, llegamos a una formulación de la semántica modal basada en un tipo novedoso de modelos definidos de manera coinductiva. Muchas lógicas modales extendidas (incluyendo las lógicas híbridas) pueden verse en términos de clases de modelos coinductivos. De esta manera, resultados que antes debían probarse por separado para cada lenguaje (pero cuyas pruebas eran en general rutinarias) pueden establecerse de manera general.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas de teoría de operadores y análisis matricial en la teoría de marcos en espacios de Hilbert

Más información
Autores/as: Noelia Belén Rios ; Pedro Gustavo Massey ; Demetrio Stojanoff

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

Cobertura temática: Matemáticas  

La teoría de marcos fue desarrollada inicialmente por Duffin y Schaeffer alrededor de los años 1950. Sin embargo, su relevancia surge más de treinta años después, con un trabajo de Daubechies, Grossman y Meyer a partir del cual se empezó a reconocer la importancia de esta teoría para las aplicaciones. Desde ese entonces, la teoría de marcos y la ingeniería han estado íntimamente relacionadas y se han retroalimentado mutuamente generando grandes avances en el área. Por otro lado, dentro de la teoría de análisis matricial, las desigualdades de Lidskii son clásicas protagonistas, ya que forman parte de un conjunto de herramientas que lidian con algunos de los problemas más naturales dentro de esta teoría, tales como los de aproximación de matrices y desigualdades que involucran tanto a los autovalores de una matriz, como a sus valores singulares. En particular, han sido claves para caracterizar minimizadores globales de funcionales convexos y de funciones definidas en base a normas unitariamente invariantes, con dominio en ciertas órbitas de matrices bajo la acción del grupo unitario. En esta tesis, desarrollaremos versiones locales de las desigualdades de Lidskii que nos permitirán caracterizar tanto a los minimizadores locales de potenciales convexos dentro de la familia de completaciones de marcos con normas predeterminadas; así como también a los minimizadores locales de lo que denominamos distancias al operador de marco. En particular se prueba que los minimizadores locales son globales y que no dependen del potencial convexo en el primer caso, y de la norma en el segundo. Ambos resultados nos permitirán obtener, de manera completamentamente independiente, una respuesta positiva a una conjetura planteada por N. Strawn en 2012. Por otro lado, para complementar el estudio sobre las desigualdades de Lidskii, se obtiene una caracterización del caso de igualdad en la desigualdad para valores singulares.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas de teoría de operadores y análisis matricial en la teoría de marcos en espacios de Hilbert

Más información
Autores/as: Noelia Belén Rios ; Pedro Gustavo Massey ; Demetrio Stojanoff

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

Cobertura temática: Matemáticas  

La teoría de marcos fue desarrollada inicialmente por Duffin y Schaeffer alrededor de los años 1950. Sin embargo, su relevancia surge más de treinta años después, con un trabajo de Daubechies, Grossman y Meyer a partir del cual se empezó a reconocer la importancia de esta teoría para las aplicaciones. Desde ese entonces, la teoría de marcos y la ingeniería han estado íntimamente relacionadas y se han retroalimentado mutuamente generando grandes avances en el área. Por otro lado, dentro de la teoría de análisis matricial, las desigualdades de Lidskii son clásicas protagonistas, ya que forman parte de un conjunto de herramientas que lidian con algunos de los problemas más naturales dentro de esta teoría, tales como los de aproximación de matrices y desigualdades que involucran tanto a los autovalores de una matriz, como a sus valores singulares. En particular, han sido claves para caracterizar minimizadores globales de funcionales convexos y de funciones definidas en base a normas unitariamente invariantes, con dominio en ciertas órbitas de matrices bajo la acción del grupo unitario. En esta tesis, desarrollaremos versiones locales de las desigualdades de Lidskii que nos permitirán caracterizar tanto a los minimizadores locales de potenciales convexos dentro de la familia de completaciones de marcos con normas predeterminadas; así como también a los minimizadores locales de lo que denominamos distancias al operador de marco. En particular se prueba que los minimizadores locales son globales y que no dependen del potencial convexo en el primer caso, y de la norma en el segundo. Ambos resultados nos permitirán obtener, de manera completamentamente independiente, una respuesta positiva a una conjetura planteada por N. Strawn en 2012. Por otro lado, para complementar el estudio sobre las desigualdades de Lidskii, se obtiene una caracterización del caso de igualdad en la desigualdad para valores singulares.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas distribuídas para verificación acotada eficiente

Más información
Autores/as: Nicolás Leandro Rosner ; Marcelo Fabián Frias

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: Otras ingenierías y tecnologías  

El análisis formal de artefactos de software suele dividirse en dos clases de enfoques: pesados y livianos. Los métodos pesados ofrecen plena certeza del resultado obtenido pero requieren usuarios expertos. Los métodos livianos son más fáciles de aprender y se materializan en herramientas totalmente automáticas, pero la validez de sus resultados es parcial. Por ejemplo, en las técnicas de verificación exhaustiva acotada, la validez del resultado devuelto por la herramienta automática siempre está limitada por alguna noción de alcance o tamaño máximo configurable por el usuario. Para incrementar el grado de confianza en el resultado, el usuario sólo debe aumentar ese alcance y volver a ejecutar la herramienta. Sin embargo, el costo computacional del análisis automático es casi siempre exponencial en dicho alcance. En esta tesis presentamos una serie de técnicas y herramientas cuyo objetivo es mejorar la escalabilidad del análisis exhaustivo acotado de artefactos de software. En particular, nos interesa poder aprovechar la disponibilidad de hardware de bajo costo (como por ejemplo clusters de PCs, existentes en muchas empresas e instituciones) para extender la frontera de lo tratable mediante esta clase de enfoques. Por una parte presentamos transcoping, un enfoque incremental para explorar problemas de verificación exhaustiva acotada en tamaños pequeños y extrapolar la información recolectada para asistir la toma automática de decisiones en tamaños mayores del mismo problema. Mostramos su aplicación al análisis distribuido de modelos Alloy, así como a la toma de decisiones en la generación de casos de test basada en invariantes híbridos. También presentamos Ranger, otra técnica distinta para distribuir el análisis de modelos Alloy, que divide el problema en subproblemas de menor complejidad linealizando el espacio de potenciales contraejemplos y partiéndolo en intervalos disjuntos. Por otra parte, construyendo sobre la noción de cotas ajustadas para campos de la técnica TACO, presentamos MUCHO-TACO, una técnica para distribuir la verificación de programas Java anotados con contratos JML, basada en la herramienta secuencial TACO. Por último presentamos BLISS, un conjunto de técnicas para refinar la búsqueda de estructuras válidas durante la ejecución simbólica, basadas en Symbolic PathFinder.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas geométricas y combinatorias en el estudio de subvariedades de BL-álgebras

Más información
Autores/as: Noemí Lubomirsky ; Manuela Busaniche ; José Luis Castiglioni

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

Cobertura temática: Matemáticas  

En esta tesis estudiamos una subvariedad MG contenida en la variedad de BL-álgebras generada por una BL-cadena dada por la suma ordinal de la MV-álgebra [0,1] y el hoop de Gödel [0,1]. Se da la descripción del álgebra libre en la variedad MG, la cual da una idea del rol de los bloques principales de la cadena generadora: los elementos regulares y los elementos densos. Para definir las funciones en la representación basta con descomponer el dominio en un número finito de regiones, y sobre cada una de ellas coincide con una función de McNaughton o una función el álgebra libre generada por el hoop de Gödel [0,1]. Esta representación nos permite dar una descripción sencilla de los filtros maximales, primos y principales y las álgebras finitamente presentadas. Finalmente vemos que los resultados se pueden generalizar a álgebras generadas por cadenas dadas por la suma ordinal de la MV-álgebra estándar [0,1] y H un hoop básico totalmente ordenado.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas geométricas y combinatorias en el estudio de subvariedades de BL-álgebras

Más información
Autores/as: Noemí Lubomirsky ; Manuela Busaniche ; José Luis Castiglioni

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

Cobertura temática: Matemáticas  

En esta tesis estudiamos una subvariedad MG contenida en la variedad de BL-álgebras generada por una BL-cadena dada por la suma ordinal de la MV-álgebra [0,1] y el hoop de Gödel [0,1]. Se da la descripción del álgebra libre en la variedad MG, la cual da una idea del rol de los bloques principales de la cadena generadora: los elementos regulares y los elementos densos. Para definir las funciones en la representación basta con descomponer el dominio en un número finito de regiones, y sobre cada una de ellas coincide con una función de McNaughton o una función el álgebra libre generada por el hoop de Gödel [0,1]. Esta representación nos permite dar una descripción sencilla de los filtros maximales, primos y principales y las álgebras finitamente presentadas. Finalmente vemos que los resultados se pueden generalizar a álgebras generadas por cadenas dadas por la suma ordinal de la MV-álgebra estándar [0,1] y H un hoop básico totalmente ordenado.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas manométricas con el respirómetro de Warburg y su aplicación al estudio de la acción de distintas toxinas sobre tejidos animales

Más información
Autores/as: Marcelo Alberto Dankert ; Raúl Ferramola

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

Técnicas para aplicaciones que presentan baja sensibilidad y ensanchamiento inhomogéneo en Resonancia Cuadrupolar Nuclear

Más información
Autores/as: Lucas Matías Ceferino Cerioni ; Daniel José Pusiol

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2009 Repositorio Digital Universitario (SNRD) acceso abierto

Cobertura temática: Medicina clínica  

Tesis (Doctor en Física)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2009.