888 research outputs found

    Critical Behavior of a Three-State Potts Model on a Voronoi Lattice

    Full text link
    We use the single-histogram technique to study the critical behavior of the three-state Potts model on a (random) Voronoi-Delaunay lattice with size ranging from 250 to 8000 sites. We consider the effect of an exponential decay of the interactions with the distance,J(r)=J0exp(ar)J(r)=J_0\exp(-ar), with a>0a>0, and observe that this system seems to have critical exponents γ\gamma and ν\nu which are different from the respective exponents of the three-state Potts model on a regular square lattice. However, the ratio γ/ν\gamma/\nu remains essentially the same. We find numerical evidences (although not conclusive, due to the small range of system size) that the specific heat on this random system behaves as a power-law for a=0a=0 and as a logarithmic divergence for a=0.5a=0.5 and a=1.0a=1.0Comment: 3 pages, 5 figure

    Formal Component-Based Semantics

    Get PDF
    One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of Component-Based Semantics in the theorem prover Coq. It is based on Modular SOS, a variant of SOS, and makes essential use of dependent types, while profiting from type classes. This formalization constitutes a contribution towards modular meta theoretic formalizations in theorem provers. As a small example, a modular proof of determinism of a mini-language is developed.Comment: In Proceedings SOS 2011, arXiv:1108.279

    Process Migration and Transactions Using a Novel Intermediate Language

    Get PDF
    [no abstract

    The effect of green biobased binder on structural, mechanical, liquid absorption and wetting properties of coated papers

    Get PDF
    Synthetic styrene-butadiene (SB) and styrene-acrylic (SA) latex binders used in paper coating formulations are common and based on unsustainable petroleum sources. Today\u27s papermaking industry turns towards sustainable substitutes that do not compromise quality, and reduce carbon emission, toxic substance release and waste disposal concerns related to fossil fuel sources. In this study, colloidal starch-based latex nanoparticles that do not require cooking were used for pigment coating and coated on the paper surfaces. The effects of these new biobased binders on the structural and mechanical strength properties, liquid absorption, wetting and surface topography of the paper were investigated and compared with the properties of coated paper that SB latex was used as a coating binder. The results demonstrated that the biobased latex decreases the grammage of paper while maintaining an identical thickness relative to the SB latex samples. The porosity, permeability and roughness of biobased latex are found higher than the SB latex. The biobased latex successfully replaced SB latex at 1:1 ratio and enabled an equivalent of bursting, tear, tensile strength and structural properties

    The effect of supersymmetric CP phases on Chargino-Pair Production via Drell-Yan Process at the LHC

    Full text link
    We compute the rates for pp annihilation into chargino-pairs via Drell-Yan process taking into account the effects of supersymmetric soft phases, at proton-proton collider. In particular, the phase of the mu parameter gains direct accessibility via the production of dissimilar charginos. The phases of the trilinear soft masses do not have a significant effect on the cross sections.Comment: 24 pages, 7 figure

    Controlling unequal surface energy results caused by test liquids: the case of UV/O3 Treated PET

    Get PDF
    Ultraviolet/ozone (UV/O3) treatment has been reported to be an effective method to modify properties such as wettability, adhesion or adsorption of plastic surfaces. The change in the surface is measured by contact angle analysis, which employs liquids and their surface tensions (ST) to estimate the surface energy (SE). We found two different practices in the scientific community: (1) the majority of researchers adopted the ST value of liquids from the literature, while (2) other researchers conducted real-time measurements in the lab under ambient conditions prior to SE estimation. To the best of our knowledge, there is no study that compares the difference between the two practices. One study was found to show different SE methods generating unequal SE values for the same substrate. However, there was no definitive conclusion backed by general thermodynamics rules. In this study, we presented (1) a statistical significance test that showed the literature and experimental ST values are significantly different, and studied (2) the effect of different liquid pairs on the SE estimation for UV/O3 treated poly(ethylene terephthalate) (PET) substrate. Modification techniques such as atmospheric pressure plasma or chemical modification were studied previously to examine PET’s wettability and the SE. The UV/O3 treatment was studied to improve adhesion and to modify its chemical properties for adsorption. In contrast, we studied (3) the effect of UV/O3 on wettability at different timeframes and addressed (4) how to control unequal SE based on a method that was refined on a rigorous thermodynamic three-phase system. It must be noted that this method can be generalized to other types of solid surfaces to estimate thermodynamically self-consistent SE values. This work also provides (5) a web-based calculator that complements computational findings available to the readership in the data availability section

    Investigation of mitophagy biomarkers in corneal epithelium of keratoconus patients

    Get PDF
    Purpose: The pathological mechanisms of keratoconus (KC) have not been elucidated yet. Mitophagy is an important mechanism that eliminates damaged mitochondria under oxidative stress, and it could be one of the leading pathological causes of KC. This study aimed to find out the role of mitophagy in the keratoconic corneal epithelium. Methods: The corneal epithelia were collected from the 103 progressive KC patients and the 46 control subjects. The real-time quantitative PCR was performed for PTEN-putative kinase-1 (PINK1), PARKIN, p62, and BNIP3 gene expressions in 31 KC and 9 control subjects. Western blot analyses were performed to investigate the protein expressions of PINK1, PARKIN, LC3B, ATG5, and BECLIN in the remaining 109 corneal epithelium samples from 72 patients and 37 control subjects. Results: mRNA and protein expressions of PINK1 decreased significantly in the corneal epithelium of KC patients compared to the control subjects. No significant change was found in mRNA levels of PARKIN, p62, and BNIP3 in KC patients. The protein expression of PARKIN, LC3B, ATG5, and Beclin did not significantly differ between KC patients and control subjects. Gene expression levels of mitophagy biomarkers were not affected by the KC grade. Conclusions: PINK1/PARKIN-dependent mitophagy is affected in the keratoconic corneal epithelium. We found significant decreases in both mRNA and protein expressions of PINK1 in the keratoconic corneal epithelium. However, we did not observe any other significant change in mitophagy markers. Mitochondrial stress-related mitophagy pathways could be interrupted by the decreased levels of PINK1 in the keratoconic corneal epithelium, but solely PINK1 dysregulation is not likely to induce KC pathogenesis

    Meanings of epilepsy in its sociocultural context and implications for stigma: Findings from ethnographic studies in local communities in China and Vietnam

    Get PDF
    We investigated beliefs about the causes, course, and treatment of epilepsy and its impact on quality of life (QOL) in key target groups, using “mini-ethnographies” involving 141 in-depth interviews and 12 focus groups in China, and 84 in-depth interviews and 16 focus groups in Vietnam. Data were analyzed thematically, using a qualitative data analysis package. In both countries, beliefs about causes and triggers of epilepsy and seizures were a complex interweaving of Western, traditional, and folk medicine concepts. Epilepsy was understood to be chronic, not curable, but controllable, and was seen as enormously socially disruptive, with wide-ranging impact on QOL. Our findings suggest a more “embodied” and benign set of theories about epilepsy than in some other cultural contexts; nonetheless, people with epilepsy are still seen as having low social value and face social rejection. By exploring meanings attached to epilepsy in these two cultural contexts, we have clarified reasons behind previously documented negative attitudes and foci for future intervention studies

    Use of nanoparticle binders for paper coatings: A review

    Get PDF
    Starch is a biopolymer that is used as a co-binder alongside synthetic petroleum based latex binders for paper coating applications, though it causes production downtimes due to the problems during cooking process, such as gelling; lack of full expansion of starch granules; increase in viscosity during cooling; bacteria growth in cooked starch and difficulties in viscosity control during storage. On the other hand, synthetic binders negatively affect paper recyclability and biodegradability. To overcome these problems, a new biopolymer binder has been introduced to the paper manufacturing, being used initially as a partial replacement for petroleum based synthetic latex polymers. This study reviews the recent developments of nanoparticle biopolymer binders, referred to as biolatex binders. These binders are shipped dry and can be dispersed in water without cooking requirement while improving paper quality and reducing costs of paper manufacturing. They also provide quality benefits, coater runnability improvements and new higher solids coating formulations for future product advancements
    corecore