12 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The paper presented herein proposes a reliability-based framework for quantifying the structural robustness considering the occurrence of a major earthquake (mainshock) and subsequent cascading hazard events, such as aftershocks that are triggered by the mainshock. These events can significantly increase the probability of failure of buildings, especially for structures that are damaged during the mainshock. The application of the proposed framework is exemplified through three numerical case studies. The case studies correspond to three SAC steel moment frame buildings of 3-, 9-, and 20- stories, which were designed to pre-Northridge codes and standards. Twodimensional nonlinear finite element models of the buildings are developed using the Open System for Earthquake Engineering Simulation framework (OpenSees), using a finite-length plastic hinge beam model and a bilinear constitutive law with deterioration, and are subjected to multiple mainshock-aftershock seismic sequences. For the three buildings analyzed herein, it is shown that the structural reliability under a single seismic event can be significantly different from that under a sequence of seismic events. The reliability-based robustness indicator used shows that the structural robustness is influenced by the extent by which a structure can distribute damage.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tese de Mestrado em Engenharia Informática

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Proceedings of tile 1" R.C.A.N.S. Congress, Lisboa, October 1992

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertation presented to obtain the degree of Doctor of Philosophy in Electrical Engineering, speciality on Perceptional Systems, by the Universidade Nova de Lisboa, Faculty of Sciences and Technology

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada para obtenção do grau de Doutor em Bioquímica - especialidade Biotecnologia, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper studies the drivers of heuristic application in different decision types. The study compares differences in frequencies of heuristic classes' such as recognition, one-reason choice and trade-off applied in, respectively, memory-based and stimulus-based choices as well as in high and low involvement decisions. The study has been conducted online among 205 participants from 28 countries.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The main purpose of the research is to present a proposal for a methodology to support the rehabilitation project of renders of old buildings in Portugal. To achieve the objective it was considered essential to define the main types of participants and aspects to integrate the proposal. The research methodology consists in an inquiry presented to professional participants in rehabilitation, a market study of materials and products available in Portugal, the design of a methodology proposal and its application to a case study. The inquiry sample totals 24 answers from the targeted professionals. A sequence of relevant supporting procedures consists in the proposal, which aims to provide a supporting methodology to decide and project in this context and also to be tested with its application to the building. This proposal was applied to an old building with load-bearing stone masonry walls and air-lime based renders. It was concluded that the assessment of the building and external renderings’ condition, its diagnosis and of the supporting walls, the definition of intervention, the specification of materials to be used and performance requirements to comply, and also plans for conservation and periodic maintenance, are crucial. From the inquiry, compatibility between materials and complementary roles and points of view of different types of participants in rehabilitation must be highlighted. A proposal for a methodology to support the project could provide useful guidance particularly for architects and construction engineers, and improve the understanding of direct participants on site, therefore contributing for the correct implementation of intervention.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

RESUMO: A hipertensão arterial (HA) é uma patologia altamente prevalente, embora claramente subdiagnosticada, em doentes com síndrome de apneia obstrutiva do sono (SAOS). Estas duas patologias apresentam uma estreita relação e a monitorização ambulatória da pressão arterial (MAPA), por um período de 24 horas, parece ser o método mais preciso para o diagnóstico de hipertensão em doentes com SAOS. No entanto, esta ferramenta de diagnóstico para além de ser dispendiosa e envolver um número acrescido de meios técnicos e humanos, é mais morosa e, por conseguinte, não é utilizada por rotina no contexto do diagnóstico da SAOS. Por outro lado, apesar da aplicação de pressão positiva contínua nas vias aéreas (CPAP – Continous Positive Airway Pressure) ser considerada a terapêutica de eleição para os doentes com SAOS, o seu efeito no abaixamento da pressão arterial (PA) parece ser modesto, exigindo, por conseguinte, a implementação concomitante de terapêutica anti-hipertensora. Acontece que são escassos os dados relativos aos regimes de fármacos anti-hipertensores utilizados em doentes com SAOS e, acresce ainda que, as guidelines terapêuticas para o tratamento farmacológico da HA, neste grupo particular de doentes, permanecem, até ao momento, inexistentes. A utilização de modelos animais de hipóxia crónica intermitente (CIH), que mimetizam a HA observada em doentes com SAOS, revela-se extremamente importante, uma vez que se torna imperativo identificar fármacos que promovam um controle adequado da PA neste grupo de doentes. No entanto, estudos concebidos com o intuito de investigar o efeito anti-hipertensor dos fármacos neste modelo animal revelam-se insuficientes e, por outro lado, os escassos estudos que testaram fármacos anti-hipertensores neste modelo não foram desenhados para responder a questões de natureza farmacológica. Acresce ainda que se torna imprescindível garantir a escolha de um método para administração destes fármacos que seja não invasivo e que minimize o stress do animal. Embora a gavagem seja uma técnica indiscutivelmente eficaz e amplamente utilizada para a administração diária de fármacos a animais de laboratório, ela compreende uma sequência de procedimentos geradores de stress para os animais e, que podem por conseguinte, constituir um viés na interpretação dos resultados obtidos. O objectivo global da presente investigação translacional foi contribuir para a identificação de fármacos anti-hipertensores mais efectivos para o tratamento da HT nos indivíduos com SAOS e investigar mecanismos subjacentes aos efeitos sistémicos associadas à SAOS bem como a sua modulação por fármacos anti-hipertensores. Os objectivos específicos foram: em primeiro lugar,encontrar novos critérios, baseados nas medidas antropométricas, que permitam a identificação de doentes com suspeita de SAOS, que erroneamente se auto-classifiquem como nãohipertensos, e desta forma promover um uso mais criterioso do MAPA; em segundo lugar, investigar a existência de uma hipotética associação entre os esquemas de fármacos antihipertensores e o controle da PA (antes e após a adaptação de CPAP) em doentes com SAOS em terceiro lugar, avaliar a eficácia do carvedilol (CVD), um fármaco bloqueador β-adrenérgico não selectivo com actividade antagonista α1 intrínseca e propriedades anti-oxidantes num modelo animal de hipertensão induzida pela CIH; em quarto lugar, explorar os efeitos da CIH sobre o perfil farmacocinético do CVD; e, em quinto lugar, investigar um método alternativo à gavagem para a administração crónica de fármacos anti-hipertensores a animais de laboratório. Com este intuito, na primeira fase deste projecto, fizemos uso de uma amostra com um número apreciável de doentes com SAOS (n=369), que acorreram, pela primeira vez, à consulta de Patologia do Sono do CHLN e que foram submetidos a um estudo polissonográfico do sono, à MAPA e que preencheram um questionário que contemplava a obtenção de informação relativa ao perfil da medicação anti-hipertensora em curso. Numa segunda fase, utilizámos um modelo experimental de HT no rato induzida por um paradigma de CIH. Do nosso trabalho resultaram os seguintes resultados principais: em primeiro lugar, o índice de massa corporal (IMC) e o perímetro do pescoço (PP) foram identificados como preditores independentes de “auto-classificação errónea” da HA em doentes com suspeita de SAOS; em segundo lugar, não encontramos qualquer associação com significado estatístico entre os vários esquemas de fármacos anti-hipertensores bem como o número de fármacos incluídos nesse esquemas, e o controle da PA (antes e depois da adaptação do CPAP); em terceiro lugar, apesar das doses de 10, 30 e 50 mg/kg de carvedilol terem promovido uma redução significativa da frequência cardíaca, não foi observado qualquer decréscimo na PA no nosso modelo animal; em quarto lugar, as razões S/(R+S) dos enantiómeros do CVD nos animais expostos à CIH e a condições de normóxia revelaram-se diferentes; e, em quinto lugar, a administração oral voluntária mostrou ser um método eficaz para a administração diária controlada de fármacos anti-hipertensores e que é independente da manipulação e contenção do animal. Em conclusão, os resultados obtidos através do estudo clínico revelaram que o controle da PA, antes e após a adaptação do CPAP, em doentes com SAOS é independente, quer do esquema de fármacos anti-hipertensores, quer do número de fármacos incluídos num determinado esquema. Os nossos resultados salientam ainda a falta de validade da chamada self-reported hypertension e sugerem que em todos os doentes com suspeita de SAOS, com HA não diagnosticada e com um IMC e um PP acima de 27 kg/m2 e 39 cm, respectivamente, a confirmação do diagnóstico de HA deverá ser realizada através da MAPA, ao invés de outros métodos que com maior frequência são utilizados com este propósito. Os resultados obtidos no modelo animal de HA induzida pela CIH sugerem que o bloqueio do sistema nervoso simpático, juntamente com os supostos efeitos pleiotrópicos do CVD, não parece ser a estratégia mais adequada para reverter este tipo particular de hipertensão e indicam que as alterações farmacocinéticas induzidas pela CIH no ratio S/(R+S) não justificam a falta de eficácia anti-hipertensora do CVD observada neste modelo animal. Por último, os resultados do presente trabalho suportam ainda a viabilidade da utilização da administração oral voluntária, em alternativa à gavagem, para a administração crónica de uma dose fixa de fármacos anti-hipertensores.---------------------------- ABSTRACT: Hypertension (HT) is a highly prevalent condition, although under diagnosed, in patients with obstructive sleep apnea (OSA). These conditions are closely related and 24-hour ambulatory blood pressure monitoring (ABPM) seems to be the most accurate measurement for diagnosing hypertension in OSA. However, this diagnostic tool is expensive and time-consuming and, therefore, not routinely used. On the other hand, although continuous positive airway pressure (CPAP) is considered the gold standard treatment for symptomatic OSA, its lowering effect on blood pressure (BP) seems to be modest and, therefore, concomitant antihypertensive therapy is still required. Data on antihypertensive drug regimens in patients with OSA are scarce and specific therapeutic guidelines for the pharmacological treatment of hypertension in these patients remain absent. The use of animal models of CIH, which mimic the HT observed in patients with OSA, is extremely important since it is imperative to identify preferred compounds for an adequate BP control in this group of patients. However, studies aimed at investigating the antihypertensive effect of antihypertensive drugs in this animal model are insufficient, and most reports on CIH animal models in which drugs have been tested were not designed to respond to pharmacological issues. Moreover, when testing antihypertensive drugs (AHDs) it becomes crucial to ensure the selection of a non-invasive and stress-free method for drug delivery. Although gavage is effective and a widely performed technique for daily dosing in laboratory rodents, it comprises a sequence of potentially stressful procedures for laboratory animals that may constitute bias for the experimental results. The overall goal of the present translational research was to contribute to identify more effective AHDs for the treatment of hypertension in patients with OSA and investigate underlying mechanisms of systemic effects associated with OSA, as well as its modulation by AHDs. The specific aims were: first, to find new predictors based on anthropometric measures to identify patients that misclassify themselves as non-hypertensive, and thereby promote the selective use of ABPM; second, to investigate a hypothetical association between ongoing antihypertensive regimens and BP control rates in patients with OSA, before and after CPAP adaptation; third, to determine, in a rat model of CIH-induced hypertension, the efficacy of carvedilol (CVD), a nonselective beta-blocker with intrinsic anti-α1-adrenergic activity and antioxidant properties; fourth, to explore the effects of CIH on the pharmacokinetics profile of CVD and fifth, to investigate an alternative method to gavage, for chronic administration of AHDs to laboratory rats. For that, in the first phase of this project, we used a sizeable sample of patients with OSA (n=369), that attended a first visit at Centro Hospitalar Lisboa Norte, EPE Sleep Unit, and underwent overnight polysomnography, 24-h ABPM and filled a questionnaire that included ongoing antihypertensive medication profile registration. In the second phase, a rat experimental model of HT induced by a paradigm of CIH that simulates OSA was used. The main findings of this work were: first, body mass index (BMI) and neck circumference (NC) were identified as independent predictors of hypertension misclassification in patients suspected of OSA; second, in patients with OSA, BP control is independent of both the antihypertensive regimen and the number of antihypertensive drugs, either before or after CPAP adaptation; third, although the doses of 10, 30 and 50 mg/Kg of CVD promoted a significant reduction in heart rate, no decrease in mean arterial pressure was observed; fourth, the S/(R+S) ratios of CVD enantiomers, between rats exposed to CIH and normoxic conditions, were different and fifth, voluntary ingestion proved to be an effective method for a controlled daily dose administration, with a define timetable, that is independent of handling and restraint procedures. In conclusion, the clinical study showed that BP control in OSA patients is independent of both the antihypertensive regimen and the number of antihypertensive drugs. Additionally, our results highlight the lack of validity of self-reported hypertension and suggest that all patients suspected of OSA with undiagnosed hypertension and with a BMI and NC above 27 Kg/m2 and 39 cm should be screened for hypertension, through ABPM. The results attained in the rat model of HT related to CIH suggest that the blockade of the sympathetic nervous system together with the putative pleiotropic effects of carvedilol is not able to revert hypertension induced by CIH and point out that the pharmacokinetic changes induced by CIH on S/(R+S) ratio are not apparently responsible for the lack of efficacy of carvedilol in reversing this particular type of hypertension. Finally, the results here presented support the use of voluntary oral administration as a viable alternative to gavage for chronic administration of a fixed dose of AHDs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The main purpose of the research is to present a proposal for a methodology to support the rehabilitation project of renders of old buildings. To achieve the objective it was considered essential to define the main types of participants and aspects to integrate the proposal. The research methodology consists in an inquiry presented to several professional participants in rehabilitation, a market study of materials and products available in Portugal, the design of a methodology proposal and its application to a case study. The inquiry sample totals 24 answers from the targeted professionals. A sequence of relevant supporting procedures consists in the proposal, which aims to provide a supporting methodology to decide and project in this context and also to be tested with its application to the building. This proposal was applied to an old building with load-bearing stone masonry walls and air-lime based renders. It was concluded that the assessment of the building and external renderings’ condition, its diagnosis and of the supporting walls, the definition of intervention, the specification of materials to be used and performance requirements to comply, and also plans for conservation and periodic maintenance, are crucial. From the inquiry, compatibility between materials and complementary roles and points of view of different types of participants in rehabilitation must be highlighted. A proposal for a methodology to support the project could provide useful guidance particularly for architects and construction engineers, and improve the understanding of direct participants on site, therefore contributing for the correct implementation of the intervention.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis proposes a methodology for modelling business interoperability in a context of cooperative industrial networks. The purpose is to develop a methodology that enables the design of cooperative industrial network platforms that are able to deliver business interoperability and the analysis of its impact on the performance of these platforms. To achieve the proposed objective, two modelling tools have been employed: the Axiomatic Design Theory for the design of interoperable platforms; and Agent-Based Simulation for the analysis of the impact of business interoperability. The sequence of the application of the two modelling tools depends on the scenario under analysis, i.e. whether the cooperative industrial network platform exists or not. If the cooperative industrial network platform does not exist, the methodology suggests first the application of the Axiomatic Design Theory to design different configurations of interoperable cooperative industrial network platforms, and then the use of Agent-Based Simulation to analyse or predict the business interoperability and operational performance of the designed configurations. Otherwise, one should start by analysing the performance of the existing platform and based on the achieved results, decide whether it is necessary to redesign it or not. If the redesign is needed, simulation is once again used to predict the performance of the redesigned platform. To explain how those two modelling tools can be applied in practice, a theoretical modelling framework, a theoretical Axiomatic Design model and a theoretical Agent-Based Simulation model are proposed. To demonstrate the applicability of the proposed methodology and/or to validate the proposed theoretical models, a case study regarding a Portuguese Reverse Logistics cooperative network (Valorpneu network) and a case study regarding a Portuguese construction project (Dam Baixo Sabor network) are presented. The findings of the application of the proposed methodology to these two case studies suggest that indeed the Axiomatic Design Theory can effectively contribute in the design of interoperable cooperative industrial network platforms and that Agent-Based Simulation provides an effective set of tools for analysing the impact of business interoperability on the performance of those platforms. However, these conclusions cannot be generalised as only two case studies have been carried out. In terms of relevance to theory, this is the first time that the network effect is addressed in the analysis of the impact of business interoperability on the performance of networked companies and also the first time that a holistic approach is proposed to design interoperable cooperative industrial network platforms. Regarding the practical implications, the proposed methodology is intended to provide industrial managers a management tool that can guide them easily, and in practical and systematic way, in the design of configurations of interoperable cooperative industrial network platforms and/or in the analysis of the impact of business interoperability on the performance of their companies and the networks where their companies operate.