We investigate the historical roots of the field of combinatorics on words. They comprise applications and interpretations in algebra, geometry and combinatorial enumeration. The...
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murra...
The service-oriented architecture (SOA) is becoming increasingly popular as a paradigm for developing new distributed systems and integrating heterogeneous legacy systems. A servic...
This study examined the influence of cognitive style, spatial orientation and computer expertise on hypertext navigation patterns and learning outcomes when participants interacte...
Andrea Calcaterra, Alessandro Antonietti, Jean Und...
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...