Quantum Hall Effect in Graphene with Interface-Induced Spin-Orbit Coupling

We consider an effective model for graphene with interface-induced spin-orbit coupling and calculate the quantum Hall effect in the low-energy limit. We perform a systematic analysis of the contribution of the different terms of the effective Hamiltonian to the quantum Hall effect (QHE). By analysing the spin-splitting of the quantum Hall states as a function of magnetic field and gate-voltage, we obtain different scaling laws that can be used to characterise the spin-orbit coupling in experiments. Furthermore, we employ a real-space quantum transport approach to calculate the quantum Hall conductivity and investigate the robustness of the QHE to disorder introduced by hydrogen impurities. For that purpose, we combine first-principles calculations and a genetic algorithm strategy to obtain a graphene-only Hamiltonian that models the impurity

False Vacuum Transitions - Analytical Solutions and Decay Rate Values

In this work we show a class of oscillating configurations for the evolution of the domain walls in Euclidean space. The solutions are obtained analytically. Phase transitions are achieved from the associated fluctuation determinant, by the decay rates of the false vacuum.Comment: 6 pages, improved to match the final version to appear in EP

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other

Aplicação dos sistemas de informação geográfica nos planos prévios de intervenção. Caso de estudo: Auto-estradas A23 e A25

Comunicação oral da qual só está disponível o resumo.Aplicação dos sistemas de informação geográfica nos planos prévios de intervenção. Caso de estudo: Auto-estradas A23 e A2

Uso da técnica da solarização como alternativa para o preparo do solo ou substrato para produção de mudas isentas de patógenos de solo.

O preparo de um solo ou substrato para o plantio de mudas sadias é extremamente importante, pois devem estar isentos de fitonematóides, pragas, doenças fúngicas e/ou bacterianas ou de sementes de plantas daninhas. Da mesma forma, o preparo desse substrato deve seguir a correta metodologia, de forma modo a preservar a população de micro-organismos benéficos vivos que garantirão a qualidade dos materiais que devam ser decompostos, fornecendo substâncias as quais que poderão aumentar a resistência das plantas a doenças e pragas, bem como auxiliar no controle biológico dessas pragas. Uso da técnica da solarização como alternativa para o preparo do solo.A esterilização dos solos ou substratos pode ser feita por produtos químicos. Porém, em sua maioria, esses produtos fumigantes têm sido banidos do mercado não somente em conseqüência às restrições ambientais, mas, também, à exigência do consumidor, por produtos de qualidade e sem riscos de contaminação por resíduos químicos. A desinfestação dos solos ou substratos por meio de produtos químicos, principalmente com defensivos de amplo espectro de ação, pode afetar a população de micro-organismos benéficos à cultura, bem como apresentar problemas quanto ao custo, eficiência e trazer contaminações ao ambiente e ao aplicador. Ademais, seu uso pode promover a seleção de patógenos cada vez mais resistentes a esses produtos químicos aplicados, bem como o envelhecimento da terra.bitstream/item/25503/1/cartilharitzinger.pd

Comportamento de pilares de betão armado sujeitos a ações monotónicas e cíclicas

Para a avaliação da resposta de estruturas de edifícios de betão armado sujeitas à ação sísmica é importante definir um conjunto de parâmetros característicos do comportamento local dos elementos de betão armado, nomeadamente o deslocamento de cedência e o deslocamento último. Nas últimas décadas foram dados importantes passos na caracterização do comportamento cíclico de pilares de betão armado, mas persistem ainda algumas questões em aberto, nomeadamente no que se refere às diferenças entre a resposta a solicitações monotónicas e cíclicas, e para os carregamentos cíclicos entre solicitações uniaxiais e biaxiais. Por outro lado, é reconhecido que em elementos de betão armado carregados axialmente e sujeitos a esforços de flexão biaxiais se observa um agravamento da degradação de rigidez e a sua ductilidade é reduzida. O presente estudo enquadra-se numa vasta campanha de ensaios realizada sobre pilares retangulares de betão armado sujeitos à flexão cíclica, uniaxial e biaxial. Neste artigo é apresentada uma parte dos resultados e conclusões desse trabalho experimental, focando-se num conjunto de ensaios realizados em 6 pilares retangulares (3 ensaios monotónicos uniaxiais e 3 ensaios cíclicos com lei de deslocamentos impostos oblíqua com ângulos de 30o, 45o e 60o). É realizada uma análise dos resultados em termos de comportamento global dos pilares, da evolução do dano, das componentes de deformação e da dissipação de energia

Fabrication methodology of microlenses for stereoscopic imagers using standard CMOS process

This paper presents the fabrication technology of microlenses maintaining a high reproducibility of their characteristics with low cost. The objective of microlenses is to be integrated into imagers in CMOS technology to allow stereoscopic vision. The fabricated microlenses form cylindrical arrays to be placed above the optical filters and photodetectors, in order to potentiate stereoscopic vision and at the same time maximizing the color fidelity. An array of optical filters centered at the primary colors will enable a multicolor usage. The AZ4562 material was the photoresist selected for fabricating the microlenses. The cylindrical shape is obtained by reflowing the photoresist using the hot-plate technique.This work and Rui Pedro Rocha were fully supported by the Portuguese Foundation for Science and Technology under the project FCT/PTDC/EEA-ELC/109936/2009 and the financial grant SFRH/BD/33733/2009, respectively

Functionalized nanopore-embedded electrodes for rapid DNA sequencing

The determination of a patient's DNA sequence can, in principle, reveal an increased risk to fall ill with particular diseases [1,2] and help to design "personalized medicine" [3]. Moreover, statistical studies and comparison of genomes [4] of a large number of individuals are crucial for the analysis of mutations [5] and hereditary diseases, paving the way to preventive medicine [6]. DNA sequencing is, however, currently still a vastly time-consuming and very expensive task [4], consisting of pre-processing steps, the actual sequencing using the Sanger method, and post-processing in the form of data analysis [7]. Here we propose a new approach that relies on functionalized nanopore-embedded electrodes to achieve an unambiguous distinction of the four nucleic acid bases in the DNA sequencing process. This represents a significant improvement over previously studied designs [8,9] which cannot reliably distinguish all four bases of DNA. The transport properties of the setup investigated by us, employing state-of-the-art density functional theory together with the non-equilibrium Green's Function method, leads to current responses that differ by at least one order of magnitude for different bases and can thus provide a much more robust read-out of the base sequence. The implementation of our proposed setup could thus lead to a viable protocol for rapid DNA sequencing with significant consequences for the future of genome related research in particular and health care in general.Comment: 12 pages, 5 figure

The History of Cosmological Star Formation: Three Independent Approaches and a Critical Test Using the Extragalactic Background Light

Taking three independent approaches, we investigate the simultaneous constraints set on the cosmic star formation history from various observations, including stellar mass density and extragalactic background light (EBL). We compare results based on: 1) direct observations of past light-cone, 2) a model using local fossil evidence constrained by SDSS observations at z~0 (the `Fossil' model), and 3) theoretical ab initio models from three calculations of cosmic star formation history: (a) new (1024)^3 Total Variation Diminishing (TVD) cosmological hydrodynamic simulation, (b) analytic expression of Hernquist & Springel based on cosmological Smoothed Particle Hydrodynamics (SPH) simulations, and (c) semi-analytic model of Cole et al. We find good agreement among the three independent approaches up to the order of observational errors, except that all the models predict bolometric EBL of I_tot ~= 37-52 nW m^-2 sr^-1, which is at the lower edge of the the observational estimate by Hauser & Dwek. We emphasize that the Fossil model that consists of two components -- spheroids and disks --, when normalized to the local observations, provides a surprisingly simple but accurate description of the cosmic star formation history and other observable quantities. Our analysis suggests that the consensus global parameters at z=0 are: Omega_* = 0.0023+-0.0004, I_EBL = 43+-7 nW m^-2 sr^-1 rho_SFR=(1.06+-0.22)e-2 Msun yr^-1 Mpc^-3, j_bol = (3.1+-0.2)e8 Lsun Mpc^-3.Comment: 40 page, 10 figures. ApJ in press. Matched to the accepted versio