A study of risk-aware program transformation

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.

A penectomia como técnica de controlo reprodutivo da espécie invasora Trachemys scripta em contexto zoológico

Dissertação de Mestrado Integrado em Medicina Veterinária

Design of a bifurcated stent graft, with its accompanying delivery system.

Abdominal Aortic Aneurysms (AAA) haemorhaging is a life-threatening disease. An aneurysm is a permanent swelling of an artery due to a weakness in its wall. Current surgical repair involves opening the chest or abdomen, gaining temporary vascular control of the aorta and suturing a prosthetic graft to the healthy aorta within the aneurysm itself The outcome of this surgical approach is not perfect, and the quality of life after this repair is impaired by postoperative pain, sexual dysfunction, and a lengthy hospital stay resulting in high health costs. All these negative effects are related to the large incision and extensive tissue dissection. Endovascular grafting is an alternative to the standard surgical method. This treatment is a less invasive method of treating aortic aneurysms. It involves a surgical exposure of the common femoral arteries where the stent graft can be inserted through by an over-the-wire technique. All manipulations are controlled from a remote place by the use of a catheter and this technique avoids the need to directly expose the diseased artery through a large incision or an extensive dissection. The proposed design method outlined in this project is to develop the endovascular approach. The main aim is to design an unitary bifurcated stent graft (1 e- bifurcated graft as a single component) to treat these Abdominal Aortic Aneurysms. This includes the delivery system and deployment mechanism necessary to first accurately position the stent graft across the aneurysm sac and also across the iliac bifurcation, and secondly fix the stent graft in position by using expandable metal stents. Thus, excluding the aneurysm from the circulation and therefore preventing rupture. Miniaturisation is a critical aspect of this design, as the smaller the crimped stent graft the easier to guide through the vascular system to the desired location. Biocompatibility is an important aspect. The preferred materials for this prosthesis are to use Shape Memory Alloys for the stent and a multifilament fabric for the graft. A taper design is applied for the geometry as this gives a favourable flow characteristic and reduced wave reflections. Adequate testing of the stent graft to prove its durability and the ease of the method of deployment is a prerequisite. A bench test facility has being designed and build to replicate the cardiovascular system and the disease in question aortic aneurysms at the iliac bifurcation. The testing here shows the feasibility of the proposed delivery system and the durability of the stent graft across the aneurysm sac. Finally, these endovascular treatments offer the economic advantage of short hospital stays or even treatment as an outpatient, as well as elimination of the need for postoperative intensive care The risk of developing an aneurysm increases with age, that is one of the mam reasons to look for less invasive ways of treating aneurysms. Consequently, there is enormous pressure to develop and use these devices rapidly.

Estudos sobre a atividade dos extratos da suprarenal

Studies have been carried out on the method of Britton and Silvette modified by Reinecke and Kendall, for the evaluation of cortico-adrenal extracts, based on the deposition of glycogen in the liver of adrenaletomized rats. The test was performed in a total of 180 normal and adrenalectomized rats. The extracts tested were: a) an aqueous extract of cortico-adrenal cortex prepared by the Swingle and Pfiffner technique; b) the same extract added with ascorbic acid (Supracortin Labor); c) desoxycorticosterone acetate (Percortol Ciba and Syncortyl Roussell). Male rats were used, ranging from 40-200g, fed since the 18 th days old with a special diet, in which they were maintained until the day before the injection. Adrenalectomy was performed under urethane anesthesia. The fourth day after operation, food was removed and they were fasted for 24 hours. In the morning of the fifth day, injections of the material to be assayed were given at hourly and two hours intervals, during four to eight hours. One or two hours after the last injection, the animals were sacrified, the livers removed and dropped into a hot 30% solution of potassium hydroxide, and worked by Good, Kramer and Somogyi method. The glycogen was calculated as milligrams per lOOg of body and liver weight. The results obtained are shown in the tables I, II, and III. When several dosages of the same sample of extract were made (5 animals each dose), the amount of glycogen deposited in the liver per lOOg of body and liver weight, was found to be a positive function of the dose injected. The graph 2, shows these results. The synthetic compounds were ineffective. Our results are in agreement with those of Reinecke and Kendall and of Olson et al.

Performance of matrix-assisted laser desorption ionization-time of flight mass spectrometry for identification of bacterial strains routinely isolated in a clinical microbiology laboratory.

Matrix-assisted laser desorption ionization-time of flight mass spectrometry (MALDI-TOF MS) has recently been introduced in diagnostic microbiology laboratories for the identification of bacterial and yeast strains isolated from clinical samples. In the present study, we prospectively compared MALDI-TOF MS to the conventional phenotypic method for the identification of routine isolates. Colonies were analyzed by MALDI-TOF MS either by direct deposition on the target plate or after a formic acid-acetonitrile extraction step if no valid result was initially obtained. Among 1,371 isolates identified by conventional methods, 1,278 (93.2%) were putatively identified to the species level by MALDI-TOF MS and 73 (5.3%) were identified to the genus level, but no reliable identification was obtained for 20 (1.5%). Among the 1,278 isolates identified to the species level by MALDI-TOF MS, 63 (4.9%) discordant results were initially identified. Most discordant results (42/63) were due to systematic database-related taxonomical differences, 14 were explained by poor discrimination of the MALDI-TOF MS spectra obtained, and 7 were due to errors in the initial conventional identification. An extraction step was required to obtain a valid MALDI-TOF MS identification for 25.6% of the 1,278 valid isolates. In conclusion, our results show that MALDI-TOF MS is a fast and reliable technique which has the potential to replace conventional phenotypic identification for most bacterial strains routinely isolated in clinical microbiology laboratories.

Study of two different enzyme immunoassays for the detection of Mayaro virus antibodies

This paper presents the evaluation of an enzyme immunoassay in which Mayaro virus-infected cultured cells ara used as antigen (EIA-ICC) and an IgM antibody capture ELISA (MAC-ELISA) for Mayaro serologic diagnosis using 114 human sera obtained during a Mayaro outbreak occurred in Bolivia, in 1987. Results were compared with those obtained by haemagglutination-inhibition test (HAI). MAC-ELISA was the most sensitive technique for anti-Mayaro IgM detection. MAC-ELISA was twice sensitive as IgM EIA-ICC. The data shows that MAC-ELISA is a practical and valid technique for diagnosis of recent mayaro infection. IgG-ICC showed hight sensitivity and high specificity compared to HAI. The combination of anti-Mayaro IgG and IgM EIA-ICC results presented the highest sensitivity of the study. Anti-Mayaro IgG and IgM simultaneous detection by ELISA-ICC can be used for recent infection diagnosis (in spite of a less sensitive IgM detection than by MAC-ELISA), for surveillance and sero-epidemiologic studies, and for studies of IgG and IgM responses to Mayaro infection.

Alliance evolutions over the course of short-term dynamic psychotherapy: A case study

Background: Alliance evolutions, i.e. ruptures and resolutions over the course of psychotherapy, have been shown to be important descriptive features in different forms of psychotherapy, and in particular in psychodynamic psychotherapy. This case study of a client presenting elements of adjustment disorder undergoing short-term dynamic psychotherapy is drawn from a systematic naturalistic study and aims at illustrating, on a session-by-session-level, the processes of alliance ruptures and resolutions, by comparing both the client's and the therapist's perspectives. Method: Two episodes of alliance evolution were more fully studied, in relation to the evolution of transference, as well as the client's defensive functioning and core conflictual theme. These concepts were measured by means of valid, reliable observer-rater methods, based on session transcripts: the Defense Mechanisms Rating Scales (DMRS) for defensive functioning and the Core Conflictual Relationship Theme (CCRT) for the conflicts. Alliance was measured after each session using the Helping Alliance questionnaire (HAq-II). Results: The results indicated that these episodes of alliance rupture and resolutions may be understood as key moments of the whole therapeutic process reflecting the client's main relationship stakes. Illustrations are provided based on the client's in-session processes and related to the alliance development over the course of the entire therapy.

Toxoplasma gondii: a rapid method for the isolation of pure tachyzoites: preliminary characterization of its genome

A rapid and simple technique for the purification of Toxoplasma gondii tachyzoites was developed. Highly purified parasites were obtained from the peritoneal exudates of infected mice by means of two consecutive discontinous sucrose gradients run at low speed (10,000xg, 30 min). Parasites obtained by this method conserved its biological activity. Hybridizations tudies with DNA from healthy mice and from purified tachyzoites preparations demonstrated that Toxoplasma gondii tachyzoites DNA could be obtained with better than 90 per cents purity. Preliminary studies with DNA endonucleases showed the presence in the tachyzoites genome of highly repetitives sequences.

Two new species in the genus Cucullanus (Nematoda - Cucullanidae) from the australian region

Two new species of Cucullanus are described: C. bourdini n. sp. and C. laurotravassosi n. sp. C. bourdini is a parasite of Pristipomoides filamentosus , Aprion virescens and P. flavipinnis (Lutjanidae) in New Caledonia. The species is closely related to C. amadai, C. bulbosus and C. hians by the disposition of the post-and ad-cloacal papille but differs by the more posterior position of the deirids. C. laurotravassosi n. sp., a parasite of Arius sp. in Australia, is close to C. bagre but can be distinguished by the more posterior position of post-cloacal papillae.

On Cooperative solutions of a generalized assignment game: limit theorems to the set of competitive equilibria

We study two cooperative solutions of a market with indivisible goods modeled as a generalized assignment game: Set-wise stability and Core. We first establish that the Set-wise stable set is contained in the Core and it contains the non-empty set of competitive equilibrium payoffs. We then state and prove three limit results for replicated markets. First, the sequence of Cores of replicated markets converges to the set of competitive equilibrium payoffs when the number of replicas tends to infinity. Second, the Set-wise stable set of a two-fold replicated market already coincides with the set of competitive equilibrium payoffs. Third, for any number of replicas there is a market with a Core payoff that is not a competitive equilibrium payoff.

Cost evaluation of cardiac magnetic resonance imaging versus coronary angiography for the work-up of coronary artery disease

Background: CMR has recently emerged as a robust and reliable technique to assess coronary artery disease (CAD). A negative perfusion CMR test predicts low event rates of 0.3-0.5%/year. Invasive coronary angiography (CA) remains the "gold standard" for the evaluation of CAD in many countries.Objective: Assessing the costs of the two strategies in the European CMR registry for the work-up of known or suspected CAD from a health care payer perspective. Strategy 1) a CA to all patients or 2) a CA only to patients who are diagnosed positive for ischemia in a prior CMR.Method and results: Using data of the European CMR registry (20 hospitals, 11'040 consecutive patients) we calculated the proportion of patients who were diagnosed positive (20.6%), uncertain (6.5%), and negative (72.9%) after the CMR test in patients with known or suspected CAD (n=2'717). No other medical test was performed to patients who were negative for ischemia. Positive diagnosed patients had a coronary angiography. Those with uncertain diagnosis had additional tests (84.7%: stress echocardiography, 13.1%: CCT, 2.3% SPECT), these costs were added to the CMR strategy costs. Information from costs for tests in Germany and Switzerland were used. A sensibility analysis was performed for inpatient CA. For costs see figure. Results - costs.Discussion: The CMR strategy costs less than the CA strategy for the health insurance systems both, in Germany and Switzerland. While lower in costs, the CMR strategy is a non-invasive one, does not expose to radiation, and yields additional information on cardiac function, viability, valves, and great vessels. Developing the use of CMR instead of CA might imply some reduction in costs together with superior patient safety and comfort, and a better utilization of resources at the hospital level. Document introduit le : 01.12.2011

Analysis of Respiratory Syncytial Virus in Clinical Samples by Reverse Transcriptase-Polymerase Chain Reaction Restriction Mapping

The aim of this study was to develop a polymerase chain reaction (PCR) for the detection of respiratory syncytial virus (RSV) genomes. The primers were designed from published sequences and selected from conserved regions of the genome encoding for the N protein of subgroups A and B of RSV. PCR was applied to 20 specimens from children admitted to the respiratory ward of "William Soler" Pediatric Hospital in Havana City with a clinical diagnosis of bronchiolitis. The PCR was compared with viral isolation and with an indirect immunofluorescence technique that employs monoclonal antibodies of subgroups A and B. Of 20 nasopharyngeal exudates, 10 were found positive by the three assayed methods. In only two cases, samples that yielded positive RNA-PCR were found negative by indirect immunofluorescence and cell culture. Considering viral isolation as the "gold standard" technique, RNA-PCR had 100% sensitivity and 80% specificity. RNA-PCR is a specific and sensitive technique for the detection of the RSV genome. Technical advantages are discussed

Rearing of Lymnaea columella (Say, 1817), intermediate host of Fasciola hepatica (Linnaeus, 1758)

The intermediate host of Fasciola hepatica, Lymnaea columella, collected in Belo Horizonte, Minas Gerais, Brazil, was reared in our laboratory. The aim of the current study was to standardize a rearing and maintenance technique. Two kinds of diet were tested: fresh lettuce (A) and rodent ration + 10% CaCO3 plus fresh lettuce (B). The age for the beginning of oviposition ranged from 27 to 57 days. Ten days after oviposition at 24.7°C, 100% eclosion occurred. The complete life cycle varied from 37 to 67 days. The average numbers of eggs per egg mass were 26.3 and 31.1 with diets (A) and (B), respectively. The lettuce and ration fed snails presented a increased growth although the difference was not statistically significant (p > 0.05). The mortality rate varied from 40 to 64% after 90 days. The maximum longevity was 183 days, 21.5 mm length and 11 mm wide. The methodology to mass breed and maintain these snails was found to be suitable in the laboratory

Eticket : gestió d'esdeveniments i venda d'entrades online

Avui dia, la gestió d’esdeveniments online i la seva promoció és un mercat creixent gràcies a l’evolució de la web 2.0 i a les xarxes socials. Ticketmaster és el referent, tot i així, no existeix una oferta clara per gestionar la venda d’entrades d’esdeveniments d’una mida petita o mitjana i que aprofiti les xarxes socials i la integració d’aplicacions que aquestes proporcionen. L’objectiu és realitzar una aplicació web on els usuaris (propis o de Facebook) puguin crear esdeveniments, publicar-los i promocionar-los a les xarxes socials, així com gestionar les tasques i característiques relacionades com la venda d’entrades i la llista de convidats.

Fit For The Future - Proposals (PDF 66KB)

This Government came to power committed to reforming and modernising the health and personal social services (HPSS) and returning them to their founding principles and core values. The momentous political change which has taken pl ace in Northern Ireland over the last year means that the new Assembly will now be taking up that challenge. This paper is not a blueprint. It signals the direction in which the Government wishes to move, but it will quite properly be for the Assembly to take final decisions on the way forward. There are many difficult issues to be addressed and change cannot happen overnight. That is the challenge which faces the Assembly and the HPSS. I wish them every success in meeting it. åÊ åÊ