368 search results - page 24 / 74 » formats 2004 |
86
Voted
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
CPHYSICS
2004
14 years 9 months ago
2004
We investigate self-gravitational collapse of magnetized molecular cloud cores and formation of the outflow. We employ a nested grid in order to resolve fine structures of protost...
ECIS
2004
14 years 11 months ago
2004
Peoples' need to socialise with others and greed for power can be best captured with Aristotle's famous description of human beings as "political animals"/&quo...
ECIS
2001
14 years 11 months ago
2001
Issues about the relation between information technology (IT), knowledge and organizational learning appear more critical as IT becomes an increasingly integrated part of organiza...
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...