2470 search results - page 165 / 494 » Liveness-Preserving Simulation Relations |
88
Voted
ICAI
2009
14 years 10 months ago
2009
Trading of resources is an important sociological behaviour that is believed to be indicative of intelligent life forms, but which is non-trivial to model successfully. We have in...
104
Voted
ICASSP
2009
IEEE
14 years 10 months ago
2009
IEEE
An analysis of quaternion-valued intrinsic mode functions (IMFs) within three dimensional empirical mode decomposition is presented. This is achieved by using the delay vector var...
96
Voted
ICCS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We analyze and simulate a near continuum MagnetoGasDynamic(MGD) flow inside a two-dimensional microchannel with a low magnetic Reynolds number assumption. Complex physics...
78
Voted
ICUMT
2009
14 years 10 months ago
2009
We propose a prototype for a real-world, human network proximity experiment with detailed recordings of the position of individuals. Our aim is to provide a comprehensive dataset t...
111
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper concerns the management of energy in data centers using a cyber-physical model that supports the coordinated control of both computational and thermal (cooling) resource...