Multi-cultural visualization : how functional programming can enrich visualization (and vice versa)

The past two decades have seen visualization flourish as a research field in its own right, with advances on the computational challenges of faster algorithms, new techniques for datasets too large for in-core processing, and advances in understanding the perceptual and cognitive processes recruited by visualization systems, and through this, how to improve the representation of data. However, progress within visualization has sometimes proceeded in parallel with that in other branches of computer science, and there is a danger that when novel solutions ossify into `accepted practice' the field can easily overlook significant advances elsewhere in the community. In this paper we describe recent advances in the design and implementation of pure functional programming languages that, significantly, contain important insights into questions raised by the recent NIH/NSF report on Visualization Challenges. We argue and demonstrate that modern functional languages combine high-level mathematically-based specifications of visualization techniques, concise implementation of algorithms through fine-grained composition, support for writing correct programs through strong type checking, and a different kind of modularity inherent in the abstractive power of these languages. And to cap it off, we have initial evidence that in some cases functional implementations are faster than their imperative counterparts

The distribution of the eigenvalues of Hecke operators

For each prime $p$, we determine the distribution of the $p^{th}$ Fourier coefficients of the Hecke eigenforms of large weight for the full modular group. As $p\to\infty$, this distribution tends to the Sato--Tate distribution

Fine-grained visualization pipelines and lazy functional languages

The pipeline model in visualization has evolved from a conceptual model of data processing into a widely used architecture for implementing visualization systems. In the process, a number of capabilities have been introduced, including streaming of data in chunks, distributed pipelines, and demand-driven processing. Visualization systems have invariably built on stateful programming technologies, and these capabilities have had to be implemented explicitly within the lower layers of a complex hierarchy of services. The good news for developers is that applications built on top of this hierarchy can access these capabilities without concern for how they are implemented. The bad news is that by freezing capabilities into low-level services expressive power and flexibility is lost. In this paper we express visualization systems in a programming language that more naturally supports this kind of processing model. Lazy functional languages support fine-grained demand-driven processing, a natural form of streaming, and pipeline-like function composition for assembling applications. The technology thus appears well suited to visualization applications. Using surface extraction algorithms as illustrative examples, and the lazy functional language Haskell, we argue the benefits of clear and concise expression combined with fine-grained, demand-driven computation. Just as visualization provides insight into data, functional abstraction provides new insight into visualization

Space resources. Volume 4: Social concerns

Space resources must be used to support life on the Moon and exploration of Mars. This volume, Social Concerns, covers some of the most important issues which must be addressed in any major program for the human exploration of space. The volume begins with a consideration of the economics and management of large scale space activities. Then the legal aspects of these activities are discussed, particularly the interpretation of treaty law with respect to the Moon and asteroids. The social and cultural issues of moving people into space are considered in detail, and the eventual emergence of a space culture different from the existing culture is envisioned. The environmental issues raised by the development of space settlements are faced. Some innovative approaches are proposed to space communities and habitats and self-sufficiency is considered along with human safety at a lunar base or outpost

Space resources. Volume 1: Scenarios

A number of possible future paths for space exploration and development are presented. The topics covered include the following: (1) the baseline program; (2) alternative scenarios utilizing nonterrestrial resources; (3) impacts of sociopolitical conditions; (4) common technologies; and issues for further study

Space resources. Overview

Space resources must be used to support life on the Moon and in the exploration of Mars. Just as the pioneers applied the tools they brought with them to resources they found along the way rather than trying to haul all their needs over a long supply line, so too must space travelers apply their high technology tools to local resources. This overview describes the findings of a study on the use of space resources in the development of future space activities and defines the necessary research and development that must precede the practical utilization of these resources. Space resources considered included lunar soil, oxygen derived from lunar soil, material retrieved from near-Earth asteroids, abundant sunlight, low gravity, and high vacuum. The study participants analyzed the direct use of these resources, the potential demand for products from them, the techniques for retrieving and processing space resources, the necessary infrastructure, and the economic tradeoffs

Space resources. Volume 2: Energy, power, and transport

This volume of the Space Resources report covers a number of technical and policy issues concerning the energy and power to carry out advanced space missions and the means of transportation to get to the sites of those missions. Discussed in the first half of this volume are the technologies which might be used to provide power and a variety of ways to convert power from one form to another, store it, move it wherever it is needed, and use it. In the second half of this volume, various kinds of transportation, including both interplanetary and surface systems, are discussed

Development and Flight Results from the C3D2 Imager Payload on AlSat Nano

An experimental CubeSat camera system using 3 separate CMOS imagers was flown in 2014 on UKube-1. In response to an announcement opportunity in December 2014, we proposed an upgrade to our C3D imager payload, which was accepted to fly on AlSat Nano. Launched in September 2016 the system has been operational for over 1 year and has returned both images and housekeeping data, including detailed temperature and radiation dosimetry measurements. Through these in-orbit demonstrations on CubeSans, the image sensors and payload have attained TRL9, and these are now being used in other flight opportunities. In this paper we describe the C3D imager payload, which comprises 3 independent CMOS image sensors used in different camera systems; two wide field cameras are specifically optimised with one to observe the Earth from the 650 km orbit, and the other with its focus set to 40 cm to observe a deployable boom from the CubeSat. The experiment controller also contained thermometry and two RADFET dosimeters, one located on the payload, with the other deployed at a different point on the spacecraft. In this paper we will describe the experiment design and operational performance, and review the in-orbit data obtained during the operations covering over 17 months in-orbit, in addition to discussing lessons learned from the flight experience. We also discuss further developments of the payload concept which we are currently working on toward future flight opportunities

The use of an automated flight test management system in the development of a rapid-prototyping flight research facility

An automated flight test management system (ATMS) and its use to develop a rapid-prototyping flight research facility for artificial intelligence (AI) based flight systems concepts are described. The ATMS provides a flight test engineer with a set of tools that assist in flight planning and simulation. This system will be capable of controlling an aircraft during the flight test by performing closed-loop guidance functions, range management, and maneuver-quality monitoring. The rapid-prototyping flight research facility is being developed at the Dryden Flight Research Facility of the NASA Ames Research Center (Ames-Dryden) to provide early flight assessment of emerging AI technology. The facility is being developed as one element of the aircraft automation program which focuses on the qualification and validation of embedded real-time AI-based systems