Desenvolvimento de um processador VLIW

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Tailored deposition of coloured coatings: on the widening of the available colour range

Dissertação de mestrado integrado em Engenharia de Materiais

Development of multifunctional coatings deposited on polymers based sensors for biomedical applications

Tese de Doutoramento (Programa Doutoral em Engenharia de Materiais)

O género na construção de personagens 3D: do binário ao fluído

Relatório de estágio de mestrado em Média Interativos

As fontes jornalísticas na era digital: relações e encenação

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Vapor - liquid equilibrium of systems containing perfluoromethyl-cyclohexane and hydrocarbons

Vapor - liquid equilibrium data for the binary systems: Perfluoromethylcyclohexane + n-Hexane and Perfluoromethylcyclohexane + 1-Hexene were determined at 93.3 KPa and 328.15 K. The vapor pressure for the pure components were also measured to calculate the Antoine constants. The data were correlated by using the Van-Laar, Margules, Wilson, NRTL and UNIQUAC equations. UNIFAC group-contribution parameters between CH, and CF,, and CH,=CH and CF, were also calculated.

Some observations on asymmetrical separation in thermal diffusion columns

Data have been obtained in steady-state batch operated thermogravitational separation columns using different binary mixtures to test the theory recently published by Morgado et al. The experimental results confirm that separations by thermal diffusion are asymmetrical except when the initial concentration is 0.5 and that the asymmetry is larger as the initial concentration deviates from 0.5 and as the separation potential increases.

The application of the equivalent annulus width concept in thermal diffusion separations

The equivalent annulus width concept is used to characterize a small commercial thermogravitational hermal diffusion column and its validity checked experimentally by separating batchwise in the column mixtures of n-heptanebenzene with different initial concentrations. The equation of Ruppell and Coull was used to analyse the data in the short separation times range and determine the equivalent annulus width. Good agreement was obtained between the experimental and predicted time-separation curves when using the equivalent annulus width value and on averaged value of the thermal diffusion constant. A new method is presented for the simultaneous determination of the equivalent annulus width and the thermal diffusion constant of a binary mixture from a single set of experimental data.

Crosscorrelation properties between perfect sequences

Binary sequence, perfect sequence, autocorrelation, crosscorrelation, Hadamard transform

Meta-Analysis of Ultrafiltration versus Diuretics Treatment Option for Overload Volume Reduction in Patients with Acute Decompensated Heart Failure

Introduction: Although diuretics are mainly used for the treatment of acute decompensated heart failure (ADHF), inadequate responses and complications have led to the use of extracorporeal ultrafiltration (UF) as an alternative strategy for reducing volume overloads in patients with ADHF. Objective: The aim of our study is to perform meta-analysis of the results obtained from studies on extracorporeal venous ultrafiltration and compare them with those of standard diuretic treatment for overload volume reduction in acute decompensated heart failure. Methods: MEDLINE, EMBASE, and the Cochrane Central Register of Controlled Trials databases were systematically searched using a pre‑specified criterion. Pooled estimates of outcomes after 48 h (weight change, serum creatinine level, and all-cause mortality) were computed using random effect models. Pooled weighted mean differences were calculated for weight loss and change in creatinine level, whereas a pooled risk ratio was used for the analysis of binary all-cause mortality outcome. Results: A total of nine studies, involving 613 patients, met the eligibility criteria. The mean weight loss in patients who underwent UF therapy was 1.78 kg [95% Confidence Interval (CI): −2.65 to −0.91 kg; p < 0.001) more than those who received standard diuretic therapy. The post-intervention creatinine level, however, was not significantly different (mean change = −0.25 mg/dL; 95% CI: −0.56 to 0.06 mg/dL; p = 0.112). The risk of all-cause mortality persisted in patients treated with UF compared with patients treated with standard diuretics (Pooled RR = 1.00; 95% CI: 0.64–1.56; p = 0.993). Conclusion: Compared with standard diuretic therapy, UF treatment for overload volume reduction in individuals suffering from ADHF, resulted in significant reduction of body weight within 48 h. However, no significant decrease of serum creatinine level or reduction of all-cause mortality was observed.

Bounding right-arm rotation distances

Rotation distance quantifies the difference in shape between two rooted binary trees of the same size by counting the minimum number of elementary changes needed to transform one tree to the other. We describe several types of rotation distance, and provide upper bounds on distances between trees with a fixed number of nodes with respect to each type. These bounds are obtained by relating each restricted rotation distance to the word length of elements of Thompson's group F with respect to different generating sets, including both finite and infinite generating sets.

Absolute type shaft encoding using LFSR

Maximal-length binary sequences have been known for a long time. They have many interesting properties, one of them is that when taken in blocks of n consecutive positions they form 2ⁿ-1 different codes in a closed circular sequence. This property can be used for measuring absolute angular positions as the circle can be divided in as many parts as different codes can be retrieved. This paper describes how can a closed binary sequence with arbitrary length be effectively designed with the minimal possible block-length, using linear feedback shift registers (LFSR). Such sequences can be used for measuring a specified exact number of angular positions, using the minimal possible number of sensors that linear methods allow.

Tree automorphisms and quasi-isometries of Thompson's group F

We prove that automorphisms of the infinite binary rooted tree T2 do not yield quasi-isometries of Thompson's group F, except for the map which reverses orientation on the unit interval, a natural outer automorphism of F. This map, together with the identity map, forms a subgroup of Aut(T2) consisting of 2-adic automorphisms, following standard terminology used in the study of branch groups. However, for more general p, we show that the analgous groups of p-adic tree automorphisms do not give rise to quasiisometries of F(p).

Communication for Public Goods

This paper studies information transmission between multiple agents with di¤erent preferences and a welfare maximizing decision maker who chooses the quality or quantity of a public good (e.g. provision of public health service; carbon emissions policy; pace of lectures in a classroom) that is consumed by all of them. Communication in such circumstances suffers from the agents' incentive to "exaggerate" their preferences relative to the average of the other agents, since the decision maker's reaction to each agent's message is weaker than in one-to-one communication. As the number of agents becomes larger the quality of information transmission diminishes. The use of binary messages (e.g. "yes" or "no") is shown to be a robust mode of communication when the main source of informational distortion is exaggeration.

Códigos binarios no lineales en MAGMA

La finalitat d'aquest projecte és aconseguir representar codis binaris no lineals de manera eficient en un ordinador. Per fer-ho, hem desenvolupat funcions per representar un codi binari a partir del super dual. Hem millorat la funció de càlcul del kernel d'un codi binari, implementada en projectes d'anys anteriors. També hem desenvolupat un paquet software per l'intèrpret MAGMA. Aquest paquet ens proveeix d'eines per al tractament de codis binaris no necessàriament lineals.