% theorem-like environments % \newtheorem{thm}{Theorem}[section] % \newtheorem{cor}[thm]{Corollary} % \newtheorem{lem}[thm]{Lemma} % \newtheorem{definition}[thm]{Definition} \newtheorem{prop}{Proposition} % Definitions for old versions %% \newtheorem*{algorithm}{Algorithm} %% \theoremstyle{remark} %% \newtheorem*{rmk}{Remark} %% \newtheorem*{ToJane}{To Jane} %% \newtheorem*{ToDaniel}{To Daniel} %% \theoremstyle{plain} %% \newtheorem*{rd_algorithm}{Reference Deadline Algorithm} %% \newtheorem*{edf_rd}{EDF-RD Algorithm} %% \newtheorem*{PSA}{Period Synthesis Algorithm} %% \newtheorem*{priority_boosting_edf}{Priority-Boosting EDF Algorithm} %% % Using symbole as the footnote mark %% %\renewcommand{\thefootnote}{\fnsymbol{footnote}} \newtheorem{plain_definition}{Definition} %% \def\singlespace{\baselineskip=11pt plus 2pt} %% \def\oneandonehalfspace{\baselineskip=17pt plus 4pt} %% \def\doublespace{\baselineskip=22pt plus 4pt} % \def\doublespace{\baselineskip=26pt plus 4pt} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \def\slug{\hbox to 6pt{\hfill}\hfill\llap{\vrule height 6pt width 6pt depth 0pt}} \def\proof{\futurelet\next{\bf Proof:}} %\def\endproof{\hfill\slug} \def\endproof{\slug} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \def\appear#1{\def\@appear{#1}} \appear{Conference of Fun} \newcount\timehh\newcount\timemm \timehh=\time \divide\timehh by 60 \timemm=\time \count255=\timehh \multiply\count255 by -60 \advance\timemm by \count255 \def\paperdraftheadertime{Draft of \today\ at \ifnum\timehh<10 0\fi\number\timehh\,:\,\ifnum\timemm<10 0\fi\number\timemm}% \def\paperdraftheaderday{\footnotesize Draft of \today\ for \@appear.\ }% \def\paperdraftheader{\paperdraftheaderday} \newcommand{\draft}{\pagestyle{myheadings}\markboth{\paperdraftheader\hfil}{\paperdraftheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}} \def\submission#1{\def\@submission{#1}} \submission{Conference of Fun} \def\submitheaderday{\footnotesize Submitted to \@appear.\ }% \def\submitheader{\submitheaderday} \newcommand{\submit}{\pagestyle{myheadings}\markboth{\submitheader\hfil}{\submitheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}} \def\appearinheaderday{\footnotesize Appeared in \@appear.\ } \def\appearinheader{\appearinheaderday} \newcommand{\appearin}{\pagestyle{myheadings}\markboth{\appearinheader\hfil}{\appearinheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}} \def\u#1{\underline{#1}} \newcommand{\good}{\ding{51}} \newcommand{\bad}{\ding{55}} \font\tenhv = phvb at 10pt \def\easycaption#1{\vskip 10pt \centerline{\tenhv #1}} \font\tenhvs = phvb at 8pt % ---- OPERATORS (requires amsmath) ---- \def\aff{\operatorname{aff}} % (\Line is better!) \def\area{\operatorname{area}} \def\argmax{\operatornamewithlimits{arg\,max}} \def\argmin{\operatornamewithlimits{arg\,min}} \def\Aut{\operatorname{Aut}} % Automorphism group \def\card{\operatorname{card}} % cardinality, deprecated for \abs \def\conv{\operatorname{conv}} % (\overline is better!) \def\E{\operatorname{E}} % Expectation: $\E[X]$ (like \Pr) \def\EE{\operatornamewithlimits{E}} \def\Hom{\operatorname{Hom}} % Homomorphism group \def\id{\operatorname{id}} % identity \def\im{\operatorname{im}} % image \def\lcm{\operatorname{lcm}} \def\lfs{\operatorname{lfs}} % local feature size \def\poly{\operatorname{poly}} \def\polylog{\operatorname{polylog}} \def\rank{\operatorname{rank}} \def\rel{\operatorname{rel\,}} % relative (interior, boundary, etc.) \def\sgn{\operatorname{sgn}} \def\vol{\operatorname{vol}} % volume \def\fp#1{^{\underline{#1}}} % falling powers: $n\fp{d}$ \def\rp#1{^{\overline{#1}}} % rising powers: $n\rp{d}$ \usepackage{color,soul} \usepackage{myColor} \input{mycolor.cfg} \newcommand{\ap}{\ding{51}} \newcommand{\nap}{\ding{55}} \usepackage[colorinlistoftodos]{todonotes} %% \usepackage{easyReview} \newcommand{\add}[1]{\todo[color=red!40,inline]{#1}} \newcommand{\rewrite}[1]{\todo[color=green!40,inline]{#1}} % % % \newcommand{\argmax}{\mathop}{\mathrm{argmax}}}