To research collaborative interfaces for a blind/sighted pair we pick the application of viewing and editing node-link diagrams, such as UML (Unified Modeling Language) diagrams. Working with diagrams provides two benefits to the blind community. An accessible diagram interface provides blind users with access to the visual information in diagrams. Diagrams are significant for communicating ide...

Computational geometry classically assumes real-number arithmetic which does not exist in actual computers. A solution consists in using integer coordinates for data and exact arithmetic for computations. This approach implies that if the results of an algorithm are the input of another, these results must be rounded to match this hypothesis of integer coordinates. In this paper, we treat the c...

We present vapor pressure and high-resolution heat-capacity measurements of multilayer krypton films adsorbed on graphite. We have found a complex phase diagram including reentrant layering transitions for coverages higher than three layers. The third layering transition does not end in a condensation critical point as was previously expected. The second-layer melting transition is preceded by ...

Euler Diagram Isomorphism Gem Stapleton Visual Modelling Group University of Brighton, UK [email protected] Andrew Fish Visual Modelling Group University of Brighton, UK [email protected] Peter Rodgers Computing Laboratory University of Kent, UK [email protected]

α1 α2 α3 α4 inModR. If the rows are exact, then the following statements hold. (1.3.a) If γ2 and γ4 are injective and γ1 is surjective, then γ3 is injective. (1.3.b) If γ2 and γ4 are surjective and γ5 is injective, then γ3 is surjective. Proof. First we prove (1.3.a). So suppose that γ2 and γ4 are injective and γ1 is surjective. Start with m3 ∈ M3 with the property that γ3(m3) = 0. The goal is ...

NOTICE OF DISCLAIMER: Xilinx is providing this design, code, or information "as is." By providing the design, code, or information as one possible implementation of this feature, application, or standard, Xilinx makes no representation that this implementation is free from any claims of infringement. You are responsible for obtaining any rights you may require for your implementation. Xilinx ex...

XMI is a standardized mechanism for exchanging UML models. However, this mechanism does not sufficiently fulfill the goal of a model interchange: it does not include the exchange of diagram information. XMI as defined for UML 1.x is only capable of transporting information on the elements in an UML model but not information as to how these elements are represented and laid out in diagrams. This...

Here, we conceptualize the phase diagram of collective short-term bio-chemo-electric component of neurodynamics (S-ND) on the parameter space of externally, e.g., pharmacologically, controllable single-neuron parameters such as the resting potential and/or firing threshold, repolarization time, etc. This concept may become a useful tool for the systematization of knowledge in anesthesiology and...