On the Sensitivity of 3-D Thermal Convection Codes to Numerical Discretization: A Model Intercomparison

Fully 3-D numerical simulations of thermal convection in a spherical shell have become a standard for studying the dynamics of pattern formation and its stability under perturbations to various parameter values. The question arises as to how does the discretization of the governing equations affect the outcome and thus any physical interpretation. This work demonstrates the impact of numerical discretization on the observed patterns, the value at which symmetry is broken, and how stability and stationary behavior is dependent upon it. Motivated by numerical simulations of convection in the Earth\u27s mantle, we consider isoviscous Rayleigh-Bénard convection at infinite Prandtl number, where the aspect ratio between the inner and outer shell is 0.55. We show that the subtleties involved in development mantle convection models are considerably more delicate than has been previously appreciated, due to the rich dynamical behavior of the system. Two codes with different numerical discretization schemes: an established, community-developed, and benchmarked finite element code (CitcomS) and a novel spectral method that combines Chebyshev polynomials with radial basis functions (RBF) are compared. A full numerical study is investigated for the following three cases. The first case is based on the cubic (or octahedral) initial condition (spherical harmonics of degree ℓ =4). How variations in the behavior of the cubic pattern to perturbations in the initial condition and Rayleigh number between the two numerical discrezations is studied. The second case investigates the stability of the dodecahedral (or icosahedral) initial condition (spherical harmonics of degree ℓ = 6). Although both methods converge first to the same pattern, this structure is ultimately unstable and systematically degenerates to cubic or tetrahedral symmetries, depending on the code used. Lastly, a new steady state pattern is presented as a combination of order 3 and 4 spherical harmonics leading to a five cell or a hexahedral pattern and stable up to 70 times the critical Rayleigh number. This pattern can provide the basis for a new accuracy benchmark for 3-D spherical mantle convection codes

Clasificación del contenido dedocumentos contables usando aprendizaje demáquina : el caso delos hechos relevantes

A análise de conteúdo de textos narrativos tem sido estudada, nos últimos anos, com mais frequência. Em diversos trabalhos, verifica-se a pesquisa com relação a sua legibilidade, compreensibilidade e o nível de otimismo, neutralidade e pessimismo. Porém, a análise de classificação quanto a tendências otimistas, pessimistas e neutras tem sido feita de forma muito trabalhosa, pois demanda uma análise humana dos textos, justificando a criação de uma análise de textos de forma mais rápida e objetiva, além da tentativa de eliminação da subjetividade. Diante disso, o objetivo deste trabalho é propor uma classificação automática de fatos relevantes contábeis, fazendo-se uma análise do conteúdo de textos narrativos, com a utilização de ferramentas computacionais de leitura e classificação de textos. A ideia é procurar contribuir com um exemplo de aplicação de aprendizado de máquina à Ciência Contábil. Esta análise utilizou-se de fatos relevantes já analisados anteriormente no trabalho de Pereira e Silva (2008). Os fatos já classifica¬dos foram utilizados como conjunto de treinamento para o programa, para que assim ele pudesse classificar outros dados desconhecidos, não classificados. ___________________________________________________________________________________ ABSTRACTThe analysis of narrative texts content has been more often studied in recent years. In several works research is noticed in relation to readability, comprehensiveness and level of optimism, pessimism or neutrality. However, the classification analysis regarding their optimistic, pessimistic or neutral trends has been proven burdensome, because it demands human analysis of texts, justifying the creation of more rapid and objective text analysis procedures, besides the attempt to reduce subjectivity. Therefore, the objective of this work is to propose an automatic classification of the accounting relevant facts , by making an analysis of narrative texts content using computational tools for text reading and classification. The idea is to try to contribute with an example of machine learning application to Accounting Science. The analysis in this work used relevant facts previously analyzed in the study by Pereira and Silva (2008). The already classified facts were used as training set for the program, so that it could classify other unknown and not-classified data. ___________________________________________________________________________________ RESUMENEl análisis de contenido de textos narrativos ha sido estudiado, en los últimos años, con más frecuencia. En diversos trabajos, se verifica la pesquisa con relación a su legibili¬dad, comprensibilidad y el nivel de optimismo, neutralidad y pesimismo. Pero, el análisis de clasificación en lo referente a tendencias optimistas, pesimistas y neutras ha sido efectuado de forma muy laboriosa, pues demanda un análisis humano de los textos, justificando la creación de un análisis de textos de forma más rápida y objetiva, además de la tentativa de eliminación de la subjetividad. Delante de eso, el objetivo de este trabajo es proponer una clasificación automática de hechos relevantes contables, haciéndose un análisis del contenido de textos narrativos, con la utilización de herramientas computacionales de lec¬tura y clasificación de textos. La idea es procurar contribuir con un ejemplo de aplicación de aprendizaje de máquina a la Ciencia Contable. Este análisis utilizó hechos relevantes ya analizados anteriormente en el trabajo de Pereira e Silva (2008). Los hechos ya clasifica¬dos fueron utilizados como conjunto de entrenamiento para el programa, para que así éste pudiese clasificar otros datos desconocidos, no clasificados

Pensamentos sobre centros urbanos resilientes

AA justificativa para o artigo dá-se pelo fato de os seres humanos estarem vulneráveis aos desequilíbrios ambientais, independentemente da classe social, da etnia ou da localização geográfica. Contudo, podem enfrentar os diferentes desafios, a partir da existência de uma cultura relacionada à prevenção e proteção civil em relação aos desastres, por meio da sistematização das experiências vividas e do planejamento técnico. Este artigo tem como objetivo refletir sobre as ações de órgãos oficiais e/ou grupos civis organizados para enfrentar danos materiais e humanos nos centros urbanos decorrentes de eventos adversos causados pelo desequilíbrio ambiental, tendo como referencial o planejamento sustentável sistemático. A metodologia compreende uma pesquisa bibliográfica a partir do ano de 1996, data da realização da Segunda Conferência Europeia das Cidades Sustentáveis, realizada em Bruxelas, Bélgica, com o intuito de prover subsídios para o processo de conscientização de educandos e educadores sobre o valor da prevenção para o amparo das vidas humanas. Conclui-se que os centros urbanos não são vítimas do desequilíbrio ambiental, são corresponsáveis, sendo produtos e produtores da sociedade

Genericity Through Stratification

A fundamental issue in the $\lambda$-calculus is to find appropriate notions for meaningfulness. It is well-known that in the call-by-name $\lambda$-calculus (CbN) the meaningful terms can be identified with the solvable ones, and that this notion is not appropriate in the call-by-value $\lambda$-calculus (CbV). This paper validates the challenging claim that yet another notion, previously introduced in the literature as potential valuability, appropriately represents meaningfulness in CbV. Akin to CbN, this claim is corroborated by proving two essential properties. The first one is genericity, stating that meaningless subterms have no bearing on evaluating normalizing terms. To prove this (which was an open problem), we use a novel approach based on stratified reduction, indifferently applicable to CbN and CbV, and in a quantitative way. The second property concerns consistency of the smallest congruence relation resulting from equating all meaningless terms. While the consistency result is not new, we provide the first direct operational proof of it. We also show that such a congruence has a unique consistent and maximal extension, which coincides with a well-known notion of observational equivalence. Our results thus supply the formal concepts and tools that validate the informal notion of meaningfulness underlying CbN and CbV

The Benefits of Diligence

This paper studies the strength of embedding Call-by-Name ({\tt dCBN}) and Call-by-Value ({\tt dCBV}) into a unifying framework called the Bang Calculus ({\tt dBANG}). These embeddings enable establishing (static and dynamic) properties of {\tt dCBN} and {\tt dCBV} through their respective counterparts in {\tt dBANG}. While some specific static properties have been already successfully studied in the literature, the dynamic ones are more challenging and have been left unexplored. We accomplish that by using a standard embedding for the (easy) {\tt dCBN} case, while a novel one must be introduced for the (difficult) {\tt dCBV} case. Moreover, a key point of our approach is the identification of {\tt dBANG} diligent reduction sequences, which eases the preservation of dynamic properties from {\tt dBANG} to {\tt dCBN}/{\tt dCBV}. We illustrate our methodology through two concrete applications: confluence/factorization for both {\tt dCBN} and {\tt dCBV} are respectively derived from confluence/factorization for {\tt dBANG}

Mamãe e - mamãe?: apresentando as famílias homomaternais

A presente dissertação refere-se ao estudo das famílias constituídas por mulheres que se identificam como lésbicas e possuem filhos e/ou filhas. Através de três artigos, o objetivo de conhecer como essas mulheres estão vivenciando a maternidade nas relações de conjugalidade lésbica pode ser discutido e melhor compreendido. O primeiro artigo introduz o tema relacionado às famílias e à sua diversidade, com ênfase nas famílias homomaternais; o segundo artigo relaciona a linguagem com os estudos de gênero e as questões legais da paternidade e maternidade associadas à orientação sexual e o terceiro artigo apresenta as narrativas das mães lésbicas sobre suas famílias homomaternais. Através de perspectivas feministas de gênero, é possível fazer entrelaçamentos e traçar diálogos entre as temáticas estudadas e as teorias que referem-se à elas. Levando em consideração que os estudos feministas de gênero utilizados neste estudo buscam uma relação igualitária entre homens e mulheres, onde o feminino não seja mais oprimido e subjugado pelo masculino e a heterossexualidade não seja tida como norma, as reflexões que seguem perpassam esses assuntos e convidam outras ciências a dialogarem também. Entendemos que é preciso haver o conhecimento e compreensão da diversidade das famílias existentes, neste caso, das famílias homomaternais, para que possam ter a sua cidadania respeitada em todos os seus aspectos, contribuindo para a existência de uma sociedade mais justa e solidária.The present dissertation refers to the study of the families constituted by women that identify themselves as lesbians and have children. Through three articles the objective of knowing how these women are experiencing motherhood in lesbian conjugal relations can be discussed and better understood. The first article introduces the theme related to the families and their diversity, with emphasis in the homomaternal families; the second article relates the language to the studies of gender and the legal issues of paternity and maternity associated to sexual orientation and the third article presents narratives of lesbian mothers about their homomaternal families. Through the feminist perspectives of gender, it is possible to interlace and trace dialogues between the studied themes and the theories which refer to them. Taking into consideration that the feminist studies of gender used in this study seek an equal relation between men and women, where the female is not oppressed or subjugated by the male and heterosexuality is not seen as a norm, the reflections that follow pervade these issues and invite other sciences to also dialogue. We understand that it is necessary to have the knowledge and comprehension of the diversity of the existing families, in this case of the homomaternal families, so that they can have their citizenship respected in all aspects, contributing with the existence of a fairer society with more solidarity

O naturismo tal como ele é praticado na colina do sol – Taquara/RS

O presente artigo versa sobre como é praticado o naturismo na Comunidade Naturista Colina do Sol, localizada no município de Taquara/RS, partindo do Estudo de Caso, com seis entrevistados a partir de entrevistas semiestruturadas e observações participantes junto aos sujeitos colineiros domiciliados, no qual a apreciação de dados ocorreu por meio de análise qualitativa textual, traduzindo as possibilidades pelas quais essa prática de nudez coletiva se constitui em Educação Ambiental à luz da teoria da Complexidade, proposta pelo filósofo francês Edgar Morin. O objetivo desta reflexão é demonstrar como se manifesta o conhecimento, a linguagem, a compreensão, através da convivência prosaica e poética que definem as relações de educabilidade ambiental. A educação ambiental é compreendida neste artigo como educação participatica e reflexiva, inserida no projeto de edificação de um outro mundo possível

Gênero, família e escola: a homomaternidade na sala de aula

This thesis proposes a reflection on the relationship between homomaternal families and schools nowadays. Objective: To investigate the relationships between homomaternal families and the school context, identifying and understanding how the dialogue between them and also between some public policy occurs. Method: two qualitative and exploratory studies were performed which resulted in four articles. The first study was a documental review of the National Curriculum Parameters (PCN), the Brazil Without Homophobia Program and the National Human Rights Plans I, II and III. Narrative interviews were used to conduct the second study, searching for lesbian mothers had eleven children and adolescents of school age, plus four pedagogical supervisors. In both studies, we used discourse analysis from the perspective of feminist studies of gender and Socio-Historical Social Psychology to perform the analysis. Results: It was possible to identify the importance of creating public policies to visualize the LGBT public education, but they are not enough measures to contribute effectively in transforming the school reality. Mothers feel accepted and understood in the chosen schools. Despite presenting very wide understandings of what is considered family, pedagogical supervisors still carry on their discourses crossings of heteronormativity and patriarchy still in effect. Conclusion: The school is changing, but issues such as sexual orientation are still treated in a non-visualized way and in an individualized manner. It becomes increasingly urgent that schools open space for marginalized subjects to have a voice and be heard.A presente tese propõe uma reflexão sobre a relação entre as famílias homomaternais e as escolas na contemporaneidade. Objetivo: investigar as relações existentes entre as famílias homomaternais e o contexto escolar, identificando e compreendendo como ocorre a interlocução entre eles e também entre algumas políticas públicas.Método: Foram realizados dois estudos qualitativos e exploratórios que resultaram em quatro artigos. O primeiro estudo foi uma análise documental dos Parâmetros Curriculares Nacionais (PCN), do Programa Brasil sem Homofobia e dos Planos Nacionais de Direitos Humanos I, II e III. Para a realização do segundo estudo, foram utilizadas entrevistas narrativas para pesquisar onze mães lésbicas que possuíam crianças e adolescentes em idade escolar, além de quatro orientadoras educacionais. Em ambos os estudos, utilizouse análise de discurso sob a ótica dos estudos feministas de gênero e da Psicologia Social Sócio-Histórica para realizar as análises. Resultados: Foi possível identificar a importância de criação de políticas públicas para visibilizar o público LGBT na educação, porém não são ações suficientes para contribuir de modo efetivo na transformação da realidade escolar. As mães sentem-se acolhidas e compreendidas nas escolas escolhidas. Apesar de apresentarem entendimentos bastante amplos do que é considerado família, as educadoras educacionais ainda carregam em seus discursos atravessamentos da heteronormatividade e do patriarcado ainda vigentes. Considerações Finais: A instituição escolar está se transformando, porém temáticas como orientação sexual ainda são tratadas de modo invisibilizado e individualizado. Torna-se cada vez mais urgente que a instituição escolar abra espaço para que as temáticas marginalizadas tenham voz e sejam ouvidas

Influence of cratonic lithosphere on the formation and evolution of flat slabs : insights from 3-D time-dependent modeling.

Several mechanisms have been suggested for the formation of flat slabs including buoyant features on the subducting plate, trenchward motion and thermal or cratonic structure of the overriding plate. Analysis of episodes of flat subduction indicate that not all flat slabs can be attributed to only one of these mechanisms and it is likely that multiple mechanisms work together to create the necessary conditions for flat slab subduction. In this study we examine the role of localized regions of cratonic lithosphere in the overriding plate in the formation and evolution of flat slabs. We explicitly build on previous models, by using time-dependent simulations with three-dimensional variation in overriding plate structure. We find that there are two modes of flat subduction: permanent underplating occurs when the slab is more buoyant (shorter or younger), while transient flattening occurs when there is more negative buoyancy (longer or older slabs). Our models show how regions of the slab adjacent to the subcratonic flat portion continue to pull the slab into the mantle leading to highly contorted slab shapes with apparent slab gaps beneath the craton. These results show how the interpretation of seismic images of subduction zones can be complicated by the occurrence of either permanent or transient flattening of the slab, and how the signature of a recent flat slab episode may persist as the slab resumes normal subduction. Our models suggest that permanent underplating of slabs may preferentially occur below thick and cold lithosphere providing a built-in mechanism for regeneration of cratons

A ética e a estética dos corpos nus: um estudo de caso do naturismo como proposta de educação ambiental.

A presente dissertação de mestrado versa sobre a ética e a estética dos corpos do naturismo da Colina do Sol e as possibilidades pelas quais essa prática de nudez coletiva se constitui em proposta de Educação Ambiental à luz da Teoria da Complexidade, teoria proposta pelo filósofo francês Edgar Morin, que percebe o ser humano como um ser resultante de uma complexidade de conexões de sistemas interativos: biológicos, físicos, químicos, culturais, ecológicos, sociais, naturais, que abonam a relação do indivíduo com a sociedade e a natureza. A reflexão se desenvolve a partir de uma pesquisa de campo no Centro Naturista Colina do Sol, localizado no interior do município de Taquara/RS, contando com 45 hectares para a prática do naturismo, o qual abriga 12 famílias domiciliadas e possui um total de 102 cabanas para aluguéis e/ou moradias temporárias, albergue e uma área de camping. Conta com uma extensa área de lazer, como um lago com uma praia artificial e piscina de pedras. O objetivo desta pesquisa é refletir como são concebidas as relações entre a ética e a estética dos corpos nus e em que medida essas relações se definem em formas de educabilidades ambientais, além de compreender a forma como a Educação Ambiental está presente nas relações ético/estéticas nesse modo de vida, e também reconhecendo a visão de mundo dos sujeitos colineiros com relação a essa prática. A metodologia é entendida como uma construção permanente no decorrer da caminhada na busca por refletir o problema de pesquisa. Partindo do estudo de caso, foram realizadas seis entrevistas semi-estruturadas e observações participantes, junto aos sujeitos colineiros domiciliados e a apreciação dos dados ocorreu por meio da análise qualitativa textual. A educação ambiental é compreendida neste trabalho como educação participativa e reflexiva, inserida no projeto de edificação de um mundo possível. O diálogo constante e o respeito ao saber de todos os colineiros nos traz uma nova forma de refletir sobre o sentido da existência para que possamos (re)significar as práticas cotidianas, exercendo por meio da experiência ética/estética a oportunidade de romper tabus configurando-se em educação ambiental, cognição, sensibilidade e corpo.This dissertation focuses on the ethics and aesthetics of naturism bodies of Colina do Sol and the possibilities by which this practice constitutes collective nudity proposed Environmental Education to the Theory of Complexity theory proposed by French philosopher Edgar Morin which perceives the human being as a result of a complexity of connections interactive systems : biological, physical , chemical , cultural , ecological , social , natural , that speak the individual's relationship with society and nature . The reflection develops from a field research center in Naturist Colina do Sol , located within the municipality of Taquara / RS , with 45 acres to practice naturism , which houses 12 families domiciled and has a total of 102 cabins for rent and / or temporary housing , hostel and a camping area . Has an extensive leisure area , like a lake with an artificial beach and rock pool . The objective of this research is to reflect how they are conceived relations between ethics and aesthetics of naked bodies and the extent to which these relationships are defined in ways educabilidades environmental , and understand how environmental education is present in relations ethical / aesthetic that way of life , and also recognizing the worldview of the subjects colineiros regarding this practice. The methodology is understood as a permanent construction during the walk in seeking reflect the research problem . Based on the case study , there were six semi-structured interviews and participant observations , together with the subjects colineiros domiciled and assessment of data occurred through qualitative textual analysis . Environmental education is understood in this work as reflective and participatory education , inserted in the project of building a world possible. Constant dialogue and respect to know all colineiros brings us a new way of thinking about the meaning of life so that we can ( re) define the daily practices , acting through experience ethical / aesthetic the opportunity to break taboos setting up environmental education , cognition , sensitivity and body