627 search results - page 61 / 126 » Branched Polyhedral Systems |
CPHYSICS
2007
13 years 8 months ago
2007
We describe adaptive continuation algorithms for computing energy levels of the Bose–Einstein condensates (BEC) with emphasis on the rotating BEC. We show that the rotating BEC ...
ENTCS
2007
13 years 8 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
A wrong policy is far worse than corruption. It goes without saying that making good policies has its substantial importance and influence. It is assumed that policy information s...
IFIP13
2004
13 years 10 months ago
2004
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA's Aviation Safety Rep...
UC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...