ACT-RBOT + MRS is a cognitive agent-based social
simulation toolkit (RBOT+MRS) and production
system based on ACT-R for modelling single actor
cognitive experiments (RBOT) and multiple actors
in a simulated (semiotic) world (RBOT + MRS).
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).