A generalization of the Hoffman-Lovász upper bound on the independence number of a regular graph

A family of quadratic programming problems whose optimal values are upper bounds on the independence number of a graph is introduced. Among this family, the quadratic programming problem which gives the best upper bound is identified. Also the proof that the upper bound introduced by Hoffman and Lovász for regular graphs is a particular case of this family is given. In addition, some new results characterizing the class of graphs for which the independence number attains the optimal value of the above best upper bound are given. Finally a polynomial-time algorithm for approximating the size of the maximum independent set of an arbitrary graph is described and the computational experiments carried out on 36 DIMACS clique benchmark instances are reported.

Métodos químicos de modificação superficial de nanomateriais

O objectivo geral desta tese foi investigar diversas estratégias de síntese de nanocompósitos híbridos de matriz polimérica, contendo nanopartículas inorgânicas com funcionalidades diversas. O interesse nestes nanocompósitos multifuncionais consiste no enorme potencial que apresentam para novas aplicações tecnológicas, tais como em optoelectrónica ou em medicina. No capítulo introdutório, apresenta-se uma revisão das propriedades de nanopartículas inorgânicas e nanoestruturas obtidas a partir destas, métodos de preparação e de modificação química superficial, incluindo a formação de nanocompósitos poliméricos, bem como a aplicação destas nanoestruturas em medicina e biologia. O estudo das propriedades de nanopartículas de ouro é um importante tema em Nanociência e Nanotecnologia. As propriedades singulares destas NPs apresentam uma estreita relação com o tamanho, morfologia, arranjo espacial e propriedades dieléctricas do meio circundante. No capítulo 2, é reportada a preparação de nanocompósitos utilizando miniemulsões de poli-estireno (PS) e poli-acrilato de butilo (PBA) contendo nanopartículas de ouro revestidas com moléculas orgânicas. As propriedades ópticas destas estruturas híbridas são dominadas por efeitos plasmónicos e dependem de uma forma crítica na morfologia final dos nanocompósitos. Em particular, demonstra-se aqui a possibilidade de ajustar a resposta óptica, na região do visível do espectro, através do arranjo das nanopartículas na matriz polimérica, e consequentemente o acoplamento plasmónico, utilizando nanopartículas resultantes da mesma síntese. Na generalidade, é reportada aqui uma estratégia alternativa para modificar a resposta óptica de nanocompósitos, através do controlo da morfologia do compósito final face à estratégia mais comum que envolve o controlo das características morfológicas das partículas metálicas utilizadas como materiais de partida. No Capítulo 3 apresentam-se os resultados da preparação de vários compósitos poliméricos com propriedades magnéticas de interesse prático. Em particular discute-se a síntese e propriedades magnéticas de nanopartículas de ligas metálicas de cobalto-platina (CoPt3) e ferro-platina (FePt3), assim como de óxidos de ferro (magnetite Fe3O4 e maguemite g-Fe2O3) e respectivos nanocompósitos poliméricos. A estratégia aqui descrita constitui uma via interessante de desenvolver materiais nanocompósitos com potencial aplicação em ensaios de análise de entidades biológicas in vitro, que pode ser estendido a outros materiais magnéticos. Como prova de conceito, demonstrase a bioconjugação de nanocompósitos de CoPt3/PtBA com anticorpos IgG de bovino. No capítulo 4 é descrita a preparação e propriedades ópticas de pontos quânticos (“quantum dots”, QDs) de CdSe/ZnS assim como dos seus materiais nanocompósitos poliméricos, CdSe/ZnS-PBA. Como resultado das suas propriedades ópticas singulares, os QDs têm sido extensivamente investigados como materiais inorgânicos para aplicações em dispositivos ópticos. A incorporação de QDs em matrizes poliméricas é de particular interesse, nomeadamente devido ao comportamento óptico do nanocompósito final parecer estar dependente do tipo de polímero utilizado. As propriedades ópticas dos nanocompósitos foram estudadas sistematicamente por medidas de fotoluminescência. Os nanocompósitos apresentam propriedades interessantes para potenciais aplicações biológicas em diagnóstico in vitro, funcionando como sondas biológicas luminescentes.

Sensores ópticos para monitorização dinâmica de estruturas

O presente trabalho centra-se no desenvolvimento e aplicação de sensores de aceleração ópticos, baseados em redes de Bragg gravadas em fibras ópticas, para monitorização da integridade estrutural de estruturas de engenharia civil. Foram implementados dois acelerómetros uniaxiais e um acelerómetro biaxial. Recorreu-se a uma ferramenta de simulação baseada no método dos elementos finitos que permitiu optimizar, sem custos de produção, as características dos sensores, nomeadamente a sua frequência de ressonância. A caracterização dos sensores foi realizada em ambiente laboratorial e a sua resposta comparada com os resultados de simulação, de modo a validar os modelos numéricos. A aplicabilidade e demonstração de conceito foram realizadas na monitorização de estruturas com testes de campo. Foi monitorizado um teste destrutivo de uma parede de adobe, construída à escala real no Departamento de Engenharia Civil da Universidade de Aveiro, onde foram utilizados sensores estáticos e dinâmicos baseados em redes de Bragg gravadas em fibra óptica. Foram realizadas medidas dinâmicas na ponte pedonal do Campus Universitário da Universidade de Aveiro, onde se compararam os resultados obtidos com os sensores ópticos com resultados de sensores electrónicos comerciais. O acelerómetro biaxial foi testado na monitorização de estruturas esbeltas, nomeadamente na monitorização de duas torres de telecomunicações móveis, onde se demonstrou a possibilidade da utilização de sensores ópticos na caracterização dinâmica deste tipo de estruturas. Outro tipo de estruturas de engenharia civil onde foi demonstrada a aplicabilidade dos sensores ópticos desenvolvidos na monitorização estrutural foram os reservatórios de água elevados. Foi realizada a monitorização dinâmica de um exemplo deste tipo de estruturas, localizado no Campus Universitário da Universidade de Aveiro. A monitorização foi realizada recorrendo ao sensor biaxial desenvolvido e a um sismógrafo, ficando o sensor óptico instalado na estrutura de modo a permitir futuras leituras e assim a monitorização periódica da estrutura. Foi ainda desenvolvido um sensor de humidade relativa do ar, com um material sol-gel, que permitiu registar o nível de humidade relativa no interior de blocos de betão, durante um ano. Este sensor pode ser incluído numa rede de sensores multiplexados, na caracterização e monitorização da integridade estrutural de certas estruturas de engenharia civil.

Marcial e a "Epopeia do quotidiano" : a dimensão épica de um poeta

O século I, que desabrochou numa Idade de Ouro, não findaria sob o signo da boa Fortuna inaugurada pelo primeiro Princeps. O século de Augusto conheceria o seu fim! A Literatura não pôde furtar-se ao fatum de todo um Império e, depois de 69, juntamente com a Magna Vrbs, aguardava um tempo que fosse, finalmente, capaz de uma renovação. Para os anos oitenta do século I, prometiam os Flavianos e as suas consecuções uma nova Aurea Aetas… Porém, revelou-se impossível recuperar o passado: então, como nunca antes, os abastados demandavam a púrpura e a populaça clamava por panem et circenses. E a mudança definitiva dos tempos tinha na produção artística das suas maiores provas — a clientela condenara os autores ao abandono! Longe os círculos de Mecenas, apoiando Horácios e Virgílios que podiam abraçar em exclusivo a sua arte… Marcus Valerius Martialis foi não apenas um autor cuja existência se ressentiria dos constrangimentos que esta época reservou aos poetas, como o que faria da sua obra o mais fiel espelho do seu tempo. Aliás, não fora a sua obra e não se compreenderia cabalmente como foi possível a um escritor sobreviver a esses tempos e trazer à luz o seu trabalho — a uma luz muito especial, na verdade: Hic est quem legis ille, quem requiris, / toto notus in orbe Martialis (1.1.1-2)! Para cantar o novo Império e o seu quotidiano, onde conviviam, a um tempo, a grandeza e a torpeza, nada melhor que uma rude auena, jocosa e mordaz... O epigrama, não a epopeia, era a nova voz de Roma! E Marcial, elevando a sua auena, aplicou toda a sua mestria na celebração da sua Roma e dos Romanos seus concidadãos — hominem pagina nostra sapit (10.4.10). Teremos nós perdido um épico talentoso que se devotou e à sua arte a um género menor ou teremos ganho um cantor ímpar que viveu em perfeita harmonia com o seu tempo? Alcançando a imortalidade, reservada, antes, para os épicos, Marcial alcançou o seu objetivo: si […] / [...] fas est cineri me superesse meo (7.44.7- 8). E, no entanto, o feito singular de Marcial foi dar cumprimento às suas palavras — angusta cantare licet uidearis auena, / dum tua multorum uincat auena tubas. (8.3.21-22) —, escrevendo, sob a forma de epigramas, a primeira e, talvez, a única epopeia do quotidiano!

Mechanical behaviour of AISiC nano composites produced by Ball Milling and Spark Plasma Sintering

Neste trabalho foram produzidos nanocompósitos de AlSiC misturando alumínio puro com nano partículas de SiC com diâmetro de 45 – 55 nm, usando, de forma sequencial, a técnica da metalurgia do pó e a compactação por “ Spark Plasma Sintering”. O compósito obtido apresentava grãos com 100 nm de diâmetro, encontrandose as partículas de SiC localizadas, principalmente, nas fronteiras de grão. O nanocompósito sob a forma de provetes cilíndricos foi submetido a testes de compressão uniaxial e a testes de nanoindentação para analisar a influência das nanopartículas de SiC, da fração volúmica de ácido esteárico e do tempo de moagem, nas propriedades mecânicas do material. Para efeitos de comparação, utilizouse o comportamento mecânico do Al puro processado em condições similares e da liga de alumínio AA1050O. A tensão limite de elasticidade do nanocompósito com 1% Vol./Vol. de SiC é dez vezes superior à do AA1050. O refinamento de grão à escala nano constitui o principal mecanismo de aumento de resistência mecânica. Na realidade, o Al nanocristalino sem reforço de partículas de SiC, apresenta uma tensão limite de elasticidade sete vezes superior à da liga AA1050O. A adição de 0,5 % Vol./Vol. e de 1 % Vol./Vol. de SiC conduzem, respetivamente, ao aumento da tensão limite de elasticidade em 47 % e 50%. O aumento do tempo de moagem e a adição de ácido esteárico ao pó durante a moagem conduzem apenas a um pequeno aumento da tensão de escoamento. A dureza do material medida através de testes de nanoindentação confirmaram os dados anteriores. A estabilidade das microestruturas do alumínio puro e do nanocompósito AlSiC, foi testada através de recozimento de restauração realizado às temperaturas de 150 °C e 250 °C durante 2 horas. Aparentemente, o tratamento térmico não influenciou as propriedades mecânicas dos materiais, excepto do nanocompósito com 1 % Vol./Vol. de SiC restaurado à temperatura de 250 °C, para o qual se observou uma redução da tensão limite de elasticidade na ordem dos 13 %. No alumínio nanocristalino, a tensão de escoamento é controlada pelo efeito de HallPetch. As partículas de SiC, são segregadas pelas fronteiras do grão e não contribuem para o aumento de resistência mecânica segundo o mecanismo de Orowan. Alternativamente, as nanopartículas de SiC constituem um reforço das fronteiras do grão, impedindo o seu escorregamento e estabilizando a nanoestrutura. Deste modo, as propriedades mecânicas do alumínio nanocristalino e do nanocompósito de AlSiC poderão estar relacionadas com a facilidade ou dificuldade do escorregamento das fronteiras de grão, embora não seja apresentada prova explícita deste mecanismo à temperatura ambiente.

Fiber optic sensors for the biomechanical study of the intervertebral disc

O presente trabalho teve como objetivo principal estudar o comportamento mecânico do disco intervertebral recorrendo a sensores em fibra ótica. Na expetativa de efetuar o melhor enquadramento do tema foi efetuada uma revisão exaustiva das várias configurações de sensores em fibra ótica que têm vindo a ser utilizadas em aplicações biomédicas e biomecânicas, nomeadamente para medição de temperatura, deformação, força e pressão. Nesse âmbito, procurou-se destacar as potencialidades dos sensores em fibra ótica e apresentá-los como uma tecnologia alternativa ou até de substituição das tecnologias associadas a sensores convencionais. Tendo em vista a aplicação de sensores em fibra ótica no estudo do comportamento do disco intervertebral efetuou-se também uma revisão exaustiva da coluna vertebral e, particularmente, do conceito de unidade funcional. A par de uma descrição anatómica e funcional centrada no disco intervertebral, vértebras adjacentes e ligamentos espinais foram ainda destacadas as suas propriedades mecânicas e descritos os procedimentos mais usuais no estudo dessas propriedades. A componente experimental do presente trabalho descreve um conjunto de experiências efetuadas com unidades funcionais cadavéricas utilizando sensores convencionais e sensores em fibra ótica com vista à medição da deformação do disco intervertebral sob cargas compressivas uniaxiais. Inclui ainda a medição in vivo da pressão intradiscal num disco lombar de uma ovelha sob efeito de anestesia. Para esse efeito utilizou-se um sensor comercial em fibra ótica e desenvolveu-se a respetiva unidade de interrogação. Finalmente apresenta-se os resultados da investigação em curso que tem como objetivo propor e desenvolver protótipos de sensores em fibra ótica para aplicações biomédicas e biomecânicas. Nesse sentido, são apresentadas duas soluções de sensores interferométricos para medição da pressão em fluídos corporais.

Novel hardware and software combination for automotive motorsport vehicles based on direct processing of graphical functions

The main motivation for the work presented here began with previously conducted experiments with a programming concept at the time named "Macro". These experiments led to the conviction that it would be possible to build a system of engine control from scratch, which could eliminate many of the current problems of engine management systems in a direct and intrinsic way. It was also hoped that it would minimize the full range of software and hardware needed to make a final and fully functional system. Initially, this paper proposes to make a comprehensive survey of the state of the art in the specific area of software and corresponding hardware of automotive tools and automotive ECUs. Problems arising from such software will be identified, and it will be clear that practically all of these problems stem directly or indirectly from the fact that we continue to make comprehensive use of extremely long and complex "tool chains". Similarly, in the hardware, it will be argued that the problems stem from the extreme complexity and inter-dependency inside processor architectures. The conclusions are presented through an extensive list of "pitfalls" which will be thoroughly enumerated, identified and characterized. Solutions will also be proposed for the various current issues and for the implementation of these same solutions. All this final work will be part of a "proof-of-concept" system called "ECU2010". The central element of this system is the before mentioned "Macro" concept, which is an graphical block representing one of many operations required in a automotive system having arithmetic, logic, filtering, integration, multiplexing functions among others. The end result of the proposed work is a single tool, fully integrated, enabling the development and management of the entire system in one simple visual interface. Part of the presented result relies on a hardware platform fully adapted to the software, as well as enabling high flexibility and scalability in addition to using exactly the same technology for ECU, data logger and peripherals alike. Current systems rely on a mostly evolutionary path, only allowing online calibration of parameters, but never the online alteration of their own automotive functionality algorithms. By contrast, the system developed and described in this thesis had the advantage of following a "clean-slate" approach, whereby everything could be rethought globally. In the end, out of all the system characteristics, "LIVE-Prototyping" is the most relevant feature, allowing the adjustment of automotive algorithms (eg. Injection, ignition, lambda control, etc.) 100% online, keeping the engine constantly working, without ever having to stop or reboot to make such changes. This consequently eliminates any "turnaround delay" typically present in current automotive systems, thereby enhancing the efficiency and handling of such systems.

Ferroelectric : CNTs structures fabrication for advanced functional nano devices

This work is about the combination of functional ferroelectric oxides with Multiwall Carbon Nanotubes for microelectronic applications, as for example potential 3 Dimensional (3D) Non Volatile Ferroelectric Random Access Memories (NVFeRAM). Miniaturized electronics are ubiquitous now. The drive to downsize electronics has been spurred by needs of more performance into smaller packages at lower costs. But the trend of electronics miniaturization challenges board assembly materials, processes, and reliability. Semiconductor device and integrated circuit technology, coupled with its associated electronic packaging, forms the backbone of high-performance miniaturized electronic systems. However, as size decreases and functionalization increases in the modern electronics further size reduction is getting difficult; below a size limit the signal reliability and device performance deteriorate. Hence miniaturization of siliconbased electronics has limitations. On this background the Road Map for Semiconductor Industry (ITRS) suggests since 2011 alternative technologies, designated as More than Moore; being one of them based on carbon (carbon nanotubes (CNTs) and graphene) [1]. CNTs with their unique performance and three dimensionality at the nano-scale have been regarded as promising elements for miniaturized electronics [2]. CNTs are tubular in geometry and possess a unique set of properties, including ballistic electron transportation and a huge current caring capacity, which make them of great interest for future microelectronics [2]. Indeed CNTs might have a key role in the miniaturization of Non Volatile Ferroelectric Random Access Memories (NVFeRAM). Moving from a traditional two dimensional (2D) design (as is the case of thin films) to a 3D structure (based on a tridimensional arrangement of unidimensional structures) will result in the high reliability and sensing of the signals due to the large contribution from the bottom electrode. One way to achieve this 3D design is by using CNTs. Ferroelectrics (FE) are spontaneously polarized and can have high dielectric constants and interesting pyroelectric, piezoelectric, and electrooptic properties, being a key application of FE electronic memories. However, combining CNTs with FE functional oxides is challenging. It starts with materials compatibility, since crystallization temperature of FE and oxidation temperature of CNTs may overlap. In this case low temperature processing of FE is fundamental. Within this context in this work a systematic study on the fabrication of CNTs - FE structures using low cost low temperature methods was carried out. The FE under study are comprised of lead zirconate titanate (Pb1-xZrxTiO3, PZT), barium titanate (BaTiO3, BT) and bismuth ferrite (BiFeO3, BFO). The various aspects related to the fabrication, such as effect on thermal stability of MWCNTs, FE phase formation in presence of MWCNTs and interfaces between the CNTs/FE are addressed in this work. The ferroelectric response locally measured by Piezoresponse Force Microscopy (PFM) clearly evidenced that even at low processing temperatures FE on CNTs retain its ferroelectric nature. The work started by verifying the thermal decomposition behavior under different conditions of the multiwall CNTs (MWCNTs) used in this work. It was verified that purified MWCNTs are stable up to 420 ºC in air, as no weight loss occurs under non isothermal conditions, but morphology changes were observed for isothermal conditions at 400 ºC by Raman spectroscopy and Transmission Electron Microscopy (TEM). In oxygen-rich atmosphere MWCNTs started to oxidized at 200 ºC. However in argon-rich one and under a high heating rate MWCNTs remain stable up to 1300 ºC with a minimum sublimation. The activation energy for the decomposition of MWCNTs in air was calculated to lie between 80 and 108 kJ/mol. These results are relevant for the fabrication of MWCNTs – FE structures. Indeed we demonstrate that PZT can be deposited by sol gel at low temperatures on MWCNTs. And particularly interesting we prove that MWCNTs decrease the temperature and time for formation of PZT by ~100 ºC commensurate with a decrease in activation energy from 68±15 kJ/mol to 27±2 kJ/mol. As a consequence, monophasic PZT was obtained at 575 ºC for MWCNTs - PZT whereas for pure PZT traces of pyrochlore were still present at 650 ºC, where PZT phase formed due to homogeneous nucleation. The piezoelectric nature of MWCNTs - PZT synthesised at 500 ºC for 1 h was proved by PFM. In the continuation of this work we developed a low cost methodology of coating MWCNTs using a hybrid sol-gel / hydrothermal method. In this case the FE used as a proof of concept was BT. BT is a well-known lead free perovskite used in many microelectronic applications. However, synthesis by solid state reaction is typically performed around 1100 to 1300 ºC what jeopardizes the combination with MWCNTs. We also illustrate the ineffectiveness of conventional hydrothermal synthesis in this process due the formation of carbonates, namely BaCO3. The grown MWCNTs - BT structures are ferroelectric and exhibit an electromechanical response (15 pm/V). These results have broad implications since this strategy can also be extended to other compounds of materials with high crystallization temperatures. In addition the coverage of MWCNTs with FE can be optimized, in this case with non covalent functionalization of the tubes, namely with sodium dodecyl sulfate (SDS). MWCNTs were used as templates to grow, in this case single phase multiferroic BFO nanorods. This work shows that the use of nitric solvent results in severe damages of the MWCNTs layers that results in the early oxidation of the tubes during the annealing treatment. It was also observed that the use of nitric solvent results in the partial filling of MWCNTs with BFO due to the low surface tension (<119 mN/m) of the nitric solution. The opening of the caps and filling of the tubes occurs simultaneously during the refluxing step. Furthermore we verified that MWCNTs have a critical role in the fabrication of monophasic BFO; i.e. the oxidation of CNTs during the annealing process causes an oxygen deficient atmosphere that restrains the formation of Bi2O3 and monophasic BFO can be obtained. The morphology of the obtained BFO nano structures indicates that MWCNTs act as template to grow 1D structure of BFO. Magnetic measurements on these BFO nanostructures revealed a week ferromagnetic hysteresis loop with a coercive field of 956 Oe at 5 K. We also exploited the possible use of vertically-aligned multiwall carbon nanotubes (VA-MWCNTs) as bottom electrodes for microelectronics, for example for memory applications. As a proof of concept BiFeO3 (BFO) films were in-situ deposited on the surface of VA-MWCNTs by RF (Radio Frequency) magnetron sputtering. For in situ deposition temperature of 400 ºC and deposition time up to 2 h, BFO films cover the VA-MWCNTs and no damage occurs either in the film or MWCNTs. In spite of the macroscopic lossy polarization behaviour, the ferroelectric nature, domain structure and switching of these conformal BFO films was verified by PFM. A week ferromagnetic ordering loop was proved for BFO films on VA-MWCNTs having a coercive field of 700 Oe. Our systematic work is a significant step forward in the development of 3D memory cells; it clearly demonstrates that CNTs can be combined with FE oxides and can be used, for example, as the next 3D generation of FERAMs, not excluding however other different applications in microelectronics.

Seamless integration of heterogeneous networks in multicast environments

Nowadays, communication environments are already characterized by a myriad of competing and complementary technologies that aim to provide an ubiquitous connectivity service. Next Generation Networks need to hide this heterogeneity by providing a new abstraction level, while simultaneously be aware of the underlying technologies to deliver richer service experiences to the end-user. Moreover, the increasing interest for group-based multimedia services followed by their ever growing resource demands and network dynamics, has been boosting the research towards more scalable and exible network control approaches. The work developed in this Thesis enables such abstraction and exploits the prevailing heterogeneity in favor of a context-aware network management and adaptation. In this scope, we introduce a novel hierarchical control framework with self-management capabilities that enables the concept of Abstract Multiparty Trees (AMTs) to ease the control of multiparty content distribution throughout heterogeneous networks. A thorough evaluation of the proposed multiparty transport control framework was performed in the scope of this Thesis, assessing its bene ts in terms of network selection, delivery tree recon guration and resource savings. Moreover, we developed an analytical study to highlight the scalability of the AMT concept as well as its exibility in large scale networks and group sizes. To prove the feasibility and easy deployment characteristic of the proposed control framework, we implemented a proof-of-concept demonstrator that comprehends the main control procedures conceptually introduced. Its outcomes highlight a good performance of the multiparty content distribution tree control, including its local and global recon guration. In order to endow the AMT concept with the ability to guarantee the best service experience by the end-user, we integrate in the control framework two additional QoE enhancement approaches. The rst employs the concept of Network Coding to improve the robustness of the multiparty content delivery, aiming at mitigating the impact of possible packet losses in the end-user service perception. The second approach relies on a machine learning scheme to autonomously determine at each node the expected QoE towards a certain destination. This knowledge is then used by di erent QoE-aware network management schemes that, jointly, maximize the overall users' QoE. The performance and scalability of the control procedures developed, aided by the context and QoE-aware mechanisms, show the advantages of the AMT concept and the proposed hierarchical control strategy for the multiparty content distribution with enhanced service experience. Moreover we also prove the feasibility of the solution in a practical environment, and provide future research directions that bene t the evolved control framework and make it commercially feasible.

Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec

Building secure systems is difficult for many reasons. This paper deals with two of the main challenges: (i) the lack of security expertise in development teams, and (ii) the inadequacy of existing methodologies to support developers who are not security experts. The security standard ISO 14508 (Common Criteria) together with secure design techniques such as UMLsec can provide the security expertise, knowledge, and guidelines that are needed. However, security expertise and guidelines are not stated explicitly in the Common Criteria. They are rather phrased in security domain terminology and difficult to understand for developers. This means that some general security and secure design expertise are required to fully take advantage of the Common Criteria and UMLsec. In addition, there is the problem of tracing security requirements and objectives into solution design,which is needed for proof of requirements fulfilment. This paper describes a security requirements engineering methodology called SecReq. SecReq combines three techniques: the Common Criteria, the heuristic requirements editorHeRA, andUMLsec. SecReqmakes systematic use of the security engineering knowledge contained in the Common Criteria and UMLsec, as well as security-related heuristics in the HeRA tool. The integrated SecReq method supports early detection of security-related issues (HeRA), their systematic refinement guided by the Common Criteria, and the ability to trace security requirements into UML design models. A feedback loop helps reusing experiencewithin SecReq and turns the approach into an iterative process for the secure system life-cycle, also in the presence of system evolution.

Pain expressiveness and altruistic behavior

Predictions which invoke evolutionary mechanisms ar e hard to test. Agent-based modeling in artificial life offers a way to simulate behaviors and interac tions in specific physical or social environments o ver many generations. The outcomes have implications fo r understanding adaptive value of behaviors in context. Pain-related behavior in animals is communicated to other animals that might protect or help, or might exploit or predate. An agent-based model simulated the effects of displaying or not displaying pain (expresser/non-expresser strategies) when injured, and of helping, ignoring or exploiting another in pain (altruistic/non-altruistic/selfish strategies) . Agents modeled in MATLAB interacted at random while foraging (gaining energy); random injury inte rrupted foraging for a fixed time unless help from an altruistic agent, who paid an energy cost, speeded recovery. Environmental and social conditions also varied, and each model ran for 10,000 iterations. Findings were meaningful in that, in general, conti ngencies evident from experimental work with a variety of mammals, over a few interactions, were r eplicated in the agent-based model after selection pressure over many generations. More energy-demandi ng expression of pain reduced its frequency in successive generations, and increasing injury frequ ency resulted in fewer expressers and altruists. Allowing exploitation of injured agents decreased e xpression of pain to near zero, but altruists remained. Decreasing costs or increasing benefits o f helping hardly changed its frequency, while increasing interaction rate between injured agents and helpers diminished the benefits to both. Agent- based modeling allows simulation of complex behavio urs and environmental pressures over evolutionary time.

Occurrence of stem-pitting strains of Citrus tristeza virus in Croatia

Citrus is grown in Croatia (approximately 1,500 ha of citrus groves) on the Dalmatian Coast and Islands between 42 and 43°30'N. The major species, Citrus unshiu Marc. (Satsuma mandarin), is grafted on trifoliate rootstock. The presence of Citrus tristeza virus (CTV) in Satsumas in the Neretva Valley Region was previously reported (3). During the course of a biomolecular characterization of isolates from Croatia, 15 budsticks were collected from field- infected, enzyme-linked immunosorbent assay (ELISA)-positive sources during the autumn of 2003 near Kaštela, Split, Metković (Neretva Valley), and on the island of Vis. Isolates were propagated by graft transmission to Madam Vinous sweet orange (SwO) and maintained in an insect-proof greenhouse at 21 to 33° C.

Peroxide-based hybrid and prodrug antimalarials to deliver cysteine protease inhibitors into the parasitic food vacuole

Tese de doutoramento, Farmácia (Química Farmacêutica e Terapêutica), Universidade de Lisboa, Faculdade de Farmácia, 2014

Molecular determinants of the cellular internalization of crotamine-derived peptides

Tese de doutoramento, Ciências Biomédicas (Bioquímica Médica), Universidade de Lisboa, Faculdade de Medicina, 2014

Do princípio da boa fé nos contratos de seguro

O objetivo deste estudo foi analisar os seguintes tópicos: a possibilidade de interpretação literal do artigo 798 do Código Civil brasileiro, a aplicação das súmulas 61 e 105 do STF, o cabimento de indenização à família do suicida, os entendimentos da neurociência sobre possibilidades que podem interferir na ideação suicida, a visão e, finalmente, posicionamentos do Superior Tribunal de Justiça (STJ) e do Supremo Tribunal Federal do Brasil e quanto ao pagamento da indenização estabelecido no contrato de seguro de vida em caso de suicídio do contratante antes dos dois anos da assinatura do contrato. Buscou-se, também, comparar a doutrina e jurisprudência do Brasil e de Portugal. Na estrutura, iniciou-se por considerações sobre a interpretação jurídica e, em seguida, foram desenvolvidos os capítulos acerca de negócio jurídico, dos contratos, dos contratos de seguro de vida e da boa fé presente e necessária. Como o foco principal eram os contratos de seguro de vida e baseando-se na doutrina e na jurisprudência, de modo geral, mesmo a legislação dos dois países diferindo em pequenos aspectos, concluiu-se que: (1) o seguro é a cobertura de evento futuro e incerto que poderá gerar o dever de indenizar por parte do segurador; (2) a boa-fé - que é presumida - constitui elemento intrínseco do seguro, e é caracterizada pela lealdade nas informações prestadas pelo segurado ao garantidor do risco pactuado; (3) o legislador procurou evitar fraudes contra as seguradoras na hipótese de contratação de seguro de vida por pessoas que já tinham a idéia de suicídio quando firmaram o instrumento contratual; (4) uma coisa é a contratação causada pela premeditação ao suicídio, que pode excluir a indenização. Outra, diferente, é a premeditação para o próprio ato suicida;(5) é possível a interpretação entre os enunciados das Súmulas 105 do STF e 61 da Corte Superior na vigência do Código Civil de 2002; e (6) as regras relativas aos contratos de seguro devem ser interpretadas sempre com base nos princípios da boa fé e da lealdade contratual. Essa premissa é extremamente importante para a hipótese de indenização securitária decorrente de suicídio, pois dela extraise que a presunção de boa fé deverá também prevalecer sobre a exegese literal do art. 798 do Código Civil 2002. O período de 02 anos contido na norma não deve ser examinado isoladamente, mas em conformidade com as demais circunstâncias que envolveram sua elaboração, pois seu objetivo certamente não foi substituir a prova da premeditação do suicídio pelo mero transcurso de um lapso temporal. Há de se distinguir a premeditação que diz respeito ao ato do suicídio daquela que se refere ao ato de contratar o seguro com afinalidade única de favorecer o beneficiário que receberá o capital segurado. Somente a última hipótese permite a exclusão da cobertura contratada, pois configura a má-fé contratual. Em Portugal, salvo em raras exceções, apenas o critério temporal tem sido considerado. Continuando com o objetivo deste estudo, pretendeu-se refletir sobre as pesquisas neurocientíficas acerca do suicídio e, nelas, constam aspectos efetivamente que merecem ser considerados pela ciência jurídica. Suicídio é tema complexo e digno de reflexões por parte de profissionais de várias áreas de atuação. Suas causas ainda são motivo de curiosidade e de investigação. A idéia de uma associação entre disfunção serotoninérgica e suicídio é antiga e bastante consistente, surgindo ainda nos anos 1970 com as primeiras pesquisas. Defende-se que a boa fé necessária nos contratos de seguro, especialmente nos de seguro de vida, prevalece mesmo nos casos em que o contratante se esquece ou deixa de informar algum detalhe que, mais tarde, possa vir a comprometer o recebimento do prêmio por seus beneficiários. Há fortes evidências de que determinantes neurobiológicos, independentes das doenças psiquiátricas, implicam em comportamento suicida, estudados especialmente nos últimos 20 anos. Assim, noções básicas sobre a neurobiologia do suicídio podem finalmente produzir ferramentas clínicas para tratar comportamento suicida e evitar mortes, além de poder nortear seguradoras na análise de propostas de seguros de vida. Textos legais não têm sido elaborados com fundamento na sedimentação existente nos repositórios da psicopatologia forense, psiquiatria, psicanálise e sociologia sobre o suicídio, disponíveis há décadas e de forma reiteradamente confirmados. Na mesma linha, os textos deixaram de lado incontáveis pesquisas sobre o tema, notadamente a respeito de sua etiologia, causas primárias, efeitos, e correlação com outras ciências, como neurociência, psiquiatria e psicanálise. Não buscaram informações sobre o comportamento singular do suicida, nem reconheceram o estado sui generis de desequilíbrio mental em que o ato final foi praticado. Sabe-se que os transtornos psiquiátricos são fundamentais para o entendimento do comportamento suicida, mas também já está comprovada a realidade de problemas comuns, como distúrbios do sono, e sono insuficiente é um problema da sociedade moderna. Dentre os neurotransmissores, a serotonina é considerada como a maior candidata a um vínculo etiológico entre distúrbios do sono e suicídio, pois suas alterações promovem estados de vigília e de início do sono. Como somente 14% de pessoas que tentaram suicídio tiveram pensamentos suicidaprévios à tentativa de suicídio de forma potencialmente impulsiva ou reativa, a insônia foi o fator importante visualizado antes de tentativas de suicídio graves e letais em relação a planosespecíficos de suicídio. Nas pesquisas neurocientíficas revisadas, constatou-se que: (1) a frequência de pesadelos está diretamente associada a maior risco de suicídios na população em geral; (2) sono de má qualidade está associado a suicídios na maturidade e velhice na população em geral; (3) sono curto (menos de cinco horas) está associado a maiores probabilidades de ideação suicida e tentativa de suicídio; (4) pesadelos frequentes são preditores de tentativas de suicídio; e (5) a presença de qualquer problema de sono está associada com maior risco de suicídio na população em geral. A associação entre redução da resposta de hormônio de crescimento e comportamento suicida nos pacientes com depressão só é encontrada quando há simultaneamente uma alteração serotoninérgica. Geneticamente analisados, determinantes neurobiológicos são independentes de transtorno psiquiátrico com o qual estão associados, pois muitos suicídios ocorrem de maneira inesperada. Além disso, quando se considera a depressão como único fator, percebe-se que muitas pessoas depressivas nunca se tornam suicidas e muitos suicídios são cometidos por pessoas consideradas normais.Quanto à colesterolemia, na maior categoria de concentração de colesterol total no soro, o risco relativo ajustado de suicídio violento é mais do que o dobro em comparação com a categoria mais baixa. Nas avaliações eletroencefalográficas em adolescentes suicidas pode-se dizer existir uma hipótese de ativação reduzida esquerda posterior, que não está relacionada à depressão, mas ao comportamento agressivo ou suicida. Essas abordagens da Neurociência servem, portanto, para indicar que um contratante de seguro de vida, mesmo saudável, pode estar vivenciando problemas da vida contemporânea e, mesmo sem jamais ter tido qualquer pensamento ou ideação suicida, vir a cometer esse ato extremo por alterações independentes de sua vontade. Entende-se que, neste foco, a ciência jurídica deve refletir para fazer inserir de maneira obrigatória nos pré-requisitos da apólice, informações sobre exames molecu-lares e sobre algum eventual distúrbio do sono, já que existem achados evidenciados sobre alguns fenômenos não antes considerados. Como abordado neste estudo, já existe uma seguradora portuguesa que solicitam exames moleculares, mas nenhuma no Brasil. Assim, isto indica já ser um início de mudança.