
We perform a tomographic analysis of structure growth and expansion rate from
the anisotropic galaxy clustering of the combined sample of Baryon Oscillation
Spectroscopic Survey (BOSS) Data Release 12, which covers the redshift range of
$0.2<z<0.75$. In order to extract the redshift information of anisotropic
galaxy clustering, we analyse this data set in nine overlapping redshift slices
in configuration space and perform the joint constraints on the parameters
$(D_V, F_{\mathrm{AP}}, f\sigma_8)$ using the correlation function multipoles.
The analysis pipeline is validated using the MultiDarkPatchy mock catalogues.
We obtain a measurement precision of $1.5\%2.9\%$ for $D_V$, $5.2\%9\%$ for
$F_{\mathrm{AP}}$ and $13.3\%24\%$ for $f \sigma_8$, depending on the
effective redshift of the slices. We report a joint measurement of $(D_V,
F_{\mathrm{AP}}, f\sigma_8)$ with the full covariance matrix in nine redshift
slices. We use our joint BAO and RSD measurement combined with external
datasets to constrain the gravitational growth index $\gamma$, and find
$\gamma=0.656 \pm 0.057$, which is consistent with the $\Lambda$CDM prediction
within 95\% CL.

The fourth generation of the Sloan Digital Sky Survey (SDSSIV) has been in
operation since July 2014. This paper describes the second data release from
this phase, and the fourteenth from SDSS overall (making this, Data Release
Fourteen or DR14). This release makes public data taken by SDSSIV in its first
two years of operation (July 20142016). Like all previous SDSS releases, DR14
is cumulative, including the most recent reductions and calibrations of all
data taken by SDSS since the first phase began operations in 2000. New in DR14
is the first public release of data from the extended Baryon Oscillation
Spectroscopic Survey (eBOSS); the first data from the second phase of the
Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE2),
including stellar parameter estimates from an innovative data driven machine
learning algorithm known as "The Cannon"; and almost twice as many data cubes
from the Mapping Nearby Galaxies at APO (MaNGA) survey as were in the previous
release (N = 2812 in total). This paper describes the location and format of
the publicly available data from SDSSIV surveys. We provide references to the
important technical papers describing how these data have been taken (both
targeting and observation details) and processed for scientific use. The SDSS
website (www.sdss.org) has been updated for this release, and provides links to
data downloads, as well as tutorials and examples of data use. SDSSIV is
planning to continue to collect astronomical data until 2020, and will be
followed by SDSSV.

This paper presents Generative Adversarial Talking Head (GATH), a novel deep
generative neural network that enables fully automatic facial expression
synthesis of an arbitrary portrait with continuous action unit (AU)
coefficients. Specifically, our model directly manipulates image pixels to make
the unseen subject in the still photo express various emotions controlled by
values of facial AU coefficients, while maintaining her personal
characteristics, such as facial geometry, skin color and hair style, as well as
the original surrounding background. In contrast to prior work, GATH is purely
datadriven and it requires neither a statistical face model nor image
processing tricks to enact facial deformations. Additionally, our model is
trained from unpaired data, where the input image, with its auxiliary identity
label taken from abundance of still photos in the wild, and the target frame
are from different persons. In order to effectively learn such model, we
propose a novel weakly supervised adversarial learning framework that consists
of a generator, a discriminator, a classifier and an action unit estimator. Our
work gives rise to templateandtargetfree expression editing, where still
faces can be effortlessly animated with arbitrary AU coefficients provided by
the user.

We perform an anisotropic clustering analysis of 1,133,326 galaxies from the
Sloan Digital Sky Survey (SDSSIII) Baryon Oscillation Spectroscopic Survey
(BOSS) Data Release (DR) 12 covering the redshift range $0.15<z<0.69$. The
geometrical distortions of the galaxy positions, caused by incorrect
cosmological model assumptions, are captured in the anisotropic twopoint
correlation function on scales 6  40 $h^{1}\rm Mpc$. The redshift evolution
of this anisotropic clustering is used to place constraints on the cosmological
parameters. We improve the methodology of Li et al. 2016, to enable efficient
exploration of high dimensional cosmological parameter spaces, and apply it to
the ChevallierPolarskiLinder parametrization of dark energy,
$w=w_0+w_a{z}/({1+z})$. In combination with the CMB, BAO, SNIa and $H_0$ from
Cepheid data, we obtain $\Omega_m = 0.301 \pm 0.008,\ w_0 = 1.042 \pm 0.067,\
$ and $w_a = 0.07 \pm 0.29$ (68.3\% CL). Adding our new AP measurements to the
aforementioned results reduces the error bars by $\sim$30  40\% and improves
the dark energy figure of merit by a factor of $\sim$2. We check the robustness
of the results using realistic mock galaxy catalogues.

We develop a new method, which is based on the optimal redshift weighting
scheme, to extract the maximal tomographic information of baryonic acoustic
oscillations (BAO) and redshift space distortions (RSD) from the extended
Baryon Oscillation Spectroscopic Survey (eBOSS) Data Release 14 quasar (DR14Q)
survey. We validate our method using the EZ mocks, and apply our pipeline to
the eBOSS DR14Q sample in the redshift range of $0.8<z<2.2$. We report a joint
measurement of $f\sigma_8$ and twodimensional BAO parameters $D_{\rm A}$ and
$H$ at four effective redshifts of $z_{\rm eff}=0.98, 1.23, 1.52$ and $1.94$,
and provide the full data covariance matrix. Using our measurement combined
with BOSS DR12, MGS and 6dFGS BAO measurements, we find that the existence of
dark energy is supported by observations at a $7.4\sigma$ significance level.
Combining our measurement with BOSS DR12 and Planck observations, we constrain
the gravitational growth index to be $\gamma=0.580\pm0.082$, which is fully
consistent with the prediction of general relativity. This paper is part of a
set that analyses the eBOSS DR14 quasar sample.

We present a measurement of the anisotropic and isotropic Baryon Acoustic
Oscillations (BAO) from the extended Baryon Oscillation Spectroscopic Survey
Data Release 14 quasar sample with optimal redshift weights. Applying the
redshift weights improves the constraint on the BAO dilation parameter
$\alpha(z_{\rm eff})$ by 17\%. We reconstruct the evolution history of the BAO
distance indicators in the redshift range of $0.8<z<2.2$. This paper is part of
a set that analyses the eBOSS DR14 quasar sample.

We present an anisotropic analysis of Baryon Acoustic Oscillation (BAO)
signal from the SDSSIV extended Baryon Oscillation Spectroscopic Survey
(eBOSS) Data Release 14 (DR14) quasar sample. The sample consists of 147,000
quasars distributed over a redshift range of $0.8 < z < 2.2$. We apply the
redshift weights technique to the clustering of quasars in this sample and
achieve a 4.6 per cent measurement of the angular distance measurement $D_M$ at
$z = 2.2$ and Hubble parameter $H$ at $z=0.8$. We parameterize the
distanceredshift relation, relative to a fiducial model, as a quadratic
expansion. The coefficients of this expansion are used to reconstruct the
distanceredshift relation and obtain distance and Hubble parameter
measurements at all redshifts within the redshift range of the sample.
Reporting the result at two characteristic redshifts, we determine $D_M(z=1) =
3405\pm305 \ (r_{\rm d} / r_{\rm d, fid}) \ {\rm Mpc}$, $H(z=1) = 120.7\pm 7.3
\ (r_{\rm d,fid} / r_{\rm d}) \ {\rm km} \ {\rm s}^{1}{\rm Mpc}^{1}$ and
$D_M(z=2) = 5325\pm249 \ (r_{\rm d} / r_{\rm d, fid}) \ {\rm Mpc}$, $H(z=2) =
189.9\pm 32.9 \ (r_{\rm d,fid} / r_{\rm d}) \ {\rm km} \ {\rm s}^{1}{\rm
Mpc}^{1}$. These measurements are highly correlated. We assess the outlook of
BAO analysis from the final quasar sample by testing the method on a set of
mocks that mimic the noise level in the final sample. We demonstrate on these
mocks that redshift weighting shrinks the measurement error by over 25 per cent
on average. We conclude redshift weighting can bring us closer to the
cosmological goal of the final quasar sample.

We present the clustering measurements of quasars in configuration space
based on the Data Release 14 (DR14) of the Sloan Digital Sky Survey IV extended
Baryon Oscillation Spectroscopic Survey. This dataset includes 148,659 quasars
spread over the redshift range $0.8\leq z \leq 2.2$ and spanning 2112.9 square
degrees. We use the Convolution Lagrangian Perturbation Theory (CLPT) approach
with a Gaussian Streaming (GS) model for the redshift space distortions of the
correlation function and demonstrate its applicability for dark matter halos
hosting eBOSS quasar tracers. At the effective redshift $z_{\rm eff} = 1.52$,
we measure the linear growth rate of structure $f\sigma_{8}(z_{\rm eff})= 0.426
\pm 0.077$, the expansion rate $H(z_{\rm eff})= 159^{+12}_{13}(r_{s}^{\rm
fid}/r_s){\rm km.s}^{1}.{\rm Mpc}^{1}$, and the angular diameter distance
$D_{A}(z_{\rm eff})=1850^{+90}_{115}\,(r_s/r_{s}^{\rm fid}){\rm Mpc}$, where
$r_{s}$ is the sound horizon at the end of the baryon drag epoch and
$r_{s}^{\rm fid}$ is its value in the fiducial cosmology. The quoted errors
include both systematic and statistical contributions. The results on the
evolution of distances are consistent with the predictions of flat
$\Lambda$Cold Dark Matter ($\Lambda$CDM) cosmology with Planck parameters,
and the measurement of $f\sigma_{8}$ extends the validity of General Relativity
(GR) to higher redshifts($z>1$) This paper is released with companion papers
using the same sample. The results on the cosmological parameters of the
studies are found to be in very good agreement, providing clear evidence of the
complementarity and of the robustness of the first fullshape clustering
measurements with the eBOSS DR14 quasar sample.

We explore the cosmological implications of anisotropic clustering
measurements of the quasar sample from Data Release 14 of the Sloan Digital Sky
Survey IV Extended Baryon Oscillation Spectroscopic Survey (eBOSS) in
configuration space. The $\sim 147,000$ quasar sample observed by eBOSS offers
a direct tracer of the density field and bridges the gap of previous BAO
measurements between redshift $0.8<z<2.2$. By analysing the twopoint
correlation function characterized by clustering wedges $\xi_{\rm w_i}(s)$ and
multipoles $\xi_{\ell}(s)$, we measure the angular diameter distance, Hubble
parameter and cosmic structure growth rate. We define a systematic error budget
for our measurements based on the analysis of $N$body simulations and mock
catalogues. Based on the DR14 large scale structure quasar sample at the
effective redshift $z_{\rm eff}=1.52$, we find the growth rate of cosmic
structure $f\sigma_8(z_{\rm eff})=0.396\pm 0.079$, and the geometric parameters
$D_{\rm V}(z)/r_{\rm d}=26.47\pm 1.23$, and $F_{\rm AP}(z)=2.53\pm 0.22$, where
the uncertainties include both statistical and systematic errors. These values
are in excellent agreement with the bestfitting standard ${\rm \Lambda CDM}$
model to the latest cosmic microwave background data from Planck.

We analyse the clustering of the Sloan Digital Sky Survey IV extended Baryon
Oscillation Spectroscopic Survey Data Release 14 quasar sample (DR14Q). We
measure the redshift space distortions using the power spectrum monopole,
quadrupole and hexadecapole inferred from 148,659 quasars between redshifts 0.8
and 2.2 covering a total sky footprint of 2112.9 deg$^2$. We constrain the
logarithmic growth of structure times the amplitude of dark matter density
fluctuations, $f\sigma_8$, and the AlcockPaczynski dilation scales which allow
constraints to be placed on the angular diameter distance $D_A(z)$ and the
Hubble $H(z)$ parameter. At the effective redshift of $z_{\rm eff}=1.52$,
$f\sigma_8(z_{\rm eff})=0.420\pm0.076$, $H(z_{\rm eff})=[162\pm 12]\, (r_s^{\rm
fid}/r_s)\,{\rm km\, s}^{1}{\rm Mpc}^{1}$, and $D_A(z_{\rm eff})=[1.85\pm
0.11]\times10^3\,(r_s/r_s^{\rm fid})\,{\rm Mpc}$, where $r_s$ is the comoving
sound horizon at the baryon drag epoch and the superscript `fid' stands for its
fiducial value. The errors take into account the full error budget, including
systematics and statistical contributions. These results are in full agreement
with the current $\Lambda$Cold Dark Matter ($\Lambda$CDM) cosmological model
inferred from Planck measurements.
Finally, we compare our measurements with other eBOSS companion papers and
find excellent agreement, demonstrating the consistency and complementarity of
the different methods used for analysing the data.

We present measurements of the Baryon Acoustic Oscillation (BAO) scale in
redshiftspace using the clustering of quasars. We consider a sample of 147,000
quasars from the extended Baryon Oscillation Spectroscopic Survey (eBOSS)
distributed over 2044 square degrees with redshifts $0.8 < z < 2.2$ and measure
their sphericallyaveraged clustering in both configuration and Fourier space.
Our observational dataset and the 1400 simulated realizations of the dataset
allow us to detect a preference for BAO that is greater than 2.8$\sigma$. We
determine the spherically averaged BAO distance to $z = 1.52$ to 3.8 per cent
precision: $D_V(z=1.52)=3843\pm147 \left(r_{\rm d}/r_{\rm d, fid}\right)\ $Mpc.
This is the first time the location of the BAO feature has been measured
between redshifts 1 and 2. Our result is fully consistent with the prediction
obtained by extrapolating the Planck flat $\Lambda$CDM bestfit cosmology. All
of our results are consistent with basic largescale structure (LSS) theory,
confirming quasars to be a reliable tracer of LSS, and provide a starting point
for numerous cosmological tests to be performed with eBOSS quasar samples. We
combine our result with previous, independent, BAO distance measurements to
construct an updated BAO distanceladder. Using these BAO data alone and
marginalizing over the length of the standard ruler, we find $\Omega_{\Lambda}
> 0$ at 6.6$\sigma$ significance when testing a $\Lambda$CDM model with free
curvature.

We present a deep learning framework for realtime speechdriven 3D facial
animation from just raw waveforms. Our deep neural network directly maps an
input sequence of speech audio to a series of micro facial action unit
activations and head rotations to drive a 3D blendshape face model. In
particular, our deep model is able to learn the latent representations of
timevarying contextual information and affective states within the speech.
Hence, our model not only activates appropriate facial action units at
inference to depict different utterance generating actions, in the form of lip
movements, but also, without any assumption, automatically estimates emotional
intensity of the speaker and reproduces her everchanging affective states by
adjusting strength of facial unit activations. For example, in a happy speech,
the mouth opens wider than normal, while other facial units are relaxed; or in
a surprised state, both eyebrows raise higher. Experiments on a diverse
audiovisual corpus of different actors across a wide range of emotional states
show interesting and promising results of our approach. Being
speakerindependent, our generalized model is readily applicable to various
tasks in humanmachine interaction and animation.

The fourth generation of the Sloan Digital Sky Survey (SDSSIV) began
observations in July 2014. It pursues three core programs: APOGEE2, MaNGA, and
eBOSS. In addition, eBOSS contains two major subprograms: TDSS and SPIDERS.
This paper describes the first data release from SDSSIV, Data Release 13
(DR13), which contains new data, reanalysis of existing data sets and, like all
SDSS data releases, is inclusive of previously released data. DR13 makes
publicly available 1390 spatially resolved integral field unit observations of
nearby galaxies from MaNGA, the first data released from this survey. It
includes new observations from eBOSS, completing SEQUELS. In addition to
targeting galaxies and quasars, SEQUELS also targeted variabilityselected
objects from TDSS and Xray selected objects from SPIDERS. DR13 includes new
reductions of the SDSSIII BOSS data, improving the spectrophotometric
calibration and redshift classification. DR13 releases new reductions of the
APOGEE1 data from SDSSIII, with abundances of elements not previously
included and improved stellar parameters for dwarf stars and cooler stars. For
the SDSS imaging data, DR13 provides new, more robust and precise photometric
calibrations. Several valueadded catalogs are being released in tandem with
DR13, in particular target catalogs relevant for eBOSS, TDSS, and SPIDERS, and
an updated redclump catalog for APOGEE. This paper describes the location and
format of the data now publicly available, as well as providing references to
the important technical papers that describe the targeting, observing, and data
reduction. The SDSS website, http://www.sdss.org, provides links to the data,
tutorials and examples of data access, and extensive documentation of the
reduction and analysis procedures. DR13 is the first of a scheduled set that
will contain new data and analyses from the planned ~6year operations of
SDSSIV.

We perform a measurement of the Hubble constant, $H_0$, using the latest
baryonic acoustic oscillations (BAO) measurements from galaxy surveys of 6dFGS,
SDSS DR7 Main Galaxy Sample, BOSS DR12 sample, and eBOSS DR14 quasar sample, in
the framework of a flat $\Lambda$CDM model. Based on the KullbackLeibler (KL)
divergence, we examine the consistency of $H_0$ values derived from various
data sets. We find that our measurement is consistent with that derived from
Planck and with the local measurement of $H_0$ using the Cepheids and type Ia
supernovae. We perform forecasts on $H_0$ from future BAO measurements, and
find that the uncertainty of $H_0$ determined by future BAO data alone,
including complete eBOSS, DESI and Euclidlike, is comparable with that from
local measurements.

A flat FriedmanRobersonWalker universe dominated by a cosmological constant
($\Lambda$) and cold dark matter (CDM) has been the working model preferred by
cosmologists since the discovery of cosmic acceleration. However, tensions of
various degrees of significance are known to be present among existing datasets
within the $\Lambda$CDM framework. In particular, the Lyman$\alpha$ forest
measurement of the Baryon Acoustic Oscillations (BAO) by the Baryon Oscillation
Spectroscopic Survey (BOSS) prefers a smaller value of the matter density
fraction $\Omega_{\rm M}$ compared to the value preferred by cosmic microwave
background (CMB). Also, the recently measured value of the Hubble constant,
$H_0=73.24\pm1.74 \ {\rm km}\ {\rm s}^{1} \ {\rm Mpc}^{1}$, is $3.4\sigma$
higher than $66.93\pm0.62 \ {\rm km}\ {\rm s}^{1} \ {\rm Mpc}^{1}$ inferred
from the Planck CMB data. In this work, we investigate if these tensions can be
interpreted as evidence for a nonconstant dynamical dark energy (DE). Using
the KullbackLeibler (KL) divergence to quantify the tension between datasets,
we find that the tensions are relieved by an evolving DE, with the dynamical DE
model preferred at a $3.5\sigma$ significance level based on the improvement in
the fit alone. While, at present, the Bayesian evidence for the dynamical DE is
insufficient to favour it over $\Lambda$CDM, we show that, if the current best
fit DE happened to be the true model, it would be decisively detected by the
upcoming DESI survey.

We describe the Sloan Digital Sky Survey IV (SDSSIV), a project encompassing
three major spectroscopic programs. The Apache Point Observatory Galactic
Evolution Experiment 2 (APOGEE2) is observing hundreds of thousands of Milky
Way stars at high resolution and high signaltonoise ratio in the
nearinfrared. The Mapping Nearby Galaxies at Apache Point Observatory (MaNGA)
survey is obtaining spatiallyresolved spectroscopy for thousands of nearby
galaxies (median redshift of z = 0.03). The extended Baryon Oscillation
Spectroscopic Survey (eBOSS) is mapping the galaxy, quasar, and neutral gas
distributions between redshifts z = 0.6 and 3.5 to constrain cosmology using
baryon acoustic oscillations, redshift space distortions, and the shape of the
power spectrum. Within eBOSS, we are conducting two major subprograms: the
SPectroscopic IDentification of eROSITA Sources (SPIDERS), investigating Xray
AGN and galaxies in Xray clusters, and the Time Domain Spectroscopic Survey
(TDSS), obtaining spectra of variable sources. All programs use the 2.5meter
Sloan Foundation Telescope at Apache Point Observatory; observations there
began in Summer 2014. APOGEE2 also operates a second nearinfrared
spectrograph at the 2.5meter du Pont Telescope at Las Campanas Observatory,
with observations beginning in early 2017. Observations at both facilities are
scheduled to continue through 2020. In keeping with previous SDSS policy,
SDSSIV provides regularly scheduled public data releases; the first one, Data
Release 13, was made available in July 2016.

We investigate the cosmological implications of studying galaxy clustering
using a tomographic approach applied to the final BOSS DR12 galaxy sample,
including both auto and crosscorrelation functions between redshift shells.
We model the signal of the full shape of the angular correlation function,
$\omega(\theta)$, in redshift bins using stateoftheart modelling of
nonlinearities, bias and redshiftspace distortions. We present results on the
redshift evolution of the linear bias of BOSS galaxies, which cannot be
obtained with traditional methods for galaxyclustering analysis. We also
obtain constraints on cosmological parameters, combining this tomographic
analysis with measurements of the cosmic microwave background (CMB) and type Ia
supernova (SNIa). We explore a number of cosmological models, including the
standard $\Lambda$CDM model and its most interesting extensions, such as
deviations from $w_\rm{DE} = 1$, nonminimal neutrino masses, spatial
curvature and deviations from general relativity using the growthindex
$\gamma$ parametrisation. These results are, in general, comparable to the most
precise presentday constraints on cosmological parameters, and show very good
agreement with the standard model. In particular, combining CMB,
$\omega(\theta)$ and SNIa, we find a value of $w_\rm{DE}$ consistent with $1$
to a precision better than 5\% when it is assumed to be constant in time, and
better than 6\% when we also allow for a spatiallycurved Universe.

We examine the validity of the $\Lambda$CDM model, and probe for the dynamics
of dark energy using latest astronomical observations. Using the $Om(z)$
diagnosis, we find that different kinds of observational data are in tension
within the $\Lambda$CDM framework. We then allow for dynamics of dark energy
and investigate the constraint on dark energy parameters. We find that for two
different kinds of parametrisations of the equation of state parameter $w$, a
combination of current data mildly favours an evolving $w$, although the
significance is not sufficient for it to be supported by the Bayesian evidence.
A forecast of the DESI survey shows that the dynamics of dark energy could be
detected at $7\sigma$ confidence level, and will be decisively supported by the
Bayesian evidence, if the best fit model of $w$ derived from current data is
the true model.

We perform a tomographic baryon acoustic oscillations analysis using the
twopoint galaxy correlation function measured from the combined sample of BOSS
DR12, which covers the redshift range of $0.2<z<0.75$. Splitting the sample
into multiple overlapping redshift slices to extract the redshift information
of galaxy clustering, we obtain a measurement of $D_A(z)/r_d$ and $H(z)r_d$ at
nine effective redshifts with the full covariance matrix calibrated using
MultiDarkPatchy mock catalogues. Using the reconstructed galaxy catalogues, we
obtain the precision of $1.3\%2.2\%$ for $D_A(z)/r_d$ and $2.1\%6.0\%$ for
$H(z)r_d$. To quantify the gain from the tomographic information, we compare
the constraints on the cosmological parameters using our 9bin BAO
measurements, the consensus 3bin BAO and RSD measurements at three effective
redshifts in \citet{Alam2016}, and the nontomographic (1bin) BAO measurement
at a single effective redshift. Comparing the 9bin with 1bin constraint
result, it can improve the dark energy Figure of Merit by a factor of 1.24 for
the ChevallierPolarskiLinder parametrisation for equation of state parameter
$w_{\rm DE}$. The errors of $w_0$ and $w_a$ from 9bin constraints are slightly
improved when compared to the 3bin constraint result.

We argue that the implementation and verification of compilers for functional
programming languages are greatly simplified by employing a higherorder
representation of syntax known as HigherOrder Abstract Syntax or HOAS. The
underlying idea of HOAS is to use a metalanguage that provides a builtin and
logical treatment of binding related notions. By embedding the metalanguage
within a larger programming or reasoning framework, it is possible to absorb
the treatment of binding structure in the object language into the metatheory
of the system, thereby greatly simplifying the overall implementation and
reasoning processes.
We develop the above argument in this thesis by presenting and demonstrating
the effectiveness of an approach to the verified implementation of compiler
transformations for functional programs that exploits HOAS. In this approach,
transformations on functional programs are first articulated in the form of
rulebased relational specifications. These specifications are rendered into
programs in the language lambda Prolog. On the one hand, these programs serve
directly as implementations. On the other hand, they can be used as input to
the Abella system which allows us to prove properties about them and thereby
about the implementations. Both lambda Prolog and Abella support the use of the
HOAS approach. Thus, they constitute a framework that can be used to test out
the benefits of the HOAS approach in verified compilation. We use them to
implement and verify a compiler for a representative functional programming
language that embodies the transformations that form the core of many compilers
for such languages. In both the programming and the reasoning phases, we show
how the use of the HOAS approach significantly simplifies the representation,
manipulation, analysis and reasoning of binding structure.

DESI (Dark Energy Spectroscopic Instrument) is a Stage IV groundbased dark
energy experiment that will study baryon acoustic oscillations (BAO) and the
growth of structure through redshiftspace distortions with a widearea galaxy
and quasar redshift survey. To trace the underlying dark matter distribution,
spectroscopic targets will be selected in four classes from imaging data. We
will measure luminous red galaxies up to $z=1.0$. To probe the Universe out to
even higher redshift, DESI will target bright [O II] emission line galaxies up
to $z=1.7$. Quasars will be targeted both as direct tracers of the underlying
dark matter distribution and, at higher redshifts ($ 2.1 < z < 3.5$), for the
Ly$\alpha$ forest absorption features in their spectra, which will be used to
trace the distribution of neutral hydrogen. When moonlight prevents efficient
observations of the faint targets of the baseline survey, DESI will conduct a
magnitudelimited Bright Galaxy Survey comprising approximately 10 million
galaxies with a median $z\approx 0.2$. In total, more than 30 million galaxy
and quasar redshifts will be obtained to measure the BAO feature and determine
the matter power spectrum, including redshift space distortions.

DESI (Dark Energy Spectropic Instrument) is a Stage IV groundbased dark
energy experiment that will study baryon acoustic oscillations and the growth
of structure through redshiftspace distortions with a widearea galaxy and
quasar redshift survey. The DESI instrument is a roboticallyactuated,
fiberfed spectrograph capable of taking up to 5,000 simultaneous spectra over
a wavelength range from 360 nm to 980 nm. The fibers feed ten threearm
spectrographs with resolution $R= \lambda/\Delta\lambda$ between 2000 and 5500,
depending on wavelength. The DESI instrument will be used to conduct a
fiveyear survey designed to cover 14,000 deg$^2$. This powerful instrument
will be installed at prime focus on the 4m Mayall telescope in Kitt Peak,
Arizona, along with a new optical corrector, which will provide a threedegree
diameter field of view. The DESI collaboration will also deliver a
spectroscopic pipeline and data management system to reduce and archive all
data for eventual public use.

We perform a tomographic baryon acoustic oscillations (BAO) analysis using
the monopole, quadrupole and hexadecapole of the redshiftspace galaxy power
spectrum measured from the prereconstructed combined galaxy sample of the
completed Sloan Digital Sky Survey (SDSSIII) Baryon Oscillation Spectroscopic
Survey (BOSS) Data Release (DR)12 covering the redshift range of $0.20<z<0.75$.
By allowing for overlap between neighbouring redshift slices, we successfully
obtained the isotropic and anisotropic BAO distance measurements within nine
redshift slices to a precision of $1.5\%3.4\%$ for $D_V/r_d$, $1.8\% 4.2\%$
for $D_A/r_d$ and $3.7\%  7.5\%$ for $H \ r_d$, depending on effective
redshifts. We provide our BAO measurement of $D_A/r_d$ and $H \ r_d$ with the
full covariance matrix, which can be used for cosmological implications. Our
measurements are consistent with those presented in \citet{Acacia}, in which
the BAO distances are measured at three effective redshifts. We constrain dark
energy parameters using our measurements, and find an improvement of the
FigureofMerit of dark energy in general due to the temporal BAO information
resolved. This paper is part of a set that analyses the final galaxy clustering
dataset from BOSS.

The low statistical errors on cosmological parameters promised by future
galaxy surveys will only be realised with the development of new, fast,
analysis methods that reduce potential systematic problems to low levels. We
present an efficient method for measuring the evolution of the growth of
structure using Redshift Space Distortions (RSD), that removes the need to make
measurements in redshift shells. We provide sets of galaxyweights that cover a
wide range in redshift, but are optimised to provide differential information
about cosmological evolution. These are derived to optimally measure the
coefficients of a parameterisation of the redshiftdependent matter density,
which provides a framework to measure deviations from the concordance
$\Lambda$CDM cosmology, allowing for deviations in both geometric and/or
growth. We test the robustness of the weights by comparing with alternative
schemes and investigate the impact of galaxy bias. We extend the results to
measure the combined anisotropic Baryon Acoustic Oscillation (BAO) and RSD
signals.

We present baryon acoustic oscillation (BAO) scale measurements determined
from the clustering of 1.2 million massive galaxies with redshifts 0.2 < z <
0.75 distributed over 9300 square degrees, as quantified by their
redshiftspace correlation function. In order to facilitate these measurements,
we define, describe, and motivate the selection function for galaxies in the
final data release (DR12) of the SDSS III Baryon Oscillation Spectroscopic
Survey (BOSS). This includes the observational footprint, masks for image
quality and Galactic extinction, and weights to account for density
relationships intrinsic to the imaging and spectroscopic portions of the
survey. We simulate the observed systematic trends in mock galaxy samples and
demonstrate that they impart no bias on baryon acoustic oscillation (BAO) scale
measurements and have a minor impact on the recovered statistical uncertainty.
We measure transverse and radial BAO distance measurements in 0.2 < z < 0.5,
0.5 < z < 0.75, and (overlapping) 0.4 < z < 0.6 redshift bins. In each redshift
bin, we obtain a precision that is 2.7 per cent or better on the radial
distance and 1.6 per cent or better on the transverse distance. The combination
of the redshift bins represents 1.8 per cent precision on the radial distance
and 1.1 per cent precision on the transverse distance. This paper is part of a
set that analyses the final galaxy clustering dataset from BOSS. The
measurements and likelihoods presented here are combined with others in Alam et
al. (2016) to produce the final cosmological constraints from BOSS.