3614 search results - page 274 / 723 » Numerical Computing with MATLAB |
153
click to vote
NHM
2010
15 years 1 months ago
2010
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...
161
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
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...
196
click to vote
TII
2010
15 years 1 months ago
2010
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 ...
167
click to vote
SIAMREV
2011
14 years 9 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
155
click to vote
SIAMREV
2011
14 years 9 months ago
2011
We propose a mathematical model for an infestation of a wooded area by a beetle species in which the larvae develop deep in the wood of living trees. Due to the difficulties of det...