Browsing by Issue Date, starting with "2025-02-06"
Now showing 1 - 8 of 8
Results Per Page
Sort Options
- Além da proteção: desenho e exploração visual de armaduras ficcionaisPublication . Completo, Nuno Daniel Leite; Costa, Henrique Antunes Prata Dias daThis project aims to draw concept art of fictional armour whose purpose would be to terrorise the opponent, referencing the style of the two authors McCarthy and Giger. The difficulty of the exercise in question is to relate the two styles of different authors and apply the visual result in a concept art study, which involves a certain level of credibility and grounding in real bases. In order to solve this problem, the project includes prior research into the construction of armour, concrete examples of implementing the intimidation factor in armour and, finally, it talks about the link that unifies not only the two authors, Giger and McCarthy, but what can unify the aesthetics of fear in armour, specifically in the theme of the obscure and the grotesque.
- Imagem dentro da imagem: entre o humor furtado, apropriação e mise-en-abymePublication . Firmino, Sara Elisabete dos Santos Vaz Velho; Prieto, Margarida PenetraIn this research, the main goal is to search for the practice of appropriation in Contemporary Painting as a zenith, and how cases of appropriation have been reviewed, not only throughout the History of Art but also in the case of the present artistic project. Among the vast and fertile territory that is that of Painting, appropriation appears from the repetition of the painted image to other methodologies. André Guide states: "Everything that needs to be said has already been said. But, since no one listened, everything has to be said again." There is something profoundly beautiful in this act of recovering the knowledge of what has already been done, always with a new look, and it is here that the need arises to make the images emerge non nova sed nove and this happens through a radical recreation. This dissertation is divided into two strands: theoretical and practical. In the first strand, the theoretical, the research begins with a series of strategic questions of appropriation of images and cases and case studies where situations of humour and mise-en-abyme are pointed out, duly related to the paintings made for this research. It continues with the presentation and documentation of the artistic work, with a description of the method and processes used. Finally, other examples are presented where appropriation strategies continue to be used in contemporary times, where: "(...) nothing is created new, originality and creativity are just clever mixtures."
- Safe and resource-aware verification for programming Cyber-Physical SystemsPublication . Mão De Ferro, Carlos; Martins, Francisco Cipriano da Cunha; Costa, António Casimiro Ferreira daCyber-physical systems (CPS) integrate computation with physical processes and are expected to influence nearly 30 billion devices globally by 2030. Developing software for these systems presents unique challenges, especially in critical and resource-constrained scenarios. A predominant issue is the integration of multiple stateful systems, where the incorrect sequence of function calls compromises the overall system functionality. Formal verification increases safety, but its application is often confined to experts. This thesis presents Shelley, a novel model checking framework that streamlines the verification of function call order when integrating stateful systems. Shelley uniquely allows developers to specify temporal requirements closely aligned with the source code and automates the verification process. The framework’s ability to generate behavior diagrams and show intuitive counterexamples further assists developers in analyzing the program behavior, ensuring that the software is safe and adheres to its specified requirements. An evaluation is provided, which includes rigorous case studies such as NASA’s PHALANX experiment and an industrial setting, demonstrating the framework’s broad applicability and effectiveness in identifying invalid behaviors. Our contributions through the Shelley framework include the formalization of the process of extracting models from MicroPython code, as well as a new specification language tailored for verifying call order. In addition, we establish the decidability of checking system usage via automata theory and we introduce an automated process for checking requirements that utilizes temporal logic over finite traces. Together, these advancements simplify the incorporation of formal verification into high-level programming contexts, ensuring that more programmers can deliver safer software.
- Fostering therapeutic innovation: the role of PRIority MEdicines (PRIME) scheme, breakthrough therapy and sakigake designation in innovative drug developmentPublication . Cardoso, Ana Filipa Pereira; Sepodes, Bruno; Torre, CarlaA crescente complexidade da inovação farmacêutica e a urgência em dar resposta a desafios de saúde pública conduziram à implementação de vias regulamentares expeditas destinadas a acelerar a aprovação de medicamentos essenciais. Este estudo centra-se particularmente no PRIiority Medicines (PRIME) scheme da European Medicines Agency (EMA), na Breakthought Therapy Designation (BTD) da Food and Drug Administration (FDA) e no Sakigake Designation System da Pharmaceuticals and Medical Devices Agency (PMDA). O estudo avalia cada via regulamentar acelerada em termos das suas caraterísticas, objetivos, critérios de elegibilidade e resultados. Além disso, é feita uma comparação entre estes medicamentos aprovados por via rápida e os aprovados através de outros mecanismos regulamentares em cada região, excluindo medicamentos genéricos, para determinar se atingem com êxito os objetivos pretendidos. Adicionalmente, este estudo procurou comparar o desempenho destas vias rápidas em diferentes regiões. Foi utilizada uma abordagem de métodos mistos, combinando a análise de dados quantitativos das taxas de aprovação, áreas terapêuticas e tipos de medicamentos (tais como medicamentos biológicos e medicamentos órfãos) recolhidos do sítio Web e dos relatórios de cada agência reguladora, com conhecimentos qualitativos retirados de revisões da literatura e estudos de caso. Considerando as datas de implementação dos programas em estudo, os horizontes temporais diferem – de 2016 a 2023 para o PRIME Scheme, de 2015 a 2023 para o Breakthrough Therapy Designation e de 2014 a 2023 para o Sakigake Designation System. A comparação entre estes programas é ajustada a um período sobreposto de 2016 a 2023. Os resultados indicam que estes quadros regulamentares expeditos promovem a inovação, sendo a oncologia a área terapêutica dominante em todas as regiões, e os medicamentos biológicos e órfãos constituem uma proporção significativa das aprovações. A análise revela que estas vias expeditas reduzem com êxito os prazos de avaliação. A importância desta investigação reside no seu contributo para o debate em curso sobre o equilíbrio entre a necessidade de inovação rápida e a supervisão regulamentar.
- Do desenho à impressão tridimensional: criação de veículos modularesPublication . Borralho, Miguel Alexandre Ferreira; Costa, Henrique Antunes Prata Dias daResin printing is a technique getting popular by the second in hobbies and professional activities, as a cheaper alternative to create tridimensional projects. This project presents a roadmap from drawing to the act of 3D printing in resin whilst a modular system of vehicles in 1:32 scale is being developed. The project is structured in two parts, the first, which is solely theory, will explore the origins of the most pertinent themes to the project whilst the second is a mix of theory and a step-by-step retelling of what happened during the creation of this modular system. The first part is divided in four chapters, which will explore the origins of miniature cars and collectible objects, automotive concept art and the first concept car, the automotive design of the 80s and 90s and the nostalgia for these eras, as well as, the origins and the importance of modular objects and toys. The second part describes the whole process of creating this modular system and the base car, from the first drawings and ideas, to the tridimensional drawings and the resin printing tests, finishing with other car variants and extra modular pieces.
- Electric vehicle transition : a Renault case studyPublication . Esteves, João António Zarco Novais; Belchior, Ricardo FigueiredoThis dissertation explores how a firm within the European automotive industry adapts to the ongoing transition towards electric vehicles (EVs). Focusing on Renault’s strategic and organisational responses, key areas examined include collaboration within and outside the sector, market expectations, R&D policies, and brand repositioning to address new competitors and consumer needs. Utilising a qualitative methodology, this dissertation uses a single-case study approach, structurally analysing Renault’s annual management reports between 2008 and 2023. The analysis is presented according to Kim et al. (2022), dynamic capabilities framework, encompassing collaborative, entrepreneurial, opportunity sensing and strategic flexibility dimensions. Findings reveal Renault’s shift from cost-oriented partnerships to technology collaborations, such as joint ventures related to battery development and car connectivity. Market expectations evolved, influenced by economic crises and regulatory changes, initially, driving demand for affordable vehicles in smaller segments. Renault’s entrepreneurial orientation is seen in 13 concept cars developed during the analysed period, initially focusing on sustainability before diversifying into new segments. Strategically, Renault refined its EV approach, pioneering its first EV in 2012 but only integrating hybrid and full electric technologies broadly by 2020. Hybrid models addressed sustainability and consumer concerns over EV reliability. In the final years of the study (2019 onwards), Renault shifted its focus to more premium products in the Compact and SUV segments, underlining its untapped potential, and further signalling Renault's repositioning in the current market, facing the threat of Asian manufacturers and emerging players in the industry. Concluding, Renault’s electric mobility strategy reflects gradual, technological, market, and product shifts, balancing innovation, competition, and consumer demands. The study supplements existing literature on incumbent innovation, while also contributing with valuable strategic insights from one of Europe’s biggest vehicle manufacturers.
- Representações de mulheres operárias de Lisboa na I República (1910 – 1926)Publication . Sousa, Maria Vitória dos Santos Freire; Matos, Sérgio Campos; Lousada, Maria AlexandreAs fontes produzidas pelas próprias operárias de Lisboa no contexto da primeira República são escassas. Estas mulheres deixaram poucos registos pessoais de sua existência: o que existe sobre elas são representações produzidas por outros. Perceber como estas pessoas representavam as trabalhadoras da indústria é o propósito deste trabalho. Esta dissertação busca analisar a que discursos e violências a vida das operárias era permeada, quais eram as perceções acerca da vida destas mulheres e como isto poderia interferir no seu cotidiano doméstico e laboral. A pesquisa concluiu que as representações, além de simbolizarem a forma como alguns agentes daquela sociedade concebiam as mulheres operárias, também eram responsáveis pela manutenção das opressões que sofriam e do julgamento negativo acerca delas.
- Emoções e autoeficácia docentePublication . De Almeida, Camila Marta; Freire, SofiaAs emoções são um campo importante de investigação em educação, e algumas pesquisas sugerem uma relação significativa entre as emoções experienciadas pelos professores e a autoeficácia docente. De acordo com o modelo de Bandura, as emoções constituem uma fonte de informação para as crenças de autoeficácia. No entanto, estudos têm mostrado que a autoeficácia docente é tanto antecedente como consequente das emoções. Para além disso, esses estudos mostram que diferentes emoções experienciadas pelos professores têm relações distintas com a autoeficácia docente, e que variáveis individuais, como sexo e experiência profissional, e variáveis contextuais, como carga horária de trabalho semanal e tamanho das turmas, também estão associadas a autoeficácia docente. Tendo em conta estes resultados e considerando que as emoções influenciam a percepção, cognição e comportamento, e que a autoeficácia docente é crucial para o processo de ensino-aprendizagem, é fundamental examinar a relação entre cada emoção experienciada no contexto educativo e a autoeficácia docente. O presente estudo teve como objetivos principais, examinar a relação entre diferentes emoções discretas e diferentes dimensões da autoeficácia docente; examinar a relação entre a emoção raiva e diferentes dimensões da autoeficácia docente; e explorar a relação entre variáveis individuais (tais como, variáveis sociodemográficas e relacionadas com a experiência de ensino), da atividade docente (tais como, percepção do nível de preparação para a docência), bem como variáveis do contexto de atuação profissional (tais como, dimensão da turma e do ambientes da escola) e a autoeficácia docente. Para alcançar esses objetivos, foram desenvolvidos três estudos: um estudo de adaptação cultural, outro de revisão sistemática da literatura e um estudo empírico com 1263 professores do estado do Paraná, Brasil, dos quais 70% do sexo feminino, lecionando em diferentes anos de escolaridade e áreas científicas. Os resultados obtidos indicam que emoções discretas experimentadas pelo professor em relação aos alunos, ensino e, especificamente, colegas, pais e sistema educacional, como no caso da emoção raiva, têm efeitos distintos nas diversas dimensões da autoeficácia docente. Esses resultados fornecem suporte ao modelo multidimensional da autoeficácia docente, que sugere que os professores podem ter diferentes crenças de autoeficácia dependendo da tarefa ou função desempenhada. Além disso, certas variáveis individuais, da atividade docente e do contexto profissional estão também associadas a autoeficácia docente, tal como a infraestrutura escolar para o desenvolvimento das atividades. Embora diversas pesquisas tenham explorado a relação entre emoções experienciadas pelo professor e três dimensões da autoeficácia docente, o presente estudo inovou ao investigar seis dimensões da autoeficácia docente, particularmente no contexto da educação brasileira. Além disso, esses resultados têm implicações significativas para a prática escolar, especialmente no que diz respeito ao papel dos gestores na criação de condições que promovam o desenvolvimento profissional dos professores, focando em aspectos específicos da atividade docente, e na construção de relacionamentos que incentivem a experiência de emoções de valência positiva. Por fim, é importante ressaltar que esta tese contribuiu para a validação, na língua portuguesa, de dois questionários: o Teacher Emotion Questionnaire e a Teacher Anger Scale, que se mostraram instrumentos confiáveis, com boas qualidades psicométricas.