The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Compliant mechanisms are one-piece devices that combine the features of both structures and mechanisms. Compliant mechanism design solutions were identified by using evolutionary t...
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...