Quantitative Metrics from 20 Years of Terra Data Usage

NASA's Terra flagship satellite carries five Earth-observing instruments that have collected data for almost 20 years. NASA's Earth Science Data and Information System (ESDIS) Project makes these data, along with derived products, available to worldwide data users. Since the launch of Terra on December 18, 1999, more than 10,000 data products have been archived and distributed by NASA-funded Distributed Active Archive Centers (DAACs) that are part of NASA's Earth Observing System Data and Information System (EOSDIS). At the end of the 2018 Fiscal Year, about 1,000 Terra data products constituted almost 22% of the entire EOSDIS data archive volume (6 PB out of approximately 27.5 PB), and 6 PB of Terra data were distributed to over half-a-million public users worldwide.By categorizing the Terra data products and their distribution, we can get a quantitative assessment of Terra data usage. NASA's ESDIS Project has collected archive, distribution, and user information from EOSDIS data users since February 2000. These metrics are available through the ESDIS Metrics System (EMS). EMS information is stored in a relational database from which quantitative metrics of Terra data use can be retrieved and analyzed.The purposes of this study are to: 1) perform a comprehensive investigation of the 20-year trend in the archive and distribution of Terra data products; 2) identify and characterize data product usage over the last 20 years; and 3) identify and characterize the global user community for these data. In addition to revealing how Terra data use has evolved over time, the results of this study provide insights on identifying the various user communities for different kinds of Earth science data products. Also, because of the enormous quantity of data handled by EOSDIS DAACs, the study provides guidance of the requirements for future data systems that will be needed to effectively and efficiently handle the ever-increasing amounts of Earth science data produced by future (and ongoing) Earth science missions

Students\u27 Perspectives of Thinking With Algebra

Thinking With Algebra (TWA) is a curriculum development project for college students needing introductory/intermediate algebra. Unique guiding principles of the project are a focus on algebraic structure, mixed review, equity, and a classroom approach emphasizing small-group work and whole-class discussion (Feikes et al., 2022). Results are derived from a survey given to one class of fifteen students taking an intermediate algebra summer course. The paper shares both Likert and open-ended responses. Data demonstrates that the students believed that the TWA curriculum was beneficial

G10/COSMOS : 38 band (far-UV to far-IR) panchromatic photometry using LAMBDAR

We present a consistent total flux catalogue for a ∼1 deg2 subset of the Cosmic Evolution Survey (COSMOS) region (RA ∈ [149∘.55, 150∘.65], Dec. ∈ [1∘.80, 2∘.73]) with near-complete coverage in 38 bands from the far-ultraviolet to the far-infrared. We produce aperture matched photometry for 128 304 objects with i < 24.5 in a manner that is equivalent to the Wright et al. catalogue from the low-redshift (z < 0.4) Galaxy and Mass Assembly (GAMA) survey. This catalogue is based on publicly available imaging from GALEX, Canada–France–Hawaii Telescope, Subaru, Visible and Infrared Survey Telescope for Astronomy, Spitzer and Herschel, contains a robust total flux measurement or upper limit for every object in every waveband and complements our re-reduction of publicly available spectra in the same region. We perform a number of consistency checks, demonstrating that our catalogue is comparable to existing data sets, including the recent COSMOS2015 catalogue. We also release an updated Davies et al. spectroscopic catalogue that folds in new spectroscopic and photometric redshift data sets. The catalogues are available for download at http://cutout.icrar.org/G10/dataRelease.php. Our analysis is optimised for both panchromatic analysis over the full wavelength range and for direct comparison to GAMA, thus permitting measurements of galaxy evolution for 0 < z < 1 while minimizing the systematic error resulting from disparate data reduction methods.Publisher PDFPeer reviewe

Visual Reasoning with Multi-hop Feature Modulation

Recent breakthroughs in computer vision and natural language processing have spurred interest in challenging multi-modal tasks such as visual question-answering and visual dialogue. For such tasks, one successful approach is to condition image-based convolutional network computation on language via Feature-wise Linear Modulation (FiLM) layers, i.e., per-channel scaling and shifting. We propose to generate the parameters of FiLM layers going up the hierarchy of a convolutional network in a multi-hop fashion rather than all at once, as in prior work. By alternating between attending to the language input and generating FiLM layer parameters, this approach is better able to scale to settings with longer input sequences such as dialogue. We demonstrate that multi-hop FiLM generation achieves state-of-the-art for the short input sequence task ReferIt --- on-par with single-hop FiLM generation --- while also significantly outperforming prior state-of-the-art and single-hop FiLM generation on the GuessWhat?! visual dialogue task.Comment: In Proc of ECCV 201

Halo orbits in cosmological disk galaxies : tracers of information history

We analyze the orbits of stars and dark matter particles in the halo of a disk galaxy formed in a cosmological hydrodynamical simulation. The halo is oblate within the inner ∼20 kpc and triaxial beyond this radius. About 43% of orbits are short axis tubes—the rest belong to orbit families that characterize triaxial potentials (boxes, long-axis tubes and chaotic orbits), but their shapes are close to axisymmetric. We find no evidence that the self-consistent distribution function of the nearly oblate inner halo is comprised primarily of axisymmetric short-axis tube orbits. Orbits of all families and both types of particles are highly eccentric, with mean eccentricity �0.6. We find that randomly selected samples of halo stars show no substructure in “integrals of motion” space. However, individual accretion events can clearly be identified in plots of metallicity versus formation time. Dynamically young tidal debris is found primarily on a single type of orbit. However, stars associated with older satellites become chaotically mixed during the formation process (possibly due to scattering by the central bulge and disk, and baryonic processes), and appear on all four types of orbits. We find that the tidal debris in cosmological hydrodynamical simulations experiences significantly more chaotic evolution than in collisionless simulations, making it much harder to identify individual progenitors using phase space coordinates alone. However, by combining information on stellar ages and chemical abundances with the orbital properties of halo stars in the underlying self-consistent potential, the identification of progenitors is likely to be possible

Co-producing principles to guide health research: an illustrative case study from an eating disorder research clinic

There is significant value in co-produced health research, however power-imbalances within research teams can pose a barrier to people with lived experience of an illness determining the direction of research in that area. This is especially true in eating disorder research, where the inclusion of co-production approaches lags other research areas. Appealing to principles or values can serve to ground collaborative working. Despite this, there has not been any prior attempt to co-produce principles to guide the work of a research group and serve as a basis for developing future projects. The aim of this piece of work was to co-produce a set of principles to guide the conduct of research within our lived experience led research clinic, and to offer an illustrative case for the value of this as a novel co-production methodology. A lived experience panel were recruited to our eating disorder research group. Through an iterative series of workshops with the members of our research clinic (composed of a lived experience panel, clinicians, and researchers) we developed a set of principles which we agreed were important in ensuring both the direction of our research, and the way in which we wanted to work together. Six key principles were developed using this process. They were that research should aim to be: 1) real world—offering a clear and concrete benefit to people with eating disorders, 2) tailored—suitable for marginalised groups and people with atypical diagnoses, 3) hopeful—ensuring that hope for recovery was centred in treatment, 4) experiential—privileging the ‘voice’ of people with eating disorders, 5) broad—encompassing non-standard therapeutic treatments and 6) democratic—co-produced by people with lived experience of eating disorders. We reflect on some of the positives as well as limitations of the process, highlighting the importance of adequate funding for longer-term co-production approaches to be taken, and issues around ensuring representation of minority groups. We hope that other health research groups will see the value in co-producing principles to guide research in their own fields, and will adapt, develop, and refine this novel methodology

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates

We address the problem of proving the satisfiability of Constrained Horn Clauses (CHCs) with Algebraic Data Types (ADTs), such as lists and trees. We propose a new technique for transforming CHCs with ADTs into CHCs where predicates are defined over basic types, such as integers and booleans, only. Thus, our technique avoids the explicit use of inductive proof rules during satisfiability proofs. The main extension over previous techniques for ADT removal is a new transformation rule, called differential replacement, which allows us to introduce auxiliary predicates corresponding to the lemmas that are often needed when making inductive proofs. We present an algorithm that uses the new rule, together with the traditional folding/unfolding transformation rules, for the automatic removal of ADTs. We prove that if the set of the transformed clauses is satisfiable, then so is the set of the original clauses. By an experimental evaluation, we show that the use of the differential replacement rule significantly improves the effectiveness of ADT removal, and we show that our transformation-based approach is competitive with respect to a well-established technique that extends the CVC4 solver with induction.Comment: 10th International Joint Conference on Automated Reasoning (IJCAR 2020) - version with appendix; added DOI of the final authenticated Springer publication; minor correction