منابع مشابه
Context-exploiting Shapes for Diagram Transformation
DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the languages, nested graph transformation, supports nested structuring of graphs, and graph variables, but is—hopefully—still intuitive. This paper is about structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the ...
متن کاملPressure-temperature phase diagram for shapes of vesicles: A coarse-grained molecular dynamics study
Coarse-grained molecular dynamics simulations are performed to obtain the phase diagram for shapes of a vesicle with a variation in temperature and pressure difference across the membrane. Various interesting vesicle shapes are found, in particular, a series of shape transformations are observed for a vesicle with an initial spherical shape, which changes to a prolate shape, then an oblate shap...
متن کاملMapping vesicle shapes into the phase diagram: A comparison of experiment and theory
Mapping vesicle shapes into the phase diagram: A comparison of experiment and theory. Abstract Phase-contrast microscopy is used to monitor the shapes of micron-scale fluid-phase phospholipid-bilayer vesicles in aqueous solution. At fixed temperature , each vesicle undergoes thermal shape fluctuations. We are able experimentally to characterize the thermal shape ensemble by digitizing the vesic...
متن کاملDiagram Spaces, Diagram Spectra, and Fsp’s
This is one of several papers in which we explore the interrelationships among certain categories that can be taken as models for spectra and (highly structured) ring spectra. In this paper, we study certain categories of “diagram ring spectra” that are isomorphic to corresponding categories of “functors with smash product (FSP’s)”. The notion of an FSP was introduced by Bökstedt [2], and his u...
متن کاملACS Algorithms for Complex Shapes with Certified Numerics and Topology Voronoi diagram of ellipses: cgal-based implementation
We present a C++ open-source implementation of an incremental algorithm for the computation of the Voronoi diagram of ellipses in the Euclidean plane. This is the first complete implementation, under the exact computation paradigm; it also computes the approximate diagram with any given precision. It is based on the cgal package for the Apollonius diagram. The ellipses are given in parametric r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2018.87