Exploiting dynamic timing margins in microprocessors for frequency-over-scaling with instruction-based clock adjustment

Static timing analysis provides the basis for setting the clock period of a microprocessor core, based on its worst-case critical path. However, depending on the design, this critical path is not always excited and therefore dynamic timing margins exist that can theoretically be exploited for the benefit of better speed or lower power consumption (through voltage scaling). This paper introduces predictive instruction-based dynamic clock adjustment as a technique to trim dynamic timing margins in pipelined microprocessors. To this end, we exploit the different timing requirements for individual instructions during the dynamically varying program execution flow without the need for complex circuit-level measures to detect and correct timing violations. We provide a design flow to extract the dynamic timing information for the design using post-layout dynamic timing analysis and we integrate the results into a custom cycle-accurate simulator. This simulator allows annotation of individual instructions with their impact on timing (in each pipeline stage) and rapidly derives the overall code execution time for complex benchmarks. The design methodology is illustrated at the microarchitecture level, demonstrating the performance and power gains possible on a 6-stage OpenRISC in-order general purpose processor core in a 28nm CMOS technology. We show that employing instruction-dependent dynamic clock adjustment leads on average to an increase in operating speed by 38% or to a reduction in power consumption by 24%, compared to traditional synchronous clocking, which at all times has to respect the worst-case timing identified through static timing analysis.

Signal Reliability Improvement Using Selection Combining Based Macro-Diversity for Off-Body Communications At 868 MHz

This paper investigates the potential improvement in signal reliability for outdoor short-range off-body communications channels at 868 MHz using the macro-diversity offered by multiple co-located base stations. In this study, ten identical hypothetical base stations were positioned equidistantly around the perimeter of a rectangle of length 6.67 m and width 3.3 m. A body worn node was placed on the central chest region of an adult male. Five scenarios, each considering different user trajectories, were then analyzed to test the efficacy of using macro-diversity when the desired link is subject to shadowing caused by the human body. A number of selection combining based macro-diversity configurations consisting of four and then ten base stations were considered. It was found that using a macro-diversity system consisting of four base stations (or equivalently signal branches), a maximum diversity gain of 22.5 dB could be obtained while implementing a 10-base station setup this figure could be improved to 25.2 dB.

Reliable survival analysis based on the Dirichlet Process

We present a robust Dirichlet process for estimating survival functions from samples with right-censored data. It adopts a prior near-ignorance approach to avoid almost any assumption about the distribution of the population lifetimes, as well as the need of eliciting an infinite dimensional parameter (in case of lack of prior information), as it happens with the usual Dirichlet process prior. We show how such model can be used to derive robust inferences from right-censored lifetime data. Robustness is due to the identification of the decisions that are prior-dependent, and can be interpreted as an analysis of sensitivity with respect to the hypothetical inclusion of fictitious new samples in the data. In particular, we derive a nonparametric estimator of the survival probability and a hypothesis test about the probability that the lifetime of an individual from one population is shorter than the lifetime of an individual from another. We evaluate these ideas on simulated data and on the Australian AIDS survival dataset. The methods are publicly available through an easy-to-use R package.

High temperature thermal stability investigations of ammonium sulphide passivated InGaAs and interface formation with Al2O3 studied by synchrotron radiation based photoemission

High resolution synchrotron radiation core level photoemission measurements have been used to undertake a comparative study ofthe high temperature thermal stability ofthe ammonium sulphide passivated InGaAs surface and the same surface following the atomic layer deposition (ALD) of an ultrathin (∼1 nm) Al2O3 layer. The solution based ex situ sulphur passivation was found to be effective at removing a significant amount of the native oxides and protecting the surface against re-oxidation upon air exposure. The residual interfacial oxides which form between sulphur passivated InGaAs and the ultrathin Al2O3 layer can be substantially removed at high temperature (up to 700 ◦C) without impacting on the InGaAs stoichiometry while significant loss of indium was recorded at this temperature on the uncovered sulphur passivated InGaAs surface.

High-temperature stability study of 1 nm Al2O3 deposited on InAs surfaces investigated by synchrotron radiation based photoemission spectroscopy

High-resolution soft x-ray photoemission spectroscopy (SXPS) has been used to study the high-temperature thermal stability of ultra-thin atomic layer deposited (ALD) Al2O3 layers (~1 nm) on sulfur passivated and native oxide covered InAs surfaces. While the arsenic oxides were removed from both interfaces following a 600 °C anneal, a residual indium oxide signal remained. No significant differences were observed between the sulfur passivated and native oxide surfaces other than the thickness of the interfacial oxide layer while the Al2O3 stoichiometry remained unaffected by the anneals. The energy band offsets were determined for the Al2O3 on the sulfur passivated InAs surface using both valence band edge and shallow core-level photoemission measurements.

Investigation into DCT Feature Selection for Visual Lip-Based Biometric Authentication

This paper investigated using lip movements as a behavioural biometric for person authentication. The system was trained, evaluated and tested using the XM2VTS dataset, following the Lausanne Protocol configuration II. Features were selected from the DCT coefficients of the greyscale lip image. This paper investigated the number of DCT coefficients selected, the selection process, and static and dynamic feature combinations. Using a Gaussian Mixture Model - Universal Background Model framework an Equal Error Rate of 2.20% was achieved during evaluation and on an unseen test set a False Acceptance Rate of 1.7% and False Rejection Rate of 3.0% was achieved. This compares favourably with face authentication results on the same dataset whilst not being susceptible to spoofing attacks.

Predicting impact damage, residual strength and crashworthiness of composite structures

The development of the latest generation of wide-body carbon-fibre composite passenger aircraft has heralded a new era in the utilisation of these materials. The premise of superior specific strength and stiffness, corrosion and fatigue resistance, is tempered by high development costs, slow production rates and lengthy and expensive certification programmes. Substantial effort is currently being directed towards the development of new modelling and simulation tools, at all levels of the development cycle, to mitigate these shortcomings. One of the primary challenges is to reduce the extent of physical testing, in the certification process, by adopting a ‘certification by simulation’ approach. In essence, this aspirational objective requires the ability to reliably predict the evolution and progression of damage in composites. The aerospace industry has been at the forefront of developing advanced composites modelling tools. As the automotive industry transitions towards the increased use of composites in mass-produced vehicles, similar challenges in the modelling of composites will need to be addressed, particularly in the reliable prediction of crashworthiness. While thermoset composites have dominated the aerospace industry, thermoplastics composites are likely to emerge as the preferred solution for meeting the high-volume production demands of passenger road vehicles. This keynote presentation will outline recent progress and current challenges in the development of finite-element-based predictive modelling tools for capturing impact damage, residual strength and energy absorption capacity of thermoset and thermoplastic composites for crashworthiness assessments.

Do Gifts Increase Consent to Home-based HIV Testing? A Difference-in-differences Study in Rural KwaZulu-Natal, South Africa

Background Despite the importance of HIV testing for controlling the HIV epidemic, testing rates remain low. Efforts to scale-up testing coverage and frequency in hard-to-reach and at-risk populations commonly focus on home-based HIV testing. This study evaluates the effect of a gift (a food voucher for families, worth US$ 5) on consent rates for home-based HIV testing.
Methods We use data on 18,478 men and women who participated in the 2009 and 2010 population-based HIV surveillance carried out by the Wellcome Trust Africa Centre for Health and Population Studies in rural KwaZulu-Natal, South Africa. Our quasi-experimental difference-in-differences approach controls for unobserved confounding in estimating the causal effect of the intervention on HIV testing consent rates.
Results Allocation of the gift to a family in 2010 increased the probability of family members consenting to test in 2010 by 25 percentage points (95% CI 21-30; p<0.001). The intervention effect persisted, slightly attenuated, in the year following the intervention (2011), further increasing intervention value for money.
Conclusions In HIV hyperendemic settings a gift can be highly effective at increasing consent rates for home-based HIV testing. Given the importance of HIV testing for treatment uptake and individual health, as well as for HIV treatment-and-prevention strategies and for monitoring the population impact of the HIV response, gifts should be considered as a supportive intervention for HIV testing initiatives where consent rates have been low.

Do spectral gamma ray data really reflect humid-arid palaeoclimates? A test from the Palaeogene Interbasaltic weathered horizons at the Giant’s Causeway, N.Ireland

Since 1999, the rapid, inexpensive and non-destructive use of Th/K and Th/U ratios from spectral gamma ray measurements have been used as a proxy for changes in palaeo-hinterland weathering. This model is tested here by analysis of in situ palaeoweathering horizons where clay mineral contents are well-known. A residual palaeoweathered horizon of Palaeogene laterite (developed on basalt) has been logged at 14 locations across N. Ireland using spectral gamma ray detectors. The results are compared to published elemental and mineralogical data. While the model of K and U loss during the early stages of weathering to smectite and kaolinite is supported, the formation (during progressively more advanced weathering) of gibbsite and iron oxides has reversed the predicted pattern and caused U and Th retention in the weathering profile. The severity (duration, humidity) of weathering and palaeoweathering may be estimated using Th/K ratios as a proxy. The use of Th/U ratios is more problematic should detrital gibbsite (or similar clays) or iron oxides be detected. Mineralogical analysis is needed in order to evaluate the hosts for K, U and Th: nonetheless, the spectral gamma ray machine offers a real-time, inexpensive and effective tool for the preliminary or conjunctive assessment of degrees of weathering or palaeoweathering.

Spatio-temporal Rich Model Based Video Steganalysis on Cross Sections of Motion Vector Planes

A rich model based motion vector steganalysis benefiting from both temporal and spatial correlations of motion vectors is proposed in this work. The proposed steganalysis method has a substantially superior detection accuracy than the previous methods, even the targeted ones. The improvement in detection accuracy lies in several novel approaches introduced in this work. Firstly, it is shown that there is a strong correlation, not only spatially but also temporally, among neighbouring motion vectors for longer distances. Therefore, temporal motion vector dependency along side the spatial dependency is utilized for rigorous motion vector steganalysis. Secondly, unlike the filters previously used, which were heuristically designed against a specific motion vector steganography, a diverse set of many filters which can capture aberrations introduced by various motion vector steganography methods is used. The variety and also the number of the filter kernels are substantially more than that of used in previous ones. Besides that, filters up to fifth order are employed whereas the previous methods use at most second order filters. As a result of these, the proposed system captures various decorrelations in a wide spatio-temporal range and provides a better cover model. The proposed method is tested against the most prominent motion vector steganalysis and steganography methods. To the best knowledge of the authors, the experiments section has the most comprehensive tests in motion vector steganalysis field including five stego and seven steganalysis methods. Test results show that the proposed method yields around 20% detection accuracy increase in low payloads and 5% in higher payloads.

All-optical processing systems based on semiconductor optical amplifiers

Nesta tese investigam-se e desenvolvem-se dispositivos para processamento integralmente óptico em redes com multiplexagem densa por divisão no comprimento de onda (DWDM). O principal objectivo das redes DWDM é transportar e distribuir um espectro óptico densamente multiplexado com sinais de débito binário ultra elevado, ao longo de centenas ou milhares de quilómetros de fibra óptica. Estes sinais devem ser transportados e encaminhados no domínio óptico de forma transparente, sem conversões óptico-eléctrico-ópticas (OEO), evitando as suas limitações e custos. A tecnologia baseada em amplificadores ópticos de semicondutor (SOA) é promissora graças aos seus efeitos não-lineares ultra-rápidos e eficientes, ao potencial para integração, reduzido consumo de potência e custos. Conversores de comprimento de onda são o elemento óptico básico para aumentar a capacidade da rede e evitar o bloqueio de comprimentos de onda. Neste trabalho, são estudados e analisados experimentalmente métodos para aumentar a largura de banda operacional de conversores de modulação cruzada de ganho (XGM), a fim de permitir a operação do SOA para além das suas limitações físicas. Conversão de um comprimento de onda, e conversão simultânea de múltiplos comprimentos de onda são testadas, usando interferómetros de Mach-Zehnder com SOA. As redes DWDM de alto débito binário requerem formatos de modulação optimizados, com elevada tolerância aos efeitos nefastos da fibra, e reduzida ocupação espectral. Para esse efeito, é vital desenvolver conversores integramente ópticos de formatos de modulação, a fim de permitir a interligação entre as redes já instaladas, que operam com modulação de intensidade, e as redes modernas, que utilizam formatos de modulação avançados. No âmbito deste trabalho é proposto um conversor integralmente óptico de formato entre modulação óptica de banda lateral dupla e modulação óptica de banda lateral residual; este é caracterizado através de simulação e experimentalmente. Adicionalmente, é proposto um conversor para formato de portadora suprimida, através de XGM e modulação cruzada de fase. A interligação entre as redes de transporte com débito binário ultra-elevado e as redes de acesso com débito binário reduzido requer conversão óptica de formato de impulso entre retorno-a-zero (RZ) e não-RZ. São aqui propostas e investigadas duas estruturas distintas: uma baseada em filtragem desalinhada do sinal convertido por XGM; uma segunda utiliza as dinâmicas do laser interno de um SOA com ganho limitado (GC-SOA). Regeneração integralmente óptica é essencial para reduzir os custos das redes. Dois esquemas distintos são utilizados para regeneração: uma estrutura baseada em MZI-SOA, e um método no qual o laser interno de um GC-SOA é modulado com o sinal distorcido a regenerar. A maioria dos esquemas referidos é testada experimentalmente a 40 Gb/s, com potencial para aplicação a débitos binários superiores, demonstrado que os SOA são uma tecnologia basilar para as redes ópticas do futuro.

Economical and operational optimization of CALB immobilization on MP1000 for amidation of olein fatty acids with ethanolamine

Dissertação de Mestrado , Engenharia Biológica, Faculdade de Engenharia de Recursos Naturais, Universidade do Algarve, 2008

A corpus-based translation study on english-persian verb phrase ellipsis

Dissertação de mest., Natural Language Processing & Human Language Technology, Faculdade de Ciências Humanas e Sociais, Univ. do Algarve, 2011

Development of a Piggybac based direct reprogramming system for derivation of integration free induced pluripotent stem cells

Induced pluripotent stem cells (iPSc) have great potential for applications in regenerative medicine, disease modeling and basic research. Several methods have been developed for their derivation. The original method of Takahashi and Yamanaka involved the use of retroviral vectors which result in insertional mutagenesis, presence in the genome of potential oncogenes and effects of residual transgene expression on differentiation bias of each particular iPSc line. Other methods have been developed, using different viral vectors (adenovirus and Sendai virus), transient plasmid transfection, mRNA transduction, protein transduction and use of small molecules. However, these methods suffer from low efficiencies; can be extremely labor intensive, or both. An additional method makes use of the piggybac transposon, which has the advantage of inserting its payload into the host genome and being perfectly excised upon re-expression of the transposon transposase. Briefly, a policistronic cassette expressing Oct4, Sox2, Klf4 and C-Myc flanked by piggybac terminal repeats is delivered to the cells along with a plasmid transiently expressing piggybac transposase. Once reprogramming occurs, the cells are re-transfected with transposase and subclones free of tranposon integrations screened for. The procedure is therefore very labor intensive, requiring multiple manipulations and successive rounds of cloning and screening. The original method for reprogramming with the the PiggyBac transposon was created by Woltjen et al in 2009 (schematized here) and describes a process with which it is possible to obtain insert-free iPSc. Insert-free iPSc enables the establishment of better cellular models of iPS and adds a new level of security to the use of these cells in regenerative medicine. Due to the fact that it was based on several low efficiency steps, the overall efficiency of the method is very low (<1%). Moreover, the stochastic transfection, integration, excision and the inexistence of an active way of selection leaves this method in need of extensive characterization and screening of the final clones. In this work we aime to develop a non-integrative iPSc derivation system in which integration and excision of the transgenes can be controlled by simple media manipulations, avoiding labor intensive and potentially mutagenic procedures. To reach our goal we developed a two vector system which is simultaneously delivered to original population of fibroblasts. The first vector, Remo I, carries the reprogramming cassette and GFP under the regulation of a constitutive promoter (CAG). The second vector, Eneas, carries the piggybac transposase associated with an estrogen receptor fragment (ERT2), regulated in a TET-OFF fashion, and its equivalent reverse trans-activator associated with a positive-negative selection cassette under a constitutive promoter. We tested its functionality in HEK 293T cells. The protocol is divided in two the following steps: 1) Obtaining acceptable transfection efficiency into human fibroblasts. 2) Testing the functionality of the construct 3) Determining the ideal concentration of DOX for repressing mPB-ERT2 expression 4) Determining the ideal concentration of TM for transposition into the genome 5) Determining the ideal Windows of no DOX/TM pulse for transposition into the genome 6) 3, 4 and 5) for transposition out of the genome 7) Determination of the ideal concentration of GCV for negative selection We successfully demonstrated that ENEAS behaved as expected in terms of DOX regulation of the expression of mPB-ERT2. We also demonstrated that by delivering the plasmid into 293T HEK cells and manipulating the levels of DOX and TM in the medium, we could obtain puromycin resistant lines. The number of puromycin resistant colonies obtained was significantly higher when DOX as absent, suggesting that the colonies resulted from transposition events. Presence of TM added an extra layer of regulation, albeit weaker. Our PCR analysis, while not a clean as would be desired, suggested that transposition was indeed occurring, although a background level of random integration could not be ruled out. Finally, our attempt to determine whether we could use GVC to select clones that had successfully mobilized PB out of the genome was unsuccessful. Unexpectedly, 293T HEK cells that had been transfected with ENEAS and selected for puromycin resistance were insensitive to GCV.

O ensino da multimédia com recurso ao Project Based Learning : realização de vídeos promocionais de um estabelecimento de ensino

Relatório da prática de ensino supervisionada, Mestrado em Ensino de Informática, Universidade de Lisboa, 2014