3,329 research outputs found
Memory Access Optimizations for High-Performance Computing
This paper discusses the importance of memory access optimizations which are shown to be highly effective on the MasPar architecture. The study is based on two MasPar machines, a 16K-processor MP-1 and a 4K-processor MP-2. A software pipelining technique overlaps memory accesses with computation and/or communication. Another optimization, called the register window technique reduces the number of loads in a loop. These techniques are evaluated using three parallel matrix multiplication algorithms on both the MasPar machines. The matrix multiplication study shows that for a highly computation intensive problem, reducing the interprocessor communication can become a secondary issue compared to memory access optimization. Also, it is shown that memory access optimizations can play a more important role than the choice of a superior parallel algorithm. Keywords: load/store architecture, memory accesses, matrix multiplication, parallel programming
Higher Order Decompositions of Ordered Operator Exponentials
We present a decomposition scheme based on Lie-Trotter-Suzuki product
formulae to represent an ordered operator exponential as a product of ordinary
operator exponentials. We provide a rigorous proof that does not use a
time-displacement superoperator, and can be applied to non-analytic functions.
Our proof provides explicit bounds on the error and includes cases where the
functions are not infinitely differentiable. We show that Lie-Trotter-Suzuki
product formulae can still be used for functions that are not infinitely
differentiable, but that arbitrary order scaling may not be achieved.Comment: 16 pages, 1 figur
Economical (k,m)-threshold controlled quantum teleportation
We study a (k,m)-threshold controlling scheme for controlled quantum
teleportation. A standard polynomial coding over GF(p) with prime p > m-1 needs
to distribute a d-dimensional qudit with d >= p to each controller for this
purpose. We propose a scheme using m qubits (two-dimensional qudits) for the
controllers' portion, following a discussion on the benefit of a quantum
control in comparison to a classical control of a quantum teleportation.Comment: 11 pages, 2 figures, v2: minor revision, discussions improved, an
equation corrected in procedure (A) of section 4.3, v3: major revision,
protocols extended, citations added, v4: minor grammatical revision, v5:
minor revision, discussions extende
Sintering characteristics of manganese ore fines from Balaghat and Ukwa mines of Manganese Ore (India) Limited
Indian manganese ore reserves are depleting very fast Manganese ore (India) Ltd. realised that utilisation of Manganese ore fines will pave the way for conservation of lumpy high grade manganese ore.
Manganese ore fines generated at Balaghat and Ukwa mines of MOIL were subjected to sintering studies at the R&D Centre of Paramount Sinters Pvt. Ltd.
The studies indicated that fluxed sinter with very good strength and porosity could be produced. The sinters showed a high degree of reduction and even metalization was noticed. The chemical and physical characteristics indicated that sinters can be used in ferro manganese
furnaces.
Advantages of using sinter in the ferro alloy manufacture has been highlighted in this report. The authors have conc-luded that from the point of view of conservation and reduction of manufacturing cost, sintering has a vital role to play in ferro alloy industries
Search for TeV -rays from H1426+428 during 2004-07 with the TACTIC telescope
The BL Lac object H1426+428 () is an established source of TeV
-rays and detections of these photons from this object also have
important implications for estimating the Extragalactic Background Light (EBL)
in addition to the understanding of the particle acceleration and -ray
production mechanisms in the AGN jets. We have observed this source for about
244h in 2004, 2006 and 2007 with the TACTIC -ray telescope located at
Mt. Abu, India. Detailed analysis of these data do not indicate the presence of
any statistically significant TeV -ray signal from the source
direction. Accordingly, we have placed an upper limit of
on the integrated
-ray flux at 3 significance level.Comment: 11 pages, 5 figures accepted for publication in Journal of Physics G:
Nuclear and Particle Physic
Oncological safety of stromal vascular fraction enriched fat grafting in two-stage breast reconstruction after nipple sparing mastectomy: long-term results of a prospective study
OBJECTIVE: Autologous fat transfer (AFT) is commonly used to treat implant palpability and prevent fibrosis and thinning in mastectomy skin flaps. A major limit to this procedure is volume retention over time, leading to the introduction of fat enrichment with stromal vascular fraction (SVF+AFT). Oncological concerns have been raised over the injection of an increased concentration of progenitors cells (ASCs) in the SVF. The aim of the study is to evaluate the long-term cancer recurrence risk of SVF+AFT cases compared to AFT, in patients undergoing Nipple Sparing Mastectomy (NSM). PATIENTS AND METHODS: A prospective study was designed to compare three groups of patients undergoing NSM followed by SVF+AFT, AFT or none (control group), after a two-stage breast reconstruction. Patients were strictly followed-up for at least 5-years from the second stage reconstructive procedure. Loco-regional and systemic recurrence rate were evaluated over time as the primary outcome. Logistic regression was used to investigate which factors were associated with recurrence events and independent variables of interest were: surgical technique, age above 50 years old, lympho-vascular invasion, oncological stage, adjuvant or neoadjuvant chemotherapy, adjuvant radiotherapy and adjuvant hormone therapy. RESULTS: 41 women were included in G1 (SVF+AFT), 64 in G2 (AFT), and 64 in G3 (control group). Loco-regional recurrence rate was 2.4% for G1, 4.7% for G2, and 1.6% for G3. Systemic recurrence was 7.3%, 3.1%, and 3.1%, respectively. Among the variables included, there were no significant risk factors influencing a recurrence event, either loco-regional or systemic. In particular, SVF+AFT (G1) did not increase the oncological recurrence. CONCLUSIONS: Our data suggest that both centrifuged and SVF-enhanced fat transfer have a similar safety level in comparison to patients who did not undergo fat grafting in breast reconstruction after NSM
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
We present formalized proofs verifying that the first-order unification
algorithm defined over lists of satisfiable constraints generates a most
general unifier (MGU), which also happens to be idempotent. All of our proofs
have been formalized in the Coq theorem prover. Our proofs show that finite
maps produced by the unification algorithm provide a model of the axioms
characterizing idempotent MGUs of lists of constraints. The axioms that serve
as the basis for our verification are derived from a standard set by extending
them to lists of constraints. For us, constraints are equalities between terms
in the language of simple types. Substitutions are formally modeled as finite
maps using the Coq library Coq.FSets.FMapInterface. Coq's method of functional
induction is the main proof technique used in proving many of the axioms.Comment: In Proceedings UNIF 2010, arXiv:1012.455
Impact of the different preparation methods to obtain human adipose-derived stromal vascular fraction cells (AD-SVFs) and human adipose-derived mesenchymal stem cells (AD-MSCs): Enzymatic digestion versus mechanical centrifugation
Autologous therapies using adipose-derived stromal vascular fraction (AD-SVFs) and adult adipose-derived mesenchymal stem cells (AD-MSCs) warrant careful preparation of the harvested adipose tissue. Currently, no standardized technique for this preparation exists. Processing quantitative standards (PQSs) define manufacturing quantitative variables (such as time, volume, and pressure). Processing qualitative standards (PQLSs) define the quality of the materials and methods in manufacturing. The purpose of the review was to use PQSs and PQLSs to report the in vivo and in vitro results obtained by different processing kits that use different procedures (enzymatic vs. non-enzymatic) to isolate human AD-SVFs/AD-MSCs. PQSs included the volume of fat tissue harvested and reagents used, the time/gravity of centrifugation, and the time, temperature, and tilt level/speed of incubation and/or centrifugation. PQLSs included the use of a collagenase, a processing time of 30 min, kit weight, transparency of the kit components, the maintenance of a closed sterile processing environment, and the use of a small centrifuge and incubating rocker. Using a kit with the PQSs and PQLSs described in this study enables the isolation of AD-MSCs that meet the consensus quality criteria. As the discovery of new critical quality attributes (CQAs) of AD-MSCs evolve with respect to purity and potency, adjustments to these benchmark PQSs and PQLs will hopefully isolate AD-MSCs of various CQAs with greater reproducibility, quality, and safety. Confirmatory studies will no doubt need to be completed
Oncoplastic conservative surgery for breast cancer: long-term outcomes of our first ten years experience
The main goal of oncoplastic breast surgery (OBS) is to optimize cosmetic outcomes and reduce patient morbidity, while still providing an oncologically-safe surgical outcome and extending the target population of conservative surgery. Although the growing number of reported experiences with oncoplastic surgery, few studies account for the long-term outcomes
- …