-
Learning SQL from within: integrating database exercises into the database itself
Authors:
Aristide Grange
Abstract:
SQL adventure builder (SQLab) is an open-source framework for creating SQL games that are embedded within the very database they query. Students' answers are evaluated using query fingerprinting, a novel technique that allows for better feedback than traditional SQL online judge systems. Fingerprints act as tokens that are used to unlock messages encrypted in an isolated auxiliary table. These mes…
▽ More
SQL adventure builder (SQLab) is an open-source framework for creating SQL games that are embedded within the very database they query. Students' answers are evaluated using query fingerprinting, a novel technique that allows for better feedback than traditional SQL online judge systems. Fingerprints act as tokens that are used to unlock messages encrypted in an isolated auxiliary table. These messages may include hints, answer keys, examples, explanations, or narrative elements. They can also contain the problem statement of the next task, which turns them into nodes in a virtual DAG with queries as edges. This makes it possible to design a coherent adventure with a storyline of arbitrary complexity.
This paper describes the theoretical underpinnings of SQLab's query fingerprinting model, its implementation challenges, and its potential to improve SQL education through game-based learning. The underlying concepts are fully cross-vendor, and support for SQLite, PostgreSQL and MySQL is already available. As a proof of concept, two games, 30 exercises and one mock exam were tested over a three-year period with about 300 students.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Study On Coding Tools Beyond Av1
Authors:
Xin Zhao,
Liang Zhao,
Madhu Krishnan,
Yixin Du,
Shan Liu,
Debargha Mukherjee,
Yaowu Xu,
Adrian Grange
Abstract:
The Alliance for Open Media has recently initiated coding tool exploration activities towards the next-generation video coding beyond AV1. With this regard, this paper presents a package of coding tools that have been investigated, implemented and tested on top of the codebase, known as libaom, which is used for the exploration of next-generation video compression tools. The proposed tools cover s…
▽ More
The Alliance for Open Media has recently initiated coding tool exploration activities towards the next-generation video coding beyond AV1. With this regard, this paper presents a package of coding tools that have been investigated, implemented and tested on top of the codebase, known as libaom, which is used for the exploration of next-generation video compression tools. The proposed tools cover several technical areas based on a traditional hybrid video coding structure, including block partitioning, prediction, transform and loop filtering. The proposed coding tools are integrated as a package, and a combined coding gain over AV1 is demonstrated in this paper. Furthermore, to better understand the behavior of each tool, besides the combined coding gain, the tool-on and tool-off tests are also simulated and reported for each individual coding tool. Experimental results show that, compared to libaom, the proposed methods achieve an average 8.0% (up to 22.0%) overall BD-rate reduction for All Intra coding configuration a wide range of image and video content.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
A Technical Overview of AV1
Authors:
Jingning Han,
Bohan Li,
Debargha Mukherjee,
Ching-Han Chiang,
Adrian Grange,
Cheng Chen,
Hui Su,
Sarah Parker,
Sai Deng,
Urvang Joshi,
Yue Chen,
Yunqing Wang,
Paul Wilkins,
Yaowu Xu,
James Bankoski
Abstract:
The AV1 video compression format is developed by the Alliance for Open Media consortium. It achieves more than 30% reduction in bit-rate compared to its predecessor VP9 for the same decoded video quality. This paper provides a technical overview of the AV1 codec design that enables the compression performance gains with considerations for hardware feasibility.
The AV1 video compression format is developed by the Alliance for Open Media consortium. It achieves more than 30% reduction in bit-rate compared to its predecessor VP9 for the same decoded video quality. This paper provides a technical overview of the AV1 codec design that enables the compression performance gains with considerations for hardware feasibility.
△ Less
Submitted 8 February, 2021; v1 submitted 13 August, 2020;
originally announced August 2020.
-
NGTS clusters survey -- II. White-light flares from the youngest stars in Orion
Authors:
James A. G. Jackman,
Peter J. Wheatley,
Jack S. Acton,
David R. Anderson,
Claudia Belardi,
Matthew R. Burleigh,
Sarah L. Casewell,
Philipp Eigmüller,
Samuel Gill,
Edward Gillen,
Michael R. Goad,
Andrew Grange,
Simon T. Hodgkin,
James S. Jenkins,
James McCormac,
Maximiliano Moyano,
Didier Queloz,
Liam Raynard,
Rosanna H. Tilbrook,
Christopher A. Watson,
Richard G. West
Abstract:
We present the detection of high energy white-light flares from pre-main sequence stars associated with the Orion complex, observed as part of the Next Generation Transit Survey (NGTS). With energies up to $5.2\times10^{35}$ erg these flares are some of the most energetic white-light flare events seen to date. We have used the NGTS observations of flaring and non-flaring stars to measure the avera…
▽ More
We present the detection of high energy white-light flares from pre-main sequence stars associated with the Orion complex, observed as part of the Next Generation Transit Survey (NGTS). With energies up to $5.2\times10^{35}$ erg these flares are some of the most energetic white-light flare events seen to date. We have used the NGTS observations of flaring and non-flaring stars to measure the average flare occurrence rate for 4 Myr M0-M3 stars. We have also combined our results with those from previous studies to predict average rates for flares above $1\times10^{35}$ ergs for early M stars in nearby young associations.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Shallow transit follow-up from NGTS: simultaneous observations of HD106315 with 11 identical telescopes
Authors:
Alexis M. S. Smith,
Philipp Eigmüller,
Ramanathan Gurumoorthy,
Szilárd Csizmadia,
Daniel Bayliss,
Matthew R. Burleigh,
Juan Cabrera,
Sarah L. Casewell,
Anders Erikson,
Michael R. Goad,
Andrew Grange,
James S. Jenkins,
Don Pollacco,
Heike Rauer,
Liam Raynard,
Stéphane Udry,
Richard G. West,
Peter J. Wheatley
Abstract:
The Next Generation Transit Survey (NGTS) is a photometric survey for transiting exoplanets, consisting of twelve identical 0.2-m telescopes. We report a measurement of the transit of HD106315c using a novel observing mode in which multiple NGTS telescopes observed the same target with the aim of increasing the signal-to-noise. Combining the data allows the robust detection of the transit, which h…
▽ More
The Next Generation Transit Survey (NGTS) is a photometric survey for transiting exoplanets, consisting of twelve identical 0.2-m telescopes. We report a measurement of the transit of HD106315c using a novel observing mode in which multiple NGTS telescopes observed the same target with the aim of increasing the signal-to-noise. Combining the data allows the robust detection of the transit, which has a depth less than 0.1 per cent, rivalling the performance of much larger telescopes. We demonstrate the capability of NGTS to contribute to the follow-up of K2 and TESS discoveries using this observing mode. In particular, NGTS is well-suited to the measurement of shallow transits of bright targets. This is particularly important to improve orbital ephemerides of relatively long-period planets, where only a small number of transits are observed from space.
△ Less
Submitted 13 February, 2020;
originally announced February 2020.
-
NGTS-5b: a highly inflated planet offering insights into the sub-Jovian desert
Authors:
Philipp Eigmüller,
Alexander Chaushev,
Edward Gillen,
Alexis Smith,
Louise D. Nielsen,
Oliver Turner,
Szilard Czismadia,
Barry Smalley,
Daniel Bayliss,
Claudia Belardi,
François Bouchy,
Matthew R. Burleigh,
Juan Cabrera,
Sarah L. Casewell,
Bruno Chazelas,
Benjamin F. Cooke,
Anders Erikson,
Boris T. Gänsicke,
Maximilian N. Günther,
Michael R. Goad,
Andrew Grange,
James A. G. Jackman,
James S. Jenkins,
James McCormac,
Maximiliano Moyano
, et al. (10 additional authors not shown)
Abstract:
Context: Planetary population analysis gives us insight into formation and evolution processes. For short-period planets, the subJovian desert has been discussed in recent years with regard to the planet population in the mass/period and radius/period parameter space without taking stellar parameters into account. The Next Generation Transit Survey (NGTS) is optimised for detecting planets in this…
▽ More
Context: Planetary population analysis gives us insight into formation and evolution processes. For short-period planets, the subJovian desert has been discussed in recent years with regard to the planet population in the mass/period and radius/period parameter space without taking stellar parameters into account. The Next Generation Transit Survey (NGTS) is optimised for detecting planets in this regime, which allows for further analysis of the sub-Jovian desert.
Aims: With high-precision photometric surveys (e.g. with NGTS and TESS), which aim to detect short period planets especially around M/K-type host stars, stellar parameters need to be accounted for when empirical data are compared to model predictions. Presenting a newly discovered planet at the boundary of the sub-Jovian desert, we analyse its bulk properties and use it to show the properties of exoplanets that border the sub-Jovian desert.
Methods: Using NGTS light curve and spectroscopic follow-up observations, we confirm the planetary nature of planet NGTS-5b and determine its mass. Using exoplanet archives, we set the planet in context with other discoveries.
Results: NGTS-5b is a short-period planet with an orbital period of 3.3569866 +- 0.0000026 days. With a mass of 0.229 +- 0.037 MJup and a radius of 1.136 +- 0.023 RJup, it is highly inflated. Its mass places it at the upper boundary of the sub-Jovian desert. Because the host is a K2 dwarf, we need to account for the stellar parameters when NGTS-5b is analysed with regard to planet populations.
Conclusions: With red-sensitive surveys (e.g. with NGTS and TESS), we expect many more planets around late-type stars to be detected. An empirical analysis of the sub-Jovian desert should therefore take stellar parameters into account.
△ Less
Submitted 7 May, 2019;
originally announced May 2019.
-
NGTS-2b: An inflated hot-Jupiter transiting a bright F-dwarf
Authors:
Liam Raynard,
Michael R. Goad,
Edward Gillen,
Louise D. Nielsen,
Christopher A. Watson,
Andrew P. G. Thompson,
James McCormac,
Daniel Bayliss,
Maritza Soto,
Szilard Csizmadia,
Alexander Chaushev,
Matthew R. Burleigh,
Richard Alexander,
David J. Armstrong,
François Bouchy,
Joshua T. Briegal,
Juan Cabrera,
Sarah L. Casewell,
Bruno Chazelas,
Benjamin F. Cooke,
Philipp Eigmüller,
Anders Erikson,
Boris T. Gänsicke,
Andrew Grange,
Maximilian N. Günther
, et al. (20 additional authors not shown)
Abstract:
We report the discovery of NGTS-2b, an inflated hot-Jupiter transiting a bright F5V star (2MASS J14202949-3112074; $T_{\rm eff}$=$6478^{+94}_{-89}$ K), discovered as part of the Next Generation Transit Survey (NGTS). The planet is in a P=4.51 day orbit with mass $0.74^{+0.13}_{-0.12}$ M$_{J}$, radius $1.595^{+0.047}_{-0.045}$ R$_{J}$ and density $0.226^{+0.040}_{-0.038}$ g cm$^{-3}$; therefore one…
▽ More
We report the discovery of NGTS-2b, an inflated hot-Jupiter transiting a bright F5V star (2MASS J14202949-3112074; $T_{\rm eff}$=$6478^{+94}_{-89}$ K), discovered as part of the Next Generation Transit Survey (NGTS). The planet is in a P=4.51 day orbit with mass $0.74^{+0.13}_{-0.12}$ M$_{J}$, radius $1.595^{+0.047}_{-0.045}$ R$_{J}$ and density $0.226^{+0.040}_{-0.038}$ g cm$^{-3}$; therefore one of the lowest density exoplanets currently known. With a relatively deep 1.0% transit around a bright V=10.96 host star, NGTS-2b is a prime target for probing giant planet composition via atmospheric transmission spectroscopy. The rapid rotation ($vsin$i=$15.2\pm0.8$ km s$^{-1}$) also makes this system an excellent candidate for Rossiter-McLaughlin follow-up observations, to measure the sky-projected stellar obliquity. NGTS-2b was confirmed without the need for follow-up photometry, due to the high precision of the NGTS photometry.
△ Less
Submitted 20 September, 2018; v1 submitted 26 May, 2018;
originally announced May 2018.
-
Ground-based detection of G star superflares with NGTS
Authors:
James A. G. Jackman,
Peter J. Wheatley,
Chloe E. Pugh,
Boris T. Gänsicke,
Edward Gillen,
Anne-Marie Broomhall,
David J. Armstrong,
Matthew R. Burleigh,
Alexander Chaushev,
Philipp Eigmüller,
Anders Erikson,
Michael R. Goad,
Andrew Grange,
Maximilian N. Günther,
James S. Jenkins,
James McCormac,
Liam Raynard,
Andrew P. G. Thompson,
Stéphane Udry,
Simon Walker,
Christopher A. Watson,
Richard G. West
Abstract:
We present high cadence detections of two superflares from a bright G8 star (V = 11.56) with the Next Generation Transit Survey (NGTS). We improve upon previous superflare detections by resolving the flare rise and peak, allowing us to fit a solar flare inspired model without the need for arbitrary break points between rise and decay. Our data also enables us to identify substructure in the flares…
▽ More
We present high cadence detections of two superflares from a bright G8 star (V = 11.56) with the Next Generation Transit Survey (NGTS). We improve upon previous superflare detections by resolving the flare rise and peak, allowing us to fit a solar flare inspired model without the need for arbitrary break points between rise and decay. Our data also enables us to identify substructure in the flares. From changing starspot modulation in the NGTS data we detect a stellar rotation period of 59 hours, along with evidence for differential rotation. We combine this rotation period with the observed \textit{ROSAT} X-ray flux to determine that the star's X-ray activity is saturated. We calculate the flare bolometric energies as $5.4^{+0.8}_{-0.7}\times10^{34}$ and $2.6^{+0.4}_{-0.3}\times10^{34}$ erg and compare our detections with G star superflares detected in the \textit{Kepler} survey. We find our main flare to be one of the largest amplitude superflares detected from a bright G star. With energies more than 100 times greater than the Carrington event, our flare detections demonstrate the role that ground-based instruments such as NGTS can have in assessing the habitability of Earth-like exoplanets, particularly in the era of \textit{PLATO}.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
The Next Generation Transit Survey (NGTS)
Authors:
Peter J. Wheatley,
Richard G. West,
Michael R. Goad,
James S. Jenkins,
Don L. Pollacco,
Didier Queloz,
Heike Rauer,
Stephane Udry,
Christopher A. Watson,
Bruno Chazelas,
Philipp Eigmuller,
Gregory Lambert,
Ludovic Genolet,
James McCormac,
Simon Walker,
David J. Armstrong,
Daniel Bayliss,
Joao Bento,
Francois Bouchy,
Matthew R. Burleigh,
Juan Cabrera,
Sarah L. Casewell,
Alexander Chaushev,
Paul Chote,
Szilard Csizmadia
, et al. (21 additional authors not shown)
Abstract:
We describe the Next Generation Transit Survey (NGTS), which is a ground-based project searching for transiting exoplanets orbiting bright stars. NGTS builds on the legacy of previous surveys, most notably WASP, and is designed to achieve higher photometric precision and hence find smaller planets than have previously been detected from the ground. It also operates in red light, maximising sensiti…
▽ More
We describe the Next Generation Transit Survey (NGTS), which is a ground-based project searching for transiting exoplanets orbiting bright stars. NGTS builds on the legacy of previous surveys, most notably WASP, and is designed to achieve higher photometric precision and hence find smaller planets than have previously been detected from the ground. It also operates in red light, maximising sensitivity to late K and early M dwarf stars. The survey specifications call for photometric precision of 0.1 per cent in red light over an instantaneous field of view of 100 square degrees, enabling the detection of Neptune-sized exoplanets around Sun-like stars and super-Earths around M dwarfs. The survey is carried out with a purpose-built facility at Cerro Paranal, Chile, which is the premier site of the European Southern Observatory (ESO). An array of twelve 20cm f/2.8 telescopes fitted with back-illuminated deep-depletion CCD cameras are used to survey fields intensively at intermediate Galactic latitudes. The instrument is also ideally suited to ground-based photometric follow-up of exoplanet candidates from space telescopes such as TESS, Gaia and PLATO. We present observations that combine precise autoguiding and the superb observing conditions at Paranal to provide routine photometric precision of 0.1 per cent in 1 hour for stars with I-band magnitudes brighter than 13. We describe the instrument and data analysis methods as well as the status of the survey, which achieved first light in 2015 and began full survey operations in 2016. NGTS data will be made publicly available through the ESO archive.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
NGTS-1b: A hot Jupiter transiting an M-dwarf
Authors:
Daniel Bayliss,
Edward Gillen,
Philipp Eigmuller,
James McCormac,
Richard D. Alexander,
David J. Armstrong,
Rachel S. Booth,
Francois Bouchy,
Matthew R. Burleigh,
Juan Cabrera,
Sarah L. Casewell,
Alexander Chaushev,
Bruno Chazelas,
Szilard Csizmadia,
Anders Erikson,
Francesca Faedi,
Emma Foxell,
Boris T. Gansicke,
Michael R. Goad,
Andrew Grange,
Maximilian N. Gunther,
Simon T. Hodgkin,
James Jackman,
James S. Jenkins,
Gregory Lambert
, et al. (18 additional authors not shown)
Abstract:
We present the discovery of NGTS-1b, a hot-Jupiter transiting an early M-dwarf host ($T_{eff}=3916^{+71}_{-63}~K$) in a P=2.674d orbit discovered as part of the Next Generation Transit Survey (NGTS). The planet has a mass of $0.812^{+0.066}_{-0.075}~M_{J}$, making it the most massive planet ever discovered transiting an M-dwarf. The radius of the planet is $1.33^{+0.61}_{-0.33}~R_{J}$. Since the t…
▽ More
We present the discovery of NGTS-1b, a hot-Jupiter transiting an early M-dwarf host ($T_{eff}=3916^{+71}_{-63}~K$) in a P=2.674d orbit discovered as part of the Next Generation Transit Survey (NGTS). The planet has a mass of $0.812^{+0.066}_{-0.075}~M_{J}$, making it the most massive planet ever discovered transiting an M-dwarf. The radius of the planet is $1.33^{+0.61}_{-0.33}~R_{J}$. Since the transit is grazing, we determine this radius by modelling the data and placing a prior on the density from the population of known gas giant planets. NGTS-1b is the third transiting giant planet found around an M-dwarf, reinforcing the notion that close-in gas giants can form and migrate similar to the known population of hot Jupiters around solar type stars. The host star shows no signs of activity, and the kinematics hint at the star being from the thick disk population. With a deep (2.5%) transit around a $K=11.9$ host, NGTS-1b will be a strong candidate to probe giant planet composition around M-dwarfs via JWST transmission spectroscopy.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Centroid vetting of transiting planet candidates from the Next Generation Transit Survey
Authors:
Maximilian N. Günther,
Didier Queloz,
Edward Gillen,
James McCormac,
Daniel Bayliss,
Francois Bouchy,
Simon. R. Walker,
Richard G. West,
Philipp Eigmüller,
Alexis M. S. Smith,
David J. Armstrong,
Matthew Burleigh,
Sarah L. Casewell,
Alexander P. Chaushev,
Michael R. Goad,
Andrew Grange,
James Jackman,
James S. Jenkins,
Tom Louden,
Maximiliano Moyano,
Don Pollacco,
Katja Poppenhaeger,
Heike Rauer,
Liam Raynard,
Andrew P. G. Thompson
, et al. (3 additional authors not shown)
Abstract:
The Next Generation Transit Survey (NGTS), operating in Paranal since 2016, is a wide-field survey to detect Neptunes and super-Earths transiting bright stars, which are suitable for precise radial velocity follow-up and characterisation. Thereby, its sub-mmag photometric precision and ability to identify false positives are crucial. Particularly, variable background objects blended in the photome…
▽ More
The Next Generation Transit Survey (NGTS), operating in Paranal since 2016, is a wide-field survey to detect Neptunes and super-Earths transiting bright stars, which are suitable for precise radial velocity follow-up and characterisation. Thereby, its sub-mmag photometric precision and ability to identify false positives are crucial. Particularly, variable background objects blended in the photometric aperture frequently mimic Neptune-sized transits and are costly in follow-up time. These objects can best be identified with the centroiding technique: if the photometric flux is lost off-centre during an eclipse, the flux centroid shifts towards the centre of the target star. Although this method has successfully been employed by the Kepler mission, it has previously not been implemented from the ground. We present a fully-automated centroid vetting algorithm developed for NGTS, enabled by our high-precision auto-guiding. Our method allows detecting centroid shifts with an average precision of 0.75 milli-pixel, and down to 0.25 milli-pixel for specific targets, for a pixel size of 4.97 arcsec. The algorithm is now part of the NGTS candidate vetting pipeline and automatically employed for all detected signals. Further, we develop a joint Bayesian fitting model for all photometric and centroid data, allowing to disentangle which object (target or background) is causing the signal, and what its astrophysical parameters are. We demonstrate our method on two NGTS objects of interest. These achievements make NGTS the first ground-based wide-field transit survey ever to successfully apply the centroiding technique for automated candidate vetting, enabling the production of a robust candidate list before follow-up.
△ Less
Submitted 4 September, 2017; v1 submitted 25 July, 2017;
originally announced July 2017.
-
Algorithms for the Pagination Problem, a Bin Packing with Overlapping Items
Authors:
Aristide Grange,
Imed Kacem,
Sébastien Martin
Abstract:
We introduce the strongly NP-complete pagination problem, an extension of BIN PACKING where packing together two items may make them occupy less volume than the sum of their individual sizes. To achieve this property, an item is defined as a finite set of symbols from a given alphabet: while, in BIN PACKING, any two such sets would be disjoint, in PAGINATION, they can share zero, one or more symbo…
▽ More
We introduce the strongly NP-complete pagination problem, an extension of BIN PACKING where packing together two items may make them occupy less volume than the sum of their individual sizes. To achieve this property, an item is defined as a finite set of symbols from a given alphabet: while, in BIN PACKING, any two such sets would be disjoint, in PAGINATION, they can share zero, one or more symbols. After formulating the problem as an integer linear program, we try to approximate its solutions with several families of algorithms: from straightforward adaptations of classical BIN PACKING heuristics, to dedicated algorithms (greedy and non-greedy), to standard and grouping genetic algorithms. All of them are studied first theoretically, then experimentally on an extensive random test set. Based upon these data, we propose a predictive measure of the statistical difficulty of a given instance, and finally recommend which algorithm should be used in which case, depending on either time constraints or quality requirements.
△ Less
Submitted 5 September, 2017; v1 submitted 2 May, 2016;
originally announced May 2016.
-
The Next Generation Transit Survey (NGTS)
Authors:
Peter J. Wheatley,
Don L. Pollacco,
Didier Queloz,
Heike Rauer,
Christopher A. Watson,
Richard G. West,
Bruno Chazelas,
Tom M. Louden,
Simon Walker,
Nigel Bannister,
Joao Bento,
Matthew Burleigh,
Juan Cabrera,
Philipp Eigmueller,
Anders Erikson,
Ludovic Genolet,
Michael Goad,
Andrew Grange,
Andres Jordan,
Katherine Lawrie,
James McCormac,
Marion Neveu
Abstract:
The Next Generation Transit Survey (NGTS) is a new ground-based sky survey designed to find transiting Neptunes and super-Earths. By covering at least sixteen times the sky area of Kepler we will find small planets around stars that are sufficiently bright for radial velocity confirmation, mass determination and atmospheric characterisation. The NGTS instrument will consist of an array of twelve i…
▽ More
The Next Generation Transit Survey (NGTS) is a new ground-based sky survey designed to find transiting Neptunes and super-Earths. By covering at least sixteen times the sky area of Kepler we will find small planets around stars that are sufficiently bright for radial velocity confirmation, mass determination and atmospheric characterisation. The NGTS instrument will consist of an array of twelve independently pointed 20cm telescopes fitted with red-sensitive CCD cameras. It will be constructed at the ESO Paranal Observatory, thereby benefiting from the very best photometric conditions as well as follow up synergy with the VLT and E-ELT. Our design has been verified through the operation of two prototype instruments, demonstrating white noise characteristics to sub-mmag photometric precision. Detailed simulations show that about thirty bright super-Earths and up to two hundred Neptunes could be discovered. Our science operations are due to begin in 2014.
△ Less
Submitted 26 February, 2013;
originally announced February 2013.