Criação de zonas de alta permeabilidade em fraturas: modelagem numérica do Lajedo de Soledade, Formação Jandaíra, Bacia Potiguar

The fracturing in carbonate rocks has been attracting increasingly attention due to new oil discoveries in carbonate reservoirs. This study investigates how the fractures (faults and joints) behave when subjected to different stress fields and how their behavior may be associated with the generation of karst and consequently to increased secondary porosity in these rocks. In this study I used satellite imagery and unmanned aerial vehicle UAV images and field data to identify and map faults and joints in a carbonate outcrop, which I consider a good analogue of carbonate reservoir. The outcrop comprises rocks of the Jandaíra Formation, Potiguar Basin. Field data were modeled using the TECTOS software, which uses finite element analysis for 2D fracture modeling. I identified three sets of fractures were identified: NS, EW and NW-SE. They correspond to faults that reactivate joint sets. The Ratio of Failure by Stress (RFS) represents stress concentration and how close the rock is to failure and reach the Mohr-Coulomb envelopment. The results indicate that the tectonic stresses are concentrated in preferred structural zones, which are ideal places for carbonate dissolution. Dissolution was observed along sedimentary bedding and fractures throughout the outcrop. However, I observed that the highest values of RFS occur in fracture intersections and terminations. These are site of karst concentration. I finally suggest that there is a relationship between stress concentration and location of karst dissolution in carbonate rocks.

Criação de zonas de alta permeabilidade em fraturas: modelagem numérica do Lajedo de Soledade, Formação Jandaíra, Bacia Potiguar

The fracturing in carbonate rocks has been attracting increasingly attention due to new oil discoveries in carbonate reservoirs. This study investigates how the fractures (faults and joints) behave when subjected to different stress fields and how their behavior may be associated with the generation of karst and consequently to increased secondary porosity in these rocks. In this study I used satellite imagery and unmanned aerial vehicle UAV images and field data to identify and map faults and joints in a carbonate outcrop, which I consider a good analogue of carbonate reservoir. The outcrop comprises rocks of the Jandaíra Formation, Potiguar Basin. Field data were modeled using the TECTOS software, which uses finite element analysis for 2D fracture modeling. I identified three sets of fractures were identified: NS, EW and NW-SE. They correspond to faults that reactivate joint sets. The Ratio of Failure by Stress (RFS) represents stress concentration and how close the rock is to failure and reach the Mohr-Coulomb envelopment. The results indicate that the tectonic stresses are concentrated in preferred structural zones, which are ideal places for carbonate dissolution. Dissolution was observed along sedimentary bedding and fractures throughout the outcrop. However, I observed that the highest values of RFS occur in fracture intersections and terminations. These are site of karst concentration. I finally suggest that there is a relationship between stress concentration and location of karst dissolution in carbonate rocks.

Os youtubers e a representação do certo, errado, adequado e inadequado no trabalho com a variação linguística em sala de aula

Some of the current discussions in the teaching of Portuguese Language (LP) pertain to how the school should deal with the phenomenon of language variation in the classroom. In 2010, for example, an explosion of talk took over the academic corridors: a book, entitled "Por uma vida melhor", the collection "Viver, Aprender", published by the MEC (Ministry of Education and Culture) to students EJA (Youth and Adults) brought notions regarding linguistic variation, even in their first chapter. In it is clear the notion that it is possible to make use of structures as "pretty boy", instead of "pretty boys", depending on the context in which such use is insert. Therefore, the discussions focused around the notions of variety cultivated, standard and popular measuring them to the possibilities of linguistic appropriateness. The community was surprised by the defense of the "power" to use, since it would be the school space to teach a standard "default", and not the possibility of legitimate use of grammatical patterns that clashed with those recommended in traditional grammars. The television media has been responsible for a major blaze that MEC had endorsed the use in schools of a book that legitimized such linguistic patterns. The quarrel was released on Youtube and in that space, netizens expressed themselves for or against the proposal of LD often directing the discussion to questions of a purely political. We observed that, on one side, loomed arguments related to Sociolinguistics (BAGNO , 2002, 2003, 2007, 2009; BAGNO, M.; STUBBS, M., Gagne, G., 2006; Bortoni - RICARDO, S.M., 2008; Tarallo, F., 1982; U. Weinreich, MARVIN I. HERZOG, Labov, W., 1968, Labov 1972, etc.); another, arguments concentrated on defending the school is the area of language teaching standard, and not fit to bring certain discussions within an LD. It was from these words, that this research was born. Interested in the particular way that the community media, which seemed to have no training in linguistics, understand the concepts of right, wrong, appropriate and inappropriate, so intimate in academic circles. Our thoughts take as reference the theoretical studies on the question of sociolinguistic variation and education, official documents that guide the "work" with the Portuguese language in the classroom, like the NCP (National Curriculum) and Curriculum Proposal for Education Youth and Adult (PCEJA). In our analysis, we found that LD" For a better life "makes no apology for teaching the "error", but it raises discussions about the possibility of "change", linked to factors and different order. We realize how significant it is to observe how speakers of a language are positioned in relation to language teaching which they are not speakers and scholars. Our study showed that certain issues regarding the teaching of the Portuguese language, as is the case of linguistic variation, points are far from being resolved, either for linguists and/or grammarians, whether for language speakers.

A probabilistic approach to assess hydrate formation and design preventive measures

Formation of hydrates is one of the major flow assurance problems faced by the oil and gas industry. Hydrates tend to form in natural gas pipelines with the presence of water and favorable temperature and pressure conditions, generally low temperatures and corresponding high pressures. Agglomeration of hydrates can result in blockage of flowlines and equipment, which can be time consuming to remove in subsea equipment and cause safety issues. Natural gas pipelines are more susceptible to burst and explosion owing to hydrate plugging. Therefore, a rigorous risk-assessment related to hydrate formation is required, which assists in preventing hydrate blockage and ensuring equipment integrity. This thesis presents a novel methodology to assess the probability of hydrate formation and presents a risk-based approach to determine the parameters of winterization schemes to avoid hydrate formation in natural gas pipelines operating in Arctic conditions. It also presents a lab-scale multiphase flow loop to study the effects of geometric and hydrodynamic parameters on hydrate formation and discusses the effects of geometric and hydrodynamic parameters on multiphase development length of a pipeline. Therefore, this study substantially contributes to the assessment of probability of hydrate formation and the decision making process of winterization strategies to prevent hydrate formation in Arctic conditions.

Interações magnéticas e elétricas em GaMnAs

In this paper, we will address together the magnetic and electrical properties of a particular semiconductor, the GaMnAs. The treatment will be done analytically in the first part of the work, according to the computational method for simulation of physical systems through the implementation of the expressions obtained in the first part. All study of magnetic contribution will be made using an interaction Kondo type, using an approach by Green functions. The electrical part, which consists of the Coulomb interactions between carriers and Mn ions, will be treated within the approach of multiple scattering. The implementation of the proposed method will calculate the Green functions converged as multiple scattering solution and use them as a starting point for the calculation of the effective magnetic interactions between Mn ions mediated charge carriers. The concentration parameters were varied for Mn ions and carriers as well. The combination of these two parameters can lead to insulating, metal samples with carriers in Fermi level to low or high mobility. As a result a correlation between the obtained carrier mobility and the strength of magnetic interaction. The greater mobility, the greater the intensity of the interaction.

NA PALMA DA MÃO: A difusão de celulares e smartphones e possibilidades para o ensino-aprendizagem no Brasil

A pesquisa considera a difusão de celulares e smartphones e as consequências deste fato em possibilidades para o ensino-aprendizagem. Aparatos de comunicação sempre estiveram ligados ao processo de ensino-aprendizagem. Entretanto, com o desenvolvimento mais intenso, nas últimas décadas, das Tecnologias de Informação e Comunicação (TIC), essa relação vem ganhando novos contornos. Surge a Internet, a evolução das máquinas computacionais e, recentemente, a explosão dos dispositivos móveis, fornecendo novos produtos e serviços convergentes. Nesse contexto, celulares e smartphones tem sido utilizados e recomendados para apoio e complemento do processo de ensino-aprendizagem: a chamada Aprendizagem Móvel. Esse ramo cresce devido à rápida expansão e barateamento dessas tecnologias na sociedade. Para verificar cientificamente essa relação foi realizada uma pesquisa de natureza qualitativa, do tipo exploratória, com dois projetos de Aprendizagem Móvel em andamento no Brasil, o Palma – Programa de Alfabetização na Língua Materna e o Escola Com Celular – ECC. Assim, a partir dos dados provenientes da pesquisa, identificamos alguns aspectos relacionados ao uso de celulares e smartphones para o processo de ensino-aprendizagem que contribuem na compreensão desse campo ainda em construção no Brasil. O uso desses dispositivos como suporte para processos de ensino-aprendizagem nos projetos estudados é delineado pelos aspectos tecnologia, dispositivo, público e contexto e novas tecnologias e Aprendizagem Móvel. O aspecto dispositivo desdobra-se em dimensões como disseminação, multifuncionalidade e acessibilidade que embasam os projetos, ainda favorece características apontadas como importantes para o processo de ensino-aprendizagem na atualidade, como mobilidade e portabilidade. Os projetos pesquisados demonstram potencial e metodologia adequada aos contextos para os quais foram criados e aplicados. Entretanto, a pesquisa indicou que ao mesmo tempo em que celulares e smartphones representam o ápice da convergência tecnológica e são considerados extremamente populares e acessíveis na sociedade contemporânea, com possibilidades concretas como nos projetos estudados, não conseguiram conquistar uma posição sólida como suporte para o ensino-aprendizagem. Tal indicação se deve, de acordo com o corpus, à carência de alguns fatores, como: fomento, as práticas se mostram extremamente dependentes da iniciativa pública ou privada para sua extensão e continuidade; sensibilização para o uso de tecnologias disponíveis, não consideram o aparelho dos próprios alunos e um planejamento que inclua, capacite e incentive o uso desses dispositivos. Além disso, a pesquisa também destaca a necessidade de uma visão crítica do uso e papel da tecnologia nesses processos.

Charge compensation and Ce3+ formation in trivalent doping of the CeO2(110) surface: The key role of dopant ionic radius

In this paper, we use density functional theory corrected for on-site Coulomb interactions (DFT + U) and hybrid DFT (HSE06 functional) to study the defects formed when the ceria (110) surface is doped with a series of trivalent dopants, namely, Al3+, Sc3+, Y3+, and In 3+. Using the hybrid DFT HSE06 exchange-correlation functional as a benchmark, we show that doping the (110) surface with a single trivalent ion leads to formation of a localized MCe / + O O • (M = the 3+ dopant), O- hole state, confirming the description found with DFT + U. We use DFT + U to investigate the energetics of dopant compensation through formation of the 2MCe ′ +VO ̈ defect, that is, compensation of two dopants with an oxygen vacancy. In conjunction with earlier work on La-doped CeO2, we find that the stability of the compensating anion vacancy depends on the dopant ionic radius. For Al3+, which has the smallest ionic radius, and Sc3+ and In3+, with intermediate ionic radii, formation of a compensating oxygen vacancy is stable. On the other hand, the Y3+ dopant, with an ionic radius close to that of Ce4+, shows a positive anion vacancy formation energy, as does La3+, which is larger than Ce4+ (J. Phys.: Condens. Matter 2010, 20, 135004). When considering the resulting electronic structure, in Al3+ doping, oxygen hole compensation is found. However, Sc 3+, In3+, and Y3+ show the formation of a reduced Ce3+ cation and an uncompensated oxygen hole, similar to La3+. These results suggest that the ionic radius of trivalent dopants strongly influences the final defect formed when doping ceria with 3+ cations. In light of these findings, experimental investigations of these systems will be welcome.

Hybrid density functional theory description of N- and C-doping of NiO

The large intrinsic bandgap of NiO hinders its potential application as a photocatalyst under visible-light irradiation. In this study, we have performed first-principles screened exchange hybrid density functional theory with the HSE06 functional calculations of N- and C-doped NiO to investigate the effect of doping on the electronic structure of NiO. C-doping at an oxygen site induces gap states due to the dopant, the positions of which suggest that the top of the valence band is made up primarily of C 2p-derived states with some Ni 3d contributions, and the lowest-energy empty state is in the middle of the gap. This leads to an effective bandgap of 1.7 eV, which is of potential interest for photocatalytic applications. N-doping induces comparatively little dopant-Ni 3d interactions, but results in similar positions of dopant-induced states, i.e., the top of the valence band is made up of dopant 2p states and the lowest unoccupied state is the empty gap state derived from the dopant, leading to bandgap narrowing. With the hybrid density functional theory (DFT) results available, we discuss issues with the DFT corrected for on-site Coulomb description of these systems.

Functional Evaluation of Causal Mutations Identified in Human Genetic Studies

Human genetics has been experiencing a wave of genetic discoveries thanks to the development of several technologies, such as genome-wide association studies (GWAS), whole-exome sequencing, and whole genome sequencing. Despite the massive genetic discoveries of new variants associated with human diseases, several key challenges emerge following the genetic discovery. GWAS is known to be good at identifying the locus associated with the patient phenotype. However, the actually causal variants responsible for the phenotype are often elusive. Another challenge in human genetics is that even the causal mutations are already known, the underlying biological effect might remain largely ambiguous. Functional evaluation plays a key role to solve these key challenges in human genetics both to identify causal variants responsible for the phenotype, and to further develop the biological insights from the disease-causing mutations.

We adopted various methods to characterize the effects of variants identified in human genetic studies, including patient genetic and phenotypic data, RNA chemistry, molecular biology, virology, and multi-electrode array and primary neuronal culture systems. Chapter 1 is a broader introduction for the motivation and challenges for functional evaluation in human genetic studies, and the background of several genetics discoveries, such as hepatitis C treatment response, in which we performed functional characterization.

Chapter 2 focuses on the characterization of causal variants following the GWAS study for hepatitis C treatment response. We characterized a non-coding SNP (rs4803217) of IL28B (IFNL3) in high linkage disequilibrium (LD) with the discovery SNP identified in the GWAS. In this chapter, we used inter-disciplinary approaches to characterize rs4803217 on RNA structure, disease association, and protein translation.

Chapter 3 describes another avenue of functional characterization following GWAS focusing on the novel transcripts and proteins identified near the IL28B (IFNL3) locus. It has been recently speculated that this novel protein, which was named IFNL4, may affect the HCV treatment response and clearance. In this chapter, we used molecular biology, virology, and patient genetic and phenotypic data to further characterize and understand the biology of IFNL4. The efforts in chapter 2 and 3 provided new insights to the candidate causal variant(s) responsible for the GWAS for HCV treatment response, however, more evidence is still required to make claims for the exact causal roles of these variants for the GWAS association.

Chapter 4 aims to characterize a mutation already known to cause a disease (seizure) in a mouse model. We demonstrate the potential use of multi-electrode array (MEA) system for the functional characterization and drug testing on mutations found in neurological diseases, such as seizure. Functional characterization in neurological diseases is relatively challenging and available systematic tools are relatively limited. This chapter shows an exploratory research and example to establish a system for the broader use for functional characterization and translational opportunities for mutations found in neurological diseases.

Overall, this dissertation spans a range of challenges of functional evaluations in human genetics. It is expected that the functional characterization to understand human mutations will become more central in human genetics, because there are still many biological questions remaining to be answered after the explosion of human genetic discoveries. The recent advance in several technologies, including genome editing and pluripotent stem cells, is also expected to make new tools available for functional studies in human diseases.

New Advancements of Scalable Statistical Methods for Learning Latent Structures in Big Data

Constant technology advances have caused data explosion in recent years. Accord- ingly modern statistical and machine learning methods must be adapted to deal with complex and heterogeneous data types. This phenomenon is particularly true for an- alyzing biological data. For example DNA sequence data can be viewed as categorical variables with each nucleotide taking four different categories. The gene expression data, depending on the quantitative technology, could be continuous numbers or counts. With the advancement of high-throughput technology, the abundance of such data becomes unprecedentedly rich. Therefore efficient statistical approaches are crucial in this big data era.

Previous statistical methods for big data often aim to find low dimensional struc- tures in the observed data. For example in a factor analysis model a latent Gaussian distributed multivariate vector is assumed. With this assumption a factor model produces a low rank estimation of the covariance of the observed variables. Another example is the latent Dirichlet allocation model for documents. The mixture pro- portions of topics, represented by a Dirichlet distributed variable, is assumed. This dissertation proposes several novel extensions to the previous statistical methods that are developed to address challenges in big data. Those novel methods are applied in multiple real world applications including construction of condition specific gene co-expression networks, estimating shared topics among newsgroups, analysis of pro- moter sequences, analysis of political-economics risk data and estimating population structure from genotype data.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

To ISDS or not to ISDS: A question of legitimacy in dispute resolution

Investor State Dispute Settlement (ISDS) has gained prominence in recent years with an explosion in the number of investor claims against states. While the evolution of this type of arbitration was expected, its focus and context was not. Investors are currently bringing actions against developed states in unanticipated policy areas. Greece, facing actions from investors challenging its debt haircut and Spain, battling investor challenges to its revamped energy policy are examples of the use of arbitration as a political as well as a dispute resolution tool. It is for this reason why the proposal for the inclusion of ISDS in the Transatlantic Trade and Investment Partnership (TTIP) has caused so much heated discussion. This paper examines the recent evolution and likely trajectory of investor state dispute settlement, reflecting on consequences for perceptions of arbitration and its links with politics and economics.

New Frontiers in Energy-Efficient Computing

Energy-efficient computing remains a critical challenge across the wide range of future data-processing engines — from ultra-low-power embedded systems to servers, mainframes, and supercomputers. In addition, the advent of cloud and mobile computing as well as the explosion of IoT technologies have created new research challenges in the already complex, multidimensional space of modern and future computer systems. These new research challenges led to the establishment of the IEEE Rebooting Computing Initiative, which specifically addresses novel low-power solutions and technologies as one of the main areas of concern.With this in mind, we thought it timely to survey the state of the art of energy-efficient computing.

Relaciones de poder y guerra

Este artículo introduce los conceptos de relaciones de poder analizados por Michel Foucault, haciendo hincapié en el vínculo del ejercicio del poder en las relaciones internacionales. Por ello, se analizan el marco de relaciones que el ejercicio de dicho poder genera, así como las tipologías de relaciones entre Estados, que igualmente genera el poder. El artículo presenta los paradigmas de las relaciones internacionales y su evolución en el tiempo, estableciendo puentes con las consideraciones de Foucault con respecto al poder, la guerra, la represión o las razas. En este sentido, el concepto de guerra de razas se antoja fundamental para identificar dicha noción como la versión más extrema del paradigma realista. Dicha guerra de razas no constituye una categoría que integre necesariamente el concepto biológico, sino que se refiere al proceso de imposición de la identidad del grupo dominante, la cual puede contener aspectos étnicos, socioculturales y políticos. No obstante, ni el realismo ni su visión extrema son los únicos paradigmas existentes, ya que la evolución de los paradigmas alternativos ha conllevado la génesis del reflectivismo como alternativa al realismo.

Travel, back and forth, to the myth. Cinema´s contribution to the formation of the tourist iconography of Mallorca

Mallorca, the largest of the Balearic Islands, is a well-known summer holidays destination; an ideal place to relax and enjoy the sun and the sea. That tourist gaze reflected on postcards results from advertising campaigns, where cinema played an important role with documentaries and fiction films. The origins of that iconography started in the decades of the 1920’s and 1930’s, reflecting the so-called myth of the “island of calm”. On the other hand, the films of the 1950’s and 1960’s created new stereotypes related to the mass tourism boom. Busy beaches and the white bodies of tourists replaced white sandy beaches, mountains and landscapes shown up in the movies of the early decades of the 20th century. Besides, hotels and nightclubs also replaced monuments, rural landscapes and folk exhibitions. These tourist images mirror the social and spatial transformations of Mallorca, under standardization processes like other seaside mass tourist destinations. The identity was rebuilt on the foundations of "modernity". Although "balearization" has not ceased, nowadays filmmaking about Mallorca is advertising again a stereotype close to that one of the 1920s and 1930s, glorifying the myth of the "island of calm". This singular identity makes the island more profitable for capital that searches socio-spatial differentiation in post-fordist times.