Sciweavers

2555 search results - page 363 / 511
» visual 2007
Sort
View
DSS
2007
128views more  DSS 2007»
15 years 6 months ago
Toward an interoperable dynamic network analysis toolkit
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,...
ENGL
2007
101views more  ENGL 2007»
15 years 6 months ago
Fault Tolerant Multi-Agent Systems: its communication and cooperation
— 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...
Arnulfo Alanis Garza, Juan José Serrano, Ra...
ENGL
2007
195views more  ENGL 2007»
15 years 6 months ago
Human Factors and Ergonomics in Dye Penetrant and Magnetic Particles Nondestructive Inspection Methods
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...
B. L. Luk, Alan H. S. Chan
MJ
2008
98views more  MJ 2008»
15 years 6 months ago
Prototyping bio-nanorobots using molecular dynamics simulation and virtual reality
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...
ENTCS
2007
92views more  ENTCS 2007»
15 years 6 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
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...
Clemens Grabmayer