A concepção arquitetônica dos templos dóricos gregos é estudada na perspectiva da Arqueologia da Arquitetura stricto sensu. Verificamos a relevância e o papel que teve a aplicação da geometria e da aritmética como recursos técnicos e metodológicos para o desenvolvimento do projeto do templo dórico grego no século V a.C., visando esclarecer e estabelecer vínculos entre tais ramos da matemática e a lógica subjacente que norteou os arquitetos, tanto em projeto como nas aplicações precisas em obra. Para isso, abordarmos os fundamentos científicos da arquitetura grega a partir da análise de 10 templos clássicos hexastilos (configuração canônica da ordem dórica) fazendo um balanço crítico sobre o alcance e o limite das teorias modernas que desenvolveram modelos de interpretação para o projeto do templo dórico grego. Adotamos como ponto de partida, e referência fundamental, os artigos publicados por J. J. Coulton em meados da década de setenta, no periódico The Annual of the British School at Athens, e vamos sistemáticamente atualizando o debate apoiado nas discussões mais recentes. / The Architectural conception of the Greek Doricos temples has been studied in the perspective of the Archaeology of the Architecture stricto sensu. We had verified the role and the relevance that the geometry and arithmetic applications such as the technical and methodology resources for the design development of the Greek Doric temple in V century B.C., in order to clarify and to establish links between mathematics branches and the underlying logic that had been guiding the architects, as much in projects as in the accuracy applications for the building constructions. In a way to approach the Greek architecture scientific fundamentals from the analysis of 10 hexastilos classic temples (canonic configuration of the Doric order) making a critical balance on the limit and the reach of the modern theories that had developed interpretation models for the design of the Greek Doric temple. We adopt as basic reference and starting point, the articles published for J.J. Coulton in middle of the seventy decade, in the periodic The Annual of the British School at Athens, and systematically go bringing up to date the debate supported in the most recent discussions.

The study about bi-Lipschitz equisingularity has been a very important subject in Singularity Theory in last decades. Many different approach have cooperated for a better understanding about. One can see that the bi-Lipschitz geometry is able to detect large local changes in curvature more accurately than other kinds of equisingularity. The aim of this thesis is to investigate the bi-Lipschitz geometry in an algebraic viewpoint. We define some algebraic tools developing classical properties. From these tools, we obtain algebraic criterions for the bi-Lipschitz equisingularity of some families of analytic varieties. We present a categorical and homological viewpoints of these algebraic structure developed before. Finally, we approach algebraically the bi-Lipschitz equisingularity of a family of Essentially Isolated Determinantal Singularities. / O estudo da equisingularidade bi-Lipschitz tem sido amplamente investigado nas últimas décadas. Diversas abordagens têm contribuído para uma melhor compreensão a respeito. Observa-se que a geometria bi-Lipschitz é capaz de detectar grandes alterações locais de curvatura com maior precisão quando comparada a outros padrões de equisingularidade. O objetivo desta tese é investigar a geometria bi-Lipschitz do ponto de vista algébrico. Definimos algumas estruturas algébricas desenvolvendo algumas propriedades clássicas. A partir de tais estruturas obtemos critérios algébricos para a equisingularidade bi-Lipschitz de algumas classes de famílias de variedades analíticas. Apresentamos uma visão categórica e homológica dos elementos desenvol- vidos. Finalmente abordamos algebricamente a equisingularidade de famílias de Singularidades Determinantais Essencialmente Isoladas.

Fatores de transcrição (FT) são proteínas que se ligam em sequências específicas e bem conservadas de nucleotídeos no DNA, denominadas sítios de ligação dos fatores de transcrição (SLFT), localizadas em regiões de regulação gênica conhecidas como módulos cis-reguladores (CRM). Ao reconhecer o SLFT, o fator de transcrição se liga naquele sítio e influencia a transcrição gênica positiva ou negativamente. Existem técnicas experimentais para a identificação dos locais dos SLFTs em um genoma, como footprinting, ChIP-chip ou ChIP-seq. Entretanto, a execução de tais técnicas implica em custos e tempo elevados. Alternativamente, pode-se utilizar as sequências de SLFTs já conhecidas para um determinado fator de transcrição e aplicar técnicas de aprendizado computacional supervisionado para criar um modelo computacional para tal sítio e então realizar a predição computacional no genoma. Entretanto, a maioria das ferramentas computacionais existentes para esse fim considera independência entre as posições entre os nucleotídeos de um sítio - como as baseadas em PWMs (position weight matrix) - o que não é necessariamente verdade. Este projeto teve como objetivo avaliar a utilização de gramáticas regulares estocásticas (GRE) como técnica alternativa às PWMs neste problema, uma vez que GREs são capazes de caracterizar dependências entre posições consecutivas dos sítios. Embora as diferenças de desempenho tenham sido sutis, GREs parecem mesmo ser mais adequadas do que PWMs na presença de valores mais altos de dependência de bases, e PWMs nos demais casos. Por fim, uma ferramenta de predição computacional de SLFTs foi criada baseada tanto em GREs quanto em PWMs. / Transcription factors (FT) are proteins that bind to specific and well-conserved sequences of nucleotides in the DNA, called transcription factor binding sites (TFBS), contained in regions of gene regulation known as cis-regulatory modules (CRM). By recognizing TFBA, the transcription factor binds to that site and positively or negatively influence the gene transcription. There are experimental procedures for the identification of TFBS in a genome such as footprinting, ChIP-chip or ChIP-Seq. However, the implementation of these techniques involves high costs and time. Alternatively, one may utilize the TFBS sequences already known for a particular transcription factor and applying computational supervised learning techniques to create a computational model for that site and then perform the computational prediction in the genome. However, most existing software tools for this purpose considers independence between nucleotide positions in the site - such as those based on PWMs (position weight matrix) - which is not necessarily true. This project aimed to evaluate the use of stochastic regular grammars (SRG) as an alternative technique to PWMs in this problem, since SRGs are able to characterize dependencies between consecutive positions in the sites. Although differences in performance have been subtle, SRGs appear to be more suitable than PWMs in the presence of higher base dependency values, and PWMs in other cases. Finally, a computational TFBS prediction tool was created based on both SRGs and PWMs.

Este trabajo ha estado dirigido al estudio de un proceso eficaz de separación que posibilite la recuperación de zinc de efluentes de decapado ácido de elevada toxicidad, así como su posterior concentración en una fase de características físico-químicas adecuadas para posibilitar su reciclado en baños electrolíticos. Para ello se propone la extracción líquido-líquido no dispersiva como tecnología limpia de elevada eficacia y con bajo requerimiento energético.Tras una exhaustiva revisión bibliográfica, se seleccionan el fosfato de tributilo y el agua de red como agentes extractante y reextractante respectivamente. A lo largo del trabajo y tras una etapa previa dirigida a la evaluación de la viabilidad técnica del proceso, se caracterizaron experimentalmente las reacciones responsables de las etapas de extracción y reextracción, así como la cinética del proceso de separación, para a continuación plantear el modelo matemático y determinar los parámetros característicos del sistema necesarios para el diseño y optimización del proceso de separación-concentración de zinc de efluentes de decapado ácido metálico. / The work was focused on the study of the recovery of zinc from spent pickling effluents, under conditions that permitted the recovery of electrolytic grade metal, thus, reducing the effluent toxicity and with valorisation, at the same time, of the component of higher added value. After a deep literature review, non dispersive solvent extraction using tributyl phosphate (TBP) and service water as extraction and back extraction agents, respectively, was selected as the best separatión alternative. The work started with the analysis of the process viability and included an experimental design of the equilibrium, and kinetics of the phenomena involved in the metal valorisation. The kinetic analysis of the membrane assisted process of zinc recovery from spent pickling effluents was carried out, obtaining the mathematical model and parameters needed for design and optimisation of the metal separation step in a valorisation process.

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-11T16:01:13Z No. of bitstreams: 1 arquivototal.pdf: 1341956 bytes, checksum: 725d00067ec252af7f139395f2803b1b (MD5) / Made available in DSpace on 2017-08-11T16:01:13Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1341956 bytes, checksum: 725d00067ec252af7f139395f2803b1b (MD5) Previous issue date: 2015-12-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work develops the theories of local cohomology and local homology with respect to an arbitrary set of ideals and generalises most of the important results from the classical theories. It also introduces the category of quasi-holonomic D-modules and proves some finiteness properties of local cohomology modules which generalise Lyubeznik's results in some sense. / Este trabalho desenvolve as teorias de cohomologia e homologia locais com respeito a um conjunto arbitrário de ideais e generaliza vários dos resultados importantes das teorias clássicas. Também, introduz a categoria dos D-módulos quase-holônomos e prova alguns resultados de finitude de cohomologia local que generalizam, em algum sentido, os resultados de G. Lyubeznik.

Made available in DSpace on 2014-07-29T14:57:53Z (GMT). No. of bitstreams: 1 Marcio pereira.pdf: 5468645 bytes, checksum: c32705115b5d19bad90c4f72b43826ce (MD5) Previous issue date: 2010-04-26 / In spite of the great evolution and dissemination of mobile devices and embedded sensors, development of ubiquitous applications is still a complex task mainly due to the great diversity of context information and the abundance of sensor technologies. In this scenario, middleware systems are responsible mediating communication between contextaware applications and sensors. This responsibility envolves many services such as sensor communication protocols, asynchronous communication, context information reasoning. In spite of their importance for mobile context-aware applications, the development of middleware platforms for context provisioning is also a very complex task, specially in terms of sensor module integration to these platforms. This happens due to many factors, such as: i) huge complexity to develop sensor modules; ii) dificulties of reuse of sensor modules; and iii) sensor module life cycle management. This work proposes a context provisioning middleware architecture for mobile devices named ConBus (Context Bus) that implements development, reuse, deployment and dynamic activation strategies for sensor modules. / Apesar da grande evolução e disseminação dos dispositivos móveis e sensores acoplados, desenvolver aplicações ubíquas ainda é uma tarefa complexa, principalmente, devido à grande diversidade de informações contextuais e à abundância de tecnologias de sensoriamento. Nesse cenário, sistemas de middleware assumem a responsabilidade de intermediar a comunicação entre as aplicações sensíveis ao contexto e os sensores que são as fontes de informações contextuais. Essa responsabilidade envolve diversos serviços, como implementar protocolos de comunicação com sensores heterogêneos, disponibilizar a comunicação assíncrona, possibilitar a inferência de informações contextuais, além da manutenção de modelos de contexto de alto nível. Entretanto, o desenvolvimento de plataformas de middleware para a provisão de contexto também é uma tarefa muito complexa, especialmente com relação à integração de módulos de sensoriamento a tais infraestruturas. Esses módulos de sensoriamento são os componentes de software das aplicações responsáveis pelo acesso aos dados de contexto coletados pelos sensores. Dentre os principais problemas relativos à essa integração estão: i) a complexidade inerente ao desenvolvimento de módulos de sensoriamento, que usualmente envolvem chamadas de baixo nível ao sistema operacional ou exigem a implementação de protocolos de comunicação para acesso a sensores remotos; ii) dificuldade de reutilização dos módulos de sensoriamento devido à falta de mecanismos que facilitem a disponibilização e a manutenção de tais módulos; e iii) o gerenciamento do ciclo de vida de módulos de sensoriamento acoplados à plataforma. Com o propósito de lidar com tais desafios, este trabalho propõe uma arquitetura de middleware para provisão de contexto em dispositivos móveis, denominada ConBus (Context Bus), que implementa estratégias de desenvolvimento, reutilização, implantação e ativação dinâmica de módulos de sensoriamento, fazendo uso racional dos recursos computacionais do dispositivo.

Made available in DSpace on 2014-07-29T16:02:20Z (GMT). No. of bitstreams: 1 Dissertacao Flavio P Vieira.pdf: 631827 bytes, checksum: b4c3dfd45d41b0313e21e87b61f0c94e (MD5) Previous issue date: 2012-04-12 / The main goal of this work is to establish a primary bound for the dimension of the second homology group of a group G, with coefficients in a field k of characteristic p, H2(G;k), using the operating system GAP. It will be presented with several examples, where in some cases, will be calculated the exact dimensions and in other cases only an upper bound. / O trabalho tem por objetivo principal estabelecer uma cota superior para a dimensão do segundo grupo de homologia de um grupo G, com coeficientes em um corpo k de característica p, H2(G;k), usando o sistema operacional GAP. Será apresentado uma gama de exemplos, onde em alguns casos, calcularemos exatamente a dimensão e em outras somente uma cota superior.

The study about bi-Lipschitz equisingularity has been a very important subject in Singularity Theory in last decades. Many different approach have cooperated for a better understanding about. One can see that the bi-Lipschitz geometry is able to detect large local changes in curvature more accurately than other kinds of equisingularity. The aim of this thesis is to investigate the bi-Lipschitz geometry in an algebraic viewpoint. We define some algebraic tools developing classical properties. From these tools, we obtain algebraic criterions for the bi-Lipschitz equisingularity of some families of analytic varieties. We present a categorical and homological viewpoints of these algebraic structure developed before. Finally, we approach algebraically the bi-Lipschitz equisingularity of a family of Essentially Isolated Determinantal Singularities. / O estudo da equisingularidade bi-Lipschitz tem sido amplamente investigado nas últimas décadas. Diversas abordagens têm contribuído para uma melhor compreensão a respeito. Observa-se que a geometria bi-Lipschitz é capaz de detectar grandes alterações locais de curvatura com maior precisão quando comparada a outros padrões de equisingularidade. O objetivo desta tese é investigar a geometria bi-Lipschitz do ponto de vista algébrico. Definimos algumas estruturas algébricas desenvolvendo algumas propriedades clássicas. A partir de tais estruturas obtemos critérios algébricos para a equisingularidade bi-Lipschitz de algumas classes de famílias de variedades analíticas. Apresentamos uma visão categórica e homológica dos elementos desenvol- vidos. Finalmente abordamos algebricamente a equisingularidade de famílias de Singularidades Determinantais Essencialmente Isoladas.

A concepção arquitetônica dos templos dóricos gregos é estudada na perspectiva da Arqueologia da Arquitetura stricto sensu. Verificamos a relevância e o papel que teve a aplicação da geometria e da aritmética como recursos técnicos e metodológicos para o desenvolvimento do projeto do templo dórico grego no século V a.C., visando esclarecer e estabelecer vínculos entre tais ramos da matemática e a lógica subjacente que norteou os arquitetos, tanto em projeto como nas aplicações precisas em obra. Para isso, abordarmos os fundamentos científicos da arquitetura grega a partir da análise de 10 templos clássicos hexastilos (configuração canônica da ordem dórica) fazendo um balanço crítico sobre o alcance e o limite das teorias modernas que desenvolveram modelos de interpretação para o projeto do templo dórico grego. Adotamos como ponto de partida, e referência fundamental, os artigos publicados por J. J. Coulton em meados da década de setenta, no periódico The Annual of the British School at Athens, e vamos sistemáticamente atualizando o debate apoiado nas discussões mais recentes. / The Architectural conception of the Greek Doricos temples has been studied in the perspective of the Archaeology of the Architecture stricto sensu. We had verified the role and the relevance that the geometry and arithmetic applications such as the technical and methodology resources for the design development of the Greek Doric temple in V century B.C., in order to clarify and to establish links between mathematics branches and the underlying logic that had been guiding the architects, as much in projects as in the accuracy applications for the building constructions. In a way to approach the Greek architecture scientific fundamentals from the analysis of 10 hexastilos classic temples (canonic configuration of the Doric order) making a critical balance on the limit and the reach of the modern theories that had developed interpretation models for the design of the Greek Doric temple. We adopt as basic reference and starting point, the articles published for J.J. Coulton in middle of the seventy decade, in the periodic The Annual of the British School at Athens, and systematically go bringing up to date the debate supported in the most recent discussions.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The purpose of this work is to study the relationships between admissible pairs, systems admissible and bialgebras in the category of Yetter-Drinfeld modules, as well as some properties of the Hopf algebra associated (via bosonization) to an admissible pair. We end this dissertation with a family of examples of admissible pairs. / O objetivo deste trabalho é estudar as relações entre pares admissíveis, sistemas admissíveis e biálgebras na categoria dos módulos de Yetter-Drinfeld, bem como algumas propriedades da álgebra de Hopf associada (via bosonização) a um par admissível. Finalizamos esta dissertação com uma família de exemplos de pares admissíveis.