21,297 research outputs found

    Amine-terminated nanoparticle films: pattern deposition by a simple nanostencilling technique and stability studies under X-ray irradiation

    Get PDF
    Exploring the surface chemistry of nanopatterned amine-terminated nanoparticle films.</p

    Diabetes and Hypertension: Is There a Common Metabolic Pathway?

    Get PDF
    Diabetes and hypertension frequently occur together. There is substantial overlap between diabetes and hypertension in etiology and disease mechanisms. Obesity, inflammation, oxidative stress, and insulin resistance are thought to be the common pathways. Recent advances in the understanding of these pathways have provided new insights and perspectives. Physical activity plays an important protective role in the two diseases. Knowing the common causes and disease mechanisms allows a more effective and proactive approach in their prevention and treatment

    Well-posedness of the Viscous Boussinesq System in Besov Spaces of Negative Order Near Index s=−1s=-1

    Full text link
    This paper is concerned with well-posedness of the Boussinesq system. We prove that the nn (n≥2n\ge2) dimensional Boussinesq system is well-psoed for small initial data (u⃗0,θ0)(\vec{u}_0,\theta_0) (∇⋅u⃗0=0\nabla\cdot\vec{u}_0=0) either in (B∞,1−1∩B∞,∞−1,1)×Bp,r−1({B}^{-1}_{\infty,1}\cap{B^{-1,1}_{\infty,\infty}})\times{B}^{-1}_{p,r} or in B∞,∞−1,1×Bp,∞−1,ϵ{B^{-1,1}_{\infty,\infty}}\times{B}^{-1,\epsilon}_{p,\infty} if r∈[1,∞]r\in[1,\infty], ϵ>0\epsilon>0 and p∈(n2,∞)p\in(\frac{n}{2},\infty), where Bp,qs,ϵB^{s,\epsilon}_{p,q} (s∈Rs\in\mathbb{R}, 1≤p,q≤∞1\leq p,q\leq\infty, ϵ>0\epsilon>0) is the logarithmically modified Besov space to the standard Besov space Bp,qsB^{s}_{p,q}. We also prove that this system is well-posed for small initial data in (B∞,1−1∩B∞,∞−1,1)×(Bn2,1−1∩Bn2,∞−1,1)({B}^{-1}_{\infty,1}\cap{B^{-1,1}_{\infty,\infty}})\times({B}^{-1}_{\frac{n}{2},1}\cap{B^{-1,1}_{\frac{n}{2},\infty}}).Comment: 18 page

    On the Classical W4(2)W_{4}^{(2)} Algebra

    Full text link
    We consider the classical \w42 algebra from the integrable system viewpoint. The integrable evolution equations associated with the \w42 algebra are constructed and the Miura maps , consequently modifications, are presented. Modifying the Miura maps, we give a free field realization the classical \w42 algebra. We also construct the Toda type integrable systems for it.Comment: 14 pages, latex, no figure

    On determination of the geometric cosmological constant from the OPERA experiment of superluminal neutrinos

    Full text link
    The recent OPERA experiment of superluminal neutrinos has deep consequences in cosmology. In cosmology a fundamental constant is the cosmological constant. From observations one can estimate the effective cosmological constant Λeff\Lambda_{eff} which is the sum of the quantum zero point energy Λdarkenergy\Lambda_{dark energy} and the geometric cosmological constant Λ\Lambda. The OPERA experiment can be applied to determine the geometric cosmological constant Λ\Lambda. It is the first time to distinguish the contributions of Λ\Lambda and Λdarkenergy\Lambda_{dark energy} from each other by experiment. The determination is based on an explanation of the OPERA experiment in the framework of Special Relativity with de Sitter space-time symmetry.Comment: 7 pages, no figure

    Verification of Hierarchical Artifact Systems

    Get PDF
    Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present work represents a significant advance on the problem of artifact verification, by considering a much richer and more realistic model than in previous work, incorporating core elements of IBM's successful Guard-Stage-Milestone model. In particular, the model features task hierarchy, concurrency, and richer artifact data. It also allows database key and foreign key dependencies, as well as arithmetic constraints. The results show decidability of verification and establish its complexity, making use of novel techniques including a hierarchy of Vector Addition Systems and a variant of quantifier elimination tailored to our context.Comment: Full version of the accepted PODS pape
    • …
    corecore