Open sets of Axiom A flows with Exponentially Mixing Attractors (with Erratum)

For any dimension $d\geq 3$ we construct $C^{1}$-open subsets of the space of $C^{3}$ vector fields such that the flow associated to each vector field is Axiom A and exhibits a non-trivial attractor which mixes exponentially with respect to the unique SRB measure.Comment: 15 pages, no figures; content as published in journal; includes text of the Erratum as an appendi

A theorem regarding families of topologically non-trivial fermionic systems

We introduce a Hamiltonian for fermions on a lattice and prove a theorem regarding its topological properties. We identify the topological criterion as a $\mathbb{Z}_2-$ topological invariant $p(\textbf{k})$ (the Pfaffian polynomial). The topological invariant is not only the first Chern number, but also the sign of the Pfaffian polynomial coming from a notion of duality. Such Hamiltonian can describe non-trivial Chern insulators, single band superconductors or multiorbital superconductors. The topological features of these families are completely determined as a consequence of our theorem. Some specific model examples are explicitly worked out, with the computation of different possible topological invariants.Comment: 6 page

Profiling tools for Java

Dissertação de mestrado integrado em Informatics EngineeringAtualmente, Java é uma das linguagens de programação mais populares. Esta popularidade é parcialmente devida à sua portabilidade que advém do facto do código Java ser compilado para bytecode que poderá ser executado por uma máquina virtual Java (JVM) compatível em qualquer sistema. A JVM pode depois interpretar diretamente ou compilar para código máquina a aplicação Java. No entanto, esta execução sobre uma máquina virtual cria alguns obstáculos à obtenção do perfil de execução de aplicações. Perfis de execução são valiosos para quem procura compreender o comportamento de uma aplicação pela recolha de métricas sobre a sua execução. A obtenção de perfis corretos é importante, mas a sua obtenção e análise pode ser desafiante, particularmente para aplicações paralelas. Esta dissertação sugere um fluxo de trabalho de otimização a aplicar na procura de aumentos na escalabilidade de aplicações Java paralelas. Este fluxo sugerido foi concebido para facilitar a descoberta dos problemas de desempenho que afetam uma dada aplicação paralela e sugerir ações a tomar para os investigar a fundo. O fluxo de trabalho utiliza a noção de possible speedups para quantificar o impacto de problemas de desempenho diferentes. A ideia de possible speedups passa por estimar o speedup que uma aplicação poderia atingir se um problema de desempenho específico fosse completamente removido. Esta estimativa é calculada utilizando as métricas recolhidas durante uma análise ao perfil de uma aplicação paralela e de uma versão sequencial da mesma aplicação. O conjunto de problemas de desempenho considerados incluem o desequilíbrio da carga de trabalho, sobre carga de paralelismo devido ao aumento no número de instruções executadas, sobrecarga de sincronização, gargalos de desempenho no acesso à memória e a fração de trabalho sequencial. Estes problemas foram considerados as causas mais comuns de limitações à escalabilidade de aplicações paralelas. Para investigar mais a fundo o efeito destes problemas numa aplicação paralela, são sugeridos alguns modos de visualização do perfil de execução de uma aplicação dependendo do problema que mais limita a sua escalabilidade. As visualizações sugeridas consistem maioritariamente de diferentes tipos de flame graphs do perfil de uma aplicação. Duas ferramentas foram desenvolvidas para ajudar a aplicar este fluxo de trabalho na otimização de aplicações Java paralelas. Uma destas ferramentas utiliza o async-profiler para recolher perfis de execução de uma dada aplicação Java. A outra ferramenta utiliza os perfis recolhidos pela primeira ferramenta para estimar possible speedups e produzir todas as visualizações mencionadas no fluxo de trabalho sugerido. Por fim, o fluxo de trabalho foi validado com alguns casos de estudo. O caso de estudo principal consistiu na otimização iterativa de um algoritmo K-means, partindo de uma implementação sequencial e resultando no aumento gradual da escalabilidade da aplicação. Casos de estudo adicionais também foram apresentados para ilustrar possibilidades não abordadas no caso de estudo principal.Java is currently one of the most popular programming languages. This popularity is, in part, due to the portability it offers which comes from the fact that Java source code is compiled into bytecode which can be executed by a compatible Java Virtual Machine (JVM) in a different system. The JVM can then directly interpret or compile into machine code the Java application. However, this execution on top of a virtual machine creates some obstacles to developers looking to profile their applications. Profilers are precious tools for developers who seek to understand an application’s behaviour by collecting metrics about its execution. Obtaining accurate profiles of an application is important, but they can also be challenging to obtain and to analyse, particularly for parallel applications. This dissertation suggests an optimisation workflow to employ in the pursuit of reducing scalability bottlenecks of parallel Java applications. The workflow is designed to simplify the discovery of the performance problems affecting a given parallel application and suggest possible actions to investigate them further. The suggested workflow relies on possible speedups to quantify the impact of different performance problems. The idea of possible speedups is to estimate the speedup an application could achieve if a specific performance problem were to completely disappear. This estimation is performed using metrics collected during the profile of the parallel application and its sequential version. The set of performance problems considered include workload imbalance, parallelism overhead due to an increase in the number of instructions, synchronisation overhead, memory bottlenecks and the fraction of se quential workloads. These were deemed to be the most common causes for scalability issues in parallel appli cations. To further investigate the effect of these problems on a parallel application, some visualisations of the application’s behaviour are suggested depending on which problem limits scalability the most. The suggested visualisations mostly consist of different flame graphs of the application’s profile. Two tools were also developed to help in the application of this optimisation workflow for parallel Java appli cations. One of these tools relies on async-profiler to collect profiles of a given Java application. The other tool uses the profiles collected by the first tool to estimate possible speedups and also produce all visualisations mentioned in the suggested workflow. Finally, the workflow was validated on multiple case studies. The main case study was the iterative optimisation of a K-means algorithm, starting from a sequential implementation and resulting in the gradual increase of the application’s scalability. Additional case studies were also presented in order to highlight additional paths not covered in the main case study

A vida e a confiança só se perdem uma vez : um caso clínico de bullying na adolescência

Poster apresentado na 3ª Reunião de Formação Pediátrica: AdolescênciaO fenómeno da violência na escola, e em particular o bullying, é um problema de saúde pública com graves consequências individuais e sociais. Na adolescência é especialmente crítico pela importância que as interações sociais desempenham no desenvolvimento da autonomia, identidade e adaptação social. O caso clínico que se apresenta pretende sensibilizar os profissionais de saúde para a problemática do bullying e realçar a importância da sua atuação na prevenção, diagnóstico e tratamento das possíveis repercussões, bem como na orientação da família. A complexidade deste fenómeno requer um trabalho intersectorial continuado, com implementação de ações ou programas anti bullying nas escolas e onde a equipa de saúde escolar pode ter um papel de grande relevo

3D reflection seismic imaging of volcanogenic massive sulphides at Neves-Corvo, Portugal

ABSTRACT: Three-dimensional reflection seismic data from the Neves-Corvo area, southern Portugal, were reprocessed with the main objective of improving the seismic signature of the Lombador and Semblana volcanogenic massive sulphide deposits. The sensitivity for choosing adequate parameters for targeted imaging, even during the pre-processing stage, such as common-depth point binning size, was studied in detail before the main processing work began helping to optimize bin size parameters; preliminary stacking results from this analysis presented severe acquisition footprint, and seismic targets were not clearly identifiable. Processing results using pre-stack dip move-out and post-stack migration methods show strong moderate to steeply dipping reflections. Several of the observed reflections can be correlated with known lithological contacts, some of which are interpreted to originate from the Semblana and Lombador deposits. Despite the mixed signal-to-noise ratio, the seismic cube reveals both shallow and deep three-dimensional structures, allowing to account for the deposits' lateral extension beyond the capabilities of two-dimensional seismic imaging alone. Given the data processing approach taken it was possible to distinguish strong diffraction patterns, interpreted as originating from faults and edges of the Lombador deposit, illustrating the usefulness of diffraction patterns for better interpretation of geological features in hard-rock environments.info:eu-repo/semantics/publishedVersio

On Hoelder-continuity of Oseledets subspaces

29 pages; corrected a few typos and added several references and comments following referee suggestions (this is the final version content to appear in JLMS)International audienceFor Hoelder cocycles over a Lipschitz base transformation, possibly non-invertible, we show that the subbundles given by the Oseledets Theorem are Hoelder-continuous on compact sets of measure arbitrarily close to 1. The results extend to vector bundle automorphisms, as well as to the Kontsevich-Zorich cocycle over the Teichmueller flow on the moduli space of abelian differentials. Following a recent result of Chaika-Eskin, our results also extend to any given Teichmueller disk