Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Uso eficiente da água no contexto das alterações climáticas

Dissertação de mestrado integrado em Engenharia Civil

Da experiência narrativa em diferentes media

No decorrer das últimas décadas, com o avanço das tecnologias de comunicação audiovisual, temos assistido a uma discussão sobre a utilidade de outros meios de expressão que não os audiovisuais, e nos últimos anos com a pressão económica da cultura dos videojogos, assiste-se mesmo à ideia de que tudo pode e deve ser comunicado audiovisualmente e interactivamente. Nesse sentido, este texto pretende lançar algumas ideias sobre o uso de diferentes media na comunicação narrativa, nomeadamente levando em conta o tipo de conteúdo que se pretende transmitir.

Da utilização e análise de dados de Geofísica em contextos arqueológicos: o Castro de Sapelos (Boticas) e o Seminário Conciliar de São Pedro e São Paulo (Braga)

Dissertação de mestrado em Arqueologia

Comparative study for the identification of myocardial ischemia by contrast ventriculography under the effect of isosorbide mononitrate and by perfusional myocardial scintigraphy in patients with ischemic heart disease

OBJECTIVE: To evaluate and compare the usefulness of cineventriculographies, before and after nitrate use, to technetium-99m sestamibi scintigraphy for the identification of myocardial ischemia. METHODS: Twenty-six patients were studied at basal conditions and 5 minutes after intravenous administration of isosorbide mononitrate (0.3mg/kg), to evaluate the performance and regional wall motion of the left ventricle (LV). The results were compared to those obtained with technetium-99m sestamibi scintigraphy. RESULTS: Before nitrate, contrast ventriculography identified 30 normal segments, 62 hypokinetic segments, 28 dyskinetic segments, and 14 akinetic segments. After drug administration, 99 segments were normal, 11 hypokinetic, 11 dyskinetic, and 13 akinetic. Myocardial scintigraphy revealed 110 ischemic segments and 18 fibrotic segments (p<0.005). After drug administration, the ventriculography showed increase in the velocity of circumferential fiber shortening (p=0.0142), the ejection fraction (p=0.0462), decrease in the end-systolic volume (p=0.0031) and no change in end-diastolic volume. CONCLUSION: Contrast ventriculography using nitrate proved to be similar to perfusional myocardial scintigraphy in the identification of myocardial ischemia.

Automated network resilience optimization using computational intelligence methods

This paper presents an automated optimization framework able to provide network administrators with resilient routing configurations for link-state protocols, such as OSPF or IS-IS. In order to deal with the formulated NP-hard optimization problems, the devised framework is underpinned by the use of computational intelligence optimization engines, such as Multi-objective Evolutionary Algorithms (MOEAs). With the objective of demonstrating the framework capabilities, two illustrative Traffic Engineering methods are described, allowing to attain routing configurations robust to changes in the traffic demands and maintaining the network stable even in the presence of link failure events. The presented illustrative results clearly corroborate the usefulness of the proposed automated framework along with the devised optimization methods.

Remission of heart failure through endoluminal repair of femoral arteriovenous fistula with the use of a covered stent

We report the case of a 21-year-old male with high-output heart failure due to a femoral arteriovenous fistula caused by a firearm wound. A new balloon expandable stent covered with polytetrafluorethylene was implanted in the artery to occlude the arteriovenous fistula. The fistula was immediately occluded and the artery remained patent. On the following day, the patient felt much better, with no symptoms of heart failure. Additional follow-up is required to assure the usefulness of this less invasive procedure in the treatment of arteriovenous fistulas.

Study of validation of the Portuguese version of the inventory «Experiences in Close Relationships»

The Experiences in Close Relationships Inventory permits to evaluate attachment in close relationships during adulthood based on two dimensions able to be present in this kind of relationships: the avoidance of proximity and the anxiety related with to abandonment. It is a self-report 7- points likert scale composed by 36 items. The Portuguese version was administered to a sample of 551 university students (60% female), the majority with ages between 19 and 24 years old (88%) in a dating relationship (86%). The principal components analysis with oblimin rotation was performed. The total scale has good internal consistency (α=.86), as also has the 2 sub-scales: anxiety (α=.86) and avoidance (α=.88). The two dimensions evaluated are significantly correlated with socio-demographics, relational characteristics (jealousy, relationship distress, and compromise), wishes (enmeshment versus differentiation) and fears (abandonment versus control) related to attitudes in significant relationships, which testify the construct validity of the instrument. The results obtained are coherent with the original version and other ECR‘s adaptations. Practitioners and researchers in the context of clinical psychology and related areas have now at their disposal the Portuguese version of the ECR inventory, which has shown its very high usefulness in the study of close relationships, and specifically attachment in adulthood.

Versão portuguesa das “Escalas de Táticas de Conflito Revisadas”: estudo de validação

As escalas de Táticas de Conflito Revisadas (CTS2) destinam-se a avaliar o modo como os casais resolvem os seus conflitos, através de estratégias de negociação ou de abuso: (a) abuso físico sem sequelas; (b) agressão psicológica; (c) abuso físico com sequelas; (d) coerção sexual. A versão portuguesa foi administrada a uma amostra de 551 estudantes universitários (332 do sexo feminino), 45 dos quais têm uma relação íntima entre si. Considera os cinco factores propostos pelos autores das escalas originais e apresenta valores de consistência interna compreendidos entre .78 e .50. As correlações entre os diferentes tipos de abuso e a desejabilidade social, história de socialização violenta, crime violento, domínio na relação, e ainda a concordância nos heterorrelatos de ambos elementos da díade, testemunham a validade das escalas. Investigadores e técnicos da psicologia e áreas afins têm agora à sua disposição a versão portuguesa das CTS2, que tem demonstrado elevada aplicabilidade na determinação da presença de relações abusivas no seio da família, na avaliação da eficácia de programas de intervenção no contexto forense e em estudos de cariz epidemiológico.

Towards a pervasive data mining engine: architecture overview

Current data mining engines are difficult to use, requiring optimizations by data mining experts in order to provide optimal results. To solve this problem a new concept was devised, by maintaining the functionality of current data mining tools and adding pervasive characteristics such as invisibility and ubiquity which focus on their users, providing better ease of use and usefulness, by providing autonomous and intelligent data mining processes. This article introduces an architecture to implement a data mining engine, composed by four major components: database; Middleware (control); Middleware (processing); and interface. These components are interlinked but provide independent scaling, allowing for a system that adapts to the user’s needs. A prototype has been developed in order to test the architecture. The results are very promising and showed their functionality and the need for further improvements.

Doppler tissue imaging to assess systolic function in Chagas' disease

OBJECTIVE: To assess the usefulness of Doppler tissue imaging (DTI) for evaluating the systolic function of chagasic patients with and without electrocardiographic abnormalities, in comparision with echocardiographic study. METHODS: We studied 77 patients divided into 3 groups as follows: group 1 - control; group 2 - chagasic patients with normal electrocardiographic findings; and group 3 - chagasic patients with abnormal electrocardiographic findings. The following parameters were assessed: left ventricular dimensions and ejection fraction, left atrial dimensions and diastolic function on echocardiography. Systolic velocity and regional isovolumic contraction time (IVCTr) of the septal, anterior, lateral, posterior and inferior left ventricular walls were assessed on DTI. RESULTS: Left ventricular cavitary dimensions, ejection fraction and DTI systolic wave showed significant differences between groups 1 and 3 and between groups 2 and 3, which were not found between groups 1 and 2. IVCTr allowed a statistically significant discrimination among the 3 groups. CONCLUSION: DTI allowed discrimination among the different groups assessed, being superior to echocardiography in identifying early abnormalities of contractility, and, therefore, potentially useful for detecting incipient myocardial alterations in chagasic patients with normal electrocardiographic findings.

Short Guide to Hepatitis C

Hepatitis C is a rapidly developing area of medicine – diagnostic tools are ever more refined, and entirely new treatments and treatment strategies are arriving, with more on the horizon. And because the virus affects such a large and varying population – up to 170 million at last count – we think it is important to have a pocket reference especially devoted to hepatitis C. We look forward to your comments on the usefulness of our 2014 Short Guide to Hepatitis C, which is an expansion and update of the HCV chapters in Hepatology – A Clinical Textbook (2014), also published by Flying Publisher. As always, we invite qualified people everywhere to translate this book into other languages, and make them available widely. This web-based free-of- harge concept is made possible by unrestricted educational grants from the pharmaceutical industry and has allowed the material to reach countries usually not covered by print media. We are convinced that this new pocket guide concept, focusing here on hepatitis C, will become a valuable source of information for our readers.

Assessment of Myocardial Ischemia in Obese Individuals Undergoing Physical Stress Echocardiography (PSE)

Background: Physical stress echocardiography is an established methodology for diagnosis and risk stratification of coronary artery disease in patients with physical capacity. In obese (body mass index ≥ 30 kg/m2) the usefulness of pharmacological stress echocardiography has been demonstrated; however, has not been reported the use of physical stress echocardiography in this growing population group. Objective: To assess the frequency of myocardial ischemia in obese and non-obese patients undergoing physical stress echocardiography and compare their clinical and echocardiographic differences. Methods: 4,050 patients who underwent treadmill physical stress echocardiography were studied according to the Bruce protocol, divided into two groups: obese (n = 945; 23.3%) and non-obese (n = 3,105; 76.6%). Results: There was no difference regarding gender. Obese patients were younger (55.4 ± 10.9 vs. 57.56 ± 11.67) and had a higher frequency of hypertension (75.2% vs. 57, 2%; p < 0.0001), diabetis mellitus (15.2% vs. 10.9%; p < 0.0001), dyslipidemia (59.5% vs 51.9%; p < 0.0001), family history of coronary artery disease (59.3% vs. 55.1%; p = 0.023) and physical inactivity (71.4% vs. 52.9%, p < 0.0001). The obese had greater aortic dimensions (3.27 vs. 3.14 cm; p < 0.0001), left atrium (3.97 vs. 3.72 cm; p < 0.0001) and the relative thickness of the ventricule (33.7 vs. 32.8 cm; p < 0.0001). Regarding the presence of myocardial ischemia, there was no difference between groups (19% vs. 17.9%; p = 0.41). In adjusted logistic regression, the presence of myocardial ischemia remained independently associated with age, female gender, diabetes and hypertension. Conclusion: Obesity did not behave as a predictor of the presence of ischemia and the physical stress echocardiography. The application of this assessment tool in large scale sample demonstrates the feasibility of the methodology, also in obese.

Diagnosis of Rejection by Analyzing Ventricular Late Potentials in Heart Transplant Patients

Background: Heart transplant rejection originates slow and fragmented conduction. Signal-averaged ECG (SAECG) is a stratification method in the risk of rejection. Objective: To develop a risk score for rejection, using SAECG variables. Methods: We studied 28 transplant patients. First, we divided the sample into two groups based on the occurrence of acute rejection (5 with rejection and 23 without). In a second phase, we divided the sample considering the existence or not of rejection in at least one biopsy performed on the follow-up period (rejection pm1: 18 with rejection and 10 without). Results: On conventional ECG, the presence of fibrosis was the only criterion associated with acute rejection (OR = 19; 95% CI = 1.65-218.47; p = 0.02). Considering the rejection pm1, an association was found with the SAECG variables, mainly with RMS40 (OR = 0.97; 95% CI = 0.87-0.99; p = 0.03) and LAS40 (OR = 1.06; 95% IC = 1.01-1.11; p = 0.03). We formulated a risk score including those variables, and evaluated its discriminative performance in our sample. The presence of fibrosis with increasing of LAS40 and decreasing of RMS40 showed a good ability to distinguish between patients with and without rejection (AUC = 0.82; p < 0.01), assuming a cutoff point of sensitivity = 83.3% and specificity = 60%. Conclusion: The SAECG distinguished between patients with and without rejection. The usefulness of the proposed risk score must be demonstrated in larger follow-up studies.

Biologia da Arsenura xanthopus (Walker, 1855) ( Lepidoptera - Adelocephalidae ), praga do «Açoita-Cavalo» (Luehea spp.) e notas sôbre seus inimigos naturais

Biology of Arsenura xanthopus (Walker, 1855) (Lep., Adelocephalidae), a pest of Luehea spp. (Tiliaceae), and notes on its natural enemies. In the beginning of 1950, one of the Authors made some observations about the biology of Arsenura xanthopus (Walker), in Piracicaba, State of S. Paulo, Brazil. From 1951 to 1953, both Authors continued the observations on such an important Adelocephalidae, the caterpillars of which represent a serious pest of Luehea spp. leaves. Actually, in some occasions, the caterpillars can destroy completely the leaves of the trees. The species is efficientely controlled by two natural enemies: an egg parasite (Tetrastichus sp., Hym., Eulophidae) and a fly attacking the last instar caterpillar (Winthemia tricolor (van der Wulp), Dip., Tachinidae). Tetrastichus sp. can destroy 100% of the eggs and the fly, 70 to 100% of the caterpillars. Indeed, facts as such are very interesting because we rarely know of a case of so complete a control of a pest by an insect. A. xanthopus had not yet been mentioned in our literature. Actually neither the systematic bibliography nor the economic one has treated of this species. However, a few other species of Arsenura are already known as living on Luehea spp. According to the Authors' observations, W. tricolor was also unknown by the Brazilian entomological literature. Arsenura xanthopus (Walker, 1855) After giving the sinonimy and a few historical data concerning the species, and its geographical distribution, the Authors discuss its placing in the genus Arsenura Duncan or Rhescyntis Huebner, finishing by considering Arsenura xanthopus as a valid name. The Authors put the species in the family Adelocephalidae, as it has been made by several entomologists. The host plant The species of Tiliaceae plants belonging to the genus Luehea are called "açoita-cavalo" and are well known for the usefulness of their largely utilized wood. The genus comprises exclusively American plants, including about 25 species distributed throughout the Latin America. Luehea divaricata Mart, is the best known species and the most commonly cultivated. Biology of Arsenura xanthopus Our observations show that the species passes by 6 larval stages. Eggs and egg-postures, all the 6 instars of the caterpillars as well as the chrysalid are described. The pupal period is the longest of the cycle, taking from 146 to 256 days. Data on the eclosion and habits of the caterpillars are also presented. A redescription of the adult is also given. Our specimens agreed with BOUVIER's description, except in the dimension between the extremities of the extended wings, which is a little shorter (107 mm according to BOUVlErVs paper against from 80 to 100mm in our individuals). Winthemia tricolor (van der Wulp, 1890) Historical data, geographical distribution and host are first related. W. tricolor had as yet a single known host-; Ar^-senura armida (Cramer). This chapter also contains some observations on the biolcn gy of the fly and on its behaviour when trying to lay eggs on the caterpillars' skin. The female of W. tricolor lays from 1 to 33 eggs on the skin of the last instar caterpillar. The mam region of the body where the eggs are laid are the membranous legs. Eggs are also very numerous oh the ventral surface of the thorax and abdomen. The. preference for such regions is easily cleared up considering the position assumed by the caterpillar when fixed motionless in a branch. In such an occasion, the fly approaches, the victim, puts the ovipositor out and lays the eggs on different parts of the body, mainly on the mentioned regions, which are much more easily reached. The eggs of the fly are firmly attached to the host's skin, being almost impossible to detach them, without having them broken. The minute larvae of the fly enter the body of, the host when it transforms into chrysalid. Chrysalids recentely formed and collected in nature f requentely show a few small larvae walking on its skin and looking for an adequate place to get into the body. A few larvae die by remaining in the skin of the caterpillar which is pushed away to some distance by the active movements of the chrysalid recentely formed. From 1 to 10 larvae completely grown may emerge from the attacked chrysalid about 8 days after their penetrating into the caterpillars' body and soon begin to look for an adequate substratum where they can transform themselves into pupae. In natural conditions, the metamorphosis occurs in the soil. The flies appear within 15 days. Tetrastichus sp. This microhymenoptera is economically the most interesting parasite, being commonly able to destroy the whole pos^ ture of the moth. Indeed, some days after the beginning of the infestation of the trees, it is almost impossible to obtain postures completely free of parasites. The active wasp introduces the ovipositor into the egg of the moth, laying its egg inside, from 80 to 120 seconds after having introduced it. A single adult wasp emerges from each egg. Sarcophaga lambens Wiedemann, 1830 During the observations carried out, the Authors obtained 10 flies from a chysalid that were recognized as belonging to the species above. S. lambens is a widely distributed Sarcophagidae, having a long list of hosts. It is commonly obtained from weak or died invertebrates, having no importance as one of their natural enemies. Sinonimy, list of hosts and distribution are presented in this paper. Control of Arsenura xanthopus A test has been carefully made in the laboratory just to find out the best insecticide for controlling A. xanthopus caterpillars. Four different products were experimented (DDT, Pa-rathion, BHC and Fenatox), the best results having been obtained with DDT at 0,25%. However, the Authors believe in spite of the initial damages of the trees, that the application of an insecticide may be harmful by destroying the natural agents of control. A biological desiquilibrium may in this way take place. The introduction of the parasites studied (Tetrastichus sp. and Winthemia tricolor) seems to be the most desirable measure to fight A. xanthopus.