Sciweavers

3482 search results - page 119 / 697
» In Praise of Numerical Computation
Sort
View
106
Voted
IJBC
2010
69views more  IJBC 2010»
14 years 7 months ago
Initiation of HIV Therapy
In this paper, we numerically show that the dynamics of the HIV system is sensitive to both the initial condition and the system parameters. These phenomena imply that the system ...
Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling
109
Voted
MMAS
2010
Springer
14 years 7 months ago
Global Energy Matching Method for Atomistic-to-Continuum Modeling of Self-Assembling Biopolymer Aggregates
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
Lei Zhang, Leonid Berlyand, Maxim V. Fedorov, Houm...
95
Voted
NHM
2010
71views more  NHM 2010»
14 years 7 months ago
Some attempts to couple distinct fluid models
We present in this paper a review of some recent work dedicated to the numerical interfacial coupling of fluid models. One main motivation of the whole work is to provide some mean...
Jean-Marc Hérard, Olivier Hurisse
97
Voted
SIAMNUM
2010
120views more  SIAMNUM 2010»
14 years 7 months ago
Well Conditioned Spherical Designs for Integration and Interpolation on the Two-Sphere
A set XN of N points on the unit sphere is a spherical t-design if the average value of any polynomial of degree at most t over XN is equal to the average value of the polynomial o...
Congpei An, Xiaojun Chen, Ian H. Sloan, Robert S. ...
TII
2010
113views Education» more  TII 2010»
14 years 7 months ago
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
Marius Kloetzer, Cristian Mahulea, Calin Belta, Ma...