GREAT: the SOFIA high-frequency heterodyne instrument

We describe the design and construction of GREAT, the German REceiver for Astronomy at Terahertz frequencies operated on the Stratospheric Observatory for Infrared Astronomy (SOFIA). GREAT is a modular dual-color heterodyne instrument for highresolution far-infrared (FIR) spectroscopy. Selected for SOFIA's Early Science demonstration, the instrument has successfully performed three Short and more than a dozen Basic Science flights since first light was recorded on its April 1, 2011 commissioning flight. We report on the in-flight performance and operation of the receiver that - in various flight configurations, with three different detector channels - observed in several science-defined frequency windows between 1.25 and 2.5 THz. The receiver optics was verified to be diffraction-limited as designed, with nominal efficiencies; receiver sensitivities are state-of-the-art, with excellent system stability. The modular design allows for the continuous integration of latest technologies; we briefly discuss additional channels under development and ongoing improvements for Cycle 1 observations. GREAT is a principal investigator instrument, developed by a consortium of four German research institutes, available to the SOFIA users on a collaborative basis

Relations, objects, and the composition of analogies

Abstract This research addresses the kinds of matching elements that determine analogical relatedness and literal similarity. Despite theoretical agreement on the importance of relational match, the empirical evidence is neither systematic nor definitive. In three studies, participants performed online evaluations of relatedness of sentence pairs that varied in either the object or relational match. Results show a consistent focus on relational matches as the main determinant of analogical acceptance. In addition, analogy does not require strict overall identity of relational concepts. Semantically overlapping but nonsynonymous relations were commonly accepted, but required more processing time. Finally, performance in a similarity rating task partly paralleled analogical acceptance; however, relatively more weight was given to object matches. Implications for psychological theories of analogy and similarity are addressed

When almost is not even close: Remarks on the approximability of HDTP

A growing number of researchers in Cognitive Science advocate the thesis that human cognitive capacities are constrained by computational tractability. If right, this thesis also can be expected to have far-reaching consequences for work in Artificial General Intelligence: Models and systems considered as basis for the development of general cognitive architectures with human-like performance would also have to comply with tractability constraints, making in-depth complexity theoretic analysis a necessary and important part of the standard research and development cycle already from a rather early stage. In this paper we present an application case study for such an analysis based on results from a parametrized complexity and approximation theoretic analysis of the Heuristic Driven Theory Projection (HDTP) analogy-making framework

Palm pairs and the general mass-transport principle

We consider a lcsc group G acting properly on a Borel space S and measurably on an underlying sigma-finite measure space. Our first main result is a transport formula connecting the Palm pairs of jointly stationary random measures on S. A key (and new) technical result is a measurable disintegration of the Haar measure on G along the orbits. The second main result is an intrinsic characterization of the Palm pairs of a G-invariant random measure. We then proceed with deriving a general version of the mass-transport principle for possibly non-transitive and non-unimodular group operations first in a deterministic and then in its full probabilistic form.Comment: 26 page

Quantifying sources of methane using light alkanes in the Los Angeles basin, California

Methane (CH4), carbon dioxide (CO2), carbon monoxide (CO), and C2-C5 alkanes were measured throughout the Los Angeles (L.A.) basin in May and June 2010. We use these data to show that the emission ratios of CH4/CO and CH4/CO2 in the L.A. basin are larger than expected from population-apportioned bottom-up state inventories, consistent with previously published work. We use experimentally determined CH4/CO and CH4/CO2 emission ratios in combination with annual State of California CO and CO2 inventories to derive a yearly emission rate of CH4 to the L.A. basin. We further use the airborne measurements to directly derive CH4 emission rates from dairy operations in Chino, and from the two largest landfills in the L.A. basin, and show these sources are accurately represented in the California Air Resources Board greenhouse gas inventory for CH4. We then use measurements of C2-C5 alkanes to quantify the relative contribution of other CH4 sources in the L.A. basin, with results differing from those of previous studies. The atmospheric data are consistent with the majority of CH4 emissions in the region coming from fugitive losses from natural gas in pipelines and urban distribution systems and/or geologic seeps, as well as landfills and dairies. The local oil and gas industry also provides a significant source of CH4 in the area. The addition of CH4 emissions from natural gas pipelines and urban distribution systems and/or geologic seeps and from the local oil and gas industry is sufficient to account for the differences between the top-down and bottom-up CH4 inventories identified in previously published work. Key PointsTop-down estimates of CH4 emissions in L.A. are greater than inventory estimatesEstimates of CH4 emissions from landfills in L.A. agree with CARB inventoryPipeline natural gas and/or seeps, and landfills are main sources of CH4 in L.A. ©2013. American Geophysical Union. All Rights Reserved

Metaphoric coherence: Distinguishing verbal metaphor from `anomaly\u27

Theories and computational models of metaphor comprehension generally circumvent the question of metaphor versus “anomaly” in favor of a treatment of metaphor versus literal language. Making the distinction between metaphoric and “anomalous” expressions is subject to wide variation in judgment, yet humans agree that some potentially metaphoric expressions are much more comprehensible than others. In the context of a program which interprets simple isolated sentences that are potential instances of cross‐modal and other verbal metaphor, I consider some possible coherence criteria which must be satisfied for an expression to be “conceivable” metaphorically. Metaphoric constraints on object nominals are represented as abstracted or extended along with the invariant structural components of the verb meaning in a metaphor. This approach distinguishes what is preserved in metaphoric extension from that which is “violated”, thus referring to both “similarity” and “dissimilarity” views of metaphor. The role and potential limits of represented abstracted properties and constraints is discussed as they relate to the recognition of incoherent semantic combinations and the rejection or adjustment of metaphoric interpretations

ISML: an interface specification meta-language

In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed

Using a cognitive architecture to examine what develops

Different theories of development propose alternative mechanisms by which development occurs. Cognitive architectures can be used to examine the influence of each proposed mechanism of development while keeping all other mechanisms constant. An ACT-R computational model that matched adult behavior in solving a 21-block pyramid puzzle was created. The model was modified in three ways that corresponded to mechanisms of development proposed by developmental theories. The results showed that all the modifications (two of capacity and one of strategy choice) could approximate the behavior of 7-year-old children on the task. The strategy-choice modification provided the closest match on the two central measures of task behavior (time taken per layer, r = .99, and construction attempts per layer, r = .73). Modifying cognitive architectures is a fruitful way to compare and test potential developmental mechanisms, and can therefore help in specifying “what develops.