8 resultados para Integration of Programming Techniques

em Universidade do Minho


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper aims at developing a collision prediction model for three-leg junctions located in national roads (NR) in Northern Portugal. The focus is to identify factors that contribute for collision type crashes in those locations, mainly factors related to road geometric consistency, since literature is scarce on those, and to research the impact of three modeling methods: generalized estimating equations, random-effects negative binomial models and random-parameters negative binomial models, on the factors of those models. The database used included data published between 2008 and 2010 of 177 three-leg junctions. It was split in three groups of contributing factors which were tested sequentially for each of the adopted models: at first only traffic, then, traffic and the geometric characteristics of the junctions within their area of influence; and, lastly, factors which show the difference between the geometric characteristics of the segments boarding the junctionsâ area of influence and the segment included in that area were added. The choice of the best modeling technique was supported by the result of a cross validation made to ascertain the best model for the three sets of researched contributing factors. The models fitted with random-parameters negative binomial models had the best performance in the process. In the best models obtained for every modeling technique, the characteristics of the road environment, including proxy measures for the geometric consistency, along with traffic volume, contribute significantly to the number of collisions. Both the variables concerning junctions and the various national highway segments in their area of influence, as well as variations from those characteristics concerning roadway segments which border the already mentioned area of influence have proven their relevance and, therefore, there is a rightful need to incorporate the effect of geometric consistency in the three-leg junctions safety studies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia de Telecomunicações e Informática

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: Fine-needle aspiration cytology (FNAC) of serous membrane effusions may fulfil a challenging role in the diagnostic analysis of both primary and metastatic disease. From this perspective, liquid-based cytology (LBC) represents a feasible and reliable method for empowering the performance of ancillary techniques (ie, immunocytochemistry and molecular testing) with high diagnostic accuracy. METHODS: In total, 3171 LBC pleural and pericardic effusions were appraised between January 2000 and December 2013. They were classified as negative for malignancy (NM), suspicious for malignancy (SM), or positive for malignancy (PM). RESULTS: The cytologic diagnoses included 2721 NM effusions (2505 pleural and 216 pericardic), 104 SM effusions (93 pleural and 11 pericardic), and 346 PM effusions (321 pleural and 25 pericardic). The malignant pleural series included 76 unknown malignancies (36 SM and 40 PM effusions), 174 metastatic lesions (85 SM and 89 PM effusions), 14 lymphomas (3 SM and 11 PM effusions), 16 mesotheliomas (5 SM and 11 SM effusions), and 3 myelomas (all SM effusions). The malignant pericardic category included 20 unknown malignancies (5 SM and 15 PM effusions), 15 metastatic lesions (1 SM and 14 PM effusions), and 1 lymphoma (1 PM effusion). There were 411 conclusive immunocytochemical analyses and 47 molecular analyses, and the authors documented 88% sensitivity, 100% specificity, 98% diagnostic accuracy, 98% negative predictive value, and 100% positive predictive value for FNAC. CONCLUSIONS: FNAC represents a primary diagnostic tool for effusions and a reliable approach with which to determine the correct follow-up. Furthermore, LBC is useful for ancillary techniques, such as immunocytochemistry and molecular analysis, with feasible diagnostic and predictive utility.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tese de Doutoramento em Engenharia Civil.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.