2 resultados para Predicate Transformers

em Repositório Científico da Universidade de Évora - Portugal


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Stroke stands for one of the most frequent causes of death, without distinguishing age or genders. Despite representing an expressive mortality fig-ure, the disease also causes long-term disabilities with a huge recovery time, which goes in parallel with costs. However, stroke and health diseases may also be prevented considering illness evidence. Therefore, the present work will start with the development of a decision support system to assess stroke risk, centered on a formal framework based on Logic Programming for knowledge rep-resentation and reasoning, complemented with a Case Based Reasoning (CBR) approach to computing. Indeed, and in order to target practically the CBR cycle, a normalization and an optimization phases were introduced, and clustering methods were used, then reducing the search space and enhancing the cases re-trieval one. On the other hand, and aiming at an improvement of the CBR theo-retical basis, the predicates` attributes were normalized to the interval 0…1, and the extensions of the predicates that match the universe of discourse were re-written, and set not only in terms of an evaluation of its Quality-of-Information (QoI), but also in terms of an assessment of a Degree-of-Confidence (DoC), a measure of one`s confidence that they fit into a given interval, taking into account their domains, i.e., each predicate attribute will be given in terms of a pair (QoI, DoC), a simple and elegant way to represent data or knowledge of the type incomplete, self-contradictory, or even unknown.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the last decade of the 19th and first decades of the 20th century there was a movement of capital and engineers from the central and northern Europe to the countries of southern Europe and other continents. Large companies sought to obtain concessions and establish branches in Portugal, favouring the circulation of technical knowledge and transfer of technology for Portuguese industry. Among the various examples of the representatives of foreign companies in Portugal we find Jayme da Costa Ltd. established in 1916 in Lisbon, which was a branch of the Swedish company ASEA, as well as STAAL, ATLAS DIESEL (Sweden), Landis & GYR (Switzerland), Electro Helios, etc.. Another example is EFACEC a company founded in 1948 in Porto, that was a partnership between the Portuguese company CUF – Companhia União Fabril, and ACEC – Ateliers de Constructions Électriques de Charleroi and a small entreprise Electro-Moderna Ldª. This enterprise started the industrial production of electric motors and transformers, and later on acquired a substantial share of the national production of electrical equipment. Using Estatística das Instalações Elétricas em Portugal (Statistics on Electrical Installations in Portugal) from 1928 until 1950 we can identify the foreign enterprises acting in the Portuguese market: Siemens, B.B.C, ASEA, Oerlikon, etc. We can also establish a relationship between the development of the electric network and the growth of production and consumption of electricity in the principal urban centres. Finally we see how foreign firms were a stimulus to the creation of national enterprises, especially those of small scale, in Portugal.