474 search results - page 55 / 95 » Structure-preserving model reduction of complex physical sys... |
JLP
2006
13 years 8 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
SIGCOMM
2006
ACM
14 years 2 months ago
2006
ACM
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...
SMI
1999
IEEE
14 years 24 days ago
1999
IEEE
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...
STOC
2009
ACM
14 years 9 months ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
ARC
2007
Springer
14 years 16 days ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...