Mathematics topic list of research papers
-
Quantifying uncertainty, variability and likelihood for ordinary differential equation models2010 / Andrea Y Weiße, Richard H Middleton, Wilhelm Huisinga
-
A gradient bound for free boundary graphs2010 / Daniela De Silva, David Jerison
-
Bounds on the signed 2-independence number in graphs2013 / Lutz Volkmann
-
Some new common coupled fixed point results in two generalized metric spaces2013 / Feng Gu
-
The Newton Polygon and Elliptic Problems with Parameter2007 / Robert Denk, Reinhard Mennicken, Leonid Volevich
-
Symmetric Perry conjugate gradient method2013 / Dongyi Liu, Genqi Xu
-
Taut Monads, Dynamic Logic and Determinism
Abstract Studied are Kleisli categories of monads of sets which satisfy two properties motivated by functional properties of collections. Such categories have box and diamond operators which follow the laws of (loop-free) dynamic logic. A theorem of ...
2007 / Ernie Manes -
Convergence of adaptive BEM for some mixed boundary value problem
Abstract For a boundary integral formulation of the 2D Laplace equation with mixed boundary conditions, we consider an adaptive Galerkin BEM based on an ( h − ...
2011 / M. Aurada, S. Ferraz-Leite, P. Goldenits, M. Karkulik, M. Mayr, et al. -
Limit Preservation from Naturality
Abstract A functor G : C → D is said to preserve limits of a diagram D ...
2006 / Mario Caccamo, Glynn Winskel -
Rectangular groupoids and related structures
Abstract The quasivariety of groupoids ( N , ∗ ) ...
2013 / Tim Boykett -
Numerical approximation of a reaction-diffusion system with fast reversible reaction2010 / Robert Eymard, Danielle Hilhorst, Hideki Murakawa, Michal Olech
-
Minimization of the number of periodic points for smooth self-maps of simply-connected manifolds with periodic sequence of Lefschetz numbers2012 / Grzegorz Graff, Agnieszka Kaczkowska
-
On the Nilpotency Class of a Generalized 3-Abelian Group2013 / Bounabi Daoud, Meriem Hamitouche, Khalissa Merikhi
-
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
Abstract In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the state-space of the system, modeled as a time Petri net with...
2006 / Morgan Magnin, Didier Lime, Olivier (H.) Roux -
Persistence of the incompressible Euler equations in a Besov space B1,1d+1(Rd)2013 / Hee Pak, Young Park
-
Some Volterra-Fredholm type nonlinear discrete inequalities involving four iterated infinite sums2012 / Bin Zheng, Bosheng Fu
-
Modified fractional Cauchy problem in a complex domain2013 / Rabha W Ibrahim
-
Positive solutions of a fractional thermostat model2013 / Juan J Nieto, Johnatan Pimentel
-
Stability Criterion for BAM Neural Networks of Neutral-Type with Interval Time-Varying Delays
Abstract In this paper, the asymptotic stability for bidirectional associative memory (BAM) neural networks of neutral-type with interval time-varying delays is investigated. The discrete delay is assumed to be time-varying and belong to a given...
2011 / Guoquan Liu, Simon X. Yang -
Fixed point theorems for decreasing operators in ordered Banach spaces with lattice structure and their applications2013 / Xingchang Li, Zhihao Wang