Related papers: Description of the Scenario Machine
Program synthesis is the task of automatically generating a program consistent with a given specification. A natural way to specify programs is to provide examples of desired input-output behavior, and many current program synthesis…
This description includes some explanation about algorithms and also algorithms that are being implemented by Cyrus team members. The objectives of this description are to express a brief explanation about shoot, block, mark and defensive…
Datasets of different characteristics are needed by the research community for experimental purposes. However, real data may be difficult to obtain due to privacy concerns. Moreover, real data may not meet specific characteristics which are…
Everybody wants to analyse their data, but only few posses the data science expertise to to this. Motivated by this observation we introduce a novel framework and system \textsc{VisualSynth} for human-machine collaboration in data science.…
In this work, we present an updated prescription of contemporary tidal dissipation theory adapted for rapid binary population synthesis. Our simplified expressions encode the dependence of tidal dissipation on stellar structure,…
The high number of planet discoveries made in the last years provides a good sample for statistical analysis, leading to some clues on the distributions of planet parameters, like masses and periods, at least in close proximity to the host…
In this thesis, we introduce novel methods for analyzing pulsar populations using a variety of mathematical techniques. These tools-particularly graph theory-have been thoroughly validated in advanced mathematics, enabling us to overcome…
Spectral synthesis is basically the decomposition of an observed spectrum in terms of the superposition of a base of simple stellar populations of various ages and metallicities, producing as output the star formation and chemical histories…
Studies of future space- and ground-based exoplanet surveys often rely on models of planetary systems to simulate instrument response, estimate scientific yields, perform trade analyses, and study efficient observation strategies. Until…
We now know that a large number of stars are born in multiple systems. Additionally, more than 70% of massive stars are found in close binary systems, meaning that they will interact over the course of their lifetime. This has strong…
In the present review we summarize direct and indirect evidence that the massive close binary frequency is very large. We then discuss the binary evolutionary processes and we present a general massive close binary evolutionary scheme.…
Using our new Binary Population and Spectral Synthesis (BPASS) code we explore the affect of binary populations on the integrated spectra of galaxies. We also explore the interplay of binary populations and a varying maximum stellar mass.…
Libraries of stellar spectra are fundamental tools in the study of stellar populations and in automatic determination of atmospheric parameters for large samples of observed stars. In the context of the present volume, here I give an…
In studying encounters between binaries and single stars, one is interested in three classes of events: exchanges of stars, hardening of the original binary by a third star, and the production of merged objects. We present a means for…
The statistical properties of double main sequence (MS) binaries are very important for binary evolution and binary population synthesis. To obtain these properties, we need to identify these MS binaries. In this paper, we have developed a…
The female facial image beautification usually requires professional editing softwares, which are relatively difficult for common users. In this demo, we introduce a practical system for automatic and personalized facial makeup…
The determination of block-entropies is a well established method for the investigation of discrete data, also called symbols (7). There is a large variety of such symbolic sequences, ranging from texts written in natural languages,…
We present the multiple stellar systems observed within the SpHere INfrared survey for Exoplanet (SHINE). SHINE searched for substellar companions to young stars using high contrast imaging. Although stars with known stellar companions…
The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many…
Using the StarTrack binary population synthesis code we investigate the properties of population of compact object binaries. Taking into account the selection effects we calculate the expected properties of the observed binaries.We analyze…