English
Related papers

Related papers: Second Order Operators in the NASA Astrophysics Da…

200 papers

The NASA Astrophysics Data System (ADS) is the primary Digital Library portal for researchers in astronomy and astrophysics. Over the past 30 years, the ADS has gone from being an astronomy-focused bibliographic database to an open digital…

Instrumentation and Methods for Astrophysics · Physics 2024-01-19 Alberto Accomazzi

The SAO/NASA Astrophysics Data System (ADS) grew up with and has been riding the waves of the Information Age, closely monitoring and anticipating the needs of its end-users. By now, all professional astronomers are using the ADS on a daily…

Instrumentation and Methods for Astrophysics · Physics 2011-06-29 Edwin A. Henneken , Michael J. Kurtz , Alberto Accomazzi

SOFT ('Second-Order Functions and Theorems') is a tool to mimic second-order functions and theorems in the first-order logic of ACL2. Second-order functions are mimicked by first-order functions that reference explicitly designated…

Logic in Computer Science · Computer Science 2015-09-22 Alessandro Coglio

Many research questions can be answered quickly and efficiently using data already collected for previous research. This practice is called secondary data analysis (SDA), and has gained popularity due to lower costs and improved research…

Digital Libraries · Computer Science 2020-04-07 Yasith Jayawardana , Sampath Jayarathna

Modeling human operator's dynamic plays a very important role in the manual closed-loop control system, and it is an active research area for several decades. Based on the characteristics of human brain and behaviour, a new kind of…

Systems and Control · Computer Science 2016-01-11 Jiacai Huang , Yangquan Chen , Haibin Li , Xinxin Shi

Neural Operators (NOs) are a leading method for surrogate modeling of partial differential equations. Unlike traditional neural networks, which approximate individual functions, NOs learn the mappings between function spaces. While NOs have…

Astrophysics of Galaxies · Physics 2025-08-01 Keith Poletti , Stella S. R. Offner , Rachel A. Ward

Neural operators (NOs) are designed to learn maps between infinite-dimensional function spaces. We propose a novel reframing of their use. By introducing an auxiliary base-space, any finite-dimensional function can be viewed as an operator…

Machine Learning · Computer Science 2026-05-11 Vasilis Niarchos , Angelos Sirbu , Sokratis Trifinopoulos

In this paper we present a number of metrics for usage of the SAO/NASA Astrophysics Data System (ADS). Since the ADS is used by the entire astronomical community, these are indicative of how the astronomical literature is used. We will show…

Eight years after the ADS first appeared the last decadal survey wrote: "NASA's initiative for the Astrophysics Data System has vastly increased the accessibility of the scientific literature for astronomers. NASA deserves credit for this…

Instrumentation and Methods for Astrophysics · Physics 2009-03-19 Michael J. Kurtz , Alberto Accomazzi , Stephen S. Murray

Mechanical systems are often characterized only by their response to certain loads known from experiments or simulations. The obtained data can be used for various purposes: system analysis, design of mathematical models, or construction of…

Dynamical Systems · Mathematics 2026-01-05 Yevgeniya Filanova , Igor Pontes Duff , Pawan Goyal , Peter Benner

Operator networks are designed to approximate nonlinear operators, which provide mappings between infinite-dimensional spaces such as function spaces. These networks are playing an increasingly important role in machine learning, with their…

Machine Learning · Computer Science 2025-04-11 Jason Kurz , Sean Oughton , Shitao Liu

Training deep neural networks (DNNs) used in modern machine learning is computationally expensive. Machine learning scientists, therefore, rely on stochastic first-order methods for training, coupled with significant hand-tuning, to obtain…

Machine Learning · Computer Science 2023-07-24 Eric Silk , Swarnita Chakraborty , Nairanjana Dasgupta , Anand D. Sarwate , Andrew Lumsdaine , Tony Chiang

Robotic on-orbit servicing (OOS) is expected to be a key technology and concept for future sustainable space exploration. This paper develops a semi-analytical model for OOS systems analysis, responding to the growing needs and ongoing…

Performance · Computer Science 2025-08-20 Koki Ho , Hai Wang , Paul A. DeTrempe , Tristan Sarton du Jonchay , Kento Tomita

By combining data from the text, citation, and reference databases with data from the ADS readership logs we have been able to create Second Order Bibliometric Operators, a customizable class of collaborative filters which permits…

Digital Libraries · Computer Science 2009-09-30 Michael J. Kurtz , Guenther Eichhorn , Alberto Accomazzi , Carolyn Grant , Markus Demleitner , Stephen S. Murray

While regular archive searches can find images at a fixed location, they cannot find images of moving targets such as asteroids. The Solar System Object Search (SSOS) at the Canadian Astronomy Data Centre allows users to search for images…

Instrumentation and Methods for Astrophysics · Physics 2011-11-16 Stephen D. J. Gwyn , Norman Hill , J. J. Kavelaars

In the astronomical observation field, determining the allocation of observation resources of the telescope array and planning follow-up observations for targets of opportunity (ToOs) are indispensable components of astronomical scientific…

Artificial Intelligence · Computer Science 2025-02-18 Yajie Zhang , Ce Yu , Chao Sun , Jizeng Wei , Junhan Ju , Shanjiang Tang

Observatories and satellites around the globe produce tremendous amounts of imaging data to study many different astrophysical phenomena. The serendipitous observations of Solar System objects are a fortunate by-product which have often…

Earth and Planetary Astrophysics · Physics 2019-06-11 Max Mahlke , Enrique Solano , Hervé Bouy , Benoit Carry , Gijs A. Verdoes Kleijn , Emmanuel Bertin

In this second of three short papers, I introduce some of the basic concepts of space robotics with an emphasis on some specific challenging areas of research that are peculiar to the application of robotics to space infrastructure…

Robotics · Computer Science 2007-05-23 Alex Ellery

In this paper based on agent and semantic web technologies we propose an approach .i.e., Semantic Oriented Agent Based Search (SOAS), to cope with currently existing challenges of Meta data extraction, modeling and information retrieval…

Information Retrieval · Computer Science 2010-08-10 Zeeshan Ahmed , Detlef Gerhard

The purpose of data warehouses is to enable business analysts to make better decisions. Over the years the technology has matured and data warehouses have become extremely successful. As a consequence, more and more data has been added to…

Databases · Computer Science 2012-07-03 Lukas Blunschi , Claudio Jossen , Donald Kossman , Magdalini Mori , Kurt Stockinger