977 resultados para Logical consequence
Resumo:
A presente investigação procura inscrever-se no domínio da epistemologia dos estudos literários, fazendo apelo a uma abordagem interdisciplinar que aponta para a necessidade de um comparatismo literário africano e, ao mesmo tempo, mundial. O conceito-chave com que operamos neste trabalho é o de disciplinarização, tendo em conta o seu potencial explicativo para entender o processo que nos irá conduzir à integração dos Estudos Literários Africanos no sistema disciplinar actual. Por disciplinarização entendemos o processo de definição que consiste na demarcação de uma determinada disciplina, por força de dinâmicas endógenas e exógenas, durante o qual se transita de uma fase pré-disciplinar para outra disciplinar, admitindo-se a existência de uma compatibilidade entre os fundamentos epistemológicos e metodológicos da produção e transmissão de conhecimentos e, por outro lado, a consagração da institucionalidade da disciplina como objecto de estudo. A profissionalização disciplinar será uma consequência desse processo e da formação de comunidades de agentes epistémicos que, conhecendo profundamente a história e os universos de referência da disciplina, sejam capazes de aplicar as metodologias mais adequadas no domínio da investigação e do ensino. Para compreender os fundamentos epistemológicos dos Estudos Literários Africanos, importa refletir sobre o momento a partir do qual se constituem como campo disciplinar na história da produção do conhecimento sobre o continente africano. Por outro lado, com o presente trabalho pretende-se avaliar o estatuto disciplinar da Literatura Angolana, num exercício que procura justificar as determinações da epistemologia disciplinar, operacionalizando os sentidos em que se pode analisar o conceito de disciplina. Deste modo, a atribuição do referido estatuto pressupõe o domínio de um instrumental teórico que implica a descrição dos tipos de conhecimento veiculados através dos processos de transmissão que caracterizam as disciplinas escolares e as disciplinas académicas.
Resumo:
O presente estudo tem como objectivo desenvolver a História de vida de um conjunto de deportados enviados para Timor na sequência das lutas sociais vividas nos finais da 1ª República e das revoltas reviralhistas contra a imposição da ditadura militar. Data do início do século XVI a chegada dos primeiros missionários portugueses a Timor mas durante séculos a presença portuguesa foi muito ténue, restringindo-se somente a missionários, militares, funcionários da administração e degredados, naturais não só da Metrópole, mas também das restantes Colónias. Dado o contexto, a chegada de um elevado número de homens a Timor teve com certeza um enorme impacto. Através da reconstrução da História de vida de cada um, pretendemos compreender quais foram as consequências disto no que respeita os contextos sociais e traços culturais locais.
Resumo:
This Masters Thesis aims to be used in class for teaching purposes. The primary objective of the case is to understand the way critical anti-takeover measures can be used in a hostile takeover environment. The case portrays not only all defensive tools used by PT against Sonaecom (conditioned by the Portuguese Securities Code) but also all major interactions with relevant stakeholders. Communication is positioned as a central tool to stakeholders’ interaction. As a consequence of that, students are supposed to comprehend how PT used this instrument to implement its defensive strategy. This Masters Thesis was written essentially from PT’s perspective but it also includes all available Sonacom’s public statements and data. It joins several different points of view (from PT’s CEO and top management to PT’s employees and labor unions). Therefore, it is not supposed to mach exactly to one’s perspective of Sonecom’s takeover attempt but instead to be an aggregate view of the case. The mains idea is to promote debate in order to create an interactive class environment among session’s attendants. Main areas developed in this Thesis are Mergers and Acquisitions, Corporate Communication and Corporate Governance. The case's recommended questions are in line with these areas. Suggested answers for these questions are balanced with some academic documentation that can be complemented with some in-class notes according to the session's objectives.
Resumo:
The problem to be discussed results from the relationship established between the insurer and insured by the conclusion of an insurance contract, namely an optional liability insurance contract, to cover the risks taken by the insured resulting from the occurrence of a claim, such as those arising from the emergence of the liability and consequent obligation to compensate damages caused to a third party. This thesis concerns thus the debate between those who consider that, in the optional insurance, the third party may require compliance with the provision to both the insured and the insurer (in the case of voluntary joinder, pursuant to Art. 27 CCP, which corresponds Art. 32 of the New Code of Civil Procedure, Law n. 41/2013 of 26 June, which entered into force on 1 September, hereinafter New Code) - insurance contract on behalf of a third party conception - in the same way that the insured defendant can bring the insurer to intervene as co-defendant in the main process, pursuant al. a) of art. 325 of the CCP (corresponding to art. 316 of the New Code - main intervention caused), and those who argue that the insurer may only intervene in the action as an ancillary party, to assist the defendant, lacking interest, therefore, in necessary or volunteer joinder, with the consequence that the insurer cannot be sued as a main party - only ancillary intervention is justifiable (cf. art. 330 CPC, which corresponds to art. 321 of the New Code).
How do global born companies ignite their internationalization and survive in international markets?
Resumo:
Over the last decades, the born global firms or the international new ventures (“INVs”) have assumed a growing role in international business, including in Portugal. The rise of this new type of multinational has challenged several theories concerning the development of multinational companies and the origin of companies’ competitive advantage. This qualitative, case-based research explores the most relevant traits shown by some Portuguese born-global firms. More concretely, the aim of this work is to compare some Portuguese international new ventures in order to understand the role of leadership, culture and strategy in their rapid internationalization and the source of their lasting competitive advantage. It was noticed that these firms’ lasting competitive advantage results from a singular combination of resources and dynamic capabilities that evolves over time. Moreover, it was found that these firms’ foreign subsidiaries and local networks may be essential to enhance the firms competitive advantage as it provides each firm a distinctive source of knowledge and capabilities. As a consequence, the effective assimilation of such resources and capabilities in these firms’ may become crucial for their lasting success. In addition, the leadership, strategy and culture in these firms seem to be quite aligned and form a quite virtuous cycle that contributed to the firms rapid internationalization and for the way the firms developed their own resources and dynamic capabilities and adapted to external environment.
Resumo:
Urban mobility is one of the main challenges facing urban areas due to the growing population and to traffic congestion, resulting in environmental pressures. The pathway to urban sustainable mobility involves strengthening of intermodal mobility. The integrated use of different transport modes is getting more and more important and intermodality has been mentioned as a way for public transport compete with private cars. The aim of the current dissertation is to define a set of strategies to improve urban mobility in Lisbon and by consequence reduce the environmental impacts of transports. In order to do that several intermodal practices over Europe were analysed and the transport systems of Brussels and Lisbon were studied and compared, giving special attention to intermodal systems. In the case study was gathered data from both cities in the field, by using and observing the different transport modes, and two surveys were done to the cities users. As concluded by the study, Brussels and Lisbon present significant differences. In Brussels the measures to promote intermodality are evident, while in Lisbon a lot still needs to be done. It also made clear the necessity for improvements in Lisbon’s public transports to a more intermodal passenger transport system, through integration of different transport modes and better information and ticketing system. Some of the points requiring developments are: interchanges’ waiting areas; integration of bicycle in public transport; information about correspondences with other transport modes; real-time information to passengers pre-trip and on-trip, especially in buses and trams. After the identification of the best practices in Brussels and the weaknesses in Lisbon the possibility of applying some of the practices in Brussels to Lisbon was evaluated. Brussels demonstrated to be a good example of intermodality and for that reason some of the recommendations to improve intermodal mobility in Lisbon can follow the practices in place in Brussels.
Resumo:
RESUMO: Arl13b é uma importante proteína ciliar, presente em cílios primários e cílios móveis. Ratinhos mutantes para Arl13b têm comprimento dos cílios reduzido e defeitos nos B-túbulos dos cílios. Como consequência destes fenótipos, deficiências na Arl13b originam, em modelos animais, várias doenças congénitas, incluindo problemas no estabelecimento do eixo esquerda-direita, malformações cerebrais e deformações corporais. Nos seres humanos, deficiências na Arl13b levam a uma doença crónica congénita chamada Síndrome de Joubert. Por outro lado, a sobreexpressão de Arl13b origina cílios mais longos, no entanto existe uma ausência da caracterização dos fenótipos celulares e durante o desenvolvimento embrionário. Neste trabalho, quisemos explorar o efeito da sobre-expressão de Arl13b em embriões de peixezebra. Descobrimos que, ao nível ciliar, a sobre-expressão de Arl13b nas células aumenta o comprimento ciliar em cílios primários e móveis, no entanto, a esses cílios falta adequada acetilação da alfa-tubulina no citoesqueleto feito por microtúbulos. Os nossos resultados mostraram que esse efeito é específico de Arl13b sobre-expressão e quando se manipularam as enzimas responsáveis pela acetilação (Mec17) e pela de-acetilação (HDAC6) encontrámos uma sinergia potencial com ambas. Testámos ainda, que o aumento no comprimento ciliar não estava causalmente relacionado com a falta de acetilação, ou seja, os cílios com menos acetilação não eram necessariamente os mais longos. Também mostrámos que a sobre-expressão de Arl13b é capaz de restaurar o comprimento dos cílios em mutantes com cílios curtos e como isso pode ser explorado para um futuro potencial papel terapêutico para Arl13b. Em seguida, foi avaliado o impacto do aumento da quantidade de Arl13b no desenvolvimento embrionário do peixe-zebra. Observou-se que a sobre-expressão de Arl13b apresentava fenótipos muito fracos, quando comparados com a perda de função dos mutantes de Arl13b. Focados no inesperado fenótipo leve no estabelecimento do eixo esquerda-direita abordámos a questão através do estabelecimento de uma colaboração com matemáticos, descobrimos que os cílios mais longos que potencialmente têm a capacidade de movimentar mais fluido são atenuados por amplitudes de batimento menores, e, como resultado, estes longos cílios não prejudicam o movimento do fluido e consequentemente não afetam o estabelecimento dos padrões de esquerda-direita. Sugerimos assim que a Arl13b é um regulador chave, do comprimento ciliar. Descobrimos uma nova interação com as enzimas de acetilação/de-acetilação e levantamos novas hipóteses quanto aos mecanismos moleculares da função da Arl13b. Propomos um novo modelo para o mecanismo molecular da Arl13b na regulação do comprimento dos cílios onde podemos integrar os nossos resultados com os relatados na literatura. Este trabalho adiciona mais conhecimento para o mecanismo de ação da Arl13b e, portanto, fornece uma importante contribuição para o campo da investigação em cílios.---------------------------------------------------------------------------------------------------------------------- ABSTRACT: Arl13b is an important ciliary protein, present in primary and motile cilia. arl13b-/- mouse mutants have reduced cilia length and cilia B-tubule defects. As a consequence of these phenotypes, Arl13b loss of function animal models suffer from several congenital disorders including left-right problems, brain malformations and body deformations. In humans Arl13b depletion leads to a congenital chronic disease called Joubert Syndrome. On the other hand, overexpressing Arl13b leads to longer cilia but the characterization of the cellular and developmental phenotypes was missing. In this work we explore the effect of Arl13b overexpression in zebrafish embryos. We found that, at the ciliary level, Arl13b overexpression from 1 cell stage produces longer primary and motile cilia, but these cilia lack proper alpha tubulin acetylation of their microtubule cytoskeleton. Our results showed that this effect is specific from Arl13b overexpression and when we manipulated the enzymes responsible for acetylation, Mec17, and de-acetylation, HDAC6, we found a potential synergy of both mec17 knockdown and HDAC6 activity with Arl13b overexpression. We tested that the ciliary increase in length was not causally related to the lack of acetylation, meaning the more de-acetylated cilia were not necessarily the longer ones. We also showed that Arl13b overexpression is able to restore cilia length in short cilia mutants and how that may be explored to a potential future therapeutic role for Arl13b. Next, we evaluated the impact of increasing the amount of Arl13b in zebrafish embryonic development. We observed that Arl13b overexpression presented very mild phenotypes when compared to the loss of function mutants. We focused on the unexpected left-right mild phenotype and by establishing a mathematical modeling collaboration, we found out that the longer cilia generated force was attenuated by smaller beating amplitudes, and as a result, these long cilia were not impairing the cilia generated flow and the establishment of left-right patterning. We suggest that Arl13b is one key cilia length regulator. We disclosed a novel interaction with the acetylation / de-acetylation enzymes and raised new hypothesis as to the mechanisms of Arl13b function. We propose a new model for the Arl13b molecular mechanism of cilia length regulation where we integrate our findings with those reported in the literature. This work adds more knowledge to the Arl13b mechanism of action and therefore provides an important contribution to the cilia research field.
Resumo:
The reuse of recycled concrete aggregates in new hot-mix asphalt can be a more sustainable method of production, but these mixtures may need a heat treatment before compaction to improve their water sensitivity performance. A direct consequence of this treatment is an increase in the hot-mix asphalt resilient modulus. The aim of this paper is to analyse the effect of ageing on the stiffness of asphalt mixtures with different amounts of recycled concrete aggregates, before and after a heat treatment, which was analysed through the assessment of its bitumen properties. Moreover, this paper also aims to analyse whether the rolling thin-film oven test is able to simulate the ageing effect of the heat treatment. In the laboratory work, a paving grade bitumen B50/70 has been used to produce asphalt mixtures with 0% and 30% recycled concrete aggregates, and the bitumen was later characterised (using penetration, softening point, dynamic viscosity and dynamic shear rheometer tests) in various situations, such as when using virgin bitumen, short-term aged bitumen, aged bitumen after heat treatment (simulated with 4 h of rolling thin-film oven test) and bitumen samples recovered from asphalt mixtures with different production mixes (0% and 30% recycled concrete aggregate) and heat treatment conditions (0 and 4 h of curing time in the oven). Based on the results obtained, it could be concluded that the ageing resulting from the heat treatment is the primary cause of the hot-mix asphalt's increased stiffness, while recycled concrete aggregate content has a small influence. Moreover, it could be concluded that when there is no curing time, the recycled concrete aggregate protects the bitumen against ageing. Additionally, it could be stated that the rolling thin-film test is able to adequately simulate the ageing effect of the heat treatment. Thus, this test is useful for determining the ageing suffered by the bitumen when the recycled concrete aggregate mixture is manufactured using a heat treatment.
Resumo:
The force distribution inside a dovetail joint is complex. Wood is simultaneously loaded in different directions in the several connected surfaces. The analytical solutions available for the analysis of the behavior of those carpentry joints rely on the mechanical properties of wood. In particular, the stiffness properties of wood under compression are crucial for the forces equilibrium. Simulations showed that the stiffness values considered in each of the springs normally assumed in the analytical models, have great influence in the bearing capacity and stiffness of the dovetail joints, with important consequence on the stress distribution over the overall structure. In a wide experimental campaign, the properties under compression of the most common wood species of existing timber structures have been determined. Then, a solved example of a dovetail joint is presented assuming different wood species and the corresponding strength and stiffness properties values obtained in the tests.
Resumo:
The Our Lady of Conception church is located in village of Monforte (Portugal) and is not in use nowadays. The church presents structural damage and, consequently, a study was carried out. The study involved the survey of the damage, dynamic identification tests under ambient vibration and the numerical analysis. The church is constituted by the central nave, the chancel, the sacristy and the corridor to access the pulpit. The masonry walls present different thickness, namely 0.65 m in the chancel, 0.70 m in the sacristy, 0.92 in the central nave and 0.65 m in the corridor. The masonry walls present 8 buttresses with different dimensions. The total longitudinal and transversal dimensions of the church are equal to 21.10 m and 14.26 m, respectively. The survey of the damage showed that, in general, the masonry walls are in good conditions, with exception of the transversal walls of the nave, which present severe cracks. The arches of the vault presents also severe cracks along the central nave. As consequence, the infiltrations have increased the degradation of the vault and paintings. Furthermore, the foundations present settlements in the Southwest direction. The dynamic identification test were carried out under the action of ambient excitation of the wind and using 12 piezoelectric accelerometers of high sensitivity. The dynamic identification tests allowed to estimate the dynamic properties of the church, namely frequencies, mode shapes and damping ratios. A FEM numerical model was prepared and calibrated, based on the first four experimental modes estimated in the dynamic identification tests. The average error between the experimental and numerical frequencies of the first four modes is equal to 5%. After calibration of the numerical model, pushover analyses with a load pattern proportional to the mass, in the transversal and longitudinal direction of the church, were performed. The results of the analysis numerical allow to conclude that the most vulnerable direction of the church is in the transversal one and the maximum load factor is equal to 0.35.
Resumo:
IP networks are currently the major communication infrastructure used by an increasing number of applications and heterogeneous services, including voice services. In this context, the Session Initiation Protocol (SIP) is a signaling protocol widely used for controlling multimedia communication sessions such as voice or video calls over IP networks, thus performing vital functions in an extensive set of public and enter- prise solutions. However, the SIP protocol dissemination also entails some challenges, such as the complexity associated with the testing/validation processes of IMS/SIP networks. As a consequence, manual IMS/SIP testing solutions are inherently costly and time consuming tasks, being crucial to develop automated approaches in this specific area. In this perspective, this article presents an experimental approach for automated testing/validation of SIP scenarios in IMS networks. For that purpose, an automation framework is proposed allowing to replicate the configuration of SIP equipment from the pro- duction network and submit such equipment to a battery of tests in the testing network. The proposed solution allows to drastically reduce the test and validation times when compared with traditional manual approaches, also allowing to enhance testing reliability and coverage. The automation framework comprises of some freely available tools which are conveniently integrated with other specific modules implemented within the context of this work. In order to illustrate the advantages of the proposed automated framework, a real case study taken from a PT Inovação customer is presented comparing the time required to perform a manual SIP testing approach with the one time required when using the proposed auto- mated framework. The presented results clearly corroborate the advantages of using the presented framework.
Resumo:
Nowadays, many P2P applications proliferate in the Internet. The attractiveness of many of these systems relies on the collaborative approach used to exchange large resources without the dependence and associated constraints of centralized approaches where a single server is responsible to handle all the requests from the clients. As consequence, some P2P systems are also interesting and cost-effective approaches to be adopted by content-providers and other Internet players. However, there are several coexistence problems between P2P applications and In- ternet Service Providers (ISPs) due to the unforeseeable behavior of P2P traffic aggregates in ISP infrastructures. In this context, this work proposes a collaborative P2P/ISP system able to underpin the development of novel Traffic Engi- neering (TE) mechanisms contributing for a better coexistence between P2P applications and ISPs. Using the devised system, two TE methods are described being able to estimate and control the impact of P2P traffic aggregates on the ISP network links. One of the TE methods allows that ISP administrators are able to foresee the expected impact that a given P2P swarm will have in the underlying network infrastructure. The other TE method enables the definition of ISP friendly P2P topologies, where specific network links are protected from P2P traffic. As result, the proposed system and associated mechanisms will contribute for improved ISP resource management tasks and to foster the deployment of innovative ISP-friendly systems.
Resumo:
Dissertação de Mestrado em Engenharia Informática
Resumo:
Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.
Resumo:
Tese de Doutoramento em Tecnologias e Sistemas de Informação