The Gremlin Graph Traversal Machine and Language

Gremlin is a graph traversal machine and language designed, developed, and distributed by the Apache TinkerPop project. Gremlin, as a graph traversal machine, is composed of three interacting components: a graph $G$, a traversal $\Psi$, and a set of traversers $T$. The traversers move about the graph according to the instructions specified in the traversal, where the result of the computation is the ultimate locations of all halted traversers. A Gremlin machine can be executed over any supporting graph computing system such as an OLTP graph database and/or an OLAP graph processor. Gremlin, as a graph traversal language, is a functional language implemented in the user's native programming language and is used to define the $\Psi$ of a Gremlin machine. This article provides a mathematical description of Gremlin and details its automaton and functional properties. These properties enable Gremlin to naturally support imperative and declarative querying, host language agnosticism, user-defined domain specific languages, an extensible compiler/optimizer, single- and multi-machine execution models, hybrid depth- and breadth-first evaluation, as well as the existence of a Universal Gremlin Machine and its respective entailments.Comment: To appear in the Proceedings of the 2015 ACM Database Programming Languages Conferenc

λ\lambda-symmetries for discrete equations

Following the usual definition of $\lambda$-symmetries of differential equations, we introduce the analogous concept for difference equations and apply it to some examples.Comment: 10 page

Drift velocity of electrons in silicon at high electric fields from 4.2° to 300°K

The drift velocity of electrons in silicon at high electric fields is measured in the direction over the range of lattice temperatures from 4.2° to 300°K. It is established that in this range a limiting drift velocity exists. Its temperature dependence is measured. The samples used and the method of measurement are briefly described

Multivariable control of a twin lift helicopter system using the LQG/LTR design methodology

Guidelines for developing a multivariable centralized automatic flight control system (AFCS) for a twin lift helicopter system (TLHS) are presented. Singular value ideas are used to formulate performance and stability robustness specifications. A linear Quadratic Gaussian with Loop Transfer Recovery (LQG/LTR) design is obtained and evaluated

Topological defects and misfit strain in magnetic stripe domains of lateral multilayers with perpendicular magnetic anisotropy

Stripe domains are studied in perpendicular magnetic anisotropy films nanostructured with a periodic thickness modulation that induces the lateral modulation of both stripe periods and inplane magnetization. The resulting system is the 2D equivalent of a strained superlattice with properties controlled by interfacial misfit strain within the magnetic stripe structure and shape anisotropy. This allows us to observe, experimentally for the first time, the continuous structural transformation of a grain boundary in this 2D magnetic crystal in the whole angular range. The magnetization reversal process can be tailored through the effect of misfit strain due to the coupling between disclinations in the magnetic stripe pattern and domain walls in the in-plane magnetization configuration