To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
Kathleen M. Carley, Jana Diesner, Jeffrey Reminga,...
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
Dye Penetrant Inspection (DPI) and Magnetic Particles Inspection (MPI) are two of the most commonly used Non-Destructive Testing (NDT) techniques in industry. Both techniques do re...
This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) coupled to virtual reality (VR) techniques for intuitive bio-nanorobotic prototyping. Us...
Mustapha Hamdi, Antoine Ferreira, Gaurav Sharma, C...
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...