A universalização do acesso ao conteúdo disponibilizado em sistemas Web tem se tornado crucial para que todas as pessoas, independente de deficiências ou de outras restrições possam ter acesso a ele. Diversos estudos indicam que, apesar da instituição de leis federais sobre acessibilidade para conteúdo Web em diversos países, muitos sítios ainda apresentam problemas. A falta de conscientização das pessoas envolvidas em projetos de desenvolvimento Web sobre a acessibilidade e a não utilização de técnicas adequadas para desenvolvimento de aplicações têm um impacto considerável sobre a acessibilidade. Levantamentos foram realizados com o objetivo de identificar características dos desenvolvedores sobre o conhecimento e uso de técnicas para acessibilidade. Entretanto, os estudos realizados investigaram somente o uso de um conjunto restrito de técnicas e, além disso, também não investigaram a correlação entre as respostas obtidas pelos participantes e o nível de acessibilidade das páginas desenvolvidas por eles. Neste trabalho, propõe-se efetuar um levantamento sobre a percepção de acessibilidade e uso de técnicas para desenvolvimento de sistemas Web considerando acessibilidade com pessoas envolvidas em projetos de desenvolvimento Web no Brasil de diferentes áreas de atuação. Este levantamento foi acompanhado de avaliações de acessibilidade automatizadas com uso de métricas sobre sítios desenvolvidos pelos participantes, para verificar a influência dos fatores investigados na acessibilidade dos sítios e na percepção de acessibilidade dos participantes. O levantamento realizado contou com a participação de 613 participantes de todo o Brasil. Os resultados indicaram que no Brasil a percepção da acessibilidade por pessoas que participam de projetos de desenvolvimento Web ainda é bastante limitada. Mais do que promover o treinamento das pessoas envolvidas em projetos sobre questões técnicas, é necessário promover maior conscientização sobre a acessibilidade e sobre os problemas que pessoas com diferentes restrições e habilidades enfrentam ao utilizar a Web. / Universal access to content in Web based systems is an essential aspect to enable everyone to have access to it, regardless of disabilities or any other restrictions. Several studies indicate that, although federal legislation regarding to Web accessibility have been promulgated in many countries, accessibility is still an issue for many Web sites. The limited awareness of accessibility by people involved in Web development and the lack of appropriate use of development techniques in the development of applications have a deep impact on accessibility. A few surveys have been carried out to identify the main characteristics of Web developers regarding accessibility concepts and techniques for accessibility. However, the studies reported up to this date have only investigated the use of a restricted set of techniques by developers. Besides, they have not addressed the analysis of the correlation between the answers provided by the subjects and the accessibility level of their Web pages. The proposal of the work presented in this master\'s thesis is the development of a survey on the accessibility awareness and on the use of techniques for accessibility by people involved in the development of Web based systems. Automatic metric based accessibility evaluations on the Web sites developed by the subjects were carried out to support the investigation of the impacts that the issues investigated have on the Web pages accessibility and on the accessibility awareness. The survey was answered by 613 subjects from all Brazilian states. The results show that in Brazil the accessibility awareness is still very limited. Training people involved in Web projects on technical issues alone is not enough. It is necessary to promote a wider awareness of accessibility and of the problems people with different restrictions and abilities deal with when using the Web

Este trabalho avalia de maneira detalhada diferentes parâmetros para a definição de níveis de homogeneidade e heterogeneidade em sistemas computacionais distribuídos. O objetivo é analisar a eficiência da métrica GH - Grau de Heterogeneidade - em relação a diferentes perspectivas. Métricas encontradas na literatura e benchmarks de código aberto (reconhecidos pela comunidade científica) são utilizados para quantificar a heterogeneidade do sistema computacional. A métrica GH também é empregada no AMIGO, um ambiente de escalonamento real, para analisar a sua utilização em algoritmos de escalonamento de processos. Os principais resultados obtidos neste trabalho são: a comprovação da estabilidade da métrica GH para determinar o grau de heterogeneidade de plataformas computacionais distribuídas, o uso da métrica GH com sucesso em um ambiente de escalonamento real e o desenvolvimento de um algoritmo de escalonamento adaptativo. Sub-produtos deste trabalho são: um levantamento dos principais benchmarks com código aberto e livre disponíveis na literatura, os quais podem ser utilizados em trabalhos futuros no grupo de pesquisa e a continuidade do desenvolvimento do ambiente de escalonamento AMIGO / This work evaluates several parameters in a detailed way for the definition of homogeneity and heterogeneity levels in distributed computing systems. The objective is to analise the GH metric efficiency (heterogeneity degree) according to different perspectives. Metrics found in the literature and open source benchmarks (recognized by the scientific community) are both used to quantify the heterogeneity of the computational system. The GH metric is also employed in the AMIGO, a real scheduling environment, in order to evaluate its use in process scheduling algorithms. The main results obtained in this work are: the verification of the GH metric stability for determining the heterogeneity degree of distributed computing platforms; the use of the GH metric with success in a real scheduling environment and the development of an adaptive scheduling algorithm. By-products of this work are: the highlighting of the main benchmarks with open source available in the literature, which can be used in future works by the research group and the continuity of the development of the AMIGO

Nesse trabalho apresentaremos alguns exemplos clássicos que evidenciam as diferenças entre a geometria Riemanniana e a semi-Riemanniana (Lorentziana) quanto à completude de geodésicas. Para isso, revisitaremos conceitos básicos de Geometria, seguido de uma introdução aos espaços vetoriais de Lorentz e um estudo inicial sobre o grupo de Lorentz. Nos capítulos finais discutiremos sobre completude de geodésicas e como se distanciam do caso Riemanniano. / In this work we intend to present some classical examples that display the differences between Riemannian and semi-Riemannian (Lorentzian) geometry in relation to the completeness of geodesics. For this, we will revisit basic Geometry concepts followed by an introduction to the vector spaces of Lorentz and a simple study on the Lorentz group. In the final chapters we will discuss about the completeness of geodesics and how it distances itself from the Riemannian case.

El objetivo principal del presente trabajo es establecer un marco conceptual sobre la evaluación de sitios e-government y proponer un modelo y herramientas para medir el impacto social del uso de un sitio Web por parte de los ciudadanos. Para ello se especificará un procedimiento que contenga los pasos necesarios a seguir en la definición y medición de las características y atributos principales del modelo de evaluación. Esta monografía pretende exponer como herramienta la evaluación externa, como la percepción del ciudadano y su impacto social en la población, acotando la medición al entorno específico de la provincia del Chaco. Por ello solo se toman como eje central del trabajo las características y subcaracterísticas respecto de la percepción visible por el visitante, dejando de lado las propiedades internas del producto. Su aplicación es fundamental en el ámbito de desempeño profesional, Tribunal de Cuentas, debido a la necesidad de contar con un procedimiento de trabajo objetivo y repetible a ser usado para evaluar sitios Web de las Jurisdicciones bajo su contralor. Se plantea la comparación de una serie de métricas y criterios de decisión que entreguen información útil para la gestión y valoración de espacios de Gobierno Electrónico, en estricto rigor, se propone evaluar y poner a prueba acciones rutinarias del sitio Web para medir si es eficiente, oportuno, y útil para los visitantes, basándose en datos científicos y que emanen de una investigación seria y objetiva.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Programa de Pós-Graduação em Matemática, 2015. / Submitted by Patrícia Nunes da Silva (patricia@bce.unb.br) on 2016-01-26T14:54:49Z No. of bitstreams: 1 2015_BeneditoLeandroNeto_Parcial.pdf: 248614 bytes, checksum: aa0e94e4558b4314ccdb73a1bce22eaf (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2016-01-26T14:55:51Z (GMT) No. of bitstreams: 1 2015_BeneditoLeandroNeto_Parcial.pdf: 248614 bytes, checksum: aa0e94e4558b4314ccdb73a1bce22eaf (MD5) / Made available in DSpace on 2016-01-26T14:55:51Z (GMT). No. of bitstreams: 1 2015_BeneditoLeandroNeto_Parcial.pdf: 248614 bytes, checksum: aa0e94e4558b4314ccdb73a1bce22eaf (MD5) / Provamos que (anti)self dual solitons gradientes (quasi) Yamabe com curvatura seccional positiva são rotacionais simétricos. Além disso, mostramos que, (anti)self dual solitons gradientes de Yamabe tem uma estrutura de produto torcido muito particular desde que a função potencial não tenha pontos críticos. Consideramos solitons gradientes de Yamabe conformes a espaços pseudo-Euclidianos n-dimensionais. Caracterizamos todos os solitons que são invariantes pela ação de um grupo de translação (n-1)-dimensional e obtemos os solitons tipo estável. Como aplicação, obtemos um exemplo de soliton gradiente de Yamabe estável completo, conforme a um espaço Lorentziano. Investigamos também os pontos críticos do funcional curvatura escalar total restrito a um espaço de métricas com curvatura escalar constante e volume unitátio que denotamos por métricas CPE. Foi conjecturado nos anos 1980 que toda métrica CPE é, necessariamente, Einstein. Provamos que métricas CPE, no caso de dimensão quatro, com tensor W+ harmônico são isométricas à esfera S4 dada uma condição integral. No caso n-dimensional, provamos uma condição necessária e suficiente sobre a norma do gradiente da função potencial para que a métrica CPE seja Einstein. / We prove that an (anti)self dual quasi Yamabe gradient soliton with positive sectional curvature is rotationally symmetric. We also prove that four dimensional (anti) self dual gradient Yamabe soliton has a special warped product structure provided that the potential function has no critical points. We consider gradient Yamabe solitons, conformal to an n-dimensional pseudo-Euclidean space. We characterize all such solitons which are invariant under the action of an (n-1)-dimensional translation group and we obtain the steady solitons. Applications provide an explicit example of a complete steady gradient Yamabe soliton, conformal to the Lorentzian space. We also investigate the critical points of the total scalar curvature functional restricted to space of metrics with constant scalar curvature of unitary volume, for simplicity CPE metrics. It was conjectured in the 1980's that every CPE metric must be Einstein. We prove that a 4-dimensional CPE metric with harmonic tensor W+ must be isometric to a round sphere S4 provided an integral condition is satisfied. We also give a necessary and sufficient condition on the norm of the gradient of the potential function for a CPE metric to be Einstein.

El desarrollo de un área de gestión más acabada para la nueva versión de la herramienta Painless Tracking versión Excell llamada Painless Tracking Web, motiva el trabajo realizado en esta memoria. A través de este él se hará una investigación en primera instancia sobre el proceso de gestión en proyectos que utilicen metodologías ágiles como trasfondo de desarrollo. Para ello se ahondará en temas como procesos de medición, estructura adecuada de métricas y reportes y la utilización de estos mismos. Luego se hará una revisión sobre las distintas métricas y reportes presentes en las distintas metodologías ágiles actuales y sobre la misma herramienta Painless Tracking Excell. Después se procederá a realizar una selección sobre las métricas y reportes investigados en el punto anterior, para luego realizar una aplicación práctica de los mismos con datos reales de un proyecto de desarrollo. Luego se implementarán usando desarrollo guiado por tests como metodología y tecnologías basadas en Python, XML y Flash. Finalmente se concluirá sobre los componentes desarrollados para la interfaz de gestión de Painless Tracking Web, el valor generado por esta investigación y las proyecciones futuras sobre la misma.

Submitted by PGCOMP UFBA (pgcomp@ufba.br) on 2016-10-27T17:09:13Z No. of bitstreams: 1 PGCOMP-MSC03-ElienaiBitencourt.pdf: 1427996 bytes, checksum: 750d8f268e5cfc27f56aa6e6bd22fd2c (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2016-11-03T14:26:41Z (GMT) No. of bitstreams: 1 PGCOMP-MSC03-ElienaiBitencourt.pdf: 1427996 bytes, checksum: 750d8f268e5cfc27f56aa6e6bd22fd2c (MD5) / Made available in DSpace on 2016-11-03T14:26:41Z (GMT). No. of bitstreams: 1 PGCOMP-MSC03-ElienaiBitencourt.pdf: 1427996 bytes, checksum: 750d8f268e5cfc27f56aa6e6bd22fd2c (MD5) / Fapesb / Coesão pode ser de nida como o grau pelo qual um m odulo de um software está focado na realiza ção de uma unica responsabilidade. Acredita-se que a coesão pode interferir em atributos de qualidade de software, tais como, manutenibilidade e facilidade de compreensão. Em particular, a literatura de engenharia de software afi rma que quanto maior for a coesão, mais f acil ser a para se compreender o c odigo fonte de um m odulo. Pesquisadores têm de nido uma s erie de m etricas para quantifi car coesão. No entanto, faltam evidencias experimentais sobre a existencia de uma rela ção entre coesão, quanti ficada por meio de m étricas, e o esfor ço para se compreender programas. Diante desse contexto, realizamos três quase-experimentos para avaliar a rela ção entre medidas de coesão e o esfor ço para se compreender o c ódigo fonte de classes de sistemas orientados a objetos. Al ém disso, avaliamos se dois diferentes tipos de m etricas -- estrutural e conceitual -- apresentam rela ção diferente com o esfor ço de compreensão. Nesses experimentos, participantes executaram atividades que demandaram a compreensão do c odigo fonte de diferentes classes com diferentes graus de coesão. Os resultados mostraram que a coesão não teve impacto na compreensibilidade de programas. Isso ocorreu principalmente porque a influência muito mais forte de outros atributos do c odigo fonte acaba minimizando a influência da coesão.

BATISTA, Rondinelle Marcolino. Rigidez e estimativas de volume de métricas tipo Einstein. 2016. 66f. Tese (doutorado) - Universidade Federal do Ceará, Centro de Ciências, Programa de Pós-Graduação em Matemática, Fortaleza-Ce, 2016 / Submitted by Rocilda Sales (rocilda@ufc.br) on 2016-11-11T13:44:42Z No. of bitstreams: 1 2016_tese_rmbatista.pdf: 535478 bytes, checksum: 7358fcbe5f72a8a139933cc257dfa85e (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-11-11T13:45:23Z (GMT) No. of bitstreams: 1 2016_tese_rmbatista.pdf: 535478 bytes, checksum: 7358fcbe5f72a8a139933cc257dfa85e (MD5) / Made available in DSpace on 2016-11-11T13:45:23Z (GMT). No. of bitstreams: 1 2016_tese_rmbatista.pdf: 535478 bytes, checksum: 7358fcbe5f72a8a139933cc257dfa85e (MD5) Previous issue date: 2016 / The purpose of this work is to study like-Einstein metrics, namely, Ricci solitons, almost Ricci solitons and quasi-Einstein metrics. First, we deduce two compactness theorem for gradient Ricci solitons satisfying certain special conditions. In the sequel we prove some integral formulae which allow us to prove that every compact almost Ricci solitons with constant scalar curvature must be gradient type. Moreover, we prove that every compact locally conformally at gradient Ricci soliton must be isometric to standard sphere under an integral condition. Finally, we study the growth of the geodesic balls of steady quasi-Einstein metrics. Moreover, we use Einstein quasi-metric theory to prove a triviality theorem and then to produce a certain class of Einstein warped products under a suitable hypothesis in the fiber. / Nosso objetivo nesta tese é abordar uma classe de métricas tipo Einstein, a saber sólitons de Ricci, quase sólitons de Ricci e métricas quasi-Einstein. Primeiramente obteremos dois resultados sobre compacidade de sólitons de Ricci gradiente, supondo que o quadrado da norma do campo que define tal sóliton é integrável e a derivada da função curvatura escalar na direção do gradiente da função potencial é não negativa, ou uma certa limitação inferior da função potencial. Em seguida, provaremos algumas fórmulas integrais para quase sóliton de Ricci compacto, que nos permite provar que todo quase sóliton de Ricci compacto com curvatura escalar constante é gradiente. Além disso, mostraremos que todo quase sóliton de Ricci gradiente localmente conformemente plano é isométrico a esfera euclidiana, desde que satisfaça uma certa condição integral. Prosseguindo, mostraremos que as bolas geodésicas de metricas quasi-Einstein est áveis não compactas tem crescimento no mí nimo linear. Finalmente, usaremos métrica quasi-Einstein, para provarmos um teorema de trivialidade para uma certa classe de produto warped Einstein, sob uma hipótese que envolve a função warped e as constantes de Einstein do produto warped e da fibra.

CARLOS, Elaine Sampaio de Sousa. A geometria dos sólitons de Ricci compactos. 2013. 44 f. Dissertação (Mestrado em Matemática) - Centro de Ciências, Universidade Federal do Ceará, Programa de Pós-Graduação em Matemática, Fortaleza, 2013 / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2014-02-06T12:21:20Z No. of bitstreams: 1 2013_dis_esscarlos.pdf: 420299 bytes, checksum: 8818a543bee71f541828a3b7c3035f0c (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2014-02-06T13:33:06Z (GMT) No. of bitstreams: 1 2013_dis_esscarlos.pdf: 420299 bytes, checksum: 8818a543bee71f541828a3b7c3035f0c (MD5) / Made available in DSpace on 2014-02-06T13:33:06Z (GMT). No. of bitstreams: 1 2013_dis_esscarlos.pdf: 420299 bytes, checksum: 8818a543bee71f541828a3b7c3035f0c (MD5) Previous issue date: 2013 / The aim of this work is to study the geometry of the compact Ricci soliton, which correspond to self-similar solution of the Ricci flow. These manifolds are natural generalization to Einstein metrics. Here we shall prove that every compact Ricci soliton has positive scalar curvature. Moreover, we show that its fundamental group is finite. Finally, we prove that every compact Ricci soliton must be gradient. / O objetivo deste trabalho é estudar a geometria dos sólitons de Ricci compactos, os quais correspondem as soluções auto-similires do fluxo de Ricci. Além disso, essas variedades podem ser vistas como uma generalização das métricas de Einstein. Neste trabalho, mostraremos que todo sóliton de Ricci compacto tem curvatura escalar positiva. Além disso, mostraremos que o seu grupo fundamental é sempre finito. Em particular, apresentaremos uma prova feita por Perelman [19] que todo sóliton de Ricci compacto é do tipo gradiente.

BEZERRA, Kelton Silva. Instabilidade e rigidez de hipersuperfícies e um teorema de unicidade em variedades semi-riemannianas. 2015. 58 f. Tese (Doutorado em Matemática) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2016-04-04T15:45:05Z No. of bitstreams: 1 2015_tese_ksbezerra.pdf: 883491 bytes, checksum: f9e199361f39af1569cb1321de363c92 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2016-04-04T15:48:16Z (GMT) No. of bitstreams: 1 2015_tese_ksbezerra.pdf: 883491 bytes, checksum: f9e199361f39af1569cb1321de363c92 (MD5) / Made available in DSpace on 2016-04-04T15:48:16Z (GMT). No. of bitstreams: 1 2015_tese_ksbezerra.pdf: 883491 bytes, checksum: f9e199361f39af1569cb1321de363c92 (MD5) Previous issue date: 2015 / Our aim in this work is threefold. First, we get an extension, to the spherical case, of a theorem due to J. Simons, which concerns unstability of minimal cones constructed over a certain class of minimal submanifolds of the Euclidean sphere. Second, we classify the quasi-Einstein structures of the Riemannian product Hn x R. Third, we get a rigidity theorem for complete hypersurfaces into the De Sitter space, under certain conditions on the mean and scalar curvatures. / Este trabalho aborda três problemas em Geometria Diferencial. Primeiro, obtemos uma extensão, para o caso esférico, de um teorema devido a J. Simons sobre instabilidade de cones mínimos construídos sobre uma certa classe de subvariedades mínimas da esfera Euclidiana. Depois, classificamos as estruturas quasi-Einstein existentes sobre o produto Riemanniano Hn X R. Por fim, obtemos um teorema de rigidez para hipersuperfícies tipo-espaço completas do espaço de De Sitter, sob certas condições sobre as curvaturas média e escalar, além de uma condição de integrabilidade.