Avances en algoritmos de estimación de distribuciones. Alternativas en el aprendizaje y representación de problemas

131 p.: graf.

Sistema seguro de votação eletrônica multi-células

Em uso desde a Grécia antiga e atualmente massificado na maioria dos países do mundo, o sistema de votação tradicional baseado em cédulas de papel possui diversos problemas associados à segurança, tais como dificuldades para evitar coerção do eleitor, venda do voto e substituição fraudulenta do eleitor. Além de problemas de usabilidade que acarretam erros de preenchimento da cédula e um processo de apuração lento, que pode durar dias. Ao lado disso, o sistema tradicional não fornece a contraprova do voto, que permite ao eleitor conferir se o seu voto foi corretamente contabilizado na apuração. Inicialmente acreditou-se que a informatização do sistema de votação resolveria todos os problemas do sistema tradicional. Porém, com a sua implantação em alguns países o sistema de votação eletrônica não mostrou-se capaz de fornecer garantias irrefutáveis que não tivesse sido alvo de alterações fraudulentas durante o seu desenvolvimento ou operação. A má reputação do sistema eletrônico está principalmente associada à falta de transparência dos processos que, em sua maioria, não proporcionam a materialização do voto, conferido pelo eleitor para fins de contagem manual, e nem geram evidências (contraprova) da correta contabilização do voto do eleitor. O objetivo deste trabalho é propor uma arquitetura de votação eletrônica que integra, de forma segura, o anonimato e autenticidade do votante, a confidencialidade e integridade do voto/sistema. O sistema aumenta a usabilidade do esquema de votação baseado em "Três Cédulas" de papel, implementando-o computacionalmente. O esquema oferece maior credibilidade ao sistema de votação através da materialização e contraprova do voto, resistência à coerção e ao comércio do voto. Utilizando esquemas de criptografia assimétrica e segurança computacional clássica, associado a um sistema de auditoria eficiente, a proposta garante segurança e transparência nos processos envolvidos. A arquitetura de construção modular distribui a responsabilidade entre suas entidades, agregando-lhe robustez e viabilizando eleições em grande escala. O protótipo do sistema desenvolvido usando serviços web e Election Markup Language mostra a viabilidade da proposta.

Clasificadores supervisados para predecir la abstinencia a 12 meses en fumadores tratados con vareniclina

Tesis leida dentro del Master de "Ingeniería Computacional y Sistemas Inteligentes"

Rol semantikoen etiketatze automatikoa : rol multzoak eta hautapen murriztapenak

158 p. : graf.

Métodos numéricos para ecuaciones diferenciales rígidas. Aplicación a la semidiscretización del método de elementos finitos

295 p.

Optimización del Uso de Hormigones Autocompactantes Reforzados con Fibras de Acero en Aplicaciones Convencionales de Resistencias Moderadas

El objetivo de la presente tesis doctoral, se centra en plantear las posibilidades estructurales de fibras cortas de acero como refuerzo de la matriz de hormigón, habitualmente denominado HRFA, junto con la posibilidad de proporcionarle propiedades autocompactantes, que mejoren ciertos aspectos del material, formando el denominado Hormigón Autocompactante Reforzado con Fibras de Acero (HACRFA), en determinadas condiciones, gracias a las propiedades y características que se han atestiguado en este documento. Para tal fin y a diferencia de la mayoría de las experiencias anteriores que conocemos, se construye y analiza un tramo de muro de gran envergadura (3 metros de alto y 6 metros de largo). Este planteamiento permite estudiar la disposición de las fibras de acero dentro de un elemento estructural de gran tamaño y ejecutado en condiciones reales de obra, para determinar el comportamiento del material teniendo en cuenta todos los condicionantes posibles, algunos de los cuales no están presentes en las investigaciones de laboratorio. La exhaustiva caracterización del material que compone la estructura, conlleva la división del muro en 380 probetas de diversos tamaños que se someten a prometedores ensayos no destructivos y a los habituales ensayos destructivos. Las correlaciones establecidas entre ambos campos, posibilitan la determinación de aspectos resistentes de forma indirecta y sin dañar el material, estableciendo nuevas vías para un interesante control de calidad sobre la propia estructura. Para complementar el análisis a posteriori, se establece una metodología para determinar de manera previa a la ejecución de los trabajos la orientación de las fibras dentro de la masa de hormigón. Las simulaciones realizadas por medio de la Dinámica Computacional de Fluídos, permiten además establecer una serie de estimaciones de las resistencias residuales del material a partir de la orientación de las fibras prevista, detectando a priori puntos débiles o inadecuados procesos de hormigonado. Como colofón se realiza una comparativa económica y sostenibilidad medioambiental entre la aplicación a depósitos de contención cilíndricos propuesta, ejecutada por un lado mediante un hormigón convencional y el HACRFA por el otro. Cada sistema presenta sus ventajas y desventajas pero se concluye que el HACRFA puede resultar igual o más económico y sostenible, que un diseño estructural convencional. Estos trabajos se enmarcan dentro de las investigaciones desarrolladas por el Área de Conocimiento de Ingeniería de la Construcción adscrito al Departamento de Ingeniería Mecánica de la Universidad del País Vasco / Euskal Herriko Unibertsitatea (UPV/EHU).

Skeleton based visual pattern recognition. Applications to tabletop interaction

211 p. :il.

Atomistic simulation studies of the cement paste components

230 p.

Desarrollo de un sistema de simulación de datos de metilación

Hasta hace poco, enfermedades como el cáncer o el Alzheimer eran interpretadas solo como mutaciones genéticas, es decir, cambios en la secuencia genética. Sin embargo, son muchos los que últimamente se interesan por la epigenética y por la relación con las enfermedades. La epigenética va más allá que la genética, se basa en los cambios reversibles del ADN y de las proteínas que se unen en él. Esto hace que, sin necesidad de alterar su secuencia, un gen pueda ser expresado o por el contrario quede silenciado. Uno de estos cambios epigenéticos es la metilación del ADN que consiste en una modificación química en el dinucleotido CpG (citosina-fosfato-guanina, es decir, donde una citosina es seguida de una guanina). Existen métodos experimentales para poder detectar la metilación, como por ejemplo, los métodos basados en la modificación del ADN con bisulfito y posterior análisis con arrays de ADN. El objetivo de este proyecto es imitar, mediante la simulación computacional y el estudio de distintas bases de datos, el comportamiento del sistema biológico, a fin de generar datos similares a los reales. Esta simulación de los datos reales permitirá, entre otras cosas, generar escenarios controlados en los que evaluar los métodos de análisis. Adicionalmente, el proceso de diseño permitirá explorar el proceso biológico que da lugar a los datos.

Mugarri: bigarren hizkuntzako ikasleen hizkuntz ezagutza eskuratzeko sistema anitzeko ingurunea

265 p.

Caprate: un sistema de interpretación de problemas en lenguaje natural

199 p.

Aditz-azpikategorizazioaren azterketa sintaxi partzialetik sintaxi osorako bidean. 100 aditzen azterketa, Levin-en (1993) lana oinarri hartuta eta metodo automatikoak baliatuz

329 p.

On parallel computing for stochastic optimization models and algorithms

167 p.

Estudo dos fenômenos de transporte em cromatografia através da aplicação de modelos de rede e estocásticos

O estudo dos diferentes fenômenos de separação tem sido cada vez mais importante para os diferentes ramos da indústria e ciência. Devido à grande capacidade computacional atual, é possível modelar e analisar os fenômenos cromatográficos a nível microscópico. Os modelos de rede vêm sendo cada vez mais utilizados, para representar processos de separação por cromatografia, pois através destes pode-se representar os aspectos topológicos e morfológicos dos diferentes materiais adsorventes disponíveis no mercado. Neste trabalho visamos o desenvolvimento de um modelo de rede tridimensional para representação de uma coluna cromatográfica, a nível microscópico, onde serão modelados os fenômenos de adsorção, dessorção e dispersão axial através de um método estocástico. Também foram utilizadas diferentes abordagens com relação ao impedimento estérico Os resultados obtidos foram comparados a resultados experimentais. Depois é utilizado um modelo de rede bidimensional para representar um sistema de adsorção do tipo batelada, mantendo-se a modelagem dos fenômenos de adsorção e dessorção, e comparados a sistemas reais posteriormente. Em ambos os sistemas modelados foram analisada as constantes de equilíbrio, parâmetro fundamental nos sistemas de adsorção, e por fim foram obtidas e analisadas isotermas de adsorção. Foi possível concluir que, para os modelos de rede, os fenômenos de adsorção e dessorção bastam para obter perfis de saída similares aos vistos experimentalmente, e que o fenômeno da dispersão axial influência menos que os fenômenos cinéticos em questão

Análise de fadiga em pontes rodoviárias de concreto armado

As pontes rodoviárias de concreto armado estão sujeitas às ações dinâmicas variáveis devido ao tráfego de veículos sobre o tabuleiro. Estas ações dinâmicas podem gerar o surgimento das fraturas ou mesmo a sua propagação na estrutura. A correta consideração destes aspectos objetivou o desenvolvimento de um estudo, de forma a avaliar os esforços do tráfego de veículos pesados sobre o tabuleiro. As técnicas para a contagem de ciclos de esforços e a aplicação das regras de dano acumulado foram analisadas através das curvas S-N de diversas normas estudadas. A ponte rodoviária investigada é constituída por quatro vigas longitudinais, três transversinas e por um tabuleiro de concreto armado. O modelo computacional, desenvolvido para a análise dinâmica da ponte, foi concebido com base no emprego de técnicas usuais de discretização através do método dos elementos finitos. O modelo estrutural da obra de arte rodoviária estudada foi simulado com base no emprego de elementos finitos sólidos tridimensionais. Os veículos são representados a partir de sistemas massa-mola-amortecedor. O tráfego dessas viaturas é considerado mediante a simulação de comboios semi-infinitos, deslocando-se com velocidade constante sobre o tabuleiro da ponte. As conclusões deste trabalho versam acerca da vida útil de serviço dos elementos estruturais de pontes rodoviárias de concreto armado submetidas às ações dinâmicas provenientes do tráfego de veículos pesados sobre o tabuleiro.