Sciweavers

3680 search results - page 347 / 736
» cases 2010
Sort
View
ENASE
2010
121views Hardware» more  ENASE 2010»
15 years 1 months ago
Generation Mechanisms in Graphical Template Language
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
Elina Kalnina, Audris Kalnins, Edgars Celms, Agris...
MMAS
2010
Springer
15 years 1 months ago
Homogenization with Large Spatial Random Potential
We consider the homogenization of parabolic equations with large spatiallydependent potentials modeled as Gaussian random fields. We derive the homogenized equations in the limit ...
Guillaume Bal
MOC
2010
15 years 1 months ago
A numerical method for fractal conservation laws
: We consider a fractal scalar conservation law, that is to say a conservation law modified by a fractional power of the Laplace operator, and we propose a numerical method to appr...
Jérôme Droniou
NN
2010
Springer
163views Neural Networks» more  NN 2010»
15 years 1 months ago
Approximating the stability region of a neural network with a general distribution of delays
We investigate the linear stability of a neural network with distributed delay, where the neurons are identical. We examine the stability of a symmetrical equilibrium point via th...
R. Jessop, S. A. Campbell
SBMF
2010
Springer
132views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Midlet Navigation Graphs in JML
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
Wojciech Mostowski, Erik Poll