In order to connect the Open64 Fortran front end to the xaifbooster differentiation engine, one must develop bridging tools to translate between Open64’s intermediate representation language (WHIRL) and xaifbooster’s intermediate representation (XAIF). This report describes the design and implementation of these translation tools: whirl2xaif and xaif2whirl.

This notebook paper documents the approach adopted by our team for Author Masking Task in PAN 2016. For the purpose of masking the identity of the author, we use a simple translation based approach. From the source language (English), the text is translated to an intermediate language before it gets finally translated back to English. In this process, depending on the translation model and vari...

The Dilemma of Curve Detection from previous ones in that no attempt is made to match curves directly against the image, or even against measurements (i.e., "curve operators") evaluated over the image. Instead we stress the organizational point that a stable, reliable, but coarse description should be computed as an intermediate between the image (measurements) and the global curves. A particul...

A particular kind of quintessence is considered, with equation of motion pQ/ρQ = −1, corresponding to a cosmological term with time-dependence Λ(t) = Λ(t0)(R(t0)/R(t)) P which we examine initially for 0 ≤ P < 3. Energy conservation is imposed, as is consistency with big-bang nucleosynthesis, and the range of allowed P is thereby much restricted to 0 ≤ P < 0.2. The position of the first Doppler ...

We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, the user constructs a dependency graph that explicitly shows the relationships between components of a task. Using this dependency graph, the user manipulates graphical visualisations of component attributes which helps them move...

This document describes a mechanism for a restarting router to signal to its neighbors that it is restarting, allowing them to reestablish their adjacencies without cycling through the down state, while still correctly initiating database synchronization. This document additionally describes a mechanism for a restarting router to determine when it has achieved LSP database synchronization with ...

We have expressed in Escherichia coli cDNA corresponding to human lamins A and C, together with a number of fragments produced using site-specific mutagenesis. The proteins produced in this way were characterised both biochemically and ultrastructurally, and appeared to retain their native conformation. Crosslinking showed that all fragments formed 4-chain molecular dimers ('tetramers') analogo...

Many cellular functions involve the complex network of actin filaments, microtubules, and intermediate filaments collectively known as the cytoskeleton. Stereo transmission electron microscopic observations of whole cynomolgus monkey trabecular cells, which were extracted, S-1 labeled, and critical-point dried, were employed to simultaneously identify these three major cytoskeletal systems and ...