Sciweavers

3299 search results - page 183 / 660
» A general mathematics of names
Sort
View
SIAMSC
2008
150views more  SIAMSC 2008»
15 years 6 months ago
Asymptotic Stability of a Jump-Diffusion Equation and Its Numerical Approximation
Asymptotic linear stability is studied for stochastic differential equations (SDEs) that incorporate Poisson-driven jumps and their numerical simulation using Eulertype discretisa...
Graeme D. Chalmers, Desmond J. Higham
PE
2007
Springer
114views Optimization» more  PE 2007»
15 years 6 months ago
Performance analysis of BitTorrent-like systems with heterogeneous users
Among all peer-to-peer (P2P) systems, BitTorrent seems to be the most prevalent one. This success has drawn a great deal of research interest on the system. In particular, there h...
Wei-Cherng Liao, Fragkiskos Papadopoulos, Konstant...
MP
2010
154views more  MP 2010»
15 years 5 months ago
A null-space primal-dual interior-point algorithm for nonlinear optimization with nice convergence properties
Abstract. We present a null-space primal-dual interior-point algorithm for solving nonlinear optimization problems with general inequality and equality constraints. The algorithm a...
Xinwei Liu, Yaxiang Yuan
POPL
2004
ACM
16 years 6 months ago
A type system for well-founded recursion
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
Derek Dreyer
DIAGRAMS
2004
Springer
15 years 12 months ago
A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'
The ‘graphicacy’ of student programmers was investigated using several cognitive tasks designed to assess ER knowledge representation at the perceptual, semantic and output lev...
Richard Cox, Pablo Romero, Benedict du Boulay, Rud...