Doctor of Philosophy

dissertationIn this dissertation, we advance the theory and practice of verifying visualization algorithms. We present techniques to assess visualization correctness through testing of important mathematical properties. Where applicable, these techniques allow us to distinguish whether anomalies in visualization features can be attributed to the underlying physical process or to artifacts from the implementation under verification. Such scientific scrutiny is at the heart of verifiable visualization - subjecting visualization algorithms to the same verification process that is used in other components of the scientific pipeline. The contributions of this dissertation are manifold. We derive the mathematical framework for the expected behavior of several visualization algorithms, and compare them to experimentally observed results in the selected codes. In the Computational Science & Engineering community CS&E, this technique is know as the Method of Manufactured Solution (MMS). We apply MMS to the verification of geometrical and topological properties of isosurface extraction algorithms, and direct volume rendering. We derive the convergence of geometrical properties of isosurface extraction techniques, such as function value and normals. For the verification of topological properties, we use stratified Morse theory and digital topology to design algorithms that verify topological invariants. In the case of volume rendering algorithms, we provide the expected discretization errors for three different error sources. The results of applying the MMS is another important contribution of this dissertation. We report unexpected behavior for almost all implementations tested. In some cases, we were able to find and fix bugs that prevented the correctness of the visualization algorithm. In particular, we address an almost 2 0 -year-old bug with the core disambiguation procedure of Marching Cubes 33, one of the first algorithms intended to preserve the topology of the trilinear interpolant. Finally, an important by-product of this work is a range of responses practitioners can expect to encounter with the visualization technique under verification

Topology verification for isosurface extraction

Journal ArticleThe broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topological invariants. Our extended framework reveals unexpected behavior and coding mistakes in popular publicly available isosurface codes

Verifying volume rendering using discretization error analysis

pre-printWe propose an approach for verification of volume rendering correctness based on an analysis of the volume rendering integral, the basis of most DVR algorithms. With respect to the most common discretization of this continuous model (Riemann summation), we make assumptions about the impact of parameter changes on the rendered results and derive convergence curves describing the expected behavior. Specifically, we progressively refine the number of samples along the ray, the grid size, and the pixel size, and evaluate how the errors observed during refinement compare against the expected approximation errors. We derive the theoretical foundations of our verification approach, explain how to realize it in practice, and discuss its limitations. We also report the errors identified by our approach when applied to two publicly available volume rendering packages

Banking on mobile : financial inclusion through FinTech : the Hidroelétrica de Cahora Bassa : IPO Case Study

Africa ranks as the lowest region in terms of financial inclusion (Beck & Cull, 2015). There is a wave of African countries implementing mobile money schemes (via USSD technology) as a way of tackling financial exclusion, given that financial inclusion is strongly linked to poverty (Demirguc-Kunt, et al., 2014; Robert, Tilman, Nina, 2014; Anarfo & Abor, 2020). This study looks at one such innovative example in Mozambique, where the use of similar technology allowed the unbanked to participate in a first-of-its-kind equity market transaction in the form of the HCB IPO. This thesis uses the case study format to discuss the extent to which using a USSD platform helped reach and include the unbanked and whether such as initiative was effective in stimulating participation in the local stock exchange. The case study allows students to explore and discuss the intersection of fintech and financial inclusion through the lens of the latest trends in developing countries. Overall, the case study suggests that the use of mobile money schemes had a positive impact on the reach and inclusion of the transaction. And, while it did help increase the number of investors in the Mozambique Stock Exchange, it was not as effective at increasing trading volume.A África é a região mais baixa em termos de inclusão financeira (Beck & Cull, 2015). Há uma vaga de países africanos a implementar esquemas de dinheiro móvel (através da tecnologia USSD) como forma de combater a exclusão financeira, dado que a inclusão financeira está fortemente ligada à pobreza (Demirguc-Kunt, et al., 2014; Robert, Tilman, Nina, 2014; Anarfo & Abor, 2020). Este estudo analisa um desses exemplos inovadores em Moçambique, onde a utilização de tecnologia semelhante permitiu aos não-bancários participar numa transação de mercado de ações de primeira ordem, sob a forma de IPO da HCB. Esta tese utiliza o formato de estudo de caso para discutir até que ponto a utilização de uma plataforma USSD ajudou a alcançar e incluir os não bancários e se tal iniciativa foi eficaz para estimular a participação na bolsa de valores local. O estudo de caso permite aos estudantes explorar e discutir a intersecção da fintech e da inclusão financeira através da lente das últimas tendências nos países em desenvolvimento. Resumindo, o estudo de caso sugere que a utilização de esquemas de dinheiro móvel teve um impacto positivo no alcance e inclusão da operação. E, embora tenha ajudado a aumentar o número de investidores na Bolsa de Valores de Moçambique, não foi tão eficaz no aumento do volume de transações

A MEMÓRIA MÍTICA COMO MEDIAÇÃO SIMBÓLICA EM MATA TEU PAI, DE GRACE PASSÔ

Questo articolo intende individuare, nel testo Mata Teu Pai, di Grace Passô (2017), come la memoria mitica possa mediare simbolicamente la narrazione nel testo drammaturgico, basato sull'opera Medea, di Eurípides (2013), messa in scena nel sec. 431 a.C. Per fare il confronto tra i due testi si è discussa la rappresentazione del coro, dell'acqua e della corte degli uomini in entrambe le opere. Si intende dunque individuare nel testo di Passô (2017) come questi simboli analizzati evochino la memoria mitica, considerata, in questo articolo, come mediatrice dell'intrigo.O presente artigo intenciona localizar em Mata Teu Pai, de Grace Passô (2017), como a memória mítica pode mediar simbolicamente a narrativa no texto dramatúrgico, tomando como base de análise a obra Medeia, de Eurípides, que foi encenada no séc. 431 a.C. Para realizar a comparação entre os dois textos, foi discorrido a respeito da representação do coro, da água e do tribunal dos homens em ambas as obras. Assim, intenta-se localizar, no texto de Passô (2017), como esses símbolos analisados podem evocar a memória mítica, a considerado, neste artigo, como a mediadora da intriga

Significados sobre la adolescencia y la salud entre los participantes de un grupo educativo de adolescentes

As ações voltadas à saúde integral dos adolescentes por vezes assumem um caráter moral e regulador sem levar em conta as visões dos próprios adolescentes sobre seu desenvolvimento. O objetivo foi compreender as significações sobre adolescência e saúde, na perspectiva de 10 adolescentes de ambos os sexos, entre 13 e 19 anos de um programa de atenção integral à saúde do DF. Foram realizados seis grupos temáticos, com periodicidade quinzenal e duração de duas horas por encontro. A metodologia grupal foi baseada no método sociodramático que facilitou a participação, reflexão e compreensão dos temas abordados pelos participantes. A Epistemologia Qualitativa foi adotada para a análise das informações e possibilitou a construção de indicadores de saúde na adolescência, a partir de cinco zonas de sentido: Adolescência é mais do que sexo, drogas erock and roll; Porque a família tem que adolescer com a gente; O projeto de vida começa agora, agora?; Em busca de um ideal de saúde; e Porque sexualidade, antes de tudo, se expressa. Conclui-se que é necessário superar a visão estereotipada da adolescência pelo paradigma do risco e ampliar a reflexão sobre os modos de vida do adolescente considerando os contextos para o desenvolvimento de sua subjetividade.Sometimes, the actions addressing health care of adolescents assume a moral and regulatory character without taking into account the views of adolescents on their own development. The purpose was to understand the meanings of adolescence and health from the perspective of 10 teens of both sexes aged between 13 and 19 years from a comprehensive health attention program located in Distrito Federal. Six thematic group sessions were conducted bimonthly, with two-hour meetings. The group methodology was based on the sociodramatic method, which facilitated participation, reflection, and understanding of the topics discussed by the participants. Qualitative epistemology was adopted for the information analysis, and this enabled the construction of indicators about adolescence and health, emerging from five indicators of meaning costructed by researchers: (1) adolescence is more than sex, drugs, and rock and roll; (2) the family must “grow up” with us; (3) must the life plan begin now?; (4) seeking ideal health; and (5) first of all, sexuality is expressed. It follows that we must overcome the stereotypical views of adolescence present in the paradigm of risk discourse and extend our thinking about adolescents’ way of life by considering the contexts for the development of their subjectivity.Las acciones dirigidas a la salud integral de los adolescentes a veces asumen un carácter moral y regulador, sin tener en cuenta las opiniones de los adolescentes sobre su propio desarrollo. El objetivo fue comprender los significados de la adolescencia y de la salud desde la perspectiva de 10 adolescentes de ambos sexos, entre 13 y 19 años de un programa de atención integral de salud del DF. Se realizaron seis grupos temáticos, cada 15 días y con duración de dos horas por sesión. La metodología de grupo se basó en el método sociodramático que facilitó la participación, la reflexión y la comprensión de los temas tratados por los participantes. Se adoptó la Epistemología Cualitativa para el análisis de las informaciones, que a su vez permitió la construcción de los indicadores de salud en la adolescencia, a partir de cinco zonas de sentido: La adolescencia es más que sexo, drogas y rock and roll; Porque la familia tiene que “adolecer” con nosotros; El proyecto de vida empieza ahora, ¿ahora?; En busca de un ideal de salud; y Porqué la sexualidad, antes que nada, se expresa. Se concluye que hay que superar la visión estereotipada de la adolescencia basada en el paradigma del riesgo y extender la reflexión sobre las formas de vida de los adolescentes, considerando los contextos para el desarrollo de su subjetividad

Ações em Grupo Voltadas à Promoção da Saúde de Adolescentes

AbstractThe study analyzed Brazilian articles on research in basic health units, which used educative activities as methodology, in order to ascertain the main characteristics of those activities being conducted in primary health care services. The following units were accessed: Lilacs, Scielo and Adolec. The articles were categorized according to these criteria: (1) articles published in Brazilian journals about (2) group interventions with adolescents for health promotion (3) in basic health units, (4) between 2000-2010. The texts were analyzed according to the following items: professionals involved, methodological features, topics covered in the groups, frequency, number of participants, age, sex, the conception of adolescence present in the studies as well as results presented by the authors. The results showed a larger number of actions based on epidemiological and biomedical research. The services described in these publications for focused on group interventions the prevention of risk behavior in sexual and reproductive health rather than considering the diversity of factors related to the adolescents’ overall health concerns.ResumoO estudo analisou artigos brasileiros sobre pesquisas nas unidades básicas de saúde, que utilizaram como metodologia atividades educativas em grupo com adolescentes, para conhecer as características principais dessas atividades nos serviços de atenção primária à saúde. Foram acessadas as bases Lilacs, Scielo e Adolec. Os artigos foram categorizados segundo os critérios: (1) artigos publicados em periódicos brasileiros sobre (2) intervenções grupais com adolescentes para a promoção de saúde (3) nas unidades básicas de saúde, (4) entre 2000-2010. Os textos foram analisados de acordo com os itens: profissionais envolvidos, características metodológicas, temas abordados nos grupos, periodicidade, número de participantes, idade, sexo, concepção de adolescência presente nos estudos e resultados apresentados pelos autores. Os resultados mostraram um maior número de ações baseadas em pesquisas epidemiológicas e no enfoque biomédico da adolescência. As ações descritas nessas publicações focavam intervenções grupais para a prevenção de comportamentos de risco em saúde sexual e reprodutiva, em detrimento da diversidade de fatores relacionados à saúde integral dos adolescentes

E quando a personalização não dá certo? : fatores que influenciam negativamente a percepção do consumidor em relação à personalização online

A personalização online vem ocupando um papel importante no cenário digital atual. Muitos benefícios são evidenciados com o uso da personalização como um relacionamento mais pessoal com o consumidor e o aumento nas métricas de engajamento e conversão. Porém, há poucas pesquisas sobre o lado negativo da personalização na visão do consumidor. Estudos prévios apontam três diferentes fatores negativos relacionados a personalização: mal funcionamento, invasão de privacidade e repetição excessiva. O presente trabalho buscou analisar qualitativamente, e de forma conjunta, os fatores que influenciam negativamente a percepção do consumidor em relação à personalização no ambiente virtual, como também a compreensão de outros fatores ainda não evidenciados na literatura. A respeito da personalização online são considerando os canais de e-mail, anúncio, website e aplicativo mobile (JONES, 2015). A pesquisa qualitativa foi dividida em três etapas: questionário-filtro, diário de campo e entrevista em profundidade. A partir dessa pesquisa, foi possível observar que os três fatores: mal funcionamento, repetição excessiva e invasão de privacidade estão muitas vezes relacionados e podem ser encontrados em um mesmo episódio, como relatado pelos informantes. Um novo aspecto foi abordado na presente pesquisa, relacionado à emoções negativas, notou-se que boa parte dos entrevistados afirma já ter se sentido incomodado, irritado ou frustrado com conteúdo personalizado. A emoção negativa em todos os casos mostra-se como uma consequência gerada a partir da percepção negativa de um dos outros fatores. Dos relatos analisados, o aspecto de maior incidência foi o mal funcionamento e o aspecto de maior gravidade elencado pelos entrevistados foi a repetição excessiva.Online personalization has been playing an important role in today's digital scenario. Many benefits are shown using personalization such as a more personal relationship with the consumer and the increasing of engagement and conversion metrics. Previous studies point out three different negative factors related to personalization: malfunctioning, privacy concern and excessive repetition. The present work seeks to qualitatively analyze the factors that negatively influences the consumer perception regarding personalization in the virtual environment, considering the following channels: email, advertisement, website and mobile applications. This qualitative research was divided into three phases: survey, field diary and in-depth interview. An important finding of this research is that many of the factors can be related and coexist in the same case. Based on this study, a new aspect related to negative perception and online personalization was found: negative emotion. Great part of the interviewees affirm to have already felt angry or frustrated with a personalized content. Negative emotion in all cases shows up because of negative perception on other factors (malfunctioning, repetition or privacy concern). According to the analyzed cases, the aspect of higher incidence was malfunctioning followed by excessive repetition and privacy concern. The most critical factor listed by the interviewees was excessive repetition of personalized content

Trabalho infantil no DF : uma realidade obscura?! : análise do Programa de Erradicação do Trabalho Infantil Brasília

Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Serviço Social, 2013.O estudo que ora se apresenta tem como objetivo analisar em que medida as ações do PETI viabilizam a erradicação do trabalho infantil no DF, a partir da implementação do SUAS, tendo em vista o acesso aos direitos sociais que devem ser assegurados às crianças e aos adolescentes. Para tanto, definiu-se como metodologia a pesquisa documental e como fontes de dados relatórios específicos sobre a temática (CODEPLAN, OIT, IPEA), relatórios de gestão da SEDEST, relatórios de avaliação dos PPA‟s, e a própria legislação referente ao tema. Apesar das grandes dificuldades enfrentadas para ter acesso aos dados necessários à execução da pesquisa, em geral, pode-se avaliar que houve uma redução do trabalho infantil, no Brasil, e, também, no DF. No entanto, em relação aos atendimentos realizados pelo PETI foi possível verificar que apesar do empenho dos órgãos de execução do Programa em erradicar a questão, a abrangência do atendimento ainda não alcança a totalidade da demanda existente. A atual conjuntura da sociedade capitalista, permeada por relações de exploração, de precariedade, em decorrência do processo de reestruturação capitalista e de contra-reforma do Estado e orientada pela hegemonia neoliberal influencia diretamente nas condições de vida da classe trabalhadora. Ainda há um grande número de crianças e adolescentes em situação de trabalho nessa região, sobretudo nas chamadas piores formas de trabalho infantil, e com isso torna-se necessário intensificar as ações das diversas políticas sociais e de diversos atores para assegurar os direitos sociais a que esses sujeitos devem ter acesso