Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

O livro no jardim-de-infância : um olhar sobre a obra de Luísa Ducla Soares

A literatura para a infância tem sido objecto de discussão, especialmente notocante ao seu estatuto no universo literário, sobretudo a partir dos anos 70 doséculo XX, vindo, assim, a desenvolver-se e a assumir uma crescente importância. Decorrente da evolução do conceito de criança, a literatura para ainfância foi assumindo um lugar proeminente na sua formação,nomeadamente, em idade pré-escolar. A seguir à família, o educador de infância afigura-se como outro dos principais mediadores no encontro dacriança com o livro, tendo, desde aí, uma função influente face à promoção dogosto pela leitura. No entanto, este profissional sente a necessidade de, desdea sua formação inicial, sever dotado de conhecimentos básicos que lhe permitam práticas mais ajustadas e que salvaguardem as necessidades einteresses de leitura das crianças. A presente dissertação tem como principal finalidade aferir a importânciaatribuída à literatura para a infância, com especial destaque na obra de Luísa Ducla Soares, em contexto de jardim-de-infância. Apesar do lugar incontestável desta autora e da sua obra no cânone daliteratura portuguesa para a infância, a crítica literária de que tem sido alvo é ainda exígua. Por essa razão também, procurámos, através de uma análisedas especificidades da sua escrita, da diversidade das temáticas inerentes àssuas histórias e da qualidade estética e literária das suas publicações, reflectirsobre as potencialidades das obras que nos apresenta a referida escritora, pelas quais tem merecido vários prémios e nomeações. ABSTRACT: Literature for early years has been subject of quarrel, especially regarding to itsstatute in the literature universe, mostly since the 70’s of the 20th century, andconsequently came to grow and to assume an increasing importance. As aresult of the evolution of the child concept, literature for early years wasassuming a prominent position in children education, specifically, in preschoolage. After family, the kindergarten teacher figures hisself/herself as another of themain intermediaries in introducingchild to books, having, since then, an influential role endorsing reading’s taste on children. However, this practitionerneeds, since his/her formative years, to be endowed with basic knowledge thatallows him/her more adjusted practices that look after reading’s necessities and interests of children’s interests. The present dissertation’s main purpose is to survey which importance hasliterature for infants, with a special focus on the work of Luísa Ducla Soares, inearly childhood education. Even though her books are unquestionable at ruling literature for infants inPortugal, there hasn’t been that much literary analysis about it. Therefore, welooked, through the particulars aspects of her writing, the diversity of themesthat are inherent to her stories and the artistic and literary value of her publications, to proof the quality of the work presented by the mentioned writer,on behalf of which the author has justified several awards and nominations.

O desenvolvimento do raciocínio dedutivo ao nível do ensino secundário : recurso a geometrias planas

Este trabalho, no âmbito da Didáctica da Matemática, foca-se no estudo de abordagens alternativas de ensino e aprendizagem da Geometria Euclidiana, no Ensino Secundário, no sentido de promover níveis estruturados do pensamento matemático. Em particular, as potencialidades do recurso a outros modelos de Geometria Plana (e.g. Geometria Hiperbólica, Geometria do Motorista de Táxi) em relação a este problema serão investigadas. A opção pelo Ensino Secundário deve-se ao facto de se tratar de um nível de ensino onde se regista uma elevada taxa de insucesso escolar (especialmente no 10º ano) e onde é notório o abismo existente, entre o ensino Secundário e Universitário, no âmbito do raciocínio lógico - dedutivo. O trabalho a desenvolver pretende aprofundar o estudo de questões ligadas à natureza do conhecimento envolvido que estarão na base de decisões, tais como: Quais os processos que vão ser ensinados? Que processos queremos que os alunos dominem? E, por outro lado, ter em conta que se pretende desenvolver capacidades de ordem superior, significando que o ensino da Matemática deve dirigir-se para níveis elevados de pensamento, tais como: resolução de problemas; comunicar matematicamente; raciocínio e demonstração. No currículo de matemática para o Ensino Básico e Secundário tem-se negligenciado a demonstração matemática, contribuindo para que exista uma desconformidade entre os graus de ensino, secundário e universitário. Muitas vezes as abordagens de ensino centram-se na verificação de resultados e desvalorizam a exploração e explicação (Villiers, 1998). Actualmente, assiste-se a uma tendência para retomar o raciocínio lógico - dedutivo. O principal objectivo desta investigação é analisar ambientes de aprendizagem em que os alunos sejam solicitados a resolver problemas de prova em contextos diversificados e, de uma forma mais geral promover o desenvolvimento do raciocínio dedutivo e uma visão mais alargada do conhecimento matemático. Em particular, a abordagem de problemas de prova num contexto de geometria não Euclidiana, com recurso a artefactos e a software de geometria dinâmica, será investigada.

Percursos do mito de Helena: da literatura grega ao drama de Hélia Correia, O rancor

O mito de Helena de Tróia, alicerçado em referências dispersas em vários testemunhos clássicos, continuou a exercer um poderoso fascínio criativo ao longo dos tempos. Em O Rancor, Hélia Correia retextualiza o mito da rainha de Esparta, baseando-se nas múltiplas imagens que dela a tradição clássica veiculou, mas apresentando-a a uma luz profundamente humana. Neste trabalho, partindo dos elementos constantes do retrato de Helena de Tróia nos diferentes autores clássicos, analisa-se o modo como o percurso da personagem é revisitado no drama de Hélia Correia.

Transferência de tecnologia: as práticas actuais e uma metodologia para análise subjectiva das instituições

O domínio científico da investigação é a Gestão da Inovação e a Gestão da Transferência de Conhecimento e de Tecnologia, tendo como tema central as relações entre empresas e agentes de inovação que fazem da Transferência de Tecnologia uma das suas actividades, pelo que se tenta caracterizar e validar uma Metodologia de análise subjectiva adequada ao estudo daqueles agentes, enquanto disseminadores de conhecimento, e as formas de maximizar a sua actuação quando tenta atender às necessidades das empresas, tais como a transferência de conhecimento e de tecnologias, ao mesmo tempo que valoriza o seu conhecimento. O trabalho proposto tem como objectivo principal contribuir para o fomento de estudos que permitam classificar as acções dos Agentes de Inovação na sua vertente de disseminador do conhecimento, requerendo assim entender as relações subjacentes aos processos de criação, transferência e difusão de conhecimento. Este contributo passa pelo estudo das formas de aplicação de mecanismos específicos na gestão das relações daqueles agentes, quando estes actuam em parceria com as empresas. Tem ainda em vista contribuir com este estudo para o desenvolvimento de ferramentas que auxiliem as políticas governamentais no que diz respeito às questões de gestão da inovação e da transferência de conhecimento e de tecnologia. Os seguintes objectivos específicos são propostos: - Evidenciar as práticas actuais que promovem a interacção nas diversas fases do processo assim como a existência de práticas transversais àqueles; - Validar uma Metodologia que, utilizando os conhecimentos anteriores, possibilite a identificação de “bottlenecks” no processo e aponte um conceito de solução para a eliminação destes bottlenecks, apontando medidas para a melhoria dos processos e recursos existentes para valorização do conhecimento gerado pela I&D e atender às necessidades das empresas, sem causar prejuízo à própria investigação e outras actividades da Instituição de I&D. Propomos uma Metodologia de análise que, além de identificar facilitadores críticos (no sentido de serem os mais importantes) para aquele cenário no que toca ao relacionamento com Empresas, também pode descrever um conceito de solução baseado na reengenharia de processos e procedimentos e introdução e utilização de novos conceitos, como os de Gestão de Informação, para aquela Instituição. Para isso procuraremos validar, baseado no conhecimento disponível e aplicação em casos reais, um conjunto de regras de boas práticas que, agrupadas nos facilitadores actuais de TT, reflictam o estado da arte na Gestão da Transferência de Tecnologia e ajudem a caracterizar as Instituições de I&D no que toca ao relacionamento com a envolvente Empresarial.

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.