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

Measuring the interaction force between a high temperature superconductor and a permanent magnet

Repulsive and attractive forces are both possible between a superconducting sample and a permanent magnet, and they can give place to magnetic levitation or free-suspension phenomena, respectively. We show experiments to quantify this magnetic interaction which represents a promising field regarding to short-term technological applications of high temperature superconductors. The measuring technique employs an electronic balance and a rare-earth magnet that induces a magnetic moment in a melt-textured YBa2Cu3O7 superconductor immersed in liquid nitrogen. The simple design of the experiments allows a fast and easy implementation in the advanced physics laboratory with a minimum cost. Actual levitation and suspension demonstrations can be done simultaneously as a help to interpret magnetic force measurements.Comment: 12 pages and 3 figures in postscrip

Hints of 5d Fixed Point Theories from Non-Abelian T-duality

In this paper we investigate the properties of the putative 5d fixed point theory that should be dual, through the holographic correspondence, to the new supersymmetric AdS(6) solution constructed in Lozano et al. This solution is the result of a non-Abelian T-duality transformation on the known supersymmetric AdS(6) solution of massive Type IIA. The analysis of the charge quantization conditions seems to put constraints on the global properties of the background, which, combined with the information extracted from considering probe branes, suggests a 2-node quiver candidate for the dual CFT.Comment: v2, typos corrected, comments added, to appear in JHE

Music for Integration Research Briefing (Poster)

Music as an inclusion tool for children has been proven useful because music is a non-discriminatory way of engaging people with little command of the local language. This A0 poster offers policy and education professionals at all levels tools to integrate newly-arrived children, including a theoretical framework, practical examples and strategies to develop new activities

High–Speed Data Transmission Subsystem of the SEOSAR/PAZ Satellite

This paper analyzes a digital interface and bus system modeling and optimization of the SEOSAR/PAZ Earth Observation satellite. The important part of the satellite is an X–band Synthetic Aperture Radar instrument that integrates 384 Transmit/Receive Modules located in 12 antenna panels 7.5 m away from the central processor and controlled by a synchronous 10 Mbps bidirectional serial protocol. This type of mid–range point–to–multipoint transmission is affected by bit errors due to crosstalk, transmission line attenuation and impedance mismatches. The high–speed data communication network has been designed to optimize the transmission by using a simulation model of the data distribution system which takes into account the worst–case scenario and by developing a lab–scaled prototype which exhibits BER of 10-11 for an interfering signal of 10 Vpp. The result is a point–to–multipoint bidirectional transmission network optimized in both directions with optimal values of loads and equalization resistors. This high–speed data transmission subsystem provides a compact design through a simple solution