Mathematics topic list of research papers
-
A robust preconditioning technique for the extended finite element method2010 / Alexander Menk, Stéphane P. A. Bordas
-
HPM-Based Dynamic Wavelet Transform and Its Application in Image Denoising2013 / Shu-Li Mei
-
An Improved Line Search Filter Method for the System of Nonlinear Equations2012 / Zhong Jin, Yuqing Wang
-
Global Analysis of a Blood Flow Model with Artificial Boundaries2013 / S. C. Oukouomi Noutchie
-
Pullback incremental attraction2014 / Peter E. Kloeden, Thomas Lorenz
-
Combining search directions using gradient flows2003 / Javier M. Moguerza, Francisco J. Prieto
-
A Legendre Wavelet Spectral Collocation Method for Solving Oscillatory Initial Value Problems2013 / A. Karimi Dizicheh, F. Ismail, M. Tavassoli Kajani, Mohammad Maleki
-
A Fully Discrete Galerkin Method for a Nonlinear Space-Fractional Diffusion Equation2011 / Yunying Zheng, Zhengang Zhao
-
Pricing and hedging of Asian options: quasi-explicit solutions via Malliavin calculus2011 / Zhaojun Yang, Christian-Oliver Ewald, Olaf Menkens
-
On singular nonlinear distributional and impulsive initial and boundary value problems2011 / Seppo Heikkilä
-
Sturm-Liouville BVP in Banach space2011 / Hua Su, Lishan Liu, Xinjun Wang
-
Attractors for stochastic lattice dynamical systems with a multiplicative noise2008 / Tomás Caraballo, Kening Lu
-
A small time solutions for the KdV equation using Bubnov-Galerkin finite element method
Abstract A Bubnov-Galerkin finite element method with quintic B-spline functions taken as element shape and weight functions is presented for the solution of the KdV equation. To demonstrate the accuracy, efficiency and reliability of the method...
2012 / N.K. Amein, M.A. Ramadan -
New perspectives in algebraic logic, from neat embeddings to Erdos graphs
Abstract The notion of neat reducts is an old venerable notion in cylindric algebra theory invented by Henkin. This notion is regaining momentum. In this paper we explain why. This notion is discussed in connection to the algebraic notions of...
2011 / Tarek Sayed Ahmed -
Cointegration Testing in Single Error-Correction Equations in the Presence of Linear Time Trends2003 / Uwe Hassler
-
Pattern formation in a spatial plant-wrack model with tide effect on the wrack2009 / Gui-Quan Sun, Li Li, Zhen Jin, Bai-Lian Li
-
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces
Abstract Sierpinski space Ω is injective in the category Top of topological spaces, but not in any of the larger cartesian closed categories Conv of convergence spaces and Equ of equilogical spaces. We show that this negative result extends to all...
2006 / Reinhold Heckmann -
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Abstract The OTS/CafeOBJ method is a formal method to model systems, specify models and verify that models satisfy properties. We propose a way to verify that a state machine S satisfies invariant...
2008 / Kazuhiro Ogata, Kokichi Futatsugi -
Basic Fourier transform on the space of entire functions of logarithm order 22012 / F Bouzeffour
-
About reducing integro-differential equations with infinite limits of integration to systems of ordinary differential equations2013 / Yakov Goltser, Alexander Domoshnitsky