Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Inductive program synthesis, from input/output examples, can provide an opportunity to automatically create programs from scratch without presupposing the algorithmic form of the solution. For induction of general programs with loops (as opposed to loop-free programs, or synthesis for domain-specific languages), the state of the art is at the level of introductory programming assignments. Most problems that require algorithmic subtlety, such as fast sorting, have remained out of reach without the benefit of significant problem-specific background knowledge. A key challenge is to identify cues that are available to guide search towards correct looping programs. We present MAKESPEARE, a simple delayed-acceptance hillclimbing method that synthesizes low-level looping programs from input/output examples. During search, delayed acceptance bypasses small gains to identify significantly-improved stepping stone programs that tend to generalize and enable further progress. The method performs well on a set of established benchmarks, and succeeds on the previously unsolved "Collatz Numbers" program synthesis problem. Additional benchmarks include the problem of rapidly sorting integer arrays, in which we observe the emergence of comb sort (a Shell sort variant that is empirically fast). MAKESPEARE has also synthesized a record-setting program on one of the puzzles from the TIS-100 assembly language programming game.Comment: AAAI 201

Ritchey-Chretien Telescope

A Ritchey-Chretien telescope is described which was designed to respond to images located off the optical axis by using two transparent flat plates positioned in the ray path of the image. The flat plates have a tilt angle relative to the ray path to compensate for astigmatism introduced by the telescope. The tilt angle of the plates is directly proportional to the off axis angle of the image. The plates have opposite inclination angles relative to the ray paths. A detector which is responsive to the optical image as transmitted through the plates is positioned approximately on the sagittal focus of the telescope

Fine guidance for a spaceborne telescope

Two transparent plates are mounted at equal and opposite angles in secondary optical-system housing, angles being set for optimum astigmatism correction. Rotation of secondary housing assembly and translation of detector are proportional to angular position of secondary image. Combined movement of two retains image within sagittal foci of secondary system

Wide angle long eye relief eyepiece Patent

Wide angle eyepiece with long eye-relief distanc

Zero gravity separator Patent

Describing apparatus for separating gas from cryogenic liquid under zero gravity and for venting gas from fuel tan

Global MRI with Braginskii viscosity in a galactic profile

We present a global-in-radius linear analysis of the axisymmetric magnetorotational instability (MRI) in a collisional magnetized plasma with Braginskii viscosity. For a galactic angular velocity profile $\Omega$ we obtain analytic solutions for three magnetic field orientations: purely azimuthal, purely vertical and slightly pitched (almost azimuthal). In the first two cases the Braginskii viscosity damps otherwise neutrally stable modes, and reduces the growth rate of the MRI respectively. In the final case the Braginskii viscosity makes the MRI up to $2\sqrt{2}$ times faster than its inviscid counterpart, even for \emph{asymptotically small} pitch angles. We investigate the transition between the Lorentz-force-dominated and the Braginskii viscosity-dominated regimes in terms of a parameter \sim \Omega \nub/B^2 where \nub is the viscous coefficient and $B$ the Alfv\'en speed. In the limit where the parameter is small and large respectively we recover the inviscid MRI and the magnetoviscous instability (MVI). We obtain asymptotic expressions for the approach to these limits, and find the Braginskii viscosity can magnify the effects of azimuthal hoop tension (the growth rate becomes complex) by over an order of magnitude. We discuss the relevance of our results to the local approximation, galaxies and other magnetized astrophysical plasmas. Our results should prove useful for benchmarking codes in global geometries.Comment: 14 pages, 5 figure

Synchronization of Coupled Boolean Phase Oscillators

We design, characterize, and couple Boolean phase oscillators that include state-dependent feedback delay. The state-dependent delay allows us to realize an adjustable coupling strength, even though only Boolean signals are exchanged. Specifically, increasing the coupling strength via the range of state-dependent delay leads to larger locking ranges in uni- and bi-directional coupling of oscillators in both experiment and numerical simulation with a piecewise switching model. In the unidirectional coupling scheme, we unveil asymmetric triangular-shaped locking regions (Arnold tongues) that appear at multiples of the natural frequency of the oscillators. This extends observations of a single locking region reported in previous studies. In the bidirectional coupling scheme, we map out a symmetric locking region in the parameter space of frequency detuning and coupling strength. Because of large scalability of our setup, our observations constitute a first step towards realizing large-scale networks of coupled oscillators to address fundamental questions on the dynamical properties of networks in a new experimental setting.Comment: 8 pages, 8 figure