Sciweavers

1190 search results - page 44 / 238
» The Continuing Quest for Abstraction
Sort
View
IMAMS
2007
151views Mathematics» more  IMAMS 2007»
13 years 11 months ago
Discrete Harmonic Functions from Local Coordinates
Abstract. In this work we focus on approximations of continuous harmonic functions by discrete harmonic functions based on the discrete Laplacian in a triangulation of a point set....
Tom Bobach, Gerald E. Farin, Dianne Hansford, Geor...
ANOR
2010
96views more  ANOR 2010»
13 years 9 months ago
Lipschitz and differentiability properties of quasi-concave and singular normal distribution functions
Abstract The paper provides a condition for differentiability as well as an equivalent criterion for Lipschitz continuity of singular normal distributions. Such distributions are o...
René Henrion, Werner Römisch
ENTCS
2007
86views more  ENTCS 2007»
13 years 9 months ago
Sequentiality and the CPS Semantics of Fresh Names
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
James Laird
LSSC
2005
Springer
14 years 3 months ago
Stabilization of a Nonlinear Anaerobic Wastewater Treatment Model
Abstract. A nonlinear anaerobic digester model of wastewater treatment plants is considered. The stabilizability of the dynamic system is studied and a continuous stabilizing feedb...
Neli S. Dimitrova, Mikhail Krastanov
TNN
2008
100views more  TNN 2008»
13 years 8 months ago
Global Exponential Stability of Bidirectional Associative Memory Neural Networks With Time Delays
Abstract--In this paper, we consider delayed bidirectional associative memory (BAM) neural networks (NNs) with Lipschitz continuous activation functions. By applying Young's i...
Xin-Ge Liu, Ralph R. Martin, Min Wu, Mei-Lan Tang