20 resultados para Quantitative verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This report is made for the Work Package 15 of WORKS project and tries to develop more information on the Portuguese situation in the work structures changes in the recent years. It starts with an analysis of socio- economical indicators (Macro economical indicators, Employment indicators, Consumption, Technology at the workplace, Productivity), and then approaches the situation in terms of work flexibility in its dimensions of time use and New forms of work organisation. It traces employment in business functions with a sectoral and occupational approach, and analyses the occupational change in South Europe with particular relevance to Portugal (skill utilisation and job satisfaction, occupational and industrial mobility, quantitative evaluation of the shape of employment in Europe. Finaly are analysed the globalisation indicators.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada no âmbito do Mestrado em Engenharia Informática para obtenção do grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Doutor em Engenharia Biomédica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Relevância:

20.00% 20.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:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e Computadores

Relevância:

20.00% 20.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:

20.00% 20.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:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Surpassing the national perspective usually adopted, the authors confirmed the existence of a pattern of population distribution common to the whole Iberian Peninsula in the long run. This pattern is clearly associated with geographical factors. These variables seem to have more weight in explaining changes between 1877/78 and 1940 than in the period from 1940 to 2001. The observation of the cross-border region has shown that proximity to the frontier has not generated any distinct pattern of population density on either side of the boundary line. The spatial coherence of the observed phenomena throughout the Peninsula and of its evolution, independent of the border between states, reinforces the importance of geographic factors in their explanation. At the same time, this verification opens up new issues related to the effect of national political and economic policies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cell division is a highly dynamic process where sister chromatids remain associated with each other from the moment of DNA replication until the later stages of mitosis, giving rise to two daughter cells with equal genomes. The “molecular glue” that links sister DNA molecules is called cohesin, a tripartite ring-like protein complex composed of two Structural Maintenance of Chromosome proteins (Smc1 and Smc3) bridged by a kleisin subunit Rad21/Scc1, that together prevent precocious sister chromatid separation. Accumulating evidence has suggested that cohesion decay may be the cause of segregation errors that underlie certain human pathologies. However it remains to be determined how much cohesin loss abolishes functional sister chromatid cohesion. To answer these questions, we have developed different experimental conditions aiming to titrate the levels of cohesin on mitotic chromosomes in a precise manner. Using these tools, we will determine the minimal amount of cohesin needed to confer functional cohesion. The approaches described here take advantage of a system in Drosophila melanogaster where the Tobacco Etch Virus (TEV) protease can cleave the Rad21 subunit of cohesin leading to precocious sister chromatid separation. Firstly, we tried to express different levels of TEV protease to obtain partial loss of cohesion. However, this approach has failed to produce systematic different levels of sister chromatid separation. Most of the work was therefore focused on a second strategy, for which we established strains with different levels of cohesin sensitive/cohesin resistant to TEV protease. Strains containing different amounts of functional cohesin (TEV resistant) were tested by in vitro cleavage and by in vivo injections in embryos for their ability to promote sister chromatid cohesion. Our results reveal that removal of half of the cohesin complexes does not impair chromosome segregation, implying that chromosome cohesion is less sensitive to cohesin amounts than previously anticipated.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ion Mobility Spectrometry coupled with Multi Capillary Columns (MCC -IMS) is a fast analytical technique working at atmospheric pressure with high sensitivity and selectivity making it suitable for the analysis of complex biological matrices. MCC-IMS analysis generates its information through a 3D spectrum with peaks, corresponding to each of the substances detected, providing quantitative and qualitative information. Sometimes peaks of different substances overlap, making the quantification of substances present in the biological matrices a difficult process. In the present work we use peaks of isoprene and acetone as a model for this problem. These two volatile organic compounds (VOCs) that when detected by MCC-IMS produce two overlapping peaks. In this work it’s proposed an algorithm to identify and quantify these two peaks. This algorithm uses image processing techniques to treat the spectra and to detect the position of the peaks, and then fits the data to a custom model in order to separate the peaks. Once the peaks are separated it calculates the contribution of each peak to the data.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The catastrophic disruption in the USA financial system in the wake of the financial crisis prompted the Federal Reserve to launch a Quantitative Easing (QE) programme in late 2008. In line with Pesaran and Smith (2014), I use a policy effectiveness test to assess whether this massive asset purchase programme was effective in stimulating the economic activity in the USA. Specifically, I employ an Autoregressive Distributed Lag Model (ARDL), in order to obtain a counterfactual for the USA real GDP growth rate. Using data from 1983Q1 to 2009Q4, the results show that the beneficial effects of QE appear to be weak and rather short-lived. The null hypothesis of policy ineffectiveness is not rejected, which suggests that QE did not have a meaningful impact on output growth.