28 resultados para Multi-method evaluation


Relevância:

90.00% 90.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:

90.00% 90.00%

Publicador:

Resumo:

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

For the purpose of analyzing how did the considerable increase in the Portuguese tourism has influenced its cultural sector, this paper seeks to explore how has the company AntiFrame | Art Consulting replied to it. Arts Management: Contemporary Art Guides. Alibi – The Portuguese Case reviews some Arts Management literature whilst a multi-method approach is used. A market research was conducted, in which existing contemporary guides were analyzed as well as interviews made to tourists in Lisbon. Findings show that there is a flaw in the Portuguese contemporary art market, which the project Alibi aims to solve. Metrics on how the project’s results should be monitored, as part of a follow-up phase, were included, as well as limitations.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

Dissertação para obtenção do grau de Mestre em Engenharia Química e Bioquímica

Relevância:

40.00% 40.00%

Publicador:

Resumo:

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

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Relevância:

30.00% 30.00%

Publicador:

Resumo:

International Biodeterioration & Biodegradation 64(2010)388 e 396

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

RESUMO: Sessenta e três derivados de hidantoína foram utilizados para avaliar possíveis efeitos de modulação na actividade das bombas de efluxo (BE) na Salmonella NCTC 13349 utilizando um método fluorimétrico semi-automático. Nenhum dos compostos apresentaram actividade anti-bacteriana até concentrações de 240 mg/L. Entre todos os compostos, SZ-7 demonstrou possuir propriedades de modulação de effluxo na presença de glucose. Para testar esta actividade, estirpes de Salmonella resistentes à ciprofloxacina, induzidas a elevados níveis de resistência com sobre-expressão de BE, foram expostas ao SZ-7. Este derivado afectou a susceptibilidade das estirpes à ciprofloxacina. Uma vez que os 63 compostos estudados apresentaram pouco efeito inibitório /cumulativo, apesar de serem conhecidos pelos seus efeitos moduladores de BE-dependentes de iões em eucariotas, foi questionado o papel dos iões na regulação de BE bacterianas, que poderão influenciar a eficácia de novos compostos. Para este estudo, utilizamos a Escherichia coli AG100 como modelo, devido ao extenso conhecimento no que respeita a estrutura e actividade das BE. Devido à importância de iões de cálcio (Ca2+) nos canais de transporte membranar e na actividade de ATPases, a sua actividade na modulação do efluxo foi investigada. De resultados anteriormente obtidos concluiu-se que a pH 5 o efluxo é independente de energia metabólica; contudo, a pH 8 é absolutamente dependente, sendo que o Ca2+ é indispensável para manter a actividade das ATPases bacterianas. A acumulação/effluxo de EtBr pela E. coli AG100 foi determinada na presença/ausência de Ca2+, clorpromazina (inibidor de ligação de Ca2+ a proteínas), e ácido etilenodiamino tetra-acético (quelante de Ca2+). Acumulação/effluxo aumentou a pH 8, contudo o Ca2+ reverte estes efeitos evidenciando a sua importância no funcionamento das BE bacterianas. Em resumo este trabalho colocou em evidência que muitos aspectos bioquímicos e bioenergéticos devem ser tomados em consideração no estudo da resistência bacteriana mediada por BE.------- ABSTRACT: Sixty-three hydantoin derivatives were evaluated for their modulating effects on efflux pump (EP) activity of Salmonella NCTC 13349 utilizing a semi-automatic fluorometric method. None of the compounds presented antibacterial activities at concentrations as high as 240 mg/L. Among all compounds, SZ-7 showed possible efflux modulating activity in the presence of glucose, indicative of a potential EP inhibitor. To verify its potential effects, ciprofloxacin-resistant Salmonella strains, induced to high level resistance with over-expressing EPs, were exposed to SZ-7. This derivative affected the susceptibility of the ciprofloxacin-resistant strains. Since the 63 compounds studied had very low inhibitory/accumulative effects, even though their known for being efficient in modulating ion-driven eukaryotic EPs, we questioned whether ions had a leading role in regulating bacterial EPs, influencing the effectiveness of new compounds. For this study we used Escherichia coli AG100 as a model, due to the extensive knowledge on its EPs structure and activity. Owing the importance of calcium ions (Ca2+) for membrane transport channels and activity of ATPases, the role of Ca2+ was investigated. From previous results we concluded that at pH 5 efflux is independent of metabolic energy; however, at pH 8 it is entirely dependent of metabolic energy and the Ca2+ ions are essential to maintain the activity of bacterial ATPases. Accumulation and efflux of ethidium bromide (EtBr) by E. coli AG100 was determined in the presence and absence of Ca2+, chlorpromazine (inhibitor of Ca2+-binding to proteins), and ethylenediaminetetraacetic acid (Ca2+ chelator). Accumulation of EtBr increased at pH 8; however Ca2+ reversed these effects providing information as to the importance of this ion in the regulation of bacterial EP systems. Overall this work puts in evidence that many biochemical and bioenergetic aspects related to the strains physiology need to be taken into consideration in bacterial drug resistance mediated by EPs.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertation to obtain a Master’s Degree in Chemical and Biochemical Engineering

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.