Pipelined analog-to-digital conversion using current-mode reference shifting

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Project of a bandgap voltage reference and a temperature sensor for "energy harvest" systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

A built-in self-test technique for high speed analog-to-digital converters

Fundação para a Ciência e a Tecnologia (FCT) - PhD grant (SFRH/BD/62568/2009)

SI SC MDAC switched current-capacitor multiplying digital-to-analog converter

Dissertação apresentada para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Reference-free high-speed cmos pipeline analog-to-digital converters

Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical and Computer Engineering of the Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

From "Humanities and Computing" to "Digital Humanities": Digital Humanities in Portugal with a focus on Historical Research

In the following text I will develop three major aspects. The first is to draw attention to those who seem to have been the disciplinary fields where, despite everything, the Digital Humanities (in the broad perspective as will be regarded here) have asserted themselves in a more comprehensive manner. I think it is here that I run into greater risks, not only for what I have mentioned above, but certainly because a significant part, perhaps, of the achievements and of the researchers might have escaped the look that I sought to cast upon the past few decades, always influenced by my own experience and the work carried out in the field of History. But this can be considered as a work in progress and it is open to criticism and suggestions. A second point to note is that emphasis will be given to the main lines of development in the relationship between historical research and digital methodologies, resources and tools. Finally, I will try to make a brief analysis of what has been the Digital Humanities discourse appropriation in recent years, with very debatable data and methods for sure, because studies are still scarce and little systematic information is available that would allow to go beyond an introductory reflection.

A multiplying-by-two CMOS amplifier for high-speed ADCs based on parametric amplification

15th International Conference on Mixed Design of Integrated Circuits and Systems, pp. 177 – 180, Poznan, Polónia

Transimpedance amplifier for integrated SpO2 optic sensor

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Digitally programmable delay-locked-loop with adaptive charge pump current for UWB radar system

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Biotransformation/separation routes to obtain pure enantiomers

The objective of the work presented in this thesis was the development of an innovative approach for the separation of enantiomers of secondary alcohols, combining the use of an ionic liquid (IL) - both as solvent for conducting enzymatic kinetic resolution and as acylating agent - with the use of carbon dioxide (CO2) as solvent for extraction. Menthol was selected for testing this reaction/separation approach due to the increasing demand for this substance, which is widely used in the pharmaceutical, cosmetics and food industries. With a view to using an ionic ester as acylating agent, whose conversion led to the release of ethanol, and due to the need to remove this alcohol so as to drive reaction equilibrium forward, a phase equilibrium study was conducted for the ehtanol/(±)-menthol/CO2 system, at pressures between 8 and 10 MPa and temperatures between 40 and 50 oC. It was found that CO2 is more selective towards ethanol, especially at the lowest pressure and highest temperature tested, leading to separation factors in the range 1.6-7.6. The pressure-temperature-composition data obtained were correlated with the Peng-Robinson equation of state and the Mathias-Klotz-Prausnitz mixing rule. The model fit the experimental results well, with an average absolute deviation (AAD) of 3.7 %. The resolution of racemic menthol was studied using two lipases, namely lipase from Candida rugosa (CRL) and immobilized lipase B from Candida antarctica (CALB), and two ionic acylating esters. No reaction was detected in either case. (R,S)-1-phenylethanol was used next, and it was found that with CRL low, nonselective, conversion of the alcohol took place, whereas CALB led to an enantiomeric excess (ee) of the substrate of 95%, at 30% conversion. Other acylating agents were tested for the resolution of (±)-menthol, namely vinyl esters and acid anhydrides, using several lipases and varying other parameters that affect conversion and enantioselectivity, such as substrate concentration, solvent and temperature. One such acylating agent was propionic anhydride. It was thus performed a phase equilibrium study on the propionic anhydride/CO2 system, at temperatures between 35 and 50 oC. This study revealed that, at 35 oC and pressures from 7 MPa, the system is monophasic for all compositions. The enzymatic catalysis studies carried out with propionic anhydride revealed that the extent of noncatalyzed reaction was high, with a negative effect on enantioselectivity. These studies showed also that it was possible to reduce considerably the impact of the noncatalyzed reaction relative to the reaction catalyzed by CRL by lowering temperature to 4 oC. Vinyl decanoate was shown to lead to the best results at conditions amenable to a process combining the use of supercritical CO2 as agent for post-reaction separation. The use of vinyl decanoate in a number of IL solvents, namely [bmim][PF6], [bmim][BF4], [hmim][PF6], [omim][PF6], and [bmim][Tf2N], led to an enantiomeric excess of product (eep) values of over 96%, at about 50% conversion, using CRL. In n-hexane and supercritical CO2, reaction progressed more slowly.(...)

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Low-voltage low-power CMOS analogue circuits for Gaussian and uniform noise generation

IEEE International Symposium on Circuits and Systems, MAY 25-28, 2003, Bangkok, Thailand. (ISI Web of Science)

Towards cryogenic liquid –vapor energy storage units for space applications

Dissertation to obtain the Doctoral degree in Physics Engineering

Expressão e purificação da proteína E3 do vírus chikungunya (CHIKV)

RESUMO: O vírus chikungunya (CHIKV) é um vírus de RNA, com invólucro, da família Togaviridae, transmitido por mosquitos Aedes spp. Distribuído por largas regiões de África e Ásia, causa grandes epidemias de artrite grave. A semelhança de sintomas com outras doenças como a dengue e a malária e a persistência de IgM específicas, dificultam o diagnóstico da infeção por CHIKV. A deteção no sangue de E3, uma glicoproteína viral secretada, a incluir num ensaio imunoenzimático poderá melhorar o diagnóstico nos países onde as técnicas de biologia molecular são de difícil acesso. Para testar a utilidade de E3 num ensaio de diagnóstico, esta deverá ser expressa em quantidade, purificada e usada para produção de anticorpos específicos. Para expressar E3 numa forma solúvel, suscetível de ser purificada num único passo cromatográfico sem proteases, recorreu-se à estratégia da fusão com o domínio de ligação à quitina (CBD)-inteína (IMPACT™ System, NEB). A sequência codificadora de E3 foi amplificada a partir de RNA viral, clonada em pTYB21 e expressa em E. coli como uma proteína de fusão insolúvel de 64 kDa. A expressão a 12ºC induzida por IPTG 0,1 mM aumentou a solubilidade de CBD-inteína-E3. A aplicação de lisados celulares em colunas de quitina originou a retenção de CBD-inteína-E3 na matriz. Porém, a autoclivagem da inteína na coluna, induzida com reagentes tiol, foi pouco eficiente e mesmo a proteína E3 separada não eluiu da coluna. E3 foi ainda expressa em E. coli com uma cauda de seis histidinas (E3[His]6) por clonagem no vetor pET28b(+). Lisados celulares aplicados em colunas de níquel permitiram a eluição de uma proteína de 9 kDa, compatível com a massa molecular estimada para E3[His]6, ainda que com outros contaminantes proteicos. A identidade da proteína de 9 kDa será confirmada pela indução de anticorpos com esta preparação e reatividade daqueles com células infetadas com CHIKV.----------------ABSTRACT: Chikungunya virus (CHIKV) is an enveloped, positive strand RNA virus belonging to the family Togaviridae. Transmitted by Aedes spp mosquitoes, CHIKV causes large epidemics of severe arthritogenic disease in Africa and Asia and represents a serious threat in countries where vectors are present. Symptoms similarity with other diseases, e.g. dengue and malaria, along with CHIKV IgM persistence turns accurate CHIKV diagnosis a difficult task in low-income countries. Detection of E3, a small secreted viral glycoprotein, to be included in an immunoenzymatic test was envisaged as a possible improvement in CHIKV diagnosis. To test the diagnostic value of E3, recombinant E3 should be expressed and purified to generate antibodies. In order to express CHIKV E3 in a soluble form amenable to purification by a single step affinity chromatography, the chitin binding domain (CBD)-intein fusion strategy without proteases (IMPACT™ System, NEB) was employed. The E3 coding sequence was amplified from viral RNA, cloned in pTYB21 and expressed in E. coli ER2566 as an insoluble 64 kDa CBD-intein-E3 fusion protein. Solubility was partially achieved by lowering the expression temperature to 12ºC and the inducer (IPTG) concentration to 0.1 mM. Clarified cell lysate loaded onto a chitin column allowed ligation of the fusion protein but the intein-mediated cleavage efficiency was low and E3 failed to elute from the column as demonstrated by SDS-PAGE. E3 was further expressed with a six histidine tag, E3[His]6, employing the pET System (Novagen). E3[His]6 was expressed in E. coli Rosetta (30ºC, 0.4 mM IPTG) as a 9 kDa protein. Soluble cell extracts in 20-40 mM imidazole, applied onto a nickel column and eluted with 500 mM imidazole yielded a protein preparation enriched in the 9kDa protein. The 9 kDa will be used as antigen to generate antibodies that upon reaction with CHIKV infected cells will confirm its identity.