15 resultados para Batch Proof, Verification of Re-encryption, Verification of Decryption, Mix Network


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Saccharomyces cerevisiae as well as other microorganisms are frequently used in industry with the purpose of obtain different kind of products that can be applied in several areas (research investigation, pharmaceutical compounds, etc.). In order to obtain high yields for the desired product, it is necessary to make an adequate medium supplementation during the growth of the microorganisms. The higher yields are typically reached by using complex media, however the exact formulation of these media is not known. Moreover, it is difficult to control the exact composition of complex media, leading to batch-to-batch variations. So, to overcome this problem, some industries choose to use defined media, with a defined and known chemical composition. However these kind of media, many times, do not reach the same high yields that are obtained by using complex media. In order to obtain similar yield with defined media the addition of many different compounds has to be tested experimentally. Therefore, the industries use a set of empirical methods with which it is tried to formulate defined media that can reach the same high yields as complex media. In this thesis, a defined medium for Saccharomyces cerevisiae was developed using a rational design approach. In this approach a given metabolic network of Saccharomyces cerevisiae is divided into a several unique and not further decomposable sub networks of metabolic reactions that work coherently in steady state, so called elementary flux modes. The EFMtool algorithm was used in order to calculate the EFM’s for two Saccharomyces cerevisiae metabolic networks (amino acids supplemented metabolic network; amino acids non-supplemented metabolic network). For the supplemented metabolic network 1352172 EFM’s were calculated and then divided into: 1306854 EFM’s producing biomass, and 18582 EFM’s exclusively producing CO2 (cellular respiration). For the non-supplemented network 635 EFM’s were calculated and then divided into: 215 EFM’s producing biomass; 420 EFM’s producing exclusively CO2. The EFM’s of each group were normalized by the respective glucose consumption value. After that, the EFMs’ of the supplemented network were grouped again into: 30 clusters for the 1306854 EFMs producing biomass and, 20 clusters for the 18582 EFM’s producing CO2. For the non-supplemented metabolic network the respective EFM’s of each metabolic function were grouped into 10 clusters. After the clustering step, the concentrations of the other medium compounds were calculated by considering a reasonable glucose amount and by accounting for the proportionality between the compounds concentrations and the glucose ratios. The approach adopted/developed in this thesis may allow a faster and more economical way for media development.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada para a obtenção do Grau de Doutor em Química, especialidade em Química-Física, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa de Lisboa para obtenção do grau de mestre em Engenharia Electrotécnica e de Computadores

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Increased demands on the capacity of the railway network gave rise to new issues related to the dynamic response of railway tracks subjected to moving vehicles. Thus, it becomes important to evaluate the applicability of traditionally used simplified models which have a closed form solution. Regarding simplified models, transversal vibrations of a beam on a visco-elastic foundation subjected to a moving load are considered. Governing equations are obtained by Hamilton’s principle. Shear distortion, rotary inertia and effect of axial force are accounted for. The load is introduced as a time varying force moving at a constant velocity. Transversal vibrations induced by the load are solved by the normal-mode analysis. Reflected waves at the extremities of the full beam are avoided by introduction of semi-infinite elements. Firstly, the critical velocity obtained from this model is compared with results of an undamped Euler- Bernoulli formulation with zero axial force. Secondly, a finite element model in ABAQUS is examined. The new contribution lies in the introduction of semi- infinite elements and in the first step to a systematic comparison, which have not been published so fa

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Paper presented at the 5th European Conference Economics and Management of Energy in Industry, Vilamoura, Algarve. Apr. 14-17, 2009, 11p. URL: http:// www.cenertec.pt/ecemei/

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Relevância:

100.00% 100.00%

Publicador:

Resumo:

ABSTRACT Background Mental health promotion is supported by a strong body of knowledge and is a matter of public health with the potential of a large impact on society. Mental health promotion programs should be implemented as soon as possible in life, preferably starting during pregnancy. Programs should focus on malleable determinants, introducing strategies to reduce risk factors or their impact on mother and child, and also on strengthening protective factors to increase resilience. The ambition of early detecting risk situations requires the development and use of tools to assess risk, and the creation of a responsive network of services based in primary health care, especially maternal consultation during pregnancy and the first months of the born child. The number of risk factors and the way they interact and are buffered by protective factors are relevant for the final impact. Maternal-fetal attachment (MFA) is not yet a totally understood and well operationalized concept. Methodological problems limit the comparison of data as many studies used small size samples, had an exploratory character or used different selection criteria and different measures. There is still a lack of studies in high risk populations evaluating the consequences of a weak MFA. Instead, the available studies are not very conclusive, but suggest that social support, anxiety and depression, self-esteem and self-control and sense of coherence are correlated with MFA. MFA is also correlated with health practices during pregnancy, that influence pregnancy and baby outcomes. MFA seems a relevant concept for the future mother baby interaction, but more studies are needed to clarify the concept and its operationalization. Attachment is a strong scientific concept with multiple implications for future child development, personality and relationship with others. Secure attachment is considered an essential basis of good mental health, and promoting mother-baby interaction offers an excellent opportunity to intervention programmes targeted at enhancing mental health and well-being. Understanding the process of attachment and intervening to improve attachment requires a comprehension of more proximal factors, but also a broader approach that assesses the impact of more distal social conditions on attachment and how this social impact is mediated by family functioning and mother-baby interaction. Finally, it is essential to understand how this knowledge could be translated in effective mental health promoting interventions and measures that could reach large populations of pregnant mothers and families. Strengthening emotional availability (EA) seems to be a relevant approach to improve the mother-baby relationship. In this review we have offered evidence suggesting a range of determinants of mother-infant relationship, including age, marital relationship, social disadvantages, migration, parental psychiatric disorders and the situations of abuse or neglect. Based on this theoretical background we constructed a theoretical model that included proximal and distal factors, risk and protective factors, including variables related to the mother, the father, their social support and mother baby interaction from early pregnancy until six months after birth. We selected the Antenatal Psychosocial Health Assessment (ALPHA) for use as an instrument to detect psychosocial risk during pregnancy. Method Ninety two pregnant women were recruited from the Maternal Health Consultation in Primary Health Care (PHC) at Amadora. They had three moments of assessment: at T1 (until 12 weeks of pregnancy) they filed out a questionnaire that included socio-demographic data, ALPHA, Edinburgh post-natal Depression Scale (EDPS), General Health Questionnaire (GHQ) and Sense of Coherence (SOC); at T2 (after the 20th weeks of pregnancy) they answered EDPS, SOC and MFA Scale (MFAS), and finally at T3 (6 months after birth), they repeated EDPS and SOC, and their interaction with their babies was videotaped and later evaluated using EA Scales. A statistical analysis has been done using descriptive statistics, correlation analysis, univariate logistic regression and multiple linear regression. Results The study has increased our knowledge on this particular population living in a multicultural, suburb community. It allow us to identify specific groups with a higher level of psychosocial risk, such as single or divorced women, young couples, mothers with a low level of education and those who are depressed or have a low SOC. The hypothesis that psychosocial risk is directly correlated with MFAS and that MFA is directly correlated with EA was not confirmed, neither the correlation between prenatal psychosocial risk and mother-baby EA. The study identified depression as a relevant risk factor in pregnancy and its higher prevalence in single or divorced women, immigrants and in those who have a higher global psychosocial risk. Depressed women have a poor MFA, and a lower structuring capacity and a higher hostility to their babies. In average, depression seems to reduce among pregnant women in the second part of their pregnancy. The children of immigrant mothers show a lower level of responsiveness to their mothers what could be transmitted through depression, as immigrant mothers have a higher risk of depression in the beginning of pregnancy and six months after birth. Young mothers have a low MFA and are more intrusive. Women who have a higher level of education are more sensitive and their babies showed to be more responsive. Women who are or have been submitted to abuse were found to have a higher level of MFA but their babies are less responsive to them. The study highlights the relevance of SOC as a potential protective factor while it is strongly and negatively related with a wide range of risk factors and mental health outcomes especially depression before, during and after pregnancy. Conclusions ALPHA proved to be a valid, feasible and reliable instrument to Primary Health Care (PHC) that can be used as a total sum score. We could not prove the association between psychosocial risk factors and MFA, neither between MFA and EA, or between psychosocial risk and EA. Depression and SOC seems to have a clear and opposite relevance on this process. Pregnancy can be considered as a maturational process and an opportunity to change, where adaptation processes occur, buffering risk, decreasing depression and increasing SOC. Further research is necessary to better understand interactions between variables and also to clarify a better operationalization of MFA. We recommend the use of ALPHA, SOC and EDPS in early pregnancy as a way of identifying more vulnerable women that will require additional interventions and support in order to decrease risk. At political level we recommend the reinforcement of Immigrant integration and the increment of education in women. We recommend more focus in health care and public health in mental health condition and psychosocial risk of specific groups at high risk. In PHC special attention should be paid to pregnant women who are single or divorced, very young, low educated and to immigrant mothers. This study provides the basis for an intervention programme for this population, that aims to reduce broad spectrum risk factors and to promote Mental Health in women who become pregnant. Health and mental health policies should facilitate the implementation of the suggested measures.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Spatial analysis and social network analysis typically take into consideration social processes in specific contexts of geographical or network space. The research in political science increasingly strives to model heterogeneity and spatial dependence. To better understand and geographically model the relationship between “non-political” events, streaming data from social networks, and political climate was the primary objective of the current study. Geographic information systems (GIS) are useful tools in the organization and analysis of streaming data from social networks. In this study, geographical and statistical analysis were combined in order to define the temporal and spatial nature of the data eminating from the popular social network Twitter during the 2014 FIFA World Cup. The study spans the entire globe because Twitter’s geotagging function, the fundamental data that makes this study possible, is not limited to a geographic area. By examining the public reactions to an inherenlty non-political event, this study serves to illuminate broader questions about social behavior and spatial dependence. From a practical perspective, the analyses demonstrate how the discussion of political topics fluсtuate according to football matches. Tableau and Rapidminer, in addition to a set basic statistical methods, were applied to find patterns in the social behavior in space and time in different geographic regions. It was found some insight into the relationship between an ostensibly non-political event – the World Cup - and public opinion transmitted by social media. The methodology could serve as a prototype for future studies and guide policy makers in governmental and non-governmental organizations in gauging the public opinion in certain geographic locations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Self-assembly is a phenomenon that occurs frequently throughout the universe. In this work, two self-assembling systems were studied: the formation of reverse micelles in isooctane and in supercritical CO2 (scCO2), and the formation of gels in organic solvents. The goal was the physicochemical study of these systems and the development of an NMR methodology to study them. In this work, AOT was used as a model molecule both to comprehensively study a widely researched system water/AOT/isooctane at different water concentrations and to assess its aggregation in supercritical carbon dioxide at different pressures. In order to do so an NMR methodology was devised, in which it was possible to accurately determine hydrodynamic radius of the micelle (in agreement with DLS measurements) using diffusion ordered spectroscopy (DOSY), the micellar stability and its dynamics. This was mostly assessed by 1H NMR relaxation studies, which allowed to determine correlation times and size of correlating water molecules, which are in agreement with the size of the shell that interacts with the micellar layer. The encapsulation of differently-sized carbohydrates was also studied and allowed to understand the dynamics and stability of the aggregates in such conditions. A W/CO2 microemulsion was prepared using AOT and water in scCO2, with ethanol as cosurfactant. The behaviour of the components of the system at different pressures was assessed and it is likely that above 130 bar reverse microemulsions were achieved. The homogeneity of the system was also determined by NMR. The formation of the gel network by two small molecular organogelators in toluene-d8 was studied by DOSY. A methodology using One-shot DOSY to perform the spectra was designed and applied with success. This yielded an understanding about the role of the solvent and gelator in the aggregation process, as an estimation of the time of gelation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A presença de serviços públicos nos aglomerados populacionais suscita diferentes arti-culações e rearranjos socioterritoriais e promove a sua dinamização e especialização, fomenta a economia local e contribui, direta e indiretamente, para a coesão, o desen-volvimento, a atratividade, a competitividade e a resiliência dos territórios. Nas últimas décadas, as lógicas da oferta e da procura dos serviços públicos têm evoluído rapida-mente, passando de um modelo de gestão fechado e burocrático, para um modelo mais aberto, diversificado, simplificado e participativo. Com elas, surgiram (novos) de-safios na sua gestão, que vão desde a sua sustentabilidade económica até aos impac-tos sociais e territoriais resultantes da modernização, sem esquecer a maior (e cres-cente) exigência do cidadão. Estas mutações têm repercussões na filosofia da sua or-ganização e no modus operandi, com uma crescente orientação para as necessidades da procura e a satisfação do utente, procurando, em simultâneo, reduzir os custos e aumentar a produtividade e a qualidade dos serviços prestados, com base em políticas de inovação e em parcerias e governação em rede. Na prática, estas alterações condu-zem a processos diferenciados, que têm passado pela fusão, reconversão ou mesmo encerramento de serviços públicos. Num contexto de crise económico-financeira, como o que se vive em Portugal, e aten-dendo às mutações ocorridas na oferta e na procura de serviços públicos de educação, saúde, eventos de vida, defesa e segurança e justiça, importa refletir sobre os concei-tos inerentes a estes serviços e sintetizar as principais dinâmicas nesse período de tempo, tendo como pressupostos que, por um lado, o território é um elemento dife-renciador na prestação e na utilização de serviços e que, por outro lado, estes serviços, pela sua natureza estratégica para a sociedade e para a economia, exigem a definição de políticas e de estratégias territoriais consentâneas e inclusivas. Esta investigação centra a sua análise em dois âmbitos geográficos. Numa primeira fa-se, à escala de Portugal continental, onde se obtém um retrato atual da espacialização dos serviços públicos referidos acima. Em seguida, após a criação de uma metodologia inovadora baseada em análises e modelação de informação geográfica para a tipifica-ção dos diferentes tipos de territórios, são identificados três casos de estudo regionais, com características distintas. Assim, são estudados territórios metropolita-nos/densamente urbanizados (constituídos pelos concelhos de Lisboa, Almada, Seixal, Palmela, Sesimbra e Setúbal), eixo urbano-rural (Évora, Portel, Viana do Alentejo, Vidi-gueira, Cuba e Beja) e territórios profundamente rurais (Barrancos, Moura, Serpa e Mértola), para os quais foi realizado um inquérito à população, com o objetivo de compreender a utilização que fazem dos serviços públicos e quais as suas expetativas em relação aos mesmos. Os resultados obtidos para as análises nacional e regionais são acompanhados por uma reflexão sobre a territorialização das políticas de serviços públicos, as quais incidem em matérias relacionadas com o seu planeamento e, sobre-tudo, com a sua gestão.

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The work presented in this thesis aims at developing a new separation process based on the application of supported magnetic ionic liquid membranes, SMILMs, using magnetic ionic liquids, MILs. MILs have attracted growing interest due to their ability to change their physicochemical characteristics when exposed to variable magnetic field conditions. The magnetic responsive behavior of MILs is thus expected to contribute for the development of more efficient separation processes, such as supported liquid membranes, where MILs may be used as a selective carrier. Driven by the MILs behavior, these membranes are expected to switch reversibly their permeability and selectivity by in situ and non-invasive adjustment of the conditions (e.g. intensity, direction vector and uniformity) of an external applied magnetic field. The development of these magnetic responsive membrane processes were anticipated by studies, performed along the first stage of this PhD work, aiming at getting a deep knowledge on the influence of magnetic field on MILs properties. The influence of the magnetic field on the molecular dynamics and structural rearrangement of MILs ionic network was assessed through a 1H-NMR technique. Through the 1H-NMR relaxometry analysis it was possible to estimate the self-diffusion profiles of two different model MILs, [Aliquat][FeCl4] and [P66614][FeCl4]. A comparative analysis was established between the behavior of magnetic and non-magnetic ionic liquids, MILs and ILs, to facilitate the perception of the magnetic field impact on MILs properties. In contrast to ILs, MILs show a specific relaxation mechanism, characterized by the magnetic dependence of their self-diffusion coefficients. MILs self-diffusion coefficients increased in the presence of magnetic field whereas ILs self-diffusion was not affected. In order to understand the reasons underlying the magnetic dependence of MILs self-diffusion, studies were performed to investigate the influence of the magnetic field on MILs’ viscosity. It was observed that the MIL´s viscosity decreases with the increase of the magnetic field, explaining the increase of MILs self-diffusion according to the modified Stokes- Einstein equation. Different gas and liquid transport studies were therefore performed aiming to determine the influence of the magnetic behavior of MILs on solute transport through SMILMs. Gas permeation studies were performed using pure CO2 andN2 gas streams and air, using a series of phosphonium cation based MILs, containing different paramagnetic anions. Transport studies were conducted in the presence and absence of magnetic field at a maximum intensity of 1.5T. The results revealed that gas permeability increased in the presence of the magnetic field, however, without affecting the membrane selectivity. The increase of gas permeability through SMILMs was related to the decrease of the MILs viscosity under magnetic field conditions.(...)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.