From: Amin Bandali Date: Fri, 17 Jul 2020 04:02:20 +0000 (-0400) Subject: add mmath thesis sources X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/fcc5b13a58e980e00772e664d12f24690328069d add mmath thesis sources --- diff --git a/mmath.m4 b/mmath.m4 index 28c4138..561b179 100644 --- a/mmath.m4 +++ b/mmath.m4 @@ -2,31 +2,33 @@ dnl -*- html -*- define(__title, `Master of Mathematics')dnl define(__slug, `mmath')dnl include(header.html)dnl +define(__latex, `')dnl

Master of Mathematics

-

I graduated from the University of Waterloo with the degree of -Master of Mathematics in Computer Science in Spring 2020. My research -at the Waterloo Formal Methods -group focused on formal logic, model checking, and verification; under -supervision of -Dr. Nancy A. Day.

+

I graduated from the University of Waterloo with +the degree of Master of Mathematics in Computer Science in Spring +2020. My research at the Waterloo +Formal Methods group focused on formal logic, model checking, and +verification; under supervision of +Dr. Nancy Day.

A Comprehensive Study of Declarative Modelling Languages

- - +dnl +dnl

Jump to: +dnlthesis | +dnlpresentation | +dnlmodels

Thesis

Reference version: pdf | -bib (coming soon)
-LaTeX sources: -zip | tar.gz (coming soon)

+bib
+__latex sources: +tar.gz | +zip

Abstract

@@ -68,12 +70,34 @@ recommendations based on our observations about the differentiating characteristics of each of these languages.

+

License

+ +
+This thesis is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This thesis is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this thesis.  If not, see <https://www.gnu.org/licenses/>.
+
+ +

A copy of the GNU General Public License is available +from gpl-3.0.html, as well as in +the COPYING file included in both of the __latex source +archives linked above.

+

Presentation

Reference version: pdf (coming soon)
-LaTeX sources: -zip | tar.gz (coming soon)

+__latex sources: +tar.gz | zip (coming soon)

This is the presentation I delivered to my supervisor and the second readers of my thesis on Jun 30, 2020, as @@ -83,7 +107,7 @@ on the Cheriton School of Computer Science website.

Models

Reference version: -zip | tar.gz (coming soon)

+tar.gz | zip (coming soon)

define(__copy, `2020')dnl diff --git a/static/style.css b/static/style.css index 6dfa97e..1036bbd 100644 --- a/static/style.css +++ b/static/style.css @@ -114,6 +114,30 @@ sub { top: 0.4em; } +/* TeX logos */ +.t-logo { + font-family: "Tex Gyre Termes", serif; + /* letter-spacing: 1px; */ + white-space: nowrap; +} +.t-logo sup { + font-size: 0.85em; + letter-spacing: 1px; + margin-left: -0.36em; + margin-right: -0.15em; + text-transform: uppercase; + vertical-align: 0.15em; + top: 0; +} +.t-logo sub { + font-size: 1em; + margin-left: -0.1667em; + margin-right: -0.125em; + text-transform: uppercase; + vertical-align: -0.5ex; + top: 0; +} + blockquote#abstract { font-size: 0.95em; text-align: justify;