3113 search results - page 305 / 623 » Numerical Methods |
190
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 ...
152
click to vote
TIT
2010
15 years 1 months ago
2010
We develop a theory for finding quantum error correction (QEC) procedures which are optimized for given noise channels. Our theory accounts for uncertainties in the noise channel, ...
269
click to vote
AES
2011
Springer
14 years 6 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
169
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
The aim of this paper is to study the feasibility of using (irreversible) entropy production as driving force for a moving mesh. Such a method should be able to capture or track p...
142
click to vote
ROMAN
2007
IEEE
16 years 25 days ago
2007
IEEE
—This paper presents a new six DOF haptic device for dental surgery training system, which can provide 6 dimensional virtual force and torque. The proposed haptic device is based...