Sciweavers

782 search results - page 115 / 157
» Numerical Recipes in C
Sort
View
NOSSDAV
2010
Springer
13 years 6 months ago
Reducing data request contentions for improved streaming quality
In P2P assisted multi-channel live streaming systems, it is commonly believed that in unpopular channels, quality degradation is due to the small number of participating peers wit...
Yao Liu, Fei Li, Lei Guo, Songqing Chen
PKDD
2010
Springer
150views Data Mining» more  PKDD 2010»
13 years 6 months ago
Virus Propagation on Time-Varying Networks: Theory and Immunization Algorithms
Given a contact network that changes over time (say, day vs night connectivity), and the SIS (susceptible/infected/susceptible, flu like) virus propagation model, what can we say ...
B. Aditya Prakash, Hanghang Tong, Nicholas Valler,...
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
13 years 6 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
SIAMIS
2010
92views more  SIAMIS 2010»
13 years 6 months ago
Reconstruction of Thin Tubular Inclusions in Three-Dimensional Domains Using Electrical Impedance Tomography
We consider the inverse problem of reconstructing thin tubular inclusions inside some three-dimensional body from measurements of electrostatic currents and potentials on its bound...
Roland Griesmaier
SIAMJO
2010
137views more  SIAMJO 2010»
13 years 6 months ago
Global Convergence of a New Hybrid Gauss--Newton Structured BFGS Method for Nonlinear Least Squares Problems
In this paper, we propose a hybrid Gauss-Newton structured BFGS method with a new update formula and a new switch criterion for the iterative matrix to solve nonlinear least square...
Weijun Zhou, Xiaojun Chen