A Parallelizing Compiler Based on Partial Evaluation

We constructed a parallelizing compiler that utilizes partial evaluation to achieve efficient parallel object code from very high-level data independent source programs. On several important scientific applications, the compiler attains parallel performance equivalent to or better than the best observed results from the manual restructuring of code. This is the first attempt to capitalize on partial evaluation's ability to expose low-level parallelism. New static scheduling techniques are used to utilize the fine-grained parallelism of the computations. The compiler maps the computation graph resulting from partial evaluation onto the Supercomputer Toolkit, an eight VLIW processor parallel computer.

Partial oxidation of methane over the perovskite oxides

Ba0.5Sr0.5Co0.8Fe0.2O3-delta and Ba0.5Sr0.5Co0.8Ti0.2O3-delta oxides were synthesized by a combined EDTA-citrate complexing method. The catalytic behavior of these two oxides with the perovskite structure was studied during the reaction of methane oxidation. The pre-treatment with methane has different effect on the catalytic activities of both the oxides. The methane pre-treatment has not resulted in the change of the catalytic activity of BSCFO owing to its excellent reversibility of the perovskite structure resulting from the excellent synergistic interaction between Co and Fe in the oxide. However, the substitution with Ti on Fe-site in the lattice makes the methane pre-treatment have an obvious influence on the activity of the formed BSCTO oxide.

Ligand modified real heterogeneous catalysts for fixed-bed hydroformylation of propylene

A novel ligand modified heterogeneous catalyst has been developed for hydroformylation of propylene, which showed excellent activity, selectivity and stability and need not be separated from the product after reaction in a fixed-bed reactor. The coordination bonds between triphenyl phosphine (PPh3) and Rh/SiO2 were confirmed by means of thermogravimetric (TG), solid-state P-31 NMR, XPS and FT-IR. Two types of active species for hydroformylation were formed, which were proved by in situ FT-IR techniques. The problem of metal leaching was greatly reduced by directly fastening Rh particles on the support, and the active Rh species that was responsible for the outstanding performance of propylene hydroformylation was tightly bound by the very strong metal-metal bonds. No sign of deactivation was observed over a period of more than 1000 h on the condition that PPh3 was added at 300-350 h of time on stream. (c) 2005 Elsevier B.V. All rights reserved.

Butene catalytic cracking to propene and ethene over potassium modified ZSM-5 catalysts

Catalytic cracking of butene over potassium modified ZSM-5 catalysts was carried out in a fixed-bed microreactor. By increasing the K loading on the ZSM-5, butene conversion and ethene selectivity decreased almost linearly, while propene selectivity increased first, then passed through a maximum (about 50% selectivity) with the addition of ca. 0.7-1.0% K, and then decreased slowly with further increasing of the K loading. The reaction conditions were 620 degrees C, WHSV 3.5 h(-1), 0.1 MPa 1-butene partial pressure and 1 h of time on stream. Both by potassium modification of the ZSM-5 zeolite and by N(2) addition in the butene feed could enhance the selectivity towards propene effectively, but the catalyst stability did not show any improvement. On the other hand, addition of water to the butene feed could not only increase the butene conversion, but also improve the stability of the 0.7%K/ZSM-5 catalyst due to the effective removal of the coke formed, as demonstrated by the TPO spectra. XRD results indicated that the ZSM-5 structure of the 0.07% K/ZSM-5 catalyst was not destroyed even under this serious condition of adding water at 620 degrees C.

Mast Cell Curve-Response in Partial Achilles Tendon Rupture After 830 nm Phototherapy

Objective: the aim of this study was to quantify mast cells at different time intervals after partial Achilles tendon rupture in rats treated with low-level laser therapy (LLLT). Background data: There is a high incidence of lesions and ruptures in the Achilles tendon that can take weeks and even months to heal completely. As the mast cells help in the healing repair phase, and LLLT has favorable effects on this tissue repair process, study of this modality on the quantity of mastocytes in the ruptured tendon is relevant. Methods: Sixty Wistar rats were subjected to partial Achilles' tendon rupture by direct trauma, randomized into 10 groups, and then divided into the group treated with 80mW aluminum gallium arsenide infrared laser diode, continuous wave, 2.8W/cm(2) power density, 40J/cm(2) energy density, and 1.12J total energy, and the simulation group. Both the groups were subdivided according to the histological assessment period of the sample, either 6h, 12h, 24h, 2 days, or 3 days after the rupture, to quantify the mastocytes in the Achilles' tendon. Results: the group subjected to LLLT presented a greater quantity of mastocytes in the periods of 6h, 12h, 24h, 2 days, and 3 days after rupture, compared with the simulation groups, but differences were detected between the sample assessment periods only in the simulation group. Conclusions: LLLT was shown to increase the quantity of mastocytes in the assessment periods compared with the simulation groups.

Accelerated partial irradiation for breast cancer: Systematic review and meta-analysis of 8653 women in eight randomized trials

Background and purpose: Accelerated partial breast irradiation (APBI) is the strategy that allows adjuvant treatment delivery in a shorter period of time in smaller volumes. This study was undertaken to assess the effectiveness and outcomes of APBI in breast cancer compared with whole-breast irradiation (WBI). Material and methods: Systematic review and meta-analysis of randomized controlled trials of WBI versus APBI. Two authors independently selected and assessed the studies regarding eligibility criteria. Results: Eight studies were selected. A total of 8653 patients were randomly assigned for WBI versus APBI. Six studies reported local recurrence outcomes. Two studies were matched in 5 years and only one study for different time of follow-up. Meta-analysis of two trials assessing 1407 participants showed significant difference in the WBI versus APBI group regarding the 5-year local recurrence rate (HR = 4.54, 95% CI: 1.78-11.61, p = 0.002). Significant difference in favor of WBI for different follow-up times was also found. No differences in nodal recurrence, systemic recurrence, overall survival and mortality rates were observed. Conclusions: APBI is associated with higher local recurrence compared to WBI without compromising other clinical outcomes. (C) 2014 Elsevier Ireland Ltd. All rights reserved.

Performance evaluation of the RPL Protocol in fixed and mobile sinks low-power and lossy networks.

Low-Power and Lossy-Network (LLN) are usually composed of static nodes, but the increase demand for mobility in mobile robotic and dynamic environment raises the question how a routing protocol for low-power and lossy-networks such as (RPL) would perform if a mobile sink is deployed. In this paper we investigate and evaluate the behaviour of the RPL protocol in fixed and mobile sink environments with respect to different network metrics such as latency, packet delivery ratio (PDR) and energy consumption. Extensive simulation using instant Contiki simulator show significant performance differences between fixed and mobile sink environments. Fixed sink LLNs performed better in terms of average power consumption, latency and packet delivery ratio. The results demonstrated also that RPL protocol is sensitive to mobility and it increases the number of isolated nodes.

Dangers of a fixed mindset: implications of self-theories research for computer science education

Murphy, L. and Thomas, L. 2008. Dangers of a fixed mindset: implications of self-theories research for computer science education. In Proceedings of the 13th Annual Conference on innovation and Technology in Computer Science Education (Madrid, Spain, June 30 - July 02, 2008). ITiCSE '08. ACM, New York, NY, 271-275.

Information sets and partial permutation decoding for codes from finite geometries

Mavron, Vassili; McDonough, T.P.; Key, J.D., (2006) 'Information sets and partial permutation decoding for codes from finite geometries', Finite Fields and their applications 12(2) pp.232-247 RAE2008

Reabilitação fixa aparafusada Vs. reabilitação fixa cimentada

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Medicina Dentária

Patient Retention in Antiretroviral Therapy Programs in Sub-Saharan Africa: A Systematic Review

Paper published in PLoS Medicine in 2007.

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Accelerating Internet Streaming Media Delivery Using Network-Aware Partial Caching

Internet streaming applications are adversely affected by network conditions such as high packet loss rates and long delays. This paper aims at mitigating such effects by leveraging the availability of client-side caching proxies. We present a novel caching architecture (and associated cache management algorithms) that turn edge caches into accelerators of streaming media delivery. A salient feature of our caching algorithms is that they allow partial caching of streaming media objects and joint delivery of content from caches and origin servers. The caching algorithms we propose are both network-aware and stream-aware; they take into account the popularity of streaming media objects, their bit-rate requirements, and the available bandwidth between clients and servers. Using realistic models of Internet bandwidth (derived from proxy cache logs and measured over real Internet paths), we have conducted extensive simulations to evaluate the performance of various cache management alternatives. Our experiments demonstrate that network-aware caching algorithms can significantly reduce service delay and improve overall stream quality. Also, our experiments show that partial caching is particularly effective when bandwidth variability is not very high.

Multiplexing VBR Traffic Flows with Guaranteed Application-level QoS Using Statistical Rate Monotonic Scheduling

Quality of Service (QoS) guarantees are required by an increasing number of applications to ensure a minimal level of fidelity in the delivery of application data units through the network. Application-level QoS does not necessarily follow from any transport-level QoS guarantees regarding the delivery of the individual cells (e.g. ATM cells) which comprise the application's data units. The distinction between application-level and transport-level QoS guarantees is due primarily to the fragmentation that occurs when transmitting large application data units (e.g. IP packets, or video frames) using much smaller network cells, whereby the partial delivery of a data unit is useless; and, bandwidth spent to partially transmit the data unit is wasted. The data units transmitted by an application may vary in size while being constant in rate, which results in a variable bit rate (VBR) data flow. That data flow requires QoS guarantees. Statistical multiplexing is inadequate, because no guarantees can be made and no firewall property exists between different data flows. In this paper, we present a novel resource management paradigm for the maintenance of application-level QoS for VBR flows. Our paradigm is based on Statistical Rate Monotonic Scheduling (SRMS), in which (1) each application generates its variable-size data units at a fixed rate, (2) the partial delivery of data units is of no value to the application, and (3) the QoS guarantee extended to the application is the probability that an arbitrary data unit will be successfully transmitted through the network to/from the application.