Related papers: How to SYN in seven easy steps
In the synthesis problem, we are given a specification, and we automatically generate a system that satisfies the specification in all environments. We introduce and study {\em synthesis with guided environments} (SGE, for short), where the…
In this work we present an atlas of composite spectra of galaxies based on the data of the Sloan Digital Sky Survey Data Release 7 (SDSS DR7). Galaxies are classified by colour, nuclear activity and star-formation activity to calculate…
Synthesizer is a type of electronic musical instrument that is now widely used in modern music production and sound design. Each parameters configuration of a synthesizer produces a unique timbre and can be viewed as a unique instrument.…
The prospect of establishing extra-terrestrial habitats using in situ resource utilization (ISRU) constitutes a long-term goal of multiple space agencies around the world. In this work, we investigate sintering as a potential route for…
A comprehensive hybrid library of synthetic stellar spectra based on three original grids of model atmosphere spectra by Kurucz (1995), Fluks et al. (1994), and Bessell et al. (1989, 1991) is presented. The combined library is intended for…
Program synthesis is the task of automatically generating expressions that satisfy a given specification. Program synthesis techniques have been used to automate the generation of loop invariants in code, synthesize function summaries, and…
Planetary atmospheres are inherently 3D objects that can have strong gradients in latitude, longitude, and altitude. Secondary eclipse mapping is a powerful way to map the 3D distribution of the atmosphere, but the data can have large…
Using the technique of spectral disentangling, it is possible to determine the individual spectra of the components of a multiple star system from composite spectra observed at a range of orbital phases. This method has several advantages:…
We present SPECULATOR - a fast, accurate, and flexible framework for emulating stellar population synthesis (SPS) models for predicting galaxy spectra and photometry. For emulating spectra, we use principal component analysis to construct a…
Automatic synthesis from a given specification automatically constructs correct implementation. This frees the user from the mundane implementation work, but still requires the specification. But is specifying easier than implementing? In…
To reduce and analyze astronomical images, astronomers can rely on a wide range of libraries providing low-level implementations of legacy algorithms. However, combining these routines into robust and functional pipelines requires a major…
While the spectrum of the light emitted by a star can be calculated by simulating the flow of radiation through each layer of the star's atmosphere, this process is computationally expensive. Therefore, it is often far more efficient to…
Two iterative techniques are described for decomposing a long-slit spectrum into the individual spectra of the point sources along the slit and the spectrum of the underlying background. One technique imposes the strong constraint that the…
Spectral energy distributions for models of arbitrarily rotating stars are computed using two dimensional rotating stellar models, NLTE plane parallel model atmospheres, and a code to integrate the appropriately weighted intensities over…
We propose an efficient algorithm for reconstructing one-dimensional wide-band line spectra from their Fourier data in a bounded interval $[-\Omega,\Omega]$. While traditional subspace methods such as MUSIC achieve super-resolution for…
A new methodology for the synthesis of wide-angle scanning arrays is proposed. It is based on the formulation of the array design problem as a multi-objective one where, for each scan angle, both the radiated power density in the scan…
This paper describes a way to improve the scalability of program synthesis by exploiting modularity: larger programs are synthesized from smaller programs. The key issue is to make each "larger-created-from-smaller" synthesis sub-problem be…
Spectral energy distributions (SEDs) are useful primary and complementary tools in the analysis of observations of young stars. However, the process of collating, inspecting, and flux-converting archival photometry and spectroscopy to build…
Large-scale and deep sky survey missions are rapidly collecting a large amount of stellar spectra, which necessitate the estimation of atmospheric parameters directly from spectra and makes it feasible to statistically investigate latent…
The fitting of spectral lines is a common step in the analysis of line observations and simulations. However, the observational noise, the presence of multiple velocity components, and potentially large data sets make it a non-trivial task.…