410,798 research outputs found

    An Algebra of Hierarchical Graphs

    Get PDF
    We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects

    Abstract State Machines 1988-1998: Commented ASM Bibliography

    Get PDF
    An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

    Toy amphiphiles on the computer: What can we learn from generic models?

    Full text link
    Generic coarse-grained models are designed such that they are (i) simple and (ii) computationally efficient. They do not aim at representing particular materials, but classes of materials, hence they can offer insight into universal properties of these classes. Here we review generic models for amphiphilic molecules and discuss applications in studies of self-assembling nanostructures and the local structure of bilayer membranes, i.e. their phases and their interactions with nanosized inclusions. Special attention is given to the comparison of simulations with elastic continuum models, which are, in some sense, generic models on a higher coarse-graining level. In many cases, it is possible to bridge quantitatively between generic particle models and continuum models, hence multiscale modeling works on principle. On the other side, generic simulations can help to interpret experiments by providing information that is not accessible otherwise.Comment: Invited feature article, to appear in Macromolecular Rapid Communication
    • …
    corecore