On Optimizing Distributed Tucker Decomposition for Dense Tensors

The Tucker decomposition expresses a given tensor as the product of a small core tensor and a set of factor matrices. Apart from providing data compression, the construction is useful in performing analysis such as principal component analysis (PCA)and finds applications in diverse domains such as signal processing, computer vision and text analytics. Our objective is to develop an efficient distributed implementation for the case of dense tensors. The implementation is based on the HOOI (Higher Order Orthogonal Iterator) procedure, wherein the tensor-times-matrix product forms the core routine. Prior work have proposed heuristics for reducing the computational load and communication volume incurred by the routine. We study the two metrics in a formal and systematic manner, and design strategies that are optimal under the two fundamental metrics. Our experimental evaluation on a large benchmark of tensors shows that the optimal strategies provide significant reduction in load and volume compared to prior heuristics, and provide up to 7x speed-up in the overall running time.Comment: Preliminary version of the paper appears in the proceedings of IPDPS'1

Temporal Control of Gelation and Polymerization Fronts Driven by an Autocatalytic Enzyme Reaction

Chemical systems that remain kinetically dormant until activated have numerous applications in materials science. Herein we present a method for the control of gelation that exploits an inbuilt switch: the increase in pH after an induction period in the urease-catalyzed hydrolysis of urea was used to trigger the base-catalyzed Michael addition of a water-soluble trithiol to a polyethylene glycol diacrylate. The time to gelation (minutes to hours) was either preset through the initial concentrations or the reaction was initiated locally by a base, thus resulting in polymerization fronts that converted the mixture from a liquid into a gel (ca. 0.1 mm min−1). The rate of hydrolytic degradation of the hydrogel depended on the initial concentrations, thus resulting in a gel lifetime of hours to months. In this way, temporal programming of gelation was possible under mild conditions by using the output of an autocatalytic enzyme reaction to drive both the polymerization and subsequent degradation of a hydrogel

Towards Precision LSST Weak-Lensing Measurement - I: Impacts of Atmospheric Turbulence and Optical Aberration

The weak-lensing science of the LSST project drives the need to carefully model and separate the instrumental artifacts from the intrinsic lensing signal. The dominant source of the systematics for all ground based telescopes is the spatial correlation of the PSF modulated by both atmospheric turbulence and optical aberrations. In this paper, we present a full FOV simulation of the LSST images by modeling both the atmosphere and the telescope optics with the most current data for the telescope specifications and the environment. To simulate the effects of atmospheric turbulence, we generated six-layer phase screens with the parameters estimated from the on-site measurements. For the optics, we combined the ray-tracing tool ZEMAX and our simulated focal plane data to introduce realistic aberrations and focal plane height fluctuations. Although this expected flatness deviation for LSST is small compared with that of other existing cameras, the fast f-ratio of the LSST optics makes this focal plane flatness variation and the resulting PSF discontinuities across the CCD boundaries significant challenges in our removal of the systematics. We resolve this complication by performing PCA CCD-by-CCD, and interpolating the basis functions using conventional polynomials. We demonstrate that this PSF correction scheme reduces the residual PSF ellipticity correlation below 10^-7 over the cosmologically interesting scale. From a null test using HST/UDF galaxy images without input shear, we verify that the amplitude of the galaxy ellipticity correlation function, after the PSF correction, is consistent with the shot noise set by the finite number of objects. Therefore, we conclude that the current optical design and specification for the accuracy in the focal plane assembly are sufficient to enable the control of the PSF systematics required for weak-lensing science with the LSST.Comment: Accepted to PASP. High-resolution version is available at http://dls.physics.ucdavis.edu/~mkjee/LSST_weak_lensing_simulation.pd

Muscle plasticity related to changes in tubulin and αB-crystallin levels induced by eccentric contraction in rat skeletal muscles

We used the model of eccentric contraction of the hindlimb muscle by Ochi et al. to examine the role of eccentric contraction in muscle plasticity. This model aims to focus on stimulated skeletal muscle responses by measuring tissue weights and tracing the quantities of αB-crystallin and tubulin. The medial gastrocnemius muscle (GCM) responded to electrically induced eccentric contraction (EIEC) with significant increases in tissue weight (p < 0.01) and the ratio of tissue weight to body weight (p < 0.05); however, there was a decrease in soleus muscle weight after EIEC. EIEC in the GCM caused contractile-induced sustenance of the traced proteins, but the soleus muscle exhibited a remarkable decrease in α-tubulin and a 19% decrease in αB-crystallin. EIEC caused fast-to-slow myosin heavy chain (MHC) isoform type-oriented shift within both the GCM and soleus muscle. These results have shown that different MHC isoform type-expressing slow and fast muscles commonly undergo fast-to-slow type MHC isoform transformation. This suggests that different levels of EIEC affected each of the slow and fast muscles to induce different quantitative changes in the expression of αB-crystallin and α-tubulin

A Safety Case Pattern for Model-Based Development Approach

In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness argument for a system implemented using formal methods in the development process. We took advantage of our experience in constructing a safety case for the Patient Controlled Analgesic (PCA) infusion pump, to define this safety case pattern. The proposed pattern is appropriate to be instantiated within the safety cases constructed for systems that are developed by applying model-based approaches

TOPEX/POSEIDON operational orbit determination results using global positioning satellites

Results of operational orbit determination, performed as part of the TOPEX/POSEIDON (T/P) Global Positioning System (GPS) demonstration experiment, are presented in this article. Elements of this experiment include the GPS satellite constellation, the GPS demonstration receiver on board T/P, six ground GPS receivers, the GPS Data Handling Facility, and the GPS Data Processing Facility (GDPF). Carrier phase and P-code pseudorange measurements from up to 24 GPS satellites to the seven GPS receivers are processed simultaneously with the GDPF software MIRAGE to produce orbit solutions of T/P and the GPS satellites. Daily solutions yield subdecimeter radial accuracies compared to other GPS, LASER, and DORIS precision orbit solutions

Remineralization of demineralized dentin using a dual analog system.

ObjectiveImproved methods are needed to remineralize dentin caries in order to promote conservation of dentin tissue and minimize the surgical interventions that are currently required for clinical treatment. Here, we test the hypothesis that bulk substrates can be effectively mineralized via a dual analog system proposed by others, using a tripolyphosphate (TPP) "templating analog" and a poly(acrylic acid) (PAA) or poly(aspartic acid) (pAsp) "sequestration analog," the latter of which generates the polymer-induced liquid-precursor (PILP) mineralization process studied in our laboratory.Material &amp; methodsDemineralized human dentin slices were remineralized with and without pre-treatment with TPP, using either PAA or pAsp as the PILP process-directing agent. A control experiment with no polymer present was used for comparison.ResultsNo mineralization was observed in any of the PAA groups. In both the pAsp and no polymer groups, TPP inhibited mineralization on the surfaces of the specimens but promoted mineralization within the interiors. Pre-treatment with TPP enhanced overall mineralization of the pAsp group. However, when analysed via TEM, regions with little mineral were still present.ConclusionPoly(acrylic acid) was unable to remineralize demineralized dentin slices under the conditions employed, even when pre-treated with TPP. However, pre-treatment with TPP enhanced overall mineralization of specimens that were PILP-remineralized using pAsp