Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience

We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor and its associated partial evaluation-based compiler have been used extensively by scientists at M.I.T., and have made possible recent results in astrophysics showing that the motion of the planets in our solar system is chaotically unstable.

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.

Gas phase catalytic partial oxidation of toluene in a microchannel reactor

Gas phase partial oxidation of toluene over V/Ti oxide catalysts has been successfully performed in a microchannel reactor, which provides very good mass and heat transfer conditions. With the elimination of hot spots, which are known as the most negative factors for partial oxidation of hydrocarbons, steady and uniform reaction conditions can be achieved in the catalyst bed by using, the microreactor. Since the best performance of the catalysts might be exploited, the selectivity of partial oxidation products of toluene has remarkably increased compared to the traditional packed fixed-bed reactor, even without the bother of modifying the catalysts, diluting the reactants or catalysts with inert contents to avoid hot spots or improve the diffusion and mixing. Furthermore, in virtue of its inherent safety features, when using pure oxygen as oxidant, the reactions were handled safety within the explosion limits in the microreactor. With TiO2 carried V2O5 as catalysts, the total selectivity of benzaldehyde and benzoic acid reaches around 60%, and the toluene conversion is about 10%. The conversion can go up without violent decline of selectivity, unlike most fixed bed reactors. Space time yield of 3.12 kg h(-1) L-1 calculated on the basis of the channel volume has been achieved. The influence of operating conditions has been investigated in detail in the microreactor. (c) 2005 Elsevier B.V. All rights reserved.

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.

The local and global dimensions of metalliferous pollution derived from a reconstruction of an eight thousand year record of copper smelting and mining at a desert-mountain frontier in southern Jordan

Grattan, J.P., Gilbertson, D.D., Hunt, C.O. (2007). The local and global dimensions of metaliferrous air pollution derived from a reconstruction of an 8 thousand year record of copper smelting and mining at a desert-mountain frontier in southern Jordan. Journal of Archaeological Science 34, 83-110

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

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.

Uniformly convergent finite element methods for singularly perturbed parabolic partial differential equations

This thesis is concerned with uniformly convergent finite element methods for numerically solving singularly perturbed parabolic partial differential equations in one space variable. First, we use Petrov-Galerkin finite element methods to generate three schemes for such problems, each of these schemes uses exponentially fitted elements in space. Two of them are lumped and the other is non-lumped. On meshes which are either arbitrary or slightly restricted, we derive global energy norm and L2 norm error bounds, uniformly in the diffusion parameter. Under some reasonable global assumptions together with realistic local assumptions on the solution and its derivatives, we prove that these exponentially fitted schemes are locally uniformly convergent, with order one, in a discrete L∞norm both outside and inside the boundary layer. We next analyse a streamline diffusion scheme on a Shishkin mesh for a model singularly perturbed parabolic partial differential equation. The method with piecewise linear space-time elements is shown, under reasonable assumptions on the solution, to be convergent, independently of the diffusion parameter, with a pointwise accuracy of almost order 5/4 outside layers and almost order 3/4 inside the boundary layer. Numerical results for the above schemes are presented. Finally, we examine a cell vertex finite volume method which is applied to a model time-dependent convection-diffusion problem. Local errors away from all layers are obtained in the l2 seminorm by using techniques from finite element analysis.

A qualitative study of trends in patient preferences for the management of partial dentition

Objective: To identify factors influencing attitudes of partially dentate adults towards dental treatment in Ireland. Background: People are retaining more teeth later in life than ever before. Management of partially dentate older adults will be a major requirement for the future and it is important to determine factors which may influence patients’ attitudes to care. Methods: Subjects: A purposive sample of 22 partially dentate patients was recruited; 12 women and 12 men, ranging in age from 45 to 75 years. Data Collection: Semi-structured individual interviews. Results: Dental patients have increasing expectations in relation to (i) a more sophisticated approach to the management of missing teeth and (ii) their right to actively participate in decision making regarding the management of their tooth loss. There is some evidence of a cohort effect with younger patients (45–64 years) having higher expectations. Conclusions: The evidence of a cohort effect within this study in relation to higher patient expectations indicates that both contemporary and future patients are likely to seek a service based on conservation and restoration of missing teeth by fixed prostheses.

Sorting under partial information (without the ellipsoid algorithm)

We revisit the well-known problem of sorting under partial information: sort a finite set given the outcomes of comparisons between some pairs of elements. The input is a partially ordered set P, and solving the problem amounts to discovering an unknown linear extension of P, using pairwise comparisons. The information-theoretic lower bound on the number of comparisons needed in the worst case is log e(P), the binary logarithm of the number of linear extensions of P. In a breakthrough paper, Jeff Kahn and Jeong Han Kim (STOC 1992) showed that there exists a polynomial-time algorithm for the problem achieving this bound up to a constant factor. Their algorithm invokes the ellipsoid algorithm at each iteration for determining the next comparison, making it impractical. We develop efficient algorithms for sorting under partial information. Like Kahn and Kim, our approach relies on graph entropy. However, our algorithms differ in essential ways from theirs. Rather than resorting to convex programming for computing the entropy, we approximate the entropy, or make sure it is computed only once in a restricted class of graphs, permitting the use of a simpler algorithm. Specifically, we present: an O(n2) algorithm performing O(log n·log e(P)) comparisons; an O(n2.5) algorithm performing at most (1+ε) log e(P) + Oε(n) comparisons; an O(n2.5) algorithm performing O(log e(P)) comparisons. All our algorithms are simple to implement. © 2010 ACM.

Intrastereomic proteins from the asteroid Asterias rubens. separation, partial characterization ,and interactions with growing calcite crystals

info:eu-repo/semantics/published