Inversão do Contencioso: um contributo para o estudo deste regime no seio das providências cautelares

Dissertação de mestrado em Direito Judiciário: Direitos Processuais e Organização Judiciária

As agências europeias no Direito Administrativo Europeu

Dissertação de mestrado em Direito Administrativo

A (in)existência de apoio judiciário na arbitragem administrativa: o direito de acesso à tutela jurisdicional efetiva?

Dissertação de mestrado em Direito Administrativo

Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP

The Closest Vector Problem (CVP) and the Shortest Vector Problem (SVP) are prime problems in lattice-based cryptanalysis, since they underpin the security of many lattice-based cryptosystems. Despite the importance of these problems, there are only a few CVP-solvers publicly available, and their scalability was never studied. This paper presents a scalable implementation of an enumeration-based CVP-solver for multi-cores, which can be easily adapted to solve the SVP. In particular, it achieves super-linear speedups in some instances on up to 8 cores and almost linear speedups on 16 cores when solving the CVP on a 50-dimensional lattice. Our results show that enumeration-based CVP-solvers can be parallelized as effectively as enumeration-based solvers for the SVP, based on a comparison with a state of the art SVP-solver. In addition, we show that we can optimize the SVP variant of our solver in such a way that it becomes 35%-60% faster than the fastest enumeration-based SVP-solver to date.

Proteins on microbial identification: past achievements, present state-of-the-art, and future challenges

The use of chemical analysis of microbial components, including proteins, became an important achievement in the 80’s of the last century to the microbial identification. This led a more objective microbial identification scheme, called chemotaxonomy, and the analytical tools used in the field are mainly 1D/2D gel electrophoresis, spectrophotometry, high-performance liquid chromatography, gas chromatography, and combined gas chromatography-mass spectrometry. The Edman degradation reaction was also applied to peptides sequence giving important insights to the microbial identification. The rapid development of these techniques, in association with knowledge generated by DNA sequencing and phylogeny based on rRNA gene and housekeeping genes sequences, boosted the microbial identification to an unparalleled scale. The recent results of mass spectrometry (MS), like Matrix-Assisted Laser Desorption/Ionisation Time-of-Flight (MALDI-TOF), for rapid and reliable microbial identification showed considerable promise. In addition, the technique is rapid, reliable and inexpensive in terms of labour and consumables when compared with other biological techniques. At present, MALDI-TOF MS adds an additional step for polyphasic identification which is essential when there is a paucity of characters or high DNA homologies for delimiting very close related species. The full impact of this approach is now being appreciated when more diverse species are studied in detail and successfully identified. However, even with the best polyphasic system, identification of some taxa remains time-consuming and determining what represents a species remains subjective. The possibilities opened with new and even more robust mass spectrometers combined with sound and reliable databases allow not only the microbial identification based on the proteome fingerprinting but also include de novo specific proteins sequencing as additional step. These approaches are pushing the boundaries in the microbial identification field.

State of the art and open questions on cathode preparation based on carbon coated lithium iron phosphate

One important component with particular relevance in battery performance is the cathode, being one of the main responsible elements for cell capacity and cycle life. Carbon coated lithium iron phosphate, C-LiFePO4, active material is one of the most promising cathode materials for the next generation of large scale lithium ion battery applications and strong research efforts are being devoted to it, due to its excellent characteristics, including high capacity, ~170 mAh/g, and safety. This review summarizes the main developments on C-LiFePO4 based cathode film preparation and performance. The effect of the binder, conductive additive, relationship between active material-binder-conductive additive and drying step, in the electrode film fabrication and performance is presented and discussed. Finally, after the presentation of the cell types fabricated with C-LiFePO4 active material and their performance, some conclusions and guidelines for further investigations are outlined.

Polymer composites and blends for battery separators: State of the art, challenges and future trends

In lithium ion battery systems, the separator plays a key role with respect to device performance. Polymer composites and polymer blends have been frequently used as battery separators due to their suitable properties. This review presents the main issues, developments and characteristics of these polymer composites and blends for battery separator membrane applications. This review is divided into two sections regarding the composition of the materials: polymer composite materials, subdivided according to filler type, and polymer blend materials. For each category the electrolyte solutions, ionic conductivity and other relevant physical-chemical characteristics are described. This review shows the recent advances and opportunities in this area and identifies future trends and challenges.

Lithium ion rechargeable batteries: State of the art and future needs of microscopic theoretical models and simulations

This review deals with the recent developments and present status of the theoretical models for the simulation of the performance of lithium ion batteries. Preceded by a description of the main materials used for each of the components of a battery -anode, cathode and separator- and how material characteristics affect battery performance, a description of the main theoretical models describing the operation and performance of a battery are presented. The influence of the most relevant parameters of the models, such as boundary conditions, geometry and material characteristics are discussed. Finally, suggestions for future work are proposed.

Tribunais nacionais e tutela jurisdicional efetiva: da cooperação à integração judiciária no contencioso da união europeia

Tese de Doutoramento em Ciências Jurídicas (área de especialização em Ciências Jurídicas Públicas).

A radiofrequency identification system for the 60 GHz ISM band

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Prefácio [a "Publicidade sem código de barras"]

[Excerto] A publicidade constitui uma técnica de comunicação que raramente deixa as pessoas indiferentes. Se por um lado fascina e seduz, por outro, pode provocar sentimentos de aversão e repulsa, dada a sua conotação com o consumismo desenfreado que caracteriza as 'sociedades da abundância', em que cada novo produto é rapidamente substituído por um ainda mais recente, numa espiral de consumo desenfreada em que raramente se pára para pensar e problema­tizar. Se é fácil opinar sobre a publicidade, interrogá-la enquanto objecto de investigação constitui um desafio considerável, mas imprescindível. A primeira dificuldade com que o investigador se depara é precisamente des­montar o conceito de publicidade de modo a dar conta das grandes mudanças que ocorreram neste campo e que tornaram anacrónico o conceito clássico de publicidade. Tradicionalmente ligada à promoção de marcas e bens de con­sumo, a publicidade foi recentemente aplicada para fins sociais. As técnicas persuasivas desenvolvidas para o incentivo à compra de produtos e serviços são agora também utilizadas como um poderoso instrumento de mudança social.

60,000 years of interactions between Central and Eastern Africa documented by major African mitochondrial haplogroup L2

Mitochondrial DNA (mtDNA) haplogroup L2 originated in Western Africa but is nowadays spread across the entire continent. L2 movements were previously postulated to be related to the Bantu expansion, but L2 expansions eastwards probably occurred much earlier. By reconstructing the phylogeny of L2 (44 new complete sequences) we provide insights on the complex net of within-African migrations in the last 60 thousand years (ka). Results show that lineages in Southern Africa cluster with Western/Central African lineages at a recent time scale, whereas, eastern lineages seem to be substantially more ancient. Three moments of expansion from a Central African source are associated to L2: (1) one migration at 70-50 ka into Eastern or Southern Africa, (2) postglacial movements (15-10 ka) into Eastern Africa; and (3) the southward Bantu Expansion in the last 5 ka. The complementary population and L0a phylogeography analyses indicate no strong evidence of mtDNA gene flow between eastern and southern populations during the later movement, suggesting low admixture between Eastern African populations and the Bantu migrants. This implies that, at least in the early stages, the Bantu expansion was mainly a demic diffusion with little incorporation of local populations.

Desenvolvimento de um processador VLIW

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

Neurocognitive profile and cognitive intervention in Alzheimer's disease

Tese de Doutoramento em Psicologia (Especialidade de Psicologia Clínica)