903 research outputs found

    Direct Measurement of Periodic Electric Forces in Liquids

    Full text link
    The electric forces acting on an atomic force microscope tip in solution have been measured using a microelectrochemical cell formed by two periodically biased electrodes. The forces were measured as a function of lift height and bias amplitude and frequency, providing insight into electrostatic interactions in liquids. Real-space mapping of the vertical and lateral components of electrostatic forces acting on the tip from the deflection and torsion of the cantilever is demonstrated. This method enables direct probing of electrostatic and convective forces involved in electrophoretic and dielectroforetic self-assembly and electrical tweezer operation in liquid environments

    Fabrication, Dynamics, and Electrical Properties of Insulated SPM Probes for Electrical and Electromechanical Imaging in Liquids

    Full text link
    Insulated cantilever probes with a high aspect ratio conducting apex have been fabricated and their dynamic and electrical properties analyzed. The cantilevers were coated with silicon dioxide and a via was fabricated through the oxide at the tip apex and backfilled with tungsten to create an insulated probe with a conducting tip. The stiffness and Q-factor of the cantilevers increased after the modifications and their resonances shifted to higher frequencies. The coupling strength between the cantilever and the coating are determined. The applications to conductive and electromechanical imaging of ferroelectric domains are illustrated, and a probe apex repair process is demonstrated.Comment: 3 fig

    Exponential Kleisli monoids as Eilenberg-Moore algebras

    Get PDF
    Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.Comment: v2: minor typos correcte

    An improvement of the Berry--Esseen inequality with applications to Poisson and mixed Poisson random sums

    Full text link
    By a modification of the method that was applied in (Korolev and Shevtsova, 2009), here the inequalities ρ(Fn,Φ)0.335789(β3+0.425)n\rho(F_n,\Phi)\le\frac{0.335789(\beta^3+0.425)}{\sqrt{n}} and ρ(Fn,Φ)0.3051(β3+1)n\rho(F_n,\Phi)\le \frac{0.3051(\beta^3+1)}{\sqrt{n}} are proved for the uniform distance ρ(Fn,Φ)\rho(F_n,\Phi) between the standard normal distribution function Φ\Phi and the distribution function FnF_n of the normalized sum of an arbitrary number n1n\ge1 of independent identically distributed random variables with zero mean, unit variance and finite third absolute moment β3\beta^3. The first of these inequalities sharpens the best known version of the classical Berry--Esseen inequality since 0.335789(β3+0.425)0.335789(1+0.425)β3<0.4785β30.335789(\beta^3+0.425)\le0.335789(1+0.425)\beta^3<0.4785\beta^3 by virtue of the condition β31\beta^3\ge1, and 0.4785 is the best known upper estimate of the absolute constant in the classical Berry--Esseen inequality. The second inequality is applied to lowering the upper estimate of the absolute constant in the analog of the Berry--Esseen inequality for Poisson random sums to 0.3051 which is strictly less than the least possible value of the absolute constant in the classical Berry--Esseen inequality. As a corollary, the estimates of the rate of convergence in limit theorems for compound mixed Poisson distributions are refined.Comment: 33 page

    Influence of growth rate on the epitaxial orientation and crystalline quality of CeO2 thin films grown on Al2O3(0001)

    Get PDF
    Growth rate-induced epitaxial orientations and crystalline quality of CeO2 thin films grown on Al2O3(0001) by oxygen plasma-assisted molecular beam epitaxy were studied using in situ and ex situ characterization techniques. CeO2 grows as three-dimensional (3D) islands and two-dimensional layers at growth rates of 1-7 angstrom/min and \u3e = 9 angstrom/min, respectively. The formation of epitaxial CeO2(100) and CeO2(111) thin films occurs at growth rates of 1 angstrom/min and \u3e = 9 angstrom/min, respectively. Glancing-incidence x-ray diffraction measurements have shown that the films grown at intermediate growth rates (2-7 angstrom/min) consist of polycrystalline CeO2 along with CeO2(100). The thin film grown at 1 angstrom/min exhibits six in-plane domains, characteristic of well-aligned CeO2(100) crystallites. The content of the poorly aligned CeO2(100) crystallites increases with increasing growth rate from 2 to 7 angstrom/min, and three out of six in-plane domains gradually decrease and eventually disappear, as confirmed by XRD pole figures. At growth rates \u3e = 9 angstrom/min, CeO2(111) film with single in-plane domain was identified. The formation of CeO2(100) 3D islands at growth rates of 1-7 angstrom/min is a kinetically driven process unlike at growth rates \u3e = 9 angstrom/min which result in an energetically and thermodynamically more stable CeO2(111) surface

    Germline mutations in the oncogene EZH2 cause Weaver syndrome and increased human height.

    Get PDF
    The biological processes controlling human growth are diverse, complex and poorly understood. Genetic factors are important and human height has been shown to be a highly polygenic trait to which common and rare genetic variation contributes. Weaver syndrome is a human overgrowth condition characterised by tall stature, dysmorphic facial features, learning disability and variable additional features. We performed exome sequencing in four individuals with Weaver syndrome, identifying a mutation in the histone methyltransferase, EZH2, in each case. Sequencing of EZH2 in additional individuals with overgrowth identified a further 15 mutations. The EZH2 mutation spectrum in Weaver syndrome shows considerable overlap with the inactivating somatic EZH2 mutations recently reported in myeloid malignancies. Our data establish EZH2 mutations as the cause of Weaver syndrome and provide further links between histone modifications and regulation of human growth

    GPU implementation of Krylov solvers for block-tridiagonal eigenvalue problems

    Full text link
    The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-32149-3_18In an eigenvalue problem defined by one or two matrices with block-tridiagonal structure, if only a few eigenpairs are required it is interesting to consider iterative methods based on Krylov subspaces, even if matrix blocks are dense. In this context, using the GPU for the associated dense linear algebra may provide high performance. We analyze this in an implementation done in the context of SLEPc, the Scalable Library for Eigenvalue Problem Computations. In the case of a generalized eigenproblem or when interior eigenvalues are computed with shift-and-invert, the main computational kernel is the solution of linear systems with a block-tridiagonal matrix. We explore possible implementations of this operation on the GPU, including a block cyclic reduction algorithm.This work was partially supported by the Spanish Ministry of Economy and Competitiveness under grant TIN2013-41049-P. Alejandro Lamas was supported by the Spanish Ministry of Education, Culture and Sport through grant FPU13-06655.Lamas Daviña, A.; Román Moltó, JE. (2016). GPU implementation of Krylov solvers for block-tridiagonal eigenvalue problems. En Parallel Processing and Applied Mathematics. Springer. 182-191. https://doi.org/10.1007%2F978-3-319-32149-3_18S182191Baghapour, B., Esfahanian, V., Torabzadeh, M., Darian, H.M.: A discontinuous Galerkin method with block cyclic reduction solver for simulating compressible flows on GPUs. Int. J. Comput. Math. 92(1), 110–131 (2014)Bientinesi, P., Igual, F.D., Kressner, D., Petschow, M., Quintana-Ortí, E.S.: Condensed forms for the symmetric eigenvalue problem on multi-threaded architectures. Concur. Comput. Pract. Exp. 23, 694–707 (2011)Haidar, A., Ltaief, H., Dongarra, J.: Toward a high performance tile divide and conquer algorithm for the dense symmetric eigenvalue problem. SIAM J. Sci. Comput. 34(6), C249–C274 (2012)Heller, D.: Some aspects of the cyclic reduction algorithm for block tridiagonal linear systems. SIAM J. Numer. Anal. 13(4), 484–496 (1976)Hernandez, V., Roman, J.E., Vidal, V.: SLEPc: a scalable and flexible toolkit for the solution of eigenvalue problems. ACM Trans. Math. Softw. 31(3), 351–362 (2005)Hirshman, S.P., Perumalla, K.S., Lynch, V.E., Sanchez, R.: BCYCLIC: a parallel block tridiagonal matrix cyclic solver. J. Comput. Phys. 229(18), 6392–6404 (2010)Minden, V., Smith, B., Knepley, M.G.: Preliminary implementation of PETSc using GPUs. In: Yuen, D.A., Wang, L., Chi, X., Johnsson, L., Ge, W., Shi, Y. (eds.) GPU Solutions to Multi-scale Problems in Science and Engineering. Lecture Notes in Earth System Sciences, pp. 131–140. Springer, Heidelberg (2013)NVIDIA: CUBLAS Library V7.0. Technical report, DU-06702-001 _\_ v7.0, NVIDIA Corporation (2015)Park, A.J., Perumalla, K.S.: Efficient heterogeneous execution on large multicore and accelerator platforms: case study using a block tridiagonal solver. J. Parallel and Distrib. Comput. 73(12), 1578–1591 (2013)Reguly, I., Giles, M.: Efficient sparse matrix-vector multiplication on cache-based GPUs. In: Innovative Parallel Computing (InPar), pp. 1–12 (2012)Roman, J.E., Vasconcelos, P.B.: Harnessing GPU power from high-level libraries: eigenvalues of integral operators with SLEPc. In: International Conference on Computational Science. Procedia Computer Science, vol. 18, pp. 2591–2594. Elsevier (2013)Seal, S.K., Perumalla, K.S., Hirshman, S.P.: Revisiting parallel cyclic reduction and parallel prefix-based algorithms for block tridiagonal systems of equations. J. Parallel Distrib. Comput. 73(2), 273–280 (2013)Stewart, G.W.: A Krylov-Schur algorithm for large eigenproblems. SIAM J. Matrix Anal. Appl. 23(3), 601–614 (2001)Tomov, S., Nath, R., Dongarra, J.: Accelerating the reduction to upper Hessenberg, tridiagonal, and bidiagonal forms through hybrid GPU-based computing. Parallel Comput. 36(12), 645–654 (2010)Vomel, C., Tomov, S., Dongarra, J.: Divide and conquer on hybrid GPU-accelerated multicore systems. SIAM J. Sci. Comput. 34(2), C70–C82 (2012)Zhang, Y., Cohen, J., Owens, J.D.: Fast tridiagonal solvers on the GPU. In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPopp 2010, pp. 127–136 (2010
    corecore