Towards a Java Subtyping Operad

The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly, the existence of three subtyping rules for generic types: covariant subtyping, contravariant subtyping and invariant subtyping. Supporting bounded type variables also adds to the complexity of the subtyping relation in Java and in other generic nominally-typed OO languages such as C# and Scala. In this paper we explore defining an operad to model the construction of the subtyping relation in Java and in similar generic nominally-typed OO programming languages. Operads, from category theory, are frequently used to model self-similar phenomena. The Java subtyping operad, we hope, will shed more light on understanding the type systems of generic nominally-typed OO languages.Comment: 13 page

State-space based mass event-history model I: many decision-making agents with one target

A dynamic decision-making system that includes a mass of indistinguishable agents could manifest impressive heterogeneity. This kind of nonhomogeneity is postulated to result from macroscopic behavioral tactics employed by almost all involved agents. A State-Space Based (SSB) mass event-history model is developed here to explore the potential existence of such macroscopic behaviors. By imposing an unobserved internal state-space variable into the system, each individual's event-history is made into a composition of a common state duration and an individual specific time to action. With the common state modeling of the macroscopic behavior, parametric statistical inferences are derived under the current-status data structure and conditional independence assumptions. Identifiability and computation related problems are also addressed. From the dynamic perspectives of system-wise heterogeneity, this SSB mass event-history model is shown to be very distinct from a random effect model via the Principle Component Analysis (PCA) in a numerical experiment. Real data showing the mass invasion by two species of parasitic nematode into two species of host larvae are also analyzed. The analysis results not only are found coherent in the context of the biology of the nematode as a parasite, but also include new quantitative interpretations.Comment: Published in at http://dx.doi.org/10.1214/08-AOAS189 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org

Construction of rugged, ultrastable optical assemblies with optical component alignment at the few microradian level

A method for constructing quasimonolithic, precision-aligned optical assemblies is presented. Hydroxide-catalysis bonding is used, adapted to allow optimization of component fine alignment prior to the bond setting. We demonstrate the technique by bonding a fused silica mirror substrate to a fused silica baseplate. In-plane component placement at the submicrometer level is achieved, resulting in angular control of a reflected laser beam at the sub-10-μrad level. Within the context of the LISA Pathfinder mission, the technique has been demonstrated as suitable for use in space-flight applications. It is expected that there will also be applications in a wide range of areas where accuracy, stability, and strength of optical assemblies are important

Results from a set of three-dimensional numerical experiments of a hot Jupiter atmosphere

We present highlights from a large set of simulations of a hot Jupiter atmosphere, nominally based on HD 209458b, aimed at exploring both the evolution of the deep atmosphere, and the acceleration of the zonal flow or jet. We find the occurrence of a super-rotating equatorial jet is robust to changes in various parameters, and over long timescales, even in the absence of strong inner or bottom boundary drag. This jet is diminished in one simulation only, where we strongly force the deep atmosphere equator-to-pole temperature gradient over long timescales. Finally, although the eddy momentum fluxes in our atmosphere show similarities with the proposed mechanism for accelerating jets on tidally-locked planets, the picture appears more complex. We present tentative evidence for a jet driven by a combination of eddy momentum transport and mean flow.Comment: 26 pages, 22 Figures. Accepted for publication in Astronomy and Astrophysic

Systematics of Microhylid Frogs, Genus Oreophryne, from the North Coast Region of New Guinea

Fig. 4. Regression of internarial span on snout­vent length in two samples of Oreophryne biroi from Papua New Guinea. Squares, specimens from Madang Prov.; crosses, specimens from East Sepik Prov.Published as part of <i>ZWEIFEL, RICHARD G., MENZIES, JAMES I. & PRICE, DAVID, 2003, Systematics of Microhylid Frogs, Genus Oreophryne, from the North Coast Region of New Guinea, pp. 1-32 in American Museum Novitates 3415</i> on page 10, DOI: 10.1206/0003-0082(2003)415<0001:SOMFGO>2.0.CO;2, <a href="http://zenodo.org/record/10111440">http://zenodo.org/record/10111440</a&gt

Propulsion simulation for magnetically suspended wind tunnel models

The feasibility of simulating propulsion-induced aerodynamic effects on scaled aircraft models in wind tunnels employing Magnetic Suspension and Balance Systems. The investigation concerned itself with techniques of generating exhaust jets of appropriate characteristics. The objectives were to: (1) define thrust and mass flow requirements of jets; (2) evaluate techniques for generating propulsive gas within volume limitations imposed by magnetically-suspended models; (3) conduct simple diagnostic experiments for techniques involving new concepts; and (4) recommend experiments for demonstration of propulsion simulation techniques. Various techniques of generating exhaust jets of appropriate characteristics were evaluated on scaled aircraft models in wind tunnels with MSBS. Four concepts of remotely-operated propulsion simulators were examined. Three conceptual designs involving innovative adaptation of convenient technologies (compressed gas cylinders, liquid, and solid propellants) were developed. The fourth innovative concept, namely, the laser-assisted thruster, which can potentially simulate both inlet and exhaust flows, was found to require very high power levels for small thrust levels

Exploring More-Coherent Quantum Annealing

In the quest to reboot computing, quantum annealing (QA) is an interesting candidate for a new capability. While it has not demonstrated an advantage over classical computing on a real-world application, many important regions of the QA design space have yet to be explored. In IARPA's Quantum Enhanced Optimization (QEO) program, we have opened some new lines of inquiry to get to the heart of QA, and are designing testbed superconducting circuits and conducting key experiments. In this paper, we discuss recent experimental progress related to one of the key design dimensions: qubit coherence. Using MIT Lincoln Laboratory's qubit fabrication process and extending recent progress in flux qubits, we are implementing and measuring QA-capable flux qubits. Achieving high coherence in a QA context presents significant new engineering challenges. We report on techniques and preliminary measurement results addressing two of the challenges: crosstalk calibration and qubit readout. This groundwork enables exploration of other promising features and provides a path to understanding the physics and the viability of quantum annealing as a computing resource.Comment: 7 pages, 3 figures. Accepted by the 2018 IEEE International Conference on Rebooting Computing (ICRC

Mental Accounting in Portfolio Choice: Evidence from a Flypaper Effect

Consistent with mental accounting, we document that investors sometimes choose the asset allocation for one account without considering the asset allocation of their other accounts. The setting is a firm that changed its 401(k) matching rules. Initially, 401(k) enrollees chose the allocation of their own contributions, but the firm chose the match allocation. These enrollees ignored the match allocation when choosing their own-contribution allocation. In the second regime, enrollees simultaneously selected both allocations, leading them to mentally integrate the two. Own-contribution allocations before the rule change equal the combined own and match-contribution allocations afterwards, whereas combined allocations differ sharply across regimes.Economic