Direct Visual Indication of pH Windows: 'Off-On-Off' Fluorescent PET (Photoinduced Electron Transfer) Sensors/Switches

1–3, which contain a fluorophore and two proton receptors with opposite PET (photoinduced electron transfer) characteristics, only display strong fluorescence within a pH window whose position and width are tunable.

Covering over the cracks in conservation assessments at EU interfaces: A cross-jurisdictional ecoregion scale approach using the Eurasian otter (Lutra lutra)

Throughout the European Union, the EC Habitats Directive requires that member states undertake national surveillance of designated species. Despite biological connections between-populations across-borders, national assessments need not be co-ordinated in any way. We conducted a trans-boundary assessment of the status of Eurasian otters (Lutra lutra) aimed at providing consistency across a single biogeographical unit, i.e. the island of Ireland, comprising two states, i.e. the Republic of Ireland and the United Kingdom (Northern Ireland). Our aim was to ensure consistency with previous assessments conducted separately in each state, and permit each Government to fulfil their separate statutory reporting commitments. The species range increased by 23% from 1996–2006 and 2007–11. The population estimate of 9400 [95%CI 8700–12,200] breeding females during 2010/11 was not significantly different from 8300 [95%CI 7600–9800] breeding females established as a baseline during 1981–82. Modelling of species-habitat associations suggested that available habitat was not limiting and no putative pressures recorded at sites surveyed negatively affected species occurrence. Thus, under the statutory parameters for assessing a species’ conservation status, i.e. range, population, habitat and future prospects, the otter was judged to be in ‘Favourable’ status throughout Ireland and in both discrete political jurisdictions. Thus, we provide a trans-boundary test case for EU member states that share habitats and species across ecoregions, ensuring conservation assessment data are standardised, synchronised, spatially consistent and, therefore, biologically relevant without compromising legal and administrative autonomy within separate jurisdictions.

Paving the way to nanoionics: atomic origin of barriers for ionic transport through interfaces

The blocking of ion transport at interfaces strongly limits the performance of electrochemical nanodevices for energy applications. The barrier is believed to arise from space-charge regions generated by mobile ions by analogy to semiconductor junctions. Here we show that something different is at play by studying ion transport in a bicrystal of yttria (9% mol) stabilized zirconia (YSZ), an emblematic oxide ion conductor. Aberration-corrected scanning transmission electron microscopy (STEM) provides structure and composition at atomic resolution, with the sensitivity to directly reveal the oxygen ion profile. We find that Y segregates to the grain boundary at Zr sites, together with a depletion of oxygen that is confined to a small length scale of around 0.5 nm. Contrary to the main thesis of the space-charge model, there exists no evidence of a long-range O vacancy depletion layer. Combining ion transport measurements across a single grain boundary by nanoscale electrochemical strain microscopy (ESM), broadband dielectric spectroscopy measurements, and density functional calculations, we show that grain-boundary-induced electronic states act as acceptors, resulting in a negatively charged core. Ultimately, it is this negative charge which gives rise to the barrier for ion transport at the grain boundary

Fast Rule Mining over Multi-dimensional Windows

Association rule mining is an indispensable tool for discovering
insights from large databases and data warehouses.
The data in a warehouse being multi-dimensional, it is often
useful to mine rules over subsets of data defined by selections
over the dimensions. Such interactive rule mining
over multi-dimensional query windows is difficult since rule
mining is computationally expensive. Current methods using
pre-computation of frequent itemsets require counting
of some itemsets by revisiting the transaction database at
query time, which is very expensive. We develop a method
(RMW) that identifies the minimal set of itemsets to compute
and store for each cell, so that rule mining over any
query window may be performed without going back to the
transaction database. We give formal proofs that the set of
itemsets chosen by RMW is sufficient to answer any query
and also prove that it is the optimal set to be computed
for 1 dimensional queries. We demonstrate through an extensive
empirical evaluation that RMW achieves extremely
fast query response time compared to existing methods, with
only moderate overhead in pre-computation and storage

Behavioral modeling optimization and enhancement for high-speed analog mixed-signal I/O interfaces

A integridade do sinal em sistemas digitais interligados de alta velocidade, e avaliada através da simulação de modelos físicos (de nível de transístor) é custosa de ponto vista computacional (por exemplo, em tempo de execução de CPU e armazenamento de memória), e exige a disponibilização de detalhes físicos da estrutura interna do dispositivo. Esse cenário aumenta o interesse pela alternativa de modelação comportamental que descreve as características de operação do equipamento a partir da observação dos sinais eléctrico de entrada/saída (E/S). Os interfaces de E/S em chips de memória, que mais contribuem em carga computacional, desempenham funções complexas e incluem, por isso, um elevado número de pinos. Particularmente, os buffers de saída são obrigados a distorcer os sinais devido à sua dinâmica e não linearidade. Portanto, constituem o ponto crítico nos de circuitos integrados (CI) para a garantia da transmissão confiável em comunicações digitais de alta velocidade. Neste trabalho de doutoramento, os efeitos dinâmicos não-lineares anteriormente negligenciados do buffer de saída são estudados e modulados de forma eficiente para reduzir a complexidade da modelação do tipo caixa-negra paramétrica, melhorando assim o modelo standard IBIS. Isto é conseguido seguindo a abordagem semi-física que combina as características de formulação do modelo caixa-negra, a análise dos sinais eléctricos observados na E/S e propriedades na estrutura física do buffer em condições de operação práticas. Esta abordagem leva a um processo de construção do modelo comportamental fisicamente inspirado que supera os problemas das abordagens anteriores, optimizando os recursos utilizados em diferentes etapas de geração do modelo (ou seja, caracterização, formulação, extracção e implementação) para simular o comportamento dinâmico não-linear do buffer. Em consequência, contributo mais significativo desta tese é o desenvolvimento de um novo modelo comportamental analógico de duas portas adequado à simulação em overclocking que reveste de um particular interesse nas mais recentes usos de interfaces de E/S para memória de elevadas taxas de transmissão. A eficácia e a precisão dos modelos comportamentais desenvolvidos e implementados são qualitativa e quantitativamente avaliados comparando os resultados numéricos de extracção das suas funções e de simulação transitória com o correspondente modelo de referência do estado-da-arte, IBIS.

Interfaces humano-computador com reconhecimento de gestos e representação holográfica

Dissertação de mestrado, Engenharia Elétrica e Eletrónica, Instituto Superior de Engenharia, Universidade do Algarve, 2015

Representações gráficas da dinâmica do corpo : Desenho, 12º ano

Relatório da Prática de Ensino Supervisionada, Ensino das Artes Visuais no 3º Ciclo do Ensino Básico e no Ensino Secundário, Universidade de Lisboa, 2013

Cloud computing sobre a plataforma Windows Azure

A utilização massiva da internet e dos serviços que oferece por parte do utilizador final potencia a evolução dos mesmos, motivando as empresas a apostarem no desenvolvimento deste tipo de soluções. Requisitos como o poder de computação, flexibilidade e escalabilidade tornam-se cada vez mais indissociáveis do desenvolvimento aplicacional, o que leva ao surgimento de paradigmas como o de Cloud Computing. É neste âmbito que surge o presente trabalho. Com o objetivo de estudar o paradigma de Cloud Computing inicia-se um estudo sobre esta temática, onde é detalhado o seu conceito, a sua evolução histórica e comparados os diferentes tipos de implementações que suporta. O estudo detalha posteriormente a plataforma Azure, sendo analisada a sua topologia e arquitetura, detalhando-se os seus componentes e a forma como esta mitiga alguns dos problemas mencionados. Com o conhecimento teórico é desenvolvido um protótipo prático sobre esta plataforma, em que se exploram algumas das particularidades da topologia e se interage com as principais redes sociais. O estudo culmina com uma análise sobre os benefícios e desvantagens do Azure e através de um levantamento das necessidades da empresa, determinam-se as oportunidades que a utilização da plataforma poderá proporcionar.

Paradigmas de interfaces dos novos media: desafios para o design

Trabalho de Projecto de Mestrado em Ciências da Comunicação Variante Novos Media e Práticas Web