971 resultados para Efficient dominating set


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Foram avaliados todos os internamentos no Serviço de Ginecologia da MAC de 2 de Janeiro a 19 de Setembro de 1991. O critério de selecção baseou-se no registo de morbilidade intra-operatória e no prolongamento de tempo de internamento. Foram estudados os dados relativos à idade, factores de risco associados, risco anestésico, tipo de intervenção cirúrgica, tempo operatório, tipo de complicações e média de tempo de internamento. Verificou-se uma morbilidade global de 5,6%, tendo-se constatado uma maior incidência de complicações no grupo das histerectomias abdominais (16,8%). Nos casos com morbilidade 72% apresentavam um ou mais factores de risco associados. Ocorreram 5 lesões de órgão (0,73%), 33 complicações pós-operatórias (4,8%) e 7 reintervenções (1%). A média de internamento neste grupo de doentes foi de 11 dias.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

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 Management 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:

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management 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 Biotecnologia

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Clayish earth-based mortars are been recognized, all over the world, as eco-efficient products for plastering. Apart from being a product with low embodied energy when compared to other types of plasters, their application on the interior surface of walls may give a strong contribution for the health and comfort of inhabitants. As part of an ongoing research regarding earth-based plasters this work assesses the influence of the addition of two types of natural fibres – oat straw and typha fiber-wool – on the characteristics of plastering mortars made with a clayish earth. Mechanical and physical characteristics were tested, showing that addition of these fibers contribute to decrease linear drying shrinkage and thermal conductivity, as well as promoting the adhesion strength of plaster to the substrate. The improvement of mechanical resistance reveal to be dependent on the type of fiber added while the hygroscopic capacity of the plaster is maintained regardless of the fiber additions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Earthen plastering mortars are becoming recognized as highly eco-efficient. The assessment of their technical properties needs to be standardized but only the German standard DIN 18947 exists for the moment. An extended experimental campaign was developed in order to assess multiple properties of a ready-mixed earth plastering mortar and also to increase scientific knowledge of the influence of test procedures on those properties. The experimental campaign showed that some aspects related to the equipment, type of samples and sample preparation can be very important, while others seemed to have less influence on the results and the classification of mortars. It also showed that some complementary tests can easily be performed and considered together with the standardized ones, while others may need to be improved. The plaster satisfied the requirements of the existing German standard but, most importantly, it seemed adequate for application as rehabilitation plaster on historic and modern masonry buildings. Apart from their aesthetic aspect, the contribution of earthen plasters to eco-efficiency and particularly to hygrometric indoor comfort should be highlighted.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduction Dogs play a primary role in the zoonotic cycle of visceral leishmaniasis (VL). Therefore, the accurate diagnosis of infected dogs, primarily asymptomatic dogs, is crucial to the efficiency of VL control programs. Methods We investigated the agreement of four diagnostic tests for canine visceral leishmaniasis (CVL): parasite detection, either after myeloculture or by direct microscopic examination of tissue imprints; kinetoplast-deoxyribonucleic acid-polymerase chain reaction (kDNA-PCR); and an immunochromatographic test (ICT). An enzyme-linked immunosorbent assay (ELISA) and an indirect immunofluorescence test (IFAT), both of which were adopted as part of the screening-culling program in Brazil, were used as reference tests. Our sample set consisted of 44 seropositive dogs, 25 of which were clinically asymptomatic and 19 were symptomatic for CVL according to ELISA-IFAT. Results The highest and lowest test co-positivities were observed for ICT (77.3%) and myeloculture (58.1%), respectively. When analyzed together, the overall percentage of co-positive tests was significantly higher for the symptomatic group compared to the asymptomatic group. However, only ICT was significantly different based on the results of a separate analysis per test for each group of dogs. The majority (93.8%) of animals exhibited at least one positive test result, with an average of 2.66 positive tests per dog. Half of the symptomatic dogs tested positive for all four tests administered. Conclusions The variability between test results reinforces the need for more efficient and reliable methods to accurately diagnose canine VL, particularly in asymptomatic animals.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work I propose an additional test to be implemented in EDP’s residential electricity use feedback trials, under InovCity’s project scope. The proposed product to be tested consists of an interface between the smart meter and the television, through a set-top box. I provide a theoretical framework of the importance of feedback, an analysis of results from past studies involving smart metering, and a detailed description of my proposal. The results of a self-developed questionnaire related to the proposal and segmentation issues are also analyzed. Finally, general conclusions are drawn and potential future improvements and challenges are presented.