124 lines
4.3 KiB
TeX
124 lines
4.3 KiB
TeX
% Options for packages loaded elsewhere
|
|
\PassOptionsToPackage{unicode}{hyperref}
|
|
\PassOptionsToPackage{hyphens}{url}
|
|
%
|
|
\documentclass[
|
|
]{article}
|
|
\usepackage{amsmath,amssymb}
|
|
\usepackage{iftex}
|
|
\ifPDFTeX
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage{textcomp} % provide euro and other symbols
|
|
\else % if luatex or xetex
|
|
\usepackage{unicode-math} % this also loads fontspec
|
|
\defaultfontfeatures{Scale=MatchLowercase}
|
|
\defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
|
|
\fi
|
|
\usepackage{lmodern}
|
|
\ifPDFTeX\else
|
|
% xetex/luatex font selection
|
|
\fi
|
|
% Use upquote if available, for straight quotes in verbatim environments
|
|
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
|
|
\IfFileExists{microtype.sty}{% use microtype if available
|
|
\usepackage[]{microtype}
|
|
\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
|
|
}{}
|
|
\makeatletter
|
|
\@ifundefined{KOMAClassName}{% if non-KOMA class
|
|
\IfFileExists{parskip.sty}{%
|
|
\usepackage{parskip}
|
|
}{% else
|
|
\setlength{\parindent}{0pt}
|
|
\setlength{\parskip}{6pt plus 2pt minus 1pt}}
|
|
}{% if KOMA class
|
|
\KOMAoptions{parskip=half}}
|
|
\makeatother
|
|
\usepackage{xcolor}
|
|
\setlength{\emergencystretch}{3em} % prevent overfull lines
|
|
\providecommand{\tightlist}{%
|
|
\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
|
|
\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
|
|
% definitions for citeproc citations
|
|
\NewDocumentCommand\citeproctext{}{}
|
|
\NewDocumentCommand\citeproc{mm}{%
|
|
\begingroup\def\citeproctext{#2}\cite{#1}\endgroup}
|
|
\makeatletter
|
|
% allow citations to break across lines
|
|
\let\@cite@ofmt\@firstofone
|
|
% avoid brackets around text for \cite:
|
|
\def\@biblabel#1{}
|
|
\def\@cite#1#2{{#1\if@tempswa , #2\fi}}
|
|
\makeatother
|
|
\newlength{\cslhangindent}
|
|
\setlength{\cslhangindent}{1.5em}
|
|
\newlength{\csllabelwidth}
|
|
\setlength{\csllabelwidth}{3em}
|
|
\newenvironment{CSLReferences}[2] % #1 hanging-indent, #2 entry-spacing
|
|
{\begin{list}{}{%
|
|
\setlength{\itemindent}{0pt}
|
|
\setlength{\leftmargin}{0pt}
|
|
\setlength{\parsep}{0pt}
|
|
% turn on hanging indent if param 1 is 1
|
|
\ifodd #1
|
|
\setlength{\leftmargin}{\cslhangindent}
|
|
\setlength{\itemindent}{-1\cslhangindent}
|
|
\fi
|
|
% set entry spacing
|
|
\setlength{\itemsep}{#2\baselineskip}}}
|
|
{\end{list}}
|
|
\usepackage{calc}
|
|
\newcommand{\CSLBlock}[1]{\hfill\break\parbox[t]{\linewidth}{\strut\ignorespaces#1\strut}}
|
|
\newcommand{\CSLLeftMargin}[1]{\parbox[t]{\csllabelwidth}{\strut#1\strut}}
|
|
\newcommand{\CSLRightInline}[1]{\parbox[t]{\linewidth - \csllabelwidth}{\strut#1\strut}}
|
|
\newcommand{\CSLIndent}[1]{\hspace{\cslhangindent}#1}
|
|
\usepackage{bookmark}
|
|
\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
|
|
\urlstyle{same}
|
|
\hypersetup{
|
|
hidelinks,
|
|
pdfcreator={LaTeX via pandoc}}
|
|
|
|
\author{}
|
|
\date{}
|
|
|
|
\begin{document}
|
|
|
|
{[}1{]} {[}2{]} {[}3{]} {[}4{]}
|
|
|
|
\phantomsection\label{refs}
|
|
\begin{CSLReferences}{0}{0}
|
|
\bibitem[\citeproctext]{ref-kleinFormallyVerifiedSoftware2018}
|
|
\CSLLeftMargin{{[}1{]} }%
|
|
\CSLRightInline{G. Klein, J. Andronick, M. Fernandez, I. Kuz, T. Murray,
|
|
and G. Heiser, {``Formally verified software in the real world,''}
|
|
\emph{Commun. ACM}, vol. 61, no. 10, pp. 68--77, Sep. 2018, doi:
|
|
\href{https://doi.org/10.1145/3230627}{10.1145/3230627}.}
|
|
|
|
\bibitem[\citeproctext]{ref-bullockHardwareintheloopSimulation2004}
|
|
\CSLLeftMargin{{[}2{]} }%
|
|
\CSLRightInline{D. Bullock, B. Johnson, R. B. Wells, M. Kyte, and Z. Li,
|
|
{``Hardware-in-the-loop simulation,''} \emph{Transportation Research
|
|
Part C: Emerging Technologies}, vol. 12, no. 1, pp. 73--89, Feb. 2004,
|
|
doi:
|
|
\href{https://doi.org/10.1016/j.trc.2002.10.002}{10.1016/j.trc.2002.10.002}.}
|
|
|
|
\bibitem[\citeproctext]{ref-sohl-dicksteinDeepUnsupervisedLearning2015a}
|
|
\CSLLeftMargin{{[}3{]} }%
|
|
\CSLRightInline{J. Sohl-Dickstein, E. A. Weiss, N. Maheswaranathan, and
|
|
S. Ganguli, {``Deep {Unsupervised Learning} using {Nonequilibrium
|
|
Thermodynamics}.''} Accessed: Oct. 05, 2023. {[}Online{]}. Available:
|
|
\url{http://arxiv.org/abs/1503.03585}}
|
|
|
|
\bibitem[\citeproctext]{ref-sohl-dicksteinDeepUnsupervisedLearning2015}
|
|
\CSLLeftMargin{{[}4{]} }%
|
|
\CSLRightInline{J. Sohl-Dickstein, E. A. Weiss, N. Maheswaranathan, and
|
|
S. Ganguli, {``Deep {Unsupervised Learning} using {Nonequilibrium
|
|
Thermodynamics}.''} Accessed: Jul. 16, 2024. {[}Online{]}. Available:
|
|
\url{http://arxiv.org/abs/1503.03585}}
|
|
|
|
\end{CSLReferences}
|
|
|
|
\end{document}
|