text:
SUMMARY = "passive checker of Python programs"
HOMEPAGE = "https://github.com/dreamhost/cliff"
LICENSE = "Apache-2.0"
LIC_FILES_CHKSUM = "file://README.rst;md5=5127315117a8561a1504343d59620647"

SRC_URI[md5sum] = "a0f71a15724e553c46e03ba5ed56703c"
SRC_URI[sha256sum] = "d976835886f8c5b31d47970ed689944a0262b5f3afa00a5a7b4dc81e5449f8a2"

inherit pypi setuptools

RDEPENDS:${PN} += " \
    ${PYTHON_PN}-prettytable \
    ${PYTHON_PN}-cmd2 \
    ${PYTHON_PN}-pyparsing"

BBCLASSEXTEND = "native nativesdk"

SKIP_RECIPE[python-pyflakes] ?= "${@bb.utils.contains('I_SWEAR_TO_MIGRATE_TO_PYTHON3', 'yes', '', 'python2 is out of support for long time, read https://www.python.org/doc/sunset-python-2/ https://python3statement.org/ and if you really have to temporarily use this, then set I_SWEAR_TO_MIGRATE_TO_PYTHON3 to "yes"', d)}"

license_type: permissive

branch_name: refs/heads/jansa/master

gha_license_id: MIT

gha_language: BitBake

extension: bb


text:
@book{cardoso1997redes,
	title={Redes de petri},
	author={Cardoso, Janette and Valette, Robert},
	year={1997},
	publisher={Universidade Federal de Santa Catarina}
}

@article{dias2007ferramentas,
	title={Ferramentas para a Integra{\c{c}}{\~a}o de Redes de Petri e VHDL na S{\'\i}ntese de Sistemas Digitais},
	author={Dias, Giorjety Licorini},
	year={2007},
	publisher={Universidade Estadual Paulista (UNESP)}
}

@phdthesis{fidalgotese,
	author		= "Felipe Delfini Caetano Fidalgo",
	title		= "Dividindo e conquistando com simetrias em geometria de distâncias",
	school		= "UNICAMP",
	address		= "Campinas, SP",
	year		= "2015",
	month		= "Fevereiro",
}

@book{carlileBook31Coloquio,
	author    = "C. Lavor and N. Maculan and M. Souza and R. Alves",
	title     = "Álgebra e Geometria no Cálculo de Estrutura Molecular",
	publisher = "IMPA",
	address  = "Rio de Janeiro, RJ",
	edition  = "31º Colóquio Brasileiro de Matemática",
	year      = "2017",
}

@article{RMNproteinWrutrich,
	author    = "K. W{\"{u}}thrich",
	title     = "Protein structure determination in solution by nuclear magnetic resonance spectroscopy",
	journal   = "American Association for the Advancement of Science",
	volume   = "243",
	number   = "4887",
	pages    = "45-50",
	year      = "1989",
	month    = "Jan",
}

@book{GASteinbruch,
	author    = "Alfredo Steinbruch and Paulo Winterle",
	title     = "Geometria Analítica",
	publisher = "Makron Books",
	address  = "São Paulo, SP",
	edition  = "2a",
	year      = "1987",
}

@article{carlileGDandAplications,
	author    = "Leo Liberti and Carlile Lavor and Nelson Maculan and Antonio Mucherino",
	title     = "Euclidean distance geometry and applications",
	journal   = "Society for Industrial and Applied Mathematics",
	volume   = "56",
	number   = "1",
	pages    = "3–69",
	year      = "2014",
	month    = "February",
}

@book{RMNBookIntroduction,
	author    = "Peter A. Rinck",
	title     = "The history of MR imaging",
	publisher = "The Round Table Foundation",
	address  = "Germany",
	edition  = "11th",
	year      = "2017",
}

@book{EstatisticaTratamentoDeDados,
	author    = "Não lembro o autor",
	title     = "Um livro de tratamento de dados estatístico Tenho que verificar certinho o titulo na ufsc, é um livro de lá",
	publisher = "Favor relevar",
	address  = "Germany",
	edition  = "whatever",
	year      = "2017",
}

@book{ComplexidadeComp,
	author    = "Não lembro o autor",
	title     = "Custo computacional, teoria da computação,Tenho que verificar certinho o titulo na ufsc, é um livro de lá",
	publisher = "Favor relevar",
	address  = "Germany",
	edition  = "whatever",
	year      = "2017",
}

@book{BoyerMathHistory,
	author    = "Carl Benjamin Boyer",
	title     = "História da matemática",
	publisher = "Edgard Bl{\"{u}}cher/EDUSP",
	address  = "São Paulo",
	edition  = "3",
	year      = "1974",
}

@book{AlgebraAbstrata2BienalSBM,
	author    = "César Polcino Milies",
	title     = "Breve história da álgebra abstrata",
	publisher = "USP",
	address  = "São Paulo",
	year      = "2014"
}

@book{QuaterniosAndRotationsKuipers,
	author    = "J. B. Kuipers",
	title     = "Quaternions and Rotation Sequences",
	publisher = "Princeton University Press",
	address  = "Princeton, New Jersey",
	year      = "1999",
}

@misc{QuaterniosJucineide,
	author    = "Jucineide Silva Santos and Maurício de Araujo Ferreira",
	title     = "Álgebra de Quatérnios",
	howpublished = "Trabalho de Iniciação cientifica",
	year     = "2011",
	month    = "Agosto",
}

@book{QuaterniosHamilton,
	author    = "William Rowan Hamilton",
	title     = "Elements of Quaternions",
	publisher = "London: Longmans, Green and Co",
	address  = "Dublin",
	edition  = "First",
	year      = "1866",
	note     = "Book II pag 156",
}

@book{AlgebraLinearElon,
	author    = "Elon Lages Lima",
	title     = "Álgebra Linear",
	publisher = "SBM",
	address  = "Rio de Janeiro : IMPA",
	edition  = "1a",
	year      = "2014",
}

@article{carlile:DDGP,
	author    = "Carlile Lavor, Jon Lee, Audrey Lee-St. John, Leo Liberti, Antonio Mucherino and Maxim Sviridenko",
	title     = "Discretization orders for distance geometry problems",
	journal   = "Optimization Letters",
	volume   = "6",
	number   = "Issue 4",
	pages    = "783–796",
	year      = "2012",
	month    = "April",
}

@book{deza2006dictionary,
	title={Dictionary of distances},
	author={Michel-Marie Deza and Elena Deza},
	year={2006},
	publisher={Elsevier}
}

@incollection{deza2009encyclopedia,
	title={Encyclopedia of distances},
	author={Michel-Marie Deza and Elena Deza},
	booktitle={Encyclopedia of distances},
	pages={1--583},
	year={2009},
	publisher={Springer}
}

@inproceedings{savvides2001dynamic,
	title={Dynamic fine-grained localization in ad-hoc networks of sensors},
	author={Savvides, Andreas and Han, Chih-Chieh and Strivastava, Mani B},
	booktitle={Proceedings of the 7th annual international conference on Mobile computing and networking},
	pages={166--179},
	year={2001},
	organization={ACM}
}

@book{Blumenthal:53,
	title={Theory and applications of distance geometry},
	author={Leonard M Blumenthal},
	year={1953},
	publisher={Oxford University Press},
	address  = {Oxford}
}

@article{Cayley:1841,
	title={On a theorem in the geometry of position},
	author={Arthur Cayley},
	journal={Cambridge Mathematical Journal},
	volume={2},
	pages={267--271},
	year={1841}
}

@article{Menger:31,
	title={New foundation of Euclidean geometry},
	author={Karl Menger},
	journal={American Journal of Mathematics},
	volume={53},
	number={4},
	pages={721--745},
	year={1931},
	publisher={JSTOR}
}

@article{Survey:12,
	title={Euclidean distance geometry and applications},
	author={Leo Liberti, Carlile Lavor, Nelson Maculan and Antonio Mucherino},
	journal={Siam Review},
	volume={56},
	number={1},
	pages={3--69},
	year={2014},
	publisher={SIAM}
}

@inproceedings{Yemini:79,
	title={Some theoretical aspects of position-location problems},
	author={Yechiam Yemini},
	booktitle={20th Annual Symposium on Foundations of Computer Science (sfcs 1979)},
	pages={1--8},
	year={1979},
	organization={IEEE}
}

@inproceedings{Saxe:79,
	title={Embeddability of weighted graphs in k-space is strongly NP-hard},
	author={Saxe, James B},
	booktitle={Proc. of 17th Allerton Conference in Communications, Control and Computing, Monticello, IL},
	pages={480--489},
	year={1979}
}

@misc{Havel:95,
	title={Distance Geometry, DM Grant and RK Harris (Eds.), Encyclopedia of Nuclear Magnetic Resonance},
	author={Havel, TF},
	year={1995},
	publisher={Wiley, New York}
}

@article{LavorCNMAC:14,
	title={Um convite {\'a} geometria de dist{\^a}ncias},
	author={Lavor, C and Liberti, L},
	journal={SBMAC, Notas em Matem{\'a}tica Aplicada},
	volume={71},
	year={2014}
}

@article{Crippen:77,
	title={A novel approach to calculation of conformation: distance geometry},
	author={Crippen, Gordon M},
	journal={Journal of Computational Physics},
	volume={24},
	number={1},
	pages={96--107},
	year={1977},
	publisher={Elsevier}
}

@article{iBPCarlile,
	title={The interval Branch-and-Prune algorithm for the discretizable molecular distance geometry problem with inexact distances},
	author={Lavor, Carlile and Liberti, Leo and Mucherino, Antonio},
	journal={Journal of Global Optimization},
	volume={56},
	number={3},
	pages={855--871},
	year={2013},
	publisher={Springer}
}

@article{carlile:MinimalOrder,
	title={Minimal NMR distance information for rigidity of protein graphs},
	author={Lavor, Carlile and Liberti, Leo and Donald, Bruce and Worley, Bradley and Bardiaux, Benjamin and Malliavin, Th{\'e}r{\`e}se E and Nilges, Michael},
	journal={Discrete Applied Mathematics},
	volume={256},
	pages={91--104},
	year={2019},
	publisher={Elsevier}
}

@article{Liberti:08,
	title={A branch-and-prune algorithm for the molecular distance geometry problem},
	author={Liberti, Leo and Lavor, Carlile and Maculan, Nelson},
	journal={International Transactions in Operational Research},
	volume={15},
	number={1},
	pages={1--17},
	year={2008},
	publisher={Wiley Online Library}
}

@article{carlile:DMDGP,
	title={The discretizable molecular distance geometry problem},
	author={Lavor, Carlile and Liberti, Leo and Maculan, Nelson and Mucherino, Antonio},
	journal={Computational Optimization and Applications},
	volume={52},
	number={1},
	pages={115--146},
	year={2012},
	publisher={Springer}
}

@misc{Pogorelov:87,
	title = {Geometry},
	author={A. Pogorelov},
	publisher={MIR, Moscow},
	year={1987}
}

@article{Philips:96,
	title={ Molecular structure determination by convex underestimation of local energy minima},
	author={A. T. Philips, J. B. Rosen, and V. H. Walke},
	journal={DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
	volume={23},
	pages={181–198},
	year={1996},
	publisher={AMS}
}

@book{bioquimicaLehninger,
	title={Lehninger principles of biochemistry},
	author={Nelson, David L and Cox, Michael M},
	publisher={W.H.Freeman and Company},
	year={2013}
}

@book{crippen:DistancesAndMolecularConformation,
	title={Distance geometry and molecular conformation},
	author={Crippen, Gordon M and Havel, Timothy F and others},
	volume={74},
	year={1988},
	publisher={Research Studies Press Taunton}
}

@article{ramachandran1974MolStructure,
	title={The mean geometry of the peptide unit from crystal structure data},
	author={Ramachandran, GN and Kolaskar, AS and Ramakrishnan, C and Sasisekharan, V},
	journal={Biochimica et Biophysica Acta (BBA)-Protein Structure},
	volume={359},
	number={2},
	pages={298--302},
	year={1974},
	publisher={Elsevier}
}

@phdthesis{carlileTese,
	title={Uma abordagem determin{\'\i}stica para minimiza{\c{c}}{\~a}o global da energia potencial de mol{\'e}culas},
	author={Lavor, Carlile},
	year={2001},
	school={PhD thesis, COPPE/UFRJ, Rio de Janeiro}
}

@misc{wwPDB,
	title={Worldwide Protein Data Bank},
	url={https://www.wwpdb.org/},
	journal={wwPDB},
	author={wwPDB.org}
}

@misc{emersonMolConf,
	title={URL = ``https://github.com/evcastelani/MolecularConformation.jl''},
	url={https://github.com/evcastelani/MolecularConformation.jl},
	journal={GitHub},
	author={Emerson Castelani; Repositório da MolecularConformation.jl; Acesso em 11/08/2019}
}

@article{menger1928untersuchungen,
	title={Untersuchungen {\"u}ber allgemeine Metrik},
	author={Menger, Karl},
	journal={Mathematische Annalen},
	volume={100},
	number={1},
	pages={75--163},
	year={1928},
	publisher={Springer}
}

@article{carlile:dvopComplexity,
	title={Discretization vertex orders in distance geometry},
	author={Cassioli, Andrea and G{\"u}nl{\"u}k, Oktay and Lavor, Carlile and Liberti, Leo},
	journal={Discrete Applied Mathematics},
	volume={197},
	pages={27--41},
	year={2015},
	publisher={Elsevier}
}

@article{carlile:BP,
	title={A branch-and-prune algorithm for the molecular distance geometry problem},
	author={Liberti, Leo and Lavor, Carlile and Maculan, Nelson},
	journal={International Transactions in Operational Research},
	volume={15},
	number={1},
	pages={1--17},
	year={2008},
	publisher={Wiley Online Library}
}

@incollection{carlile:instancesMDGP,
	title={On generating instances for the molecular distance geometry problem},
	author={Lavor, Carlile},
	booktitle={Global optimization},
	pages={405--414},
	year={2006},
	publisher={Springer}
}

@book{grafos0,
	Address = {São Paulo},
	Author = {Paulo Oswaldo Boaventura Netto},
	Edition = {5},
	Publisher = {Blucher},
	Title = {Grafos},
	Subtitle = {Grafos: Teoria, Modelos, Algoritmos},
	Year = {2012},
	Pages = {314}
}

@book{graphTheoryApplicationsBondy,
	Address = {New York},
	Author = {J. A. Bondy and U. S. R. Murty},
	Edition = {5},
	Publisher = {Elsevier Science Publishing},
	Title = {Graph Theory With Applications},
	Year = {1982},
	Pages = {264}
}

@article{kruskal1990complexity,
	title={A complexity theory of efficient parallel algorithms},
	author={Kruskal, Clyde P and Rudolph, Larry and Snir, Marc},
	journal={Theoretical Computer Science},
	volume={71},
	number={1},
	pages={95--132},
	year={1990},
	publisher={Elsevier}
}

@article{dijkstra1959note,
	title={A note on two problems in connexion with graphs},
	author={Dijkstra, Edsger W},
	journal={Numerische mathematik},
	volume={1},
	number={1},
	pages={269--271},
	year={1959},
	publisher={Springer}
}

@article{euler:KOENIGSBERG,
	title={Leonhard Euler and the K{\"o}nigsberg bridges},
	author={Euler, Leonhard},
	journal={Scientific American},
	volume={189},
	number={1},
	pages={66--72},
	year={1953},
	publisher={JSTOR}
}

@book{grafosPremioElon,
	title={Teoria computacional de grafos: Os algoritmos},
	author={Szwarcfiter, Jayme Luiz},
	year={2018},
	publisher={Elsevier Brasil}
}

@inproceedings{mucherino:BP,
	title={MD-jeep: an implementation of a branch and prune algorithm for distance geometry problems},
	author={Mucherino, Antonio and Liberti, Leo and Lavor, Carlile},
	booktitle={International Congress on Mathematical Software},
	pages={186--197},
	year={2010},
	organization={Springer}
}

@book{libertiEDG,
	title={Euclidean Distance Geometry},
	author={Liberti, Leo and Lavor, Carlile},
	year={2017},
	publisher={Springer}
}

@book{elementosEuclides,
	title={Os elementos},
	author={Bicudo, Irineu and others},
	year={2009},
	publisher={Unesp}
}

@article{cayley1841HaronGD,
	title={A theorem in the geometry of position},
	author={Cayley, Arthur},
	journal={Cambridge Mathematical Journal},
	volume={2},
	pages={267--271},
	year={1841}
}

@article{mengerDeterminante,
	title={Untersuchungen {\"u}ber allgemeine Metrik},
	author={Menger, Karl},
	journal={Mathematische Annalen},
	volume={100},
	number={1},
	pages={75--163},
	year={1928},
	publisher={Springer}
}

@article{EDMPResolucao,
	title={Cayley-menger coordinates},
	author={Sippl, Manfred J and Scheraga, Harold A},
	journal={Proceedings of the National Academy of Sciences},
	volume={83},
	number={8},
	pages={2283--2287},
	year={1986},
	publisher={National Acad Sciences}
}

@techreport{yemini1978positioning,
	title={The positioning problem-a draft of an intermediate summary},
	author={Yemini, Yechiam},
	year={1978},
	institution={UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST}
}

@article{cinematicaInversa,
	title={Real-time inverse kinematics techniques for anthropomorphic limbs},
	author={Tolani, Deepak and Goswami, Ambarish and Badler, Norman I},
	journal={Graphical models},
	volume={62},
	number={5},
	pages={353--388},
	year={2000},
	publisher={Elsevier}
}

@article{multidimensionalScaling,
	title={13 Theory of multidimensional scaling},
	author={de Leeuw, Jan and Heiser, Willem},
	journal={Handbook of statistics},
	volume={2},
	pages={285--316},
	year={1982},
	publisher={Elsevier}
}

@inproceedings{eren2004rigidity,
	title={Rigidity, computation, and randomization in network localization},
	author={Eren, Tolga and Goldenberg, OK and Whiteley, Walter and Yang, Yang Richard and Morse, A Stephen and Anderson, Brian DO and Belhumeur, Peter N},
	booktitle={IEEE INFOCOM 2004},
	volume={4},
	pages={2673--2684},
	year={2004},
	organization={IEEE}
}

@article{benedettireal,
	title={In Real Algebraic and Semi-algebraic Sets},
	author={Benedetti, Riccardo and Risler, Jean-Jacques},
	journal={Berlin, Hermann, Paris},
	year={1990}
}

@book{carlileIntroductionMDGP,
	title={An Introduction to Distance Geometry applied to Molecular Geometry},
	author={Lavor, Carlile and Liberti, Leo and Lodwick, Weldon A and da Costa, Tiago Mendon{\c{c}}a},
	year={2017},
	publisher={Springer}
}

@book{graphTheoryFHarary,
	Author = {Frank Harary},
	Publisher = {Westview Press},
	Title = {Graph Theory},
	Year = {1969}
}

@article{kirchhoff1847ueber,
	title={Ueber die Aufl{\"o}sung der Gleichungen, auf welche man bei der Untersuchung der linearen Vertheilung galvanischer Str{\"o}me gef{\"u}hrt wird},
	author={Kirchhoff, Gustav},
	journal={Annalen der Physik},
	volume={148},
	number={12},
	pages={497--508},
	year={1847},
	publisher={Wiley Online Library}
}

@misc{cayley1897theory,
	title={On the theory of the analytical forms called trees, Math},
	author={Cayley, A},
	year={1897},
	publisher={Papers Cambridge}
}

@misc{problemsInMath,
	title={HSM Coxeter Mathematical recreations and essays},
	author={Ball, W.W. Rouse},
	year={1956},
	publisher={St Martin’s Press}
}

@book{alfakihEuclideanDistanceMatricesApplicationsRigidity,
	title={Euclidean distance matrices and their applications in rigidity theory},
	author={Alfakih, Abdo Y},
	year={2018},
	publisher={Springer}
}

@article{trilaterationDong,
	title={A linear-time algorithm for solving the molecular distance geometry problem with exact inter-atomic distances},
	author={Dong, Qunfeng and Wu, Zhijun},
	journal={Journal of Global Optimization},
	volume={22},
	number={1-4},
	pages={365--375},
	year={2002},
	publisher={Springer}
}

@article{hendrickson1992conditions,
	title={Conditions for unique graph realizations},
	author={Hendrickson, Bruce},
	journal={SIAM journal on computing},
	volume={21},
	number={1},
	pages={65--84},
	year={1992},
	publisher={SIAM}
}

@article{connelly1991generic,
	title={On generic global rigidity, Applied geometry and discrete mathematics, 147--155},
	author={Connelly, Robert},
	journal={DIMACS Ser. Discrete Math. Theoret. Comput. Sci},
	volume={4},
	year={1991}
}

@book{gps,
	title={Global positioning system: theory and practice},
	author={Hofmann-Wellenhof, Bernhard and Lichtenegger, Herbert and Collins, James},
	year={2012},
	publisher={Springer Science \& Business Media}
}

@MastersThesis{rigidezGrafosEAplicacoesAnaCarlile,
	author = {Ana Flávia da Cunha Lima},
	title = {Rigidez de Grafos e Aplicações},
	school = {UNICAMP, IMECC},
	year = {2015},
	address	= "Campinas, SP",
}

@book{mobileRobotsCook,
	title={Mobile Robots: Navigation, Control and Sensing, Surface Robots and AUVs},
	author={Cook, Gerald and Zhang, Feitian},
	year={2020},
	publisher={John Wiley \& Sons}
}

@book{mobileRobotsTzafestas,
	title={Introduction to mobile robot control},
	author={Tzafestas, Spyros G},
	year={2013},
	publisher={Elsevier}
}

@article{dronesAmazon,
	title={Strategic design for delivery with trucks and drones},
	author={Campbell, James F and Sweeney, Don and Zhang, Juan},
	journal={Supply Chain Analytics Report SCMA (04 2017)},
	year={2017}
}

@book{mobileRobotsWheeled,
	title={Wheeled mobile robotics: from fundamentals towards autonomous systems},
	author={Klancar, Gregor and Zdesar, Andrej and Blazic, Saso and Skrjanc, Igor},
	year={2017},
	publisher={Butterworth-Heinemann}
}

@book{sensorsForMobileRobots,
	title={Sensors for mobile robots},
	author={Everett, HR},
	year={1995},
	publisher={CRC Press}
}

@book{bayro2010geometric,
	title={Geometric computing: for wavelet transforms, robot vision, learning, control and action},
	author={Bayro-Corrochano, Eduardo},
	year={2010},
	publisher={Springer Publishing Company, Incorporated}
}

@book{moysesEletromag,
	title={Curso de f{\'\i}sica b{\'a}sica: Eletromagnetismo (vol. 3)},
	author={Nussenzveig, Herch Moys{\'e}s},
	volume={3},
	year={2015},
	publisher={Editora Blucher}
}

@inproceedings{wsnlFewAnchors,
	title={Uniquely localizable networks with few anchors},
	author={Fekete, Zsolt and Jord{\'a}n, Tibor},
	booktitle={International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics},
	pages={176--183},
	year={2006},
	organization={Springer}
}

@article{wsnlSemidefinitePrograming,
	title={Theory of semidefinite programming for sensor network localization},
	author={So, Anthony Man-Cho and Ye, Yinyu},
	journal={Mathematical Programming},
	volume={109},
	number={2-3},
	pages={367--384},
	year={2007},
	publisher={Springer}
}

@book{douglasGD,
	title={Geometria de Distâncias: aspectos teóricos e computacionais},
	author={Gonçalves, Douglas S},
	volume={91},
	year={2020},
	publisher={São Carlos, SP : SBMAC, Notas em Matemática Aplicada}
}

@article{intructionsTableFog,
	title={Instruction tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs},
	author={Fog, Agner and others},
	journal={Copenhagen University College of Engineering},
	volume={93},
	pages={110},
	year={2011}
}

@article{carlileRecentAdvancesMDGP,
	title={Recent advances on the discretizable molecular distance geometry problem},
	author={Lavor, Carlile and Liberti, Leo and Maculan, Nelson and Mucherino, Antonio},
	journal={European Journal of Operational Research},
	volume={219},
	number={3},
	pages={698--706},
	year={2012},
	publisher={Elsevier}
}

@article{libertiMdgpContinousToDiscrete,
	title={Molecular distance geometry methods: from continuous to discrete},
	author={Liberti, Leo and Lavor, Carlile and Mucherino, Antonio and Maculan, Nelson},
	journal={International Transactions in Operational Research},
	volume={18},
	number={1},
	pages={33--51},
	year={2011},
	publisher={Wiley Online Library}
}

@article{libertiSixGemsDGHistory,
	title={Six mathematical gems from the history of distance geometry},
	author={Liberti, Leo and Lavor, Carlile},
	journal={International Transactions in Operational Research},
	volume={23},
	number={5},
	pages={897--920},
	year={2016},
	publisher={Wiley Online Library}
}

@book{linearAlgebraNumericalTrefethen,
	title={Numerical linear algebra},
	author={Trefethen, Lloyd N and Bau III, David},
	volume={50},
	year={1997},
	publisher={Siam}
}

@misc{hanson1994geometry,
	title={Geometry for N-Dimensional Graphics.},
	author={Hanson, Andrew J},
	year={1994}
}

@article{havel1998distance,
	title={Distance geometry: Theory, algorithms, and chemical applications},
	author={Havel, Timothy F},
	journal={Encyclopedia of Computational Chemistry},
	volume={120},
	pages={723--742},
	year={1998},
	publisher={John Wiley \& Sons}
}

@article{correiaCondicoesNecessaESuficiDGPCayleyMenger,
	title={Condi{\c{c}}{\~o}es necess{\'a}rias e suficientes para a realiza{\c{c}}{\~a}o de um conjunto de dist{\^a}ncias atrav{\'e}s de determinantes de Cayley-Menger},
	author={Correia, Fernando and others},
	year={2016}
}

@book{johnAlgebra,
  title={A First Course in Abstract Algebra},
  author={Fraleigh, John B},
  year={2014},
  publisher = {Pearson}
}

@book{michalAlgebra,
	title={Algebra},
	author={Artin, Michael},
	year={1991},
	publisher = {A Simon and Schuster Company}
}

@book{maierAlgebra,
	title={Algebra I (texto de aula)},
	author={Maier, Rudolf R.},
	year={2005},
	publisher = {UFSC}
}

@article{dominguesAlgebra,
	title={{\'A}lgebra moderna},
	author={IEZZI, GELSON and DOMINGUES, Hygino H},
	journal={S{\~a}o Paulo: Atual Editora},
	year={2003}
}

@book{lounestoClifford,
	title={Clifford algebras and spinors},
	author={Lounesto, Pertti},
	volume={286},
	year={2001},
	publisher={Cambridge university press}
}

@book{grassmannLineale,
	title={Die lineale Ausdehnungslehre ein neuer Zweig der Mathematik: dargestellt und durch Anwendungen auf die {\"u}brigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie erl{\"a}utert},
	author={Grassmann, Hermann},
	volume={1},
	year={1844},
	publisher={O. Wigand}
}

@book{sommerGeometric,
	title={Geometric computing with Clifford algebras: theoretical foundations and applications in computer vision and robotics},
	author={Sommer, Gerald},
	year={2013},
	publisher={Springer Science \& Business Media}
}

@article{cliffordApplicationsGrassmannAlgebras,
	title={Applications of Grassmann's extensive algebra},
	author={Clifford, Professor},
	journal={American Journal of Mathematics},
	volume={1},
	number={4},
	pages={350--358},
	year={1878},
	publisher={JSTOR}
}

@article{lundholm2009clifford,
	title={Clifford algebra, geometric algebra, and applications},
	author={Lundholm, Douglas and Svensson, Lars},
	journal={arXiv preprint arXiv:0907.5356},
	year={2009}
}

@article{douglasSideChainOrder,
	title={Discretization orders for protein side chains},
	author={Costa, Virginia and Mucherino, Antonio and Lavor, Carlile and Cassioli, Andrea and Carvalho, Luiz M and Maculan, Nelson},
	journal={Journal of Global Optimization},
	volume={60},
	number={2},
	pages={333--349},
	year={2014},
	publisher={Springer}
}

@article{thompsonBi,
	title={Calculation of cartesian coordinates and their derivatives from internal molecular coordinates},
	author={Thompson, H Bradford},
	journal={The Journal of Chemical Physics},
	volume={47},
	number={9},
	pages={3407--3410},
	year={1967},
	publisher={American Institute of Physics}
}

@book{zillerMicroprocessadores,
	title={Microprocessadores: conceitos importantes},
	author={Ziller, Roberto M},
	year={2000},
	publisher={Ed. do Autor}
}

@article{bezanson2017julia,
	title={Julia: A fresh approach to numerical computing},
	author={Bezanson, Jeff and Edelman, Alan and Karpinski, Stefan and Shah, Viral B},
	journal={SIAM review},
	volume={59},
	number={1},
	pages={65--98},
	year={2017},
	publisher={SIAM},
	url={https://doi.org/10.1137/141000671}
}

@article{bernstein1977protein,
	title={The Protein Data Bank: a computer-based archival file for macromolecular structures},
	author={Bernstein, Frances C and Koetzle, Thomas F and Williams, Graheme JB and Meyer Jr, Edgar F and Brice, Michael D and Rodgers, John R and Kennard, Olga and Shimanouchi, Takehiko and Tasumi, Mitsuo},
	journal={Journal of molecular biology},
	volume={112},
	number={3},
	pages={535--542},
	year={1977},
	publisher={Elsevier}
}

@article{fidalgoAGACSE,
	title={Using quaternion geometric algebra for efficient rotations in the branch-and-prune algorithm to solve the Discretizable Molecular Distance Geometry Problem},
	author={Felipe Fidalgo},
	journal={7th Conference on Applied Geometric Algebra in Computer Science and Engineering (AGACSE 2018)},
	year={2018},
	publisher={ Campinas, Brazil}
}

@article{michaelOrthogonality,
	title={Orthogonality of isometries in the conformal model of the 3D space},
	author={Lavor, Carlile and Souza, Michael and Arag{\'o}n, Jos{\'e} Luis},
	journal={Graphical Models},
	volume={114},
	pages={101100},
	year={2021},
	publisher={Elsevier}
}

@article{phillips1995molecular,
	title={Molecular structure determination by convex, global underestimation of local energy minima.},
	author={Phillips, Andrew T and Rosen, J Ben and Walke, Vann Howard},
	journal={Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding},
	volume={23},
	pages={181--198},
	year={1995},
	publisher={Citeseer}
}

@book{dorst2010geometric,
	title={Geometric algebra for computer science: an object-oriented approach to geometry},
	author={Dorst, Leo and Fontijne, Daniel and Mann, Stephen},
	year={2010},
	publisher={Elsevier}
}

@book{fraleigh2003first,
	title={A first course in abstract algebra},
	author={Fraleigh, John B},
	year={2003},
	publisher={Pearson Education India}
}

@misc{van1949modern,
	title={Modern Algebra, trans. F. Blum, vol. 1},
	author={Van Der Waerden, BL},
	year={1949},
	publisher={New York, Frederick Ungar Publishing Company}
}

@article{artinalgebra,
	title={Algebra, 1991},
	author={Artin, Michael},
	journal={New Jersey}
}

@book{dummit1991abstract,
	title={Abstract algebra},
	author={Dummit, David S and Foote, Richard M},
	volume={1999},
	year={1991},
	publisher={Prentice Hall Englewood Cliffs, NJ}
}

license: MIT

repository: caomem/latex

repo_name: caomem/latex

branch_name: refs/heads/master

extension: bib


text:
@article{RN1037,
 author = {Kiely, P. and Gambhir, M. and Cheng, A. C. and McQuilten, Z. K. and Seed, C. R. and Wood, E. M.},
 doi = {10.1016/j.tmrv.2017.07.005},
 issn = {1532-9496 (Electronic)
0887-7963 (Linking)},
 journal = {Transfus Med Rev},
 number = {1},
 pages = {66-68},
 title = {Erratum to "Emerging Infectious Diseases and Blood Safety: Modeling the Transfusion-Transmission Risk" (Transfusion Medicine Reviews 31/3 [2017] 154-164)},
 type = {Journal Article},
 url = {https://www.ncbi.nlm.nih.gov/pubmed/28821369},
 volume = {32},
 year = {2018}
}


text:
/******************************************************************************
START Glitch hello-app default styles

The styles in this section do some minimal CSS resets, set default fonts and
colors, and handle the layout for our footer and "Remix on Glitch" button. If
you're new to CSS they may seem a little complicated, but you can scroll down
to this section's matching END comment to see page-specific styles.
******************************************************************************/

/*
  The style rules specify elements by type and by attributes such as class and ID
  Each section indicates an element or elements, then lists the style properties to apply
  See if you can cross-reference the rules in this file with the elements in index.html
*/

/* Our default values set as CSS variables */
:root {
  --color-bg: #f8f8ff;
  --color-text-main: #000000;
  --color-primary: #FFFF00;
  --wrapper-height: 57vh;
  --image-max-width: 300px;
  --image-margin: 3rem;
  --font-family: "HK Grotesk";
  --font-family-header: "HK Grotesk";
}

/* Basic page style resets */
* {
  box-sizing: border-box;
}
[hidden] {
  display: none !important;
}

.divider {
  padding: 0 1rem;
}
/******************************************************************************
END Glitch hello-app default styles
******************************************************************************/

body {
  font-family: "PT Mono", monospace;
  background-color: var(--color-bg);
}

/* Start https://www.cursors-4u.com */
* {
  cursor: url(
      https://cur.cursors-4u.net/food/foo-2/foo103.cur
    ),
    auto;
}
/* End https://www.cursors-4u.com */

/* Page structure */
.wrapper {
  min-height: var(--wrapper-height);
  display: grid;
  place-items: center;
  margin: 0 1rem;
}
.content {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
}

/* Very light scaling for our illustration */
.title {
  font-family: "Shrikhand", cursive;
  font-style: normal;
  font-size: 85px;
  margin: 0;
}

.title-2 {
  font-family: "Shrikhand", cursive;
  font-style: normal;
  font-size: 45px;
  margin: 0;
}

.smiley-1,
.smiley-2 {
  line-height: 100px;
  font-size: 85px;
}

.smiley-1:hover,
.smiley-2:hover {
  font-size: 100px;
  cursor: pointer;
}

/* Instructions */
.instructions {
  margin: 1rem auto 0;
}

#pic-change {
  cursor: pointer;
}

/* Button - Add it from the README instructions */
button,
input {
  font-family: inherit;
  font-size: 100%;
  font-weight: bold;
  background: #f8f8ff;
  color: #f55639;
  border: 3px solid #f55639;
  box-sizing: border-box;
  border-radius: 4px;
  padding: 0.5rem 1rem;
  transition: 500ms;
  cursor: pointer;
}

/* Subheading */
h2 {
  color: #8096ff;
}

.box {
  box-shadow: 7px 5px #f99fff;
  border: 2px solid #f99fff;
  border-radius: 10px;
  background-color: #aec0ff;
  text-align: center;
  padding-bottom: 20px;
}

.credit {
  size: 30px;
  position: fixed;
  bottom: 5px;
  right: 50px;
  font-weight: bold;
  color: #f99fff;
  text-decoration: underline;
}

@media only screen and (max-width: 600px) {
  .title,
  .smiley-1,
  .smiley-2 {
    font-size: 55px;
  }

  .title,
  .title-2,
  h2,
  .credit,
  .msg {
    text-align: center;
  }

  .msg-pic {
    display: inline;
  }
}

branch_name: refs/heads/main

extension: css


text:
require xorg-proto-common.inc

PR = "r1"
PE = "1"

XORG_PN = "kbproto"

SRC_URI[archive.md5sum] = "6092cdb0a1225f95356ddbe6c2abaad5"
SRC_URI[archive.sha256sum] = "7000005ebbd07a28a71477d72bcb76c47064e043a4ead26fcf4d5af394ce19df"


text:
cmake_minimum_required(VERSION 2.8.2)
include(${CMAKE_ROOT}/Modules/ExternalProject.cmake)
include(${OpenIGTLink_SOURCE_DIR}/SuperBuild/FindAV1.cmake)
IF(AV1_FOUND)
  # AV1 has been built already
  MESSAGE(STATUS "Using AV1 available at: ${AV1_INCLUDE_DIR}")
ELSE()
  # AV1 has not been built yet, so download and build it as an external project
  SET(GIT_REPOSITORY "https://aomedia.googlesource.com/aom")
  SET(GIT_TAG "master")

  MESSAGE(STATUS "Downloading AV1 ${GIT_TAG} from: ${GIT_REPOSITORY}")

  IF(WIN32) # for Windows
    SET(AV1_LIBRARY optimized ${AV1_LIBRARY_DIR}\\Release\\aom.lib debug ${AV1_LIBRARY_DIR}\\Debug\\aom.lib CACHE STRING "AV1 library" FORCE)
  ELSE()
    IF(OpenIGTLink_BUILD_SHARED_LIBS)
      IF (CMAKE_CONFIGURATION_TYPES)
        SET(AV1_LIBRARY optimized ${AV1_LIBRARY_DIR}/Release/libaom.so debug ${AV1_LIBRARY_DIR}/Debug/libaom.so CACHE STRING "AV1 library" FORCE)
      ELSE()
        SET(AV1_LIBRARY ${AV1_LIBRARY_DIR}/libaom.so CACHE STRING "AV1 library" FORCE)
      ENDIF()
    ELSE()
      IF (CMAKE_CONFIGURATION_TYPES)
        SET(AV1_LIBRARY optimized ${AV1_LIBRARY_DIR}/Release/libaom.a debug ${AV1_LIBRARY_DIR}/Debug/libaom.a CACHE STRING "AV1 library" FORCE)
      ELSE()
        SET(AV1_LIBRARY ${AV1_LIBRARY_DIR}/libaom.a CACHE STRING "AV1 library" FORCE)
      ENDIF()
    ENDIF()
  ENDIF()
  SET (AV1_INCLUDE_DIR "${CMAKE_BINARY_DIR}/Deps/AV1/aom" CACHE PATH "AV1 source directory" FORCE)
  SET (AV1_LIBRARY_DIR "${CMAKE_BINARY_DIR}/Deps/AV1-bin" CACHE PATH "AV1 library directory" FORCE)
  ExternalProject_Add(AV1
    PREFIX "${CMAKE_BINARY_DIR}/Deps/AV1-prefix"
    SOURCE_DIR "${CMAKE_BINARY_DIR}/Deps/AV1"
    BINARY_DIR "${AV1_LIBRARY_DIR}"
    #--Download step--------------
    GIT_REPOSITORY "${GIT_REPOSITORY}"
    GIT_TAG ${GIT_TAG}
    #--Configure step-------------
    CMAKE_ARGS
      ${PLATFORM_SPECIFIC_ARGS}
      -DCMAKE_INSTALL_PREFIX:PATH=${CMAKE_BINARY_DIR}/Deps/AV1-install
      -DCMAKE_LIBRARY_OUTPUT_DIRECTORY:STRING=${AV1_LIBRARY_DIR}
      -DCMAKE_RUNTIME_OUTPUT_DIRECTORY:STRING=${AV1_LIBRARY_DIR}
      -DCMAKE_ARCHIVE_OUTPUT_DIRECTORY:PATH=${AV1_LIBRARY_DIR}
      -DCMAKE_BUILD_TYPE:STRING=${CMAKE_BUILD_TYPE}
      -DBUILD_SHARED_LIBS:BOOL=${OpenIGTLink_BUILD_SHARED_LIBS}
      -DCMAKE_CXX_FLAGS:STRING=${CMAKE_CXX_FLAGS}
      -DCMAKE_C_FLAGS:STRING=${CMAKE_C_FLAGS}
      -DAOM_TARGET_CPU:STRING=generic
      -DENABLE_EXAMPLES:BOOL=OFF
      -DCONFIG_UNIT_TESTS=0
    #--Build step-----------------
    BUILD_ALWAYS 1
    INSTALL_COMMAND ""
    )
ENDIF()

repository: openigtlink/OpenIGTLink

repo_name: openigtlink/OpenIGTLink

extension: cmake


text:
# BEGIN_INCLUDE_CORE_IMAGE_MINIMAL_BB
DESCRIPTION = "A small image just capable of allowing a device to boot."
IMAGE_INSTALL = "packagegroup-core-boot ${CORE_IMAGE_EXTRA_INSTALL}"
IMAGE_LINGUAS = " "
LICENSE = "MIT"
inherit core-image
IMAGE_ROOTFS_SIZE = "8192"

IMAGE_FSTYPES = "${INITRAMFS_FSTYPES}"
INITRAMFS_MAXSIZE = "300000"

# manufacturing stuff
IMAGE_INSTALL += "packagegroup-ramdisk-base"

IMAGE_INSTALL += "kernel-modules"

do_decrease_image_size () {
    # delete /boot/zImage
    rm -f ${IMAGE_ROOTFS}/boot/zImage*

    # delete /etc/udev
    rm -rf ${IMAGE_ROOTFS}/${sysconfdir}/udev
}

do_gen_buildinfo () {
    local ts=$(echo ${IMAGE_NAME} | sed -e 's/.*-//')
    local timestamp="${ts:0:4}.${ts:4:2}.${ts:6:2} ${ts:8:2}:${ts:10:2}:${ts:12:2}"

    local bifile=${IMAGE_ROOTFS}/${sysconfdir}/build_info
    rm -f ${bifile}

    if [ ${machine_codename} ]; then
        local PLATFORM="${machine_codename}"
    else
        local PLATFORM="${MACHINE}"
    fi

    local BuildUser="root"
    if [ "Z${USER}" != "Z" ]; then
        BuildUser="${USER}"
    fi

    echo "====================="
    echo ${IMAGE_ROOTFS}
    echo "====================="
    echo "Branch=${EXA_TAG}"                    >> ${bifile}
    echo "Machine=${PLATFORM}"                  >> ${bifile}
    echo "ImageName=${IMAGE_NAME}"               >> ${bifile}
    echo "Timestamp=\"${timestamp}\""           >> ${bifile}
    echo "Description=\"${build_description}\"" >> ${bifile}
    echo "BuildUser=${BuildUser}"               >> ${bifile}
}

addtask gen_buildinfo after do_decrease_image_size before do_image
addtask decrease_image_size after do_rootfs before do_image


text:
/* General */

* {
  color: darkslategrey;
  font-family: Helvetica, sans-serif;
}

body {
  margin: .5rem;
  background-color: #e9ecee;
  min-height: calc(100vh - 1rem);
  display: flex;
  flex-direction: column;
  line-height: 1.5;
}

body {
  overflow-y: scroll;
}

a:link,
a:visited {
  color: #2d5373;
  transition-property: color, text-shadow;
}

a:focus,
a:hover {
  color: #4682b4;
  text-shadow: 0 0 .3rem #4682b4;
}

a:active {
  color: #6e95b5;
  text-shadow: 0 0 .3rem #6e95b5;
}

.main {
  display:flex;
  flex-wrap: wrap;
}

.main>section {
  order: 3;
}

.app-before-info.main>section {
  order: 1;
}

.main>.shown-main-info {
  flex-basis: calc(50% - 4rem);
  order: 1;
}

.app-before-info.main>.shown-main-info {
  order: 3;
}

.main>.hidden-main-info {
  display: none;
}

.main::before {
  content: '';
  order: 2;
  height: 0;
  display: block;
  flex-basis: 100%;
}

section {
  background-color: white;
  box-shadow: 0 0 .5rem #d3d8dd;
  margin: .3rem;
  margin-bottom: 1rem;
  padding: 1.4rem 1rem;
  flex-grow: 1;
  flex-basis: 30rem;
  overflow-x: hidden;
  overflow-y: auto;
  box-sizing: content-box;
}

pre {
  background-color: transparent;
}

section.whole-width {
  flex-basis: 100%;
}

.section-drag-bar {
  width: calc(100% + 2rem);
  transition-property: opacity;
  transition-duration: .3s;
  margin: -1.4rem -1rem -1.4rem -1rem;
}
.section-drag-bar:not(:last-child) {
  opacity: 0;
  margin: -1.4rem -1rem 0 -1rem;
  background-image: url(../icon/grab.svg) !important;
  height: 1.4rem;
  cursor: move;
}

.section-drag-bar:hover {
  opacity: 1;
}

.section-drag-bar:last-child::after {
  display: block;
  height: 20vh;
  width: 100%;
  content: 'Loading Spin Model Simulator ...';
  background-image: url(../icon/buffering.svg) !important;
  background-position: center;
  background-size: 25rem;
  background-color: #ace8ff;
  background-repeat: no-repeat;
}

.no-smil .section-drag-bar:last-child::after {
  background-image: url(../icon/buffering-css.svg) !important;
}

label {
  display: inline-block;
  font-size: small;
}

label a {
  text-decoration: none;
}

select,
textarea,
input[type=text],
input[type=number] {
  border: inset 1px lightslategrey;
  box-shadow: 0 0 .5rem #d3d8dd;
  padding: calc(.2rem - 1px);
  min-width: 0;
  box-sizing: border-box;
  background-color: white;
  color: darkslategrey;
}

textarea:disabled,
select:disabled,
input[type=number]:disabled,
input[type=string]:disabled,
input[type=text]:disabled {
  background-color: transparent;
}

select {
  margin-right: .5rem;
}

textarea.invalid,
input[type=text].invalid,
input[type=number]:invalid {
  box-shadow: 0 0 .5rem red;
}

input[type="number"] {
  text-align: right;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  cursor: default;
}

button {
  background-color: darkslategrey;
  border: 0;
  box-shadow: 0 0 .2rem darkslategrey;
  color: white;
  cursor: pointer;
  padding: .4rem;
  transition-property: box-shadow, background-color;
  transition-duration: .3s;
  background-size: contain;
}
button+button {
  margin-left: .3rem;
}

button:hover,
button:focus {
  box-shadow: 0 0 .2rem slategrey;
  background-color: slategrey;
  background-size: contain;
}

button:active {
  background-color: lightslategrey;
  box-shadow: 0 0 .2rem lightslategrey;
  background-size: contain;
}

.main-button {
  background-color: #2d5373;
  box-shadow: 0 0 .2rem #2D5373;
}

.main-button:hover,
.main-button:focus {
  background-color: #4682b4;
  box-shadow: 0 0 .2rem #4682b4;
}

.main-button:active {
  background-color: #6e95b5;
  box-shadow: 0 0 .2rem #6e95b5;
}

input[type="range"] {
  background-color: transparent !important;
}

.icon-link {
  font-size: 0;
  display: inline-block;
  height: 1rem;
  width: 1rem;
}

.icon-link:hover {
  opacity: .9;
}

.icon-link:active {
  opacity: 1;
}

.no-explanations .explanation {
  display: none;
}

.plot-description,
.info,
.explanation {
  font-size: small;
}

.description-under-plot {
  padding: 1rem .4rem;
  min-height: 3rem;
  display: block;
  overflow-y: auto;
}

.no-description-under-plots .description-under-plot {
  display: none;
}

.plot-description::before,
.description-under-plot::before,
.explanation:not(section)::before {
  content: '';
  width: 1em;
  height: 1em;
  padding: .2rem;
  display: inline-block;
  background-image: url(../icon/info.svg) !important;
  background-size: 1em;
  background-repeat: no-repeat;
  background-position: center center;
  vertical-align: bottom;
}

.video-container,
.controls-container,
.plotter-container,
.downloads-container {
  position: relative;
}

.icon-button,
.prev-model,
.next-model,
.skip-to-first,
.play-button,
.pause-button,
.skip-to-last,
.plot-tools,
.corner-menu>button,
.close,
.ok {
  border: none;
  background-color: transparent;
  background-size: contain;
  margin: 0;
  padding: 0;
  box-shadow: none;
  font-size: 0;
  background-repeat: no-repeat;
  opacity: .8;
  transition-property: opacity, transform;
  transition-duration: .3s;
}

.icon-button:focus,
.icon-button:hover,
.prev-model:focus,
.prev-model:hover,
.next-model:focus,
.next-model:hover,
.skip-to-first:focus,
.skip-to-first:hover,
.play-button:focus,
.play-button:hover,
.pause-button:focus,
.pause-button:hover,
.skip-to-last:focus,
.skip-to-last:hover,
.plot-tools:focus,
.plot-tools:hover,
.corner-menu>button:focus,
.corner-menu>button:hover,
.close:focus,
.close:hover,
.ok:focus,
.ok:hover {
  background-color: transparent;
  box-shadow: none;
  opacity: .9;
}

.icon-button:active,
.prev-model:active,
.next-model:active,
.skip-to-first:active,
.play-button:active,
.pause-button:active,
.skip-to-last:active,
.plot-tools:active,
.corner-menu>button:focus,
.close:active,
.ok:active {
  background-color: transparent;
  opacity: 1;
}

.plot-settings .open-corner-menu {
  background-image: url(../icon/settings.svg) !important;
}

.simulation-menu {
  background-image: url(../icon/settings.svg) !important;
}

.simulation-menu-running {
  background-image: url(../icon/settings-rotating.svg) !important;
}

.no-smil .simulation-menu-running {
  background-image: url(../icon/settings-rotating-css.svg) !important;
}

.time-plus {
  background-image: url(../icon/time-plus.svg) !important;
  transition-duration: .3s;
  transition-property: opacity;
}

.endless-mode {
  background-image: url(../icon/endless-mode.svg) !important;
}

.ending-mode {
  background-image: url(../icon/ending-mode.svg) !important;
}

.restart {
  background-image: url(../icon/restart.svg) !important;
}

.delete-old-data {
  background-image: url(../icon/delete-old-data.svg) !important;
}

.next-model {
  background-image: url('../icon/next-model.svg') !important;
}

.prev-model {
  background-image: url('../icon/prev-model.svg') !important;
}

.plot-div:empty {
  background-image: url('../icon/drawing.svg') !important;
}

.no-smil .plot-div:empty {
  background-image: url('../icon/drawing-css.svg') !important;
}

.play-button {
  background-image: url('../icon/play.svg') !important;
}

.pause-button {
  background-image: url('../icon/pause.svg') !important;
}

.skip-to-first {
  background-image: url('../icon/skip-to-first.svg') !important;
}

.skip-to-last {
  background-image: url('../icon/skip-to-last.svg') !important;
}

.buffering {
  background: url('../icon/buffering.svg') 50% 20% / 30% no-repeat !important;
}

.no-smil .buffering {
  background: url('../icon/buffering-css.svg') 50% 20% / 30% no-repeat !important;
}

.video-network .video-text.buffering {
  background: url('../icon/buffering.svg') 50% 20% / 30% no-repeat, radial-gradient(white, lightslategrey) !important;
}

.no-smil .video-network .video-text.buffering {
  background: url('../icon/buffering-css.svg') 50% 20% / 30% no-repeat, radial-gradient(white, lightslategrey) !important;
}

.video-menu .open-corner-menu {
  background-image: url('../icon/white-settings.svg') !important;
}

.expand-video {
  background-image: url('../icon/expand.svg') !important;
}

.plot-tools {
  background-image: url('../icon/tools.svg') !important;
}

.close {
  background-image: url('../icon/close.svg') !important;
}

.ok {
  background-image: url('../icon/ok.svg') !important;
}

.apply-countdown {
  margin-right: 1rem;
  font-style: italic;
  font-size: small;
  transition-property: opacity;
  transition-duration: .3s;
  opacity: 0;
}

.restart,
.simulation-menu,
.open-corner-menu {
  border-radius: 100%;
}

.restart:hover,
.simulation-menu:hover,
.open-corner-menu:hover {
  transform: rotate(60deg);
}

.simulation-menu-running:hover {
  transform: rotate(0);
}
.expand-video:hover {
  transform: scale(1.2);
}

.video-menu {
  margin: 0 1px;
}

.video-menu.corner-menu-expanded {
  padding: 0 0 1rem 1.4rem;
  opacity: .8;
  width: calc(100% - 3.4rem - 2px);
  margin: 0 1px;
}

.video-menu.corner-menu-expanded .corner-menu-contents {
  margin: 1rem 4.2rem 0 0;
}

.video-menu .corner-menu-contents h4 {
  width: 100%;
  margin: .5rem 0;
}

.corner-menu {
  right: 0rem;
  display: block;
  min-height: 1.4rem;
  z-index: 26;
  background-repeat: no-repeat;
  background-position: top right;
  background-size: 1.4rem;
  position: absolute;
  transition-property: box-shadow, margin, padding;
  transition-duration: .3s;
  box-shadow: 0 0 0 darkslategrey;
}

.corner-menu>button {
  width: 1.4rem;
  height: 1.4rem;
  float: right;
  margin: .1rem;
}

.corner-menu-expanded {
  box-shadow: 0 0 .2rem darkslategrey;
  background-color: white;
  padding: 1.4rem 1rem 1.4rem 1rem;
  margin: -1.4rem -1rem 0 0;
  width: auto;
  height: auto;
}

.corner-menu-contents {
  margin-top: -1.4rem;
  display: none;
}

.corner-menu-expanded .corner-menu-contents {
  display: block;
}

.action-on-changing-settings {
  margin: .5rem 0;
  display: block;
}

.steps-to-simulate {
  width: 7rem !important;
  display: inline-block !important;
  text-align: left;
}

.simulation-progress {
  border-width: 2px;
  height: calc(1em - 4px);
  vertical-align: -2px;
  width: 100%;
  opacity: 1;
  transition-property: opacity;
  transition-duration: .2s;
}

.start-simulation {
  margin-top: .5rem;
}

.prev-model::after,
.next-model::before {
  position: relative;
  display: block;
  font-size: 1rem;
  white-space: nowrap;
  width: 8rem;
  opacity: 0.4;
}

.prev-model:hover::after,
.next-model:hover::before {
  opacity: 0.7;
}

.next-model::before {
  content: 'next model';
  text-align: right;
  margin-left: -8rem;
}

.prev-model::after {
  content: 'previous model';
  text-align: right;
  margin-right: -8rem;
}

.prev-model, .next-model {
  min-width: 1.2rem;
  height: 2.4rem;
  display: inline-block;
  background-size: contain;
  position: relative;
  z-index: 1;
  margin: 0 .4rem;
  align-self: center;
}

.heading-container {
  flex: 1;
  font-size: 0;
  white-space: nowrap;
}

.model-heading {
  display: flex;
  justify-content: space-between;
  overflow: hidden;
}

.multi-model-heading {
  max-width: calc(100% - 4rem);
}

.heading-button {
  display: inline-block;
  background-color: transparent;
  box-shadow: none;
  padding: 0;
  font-weight: bold;
  font-size: calc(.8rem + 1.5vw);
  color: darkslategrey;
  transition-property: border-color, color, opacity;
  transition-duration: .3s;
}

.heading-button:hover,
.heading-button:focus,
.heading-button:active {
  text-decoration: underline;
  background-color: transparent;
  box-shadow: none;
}

.previous-heading-span,
.current-heading-span {
  animation-iteration-count: 1;
  text-align: center;
  display: inline-block;
  width: 100%;
  font-size: calc(.8rem + 1.5vw);
}

.current-heading-span {
  animation: show-and-enlarge forwards ease-in 1s;
}

.previous-heading-span {
  animation: show-and-enlarge forwards ease-out reverse 1s;
}

.previous-heading-span,
.heading-button,
.current-heading-span {
  white-space: normal;
}

@keyframes show-and-enlarge {
  0% {
    visibility: hidden;
    opacity: 0;
    margin-left: -50%;
    margin-right: -50%;
    white-space: nowrap;
  }
  100% {
    margin-left: 0;
    margin-right: 0;
    opacity: 1;
    visibility: visible;
    white-space: wrap;
  }
}

.no-explanations .show-info {
  width: auto;
  opacity: 1;
}

.show-info:hover,
.show-info:focus {
  border-color: #2D5373;
  color: #2D5373;
}

.show-info:active {
  border-color: #4682b4;
  color: #4682b4;
}

.paper {
  font-family: monospace;
}

.ok {
  float: right;
}

.info>*:not(.section-drag-bar) {
  line-height: 2;
  text-align: justify;
}

.info>*:not(.section-drag-bar)>*:not(.info-content),
.info-content>* {
  max-width: 50rem;
}

.help li {
  list-style-type: none;
}

.inline-symbol {
  height: 1.4em;
  vertical-align: text-bottom;
}

/* Settings */

.model-settings {
  padding-top: 1.4rem;
}

.settings>div {
  margin: 0rem -1rem;
  padding: .3rem 1rem;
  display: flex;
  flex-direction: row;
}
.subdivided-settings h3,
.subdivided-settings h4 {
  display: inline-block;
  font-size: medium;
  font-weight: normal;
  margin: .8rem 0;
  vertical-align: top;
  white-space: normal;
  width: 10rem;
  flex-basis: 30%;
  flex-shrink: 0;
}

.subdivided-settings h4 .bar,
.subdivided-settings h4 .bar + span {
  display: inline-block;
  margin: -.3rem 0 -.3rem 0;
  height: calc(100% + .6rem);
  vertical-align: bottom;
}

.subdivided-settings h4 .bar {
  content: ' ';
  margin: -.3rem 1rem -.3rem 0;
  width: .3rem;
  background-color: darkslategrey;
}

.subdivided-settings h3+div,
.subdivided-settings h4+div {
  display: inline-block;
  flex: 1;
}

.fix-network-type {
  font-size: medium;
  margin-bottom: .5rem;
}

.settings .text-setting,
.settings .jscode-setting,
.settings .string-setting,
.settings .select-setting,
.settings .number-setting,
.settings .range-setting {
  display: flex;
  flex-wrap: wrap;
}

.settings .text-setting,
.settings .jscode-setting,
.settings .string-setting,
.settings .radio-setting,
.settings .select-setting,
.settings .number-setting,
.settings .range-setting {
  margin: .8rem 0;
}

.settings .checkbox-setting {
  margin: 0 0;
}

.settings .text-setting label,
.settings .jscode-setting label,
.settings .string-setting label,
.settings .select-setting label,
.settings .number-setting label,
.settings .range-setting label {
  width: 10rem;
  max-width: 40%;
}

.settings .range-setting label {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  justify-content: center;
  align-items: baseline;
}

.settings .text-setting textarea,
.settings .jscode-setting .CodeMirror,
.settings .string-setting input,
.settings .select-setting select,
.settings .number-setting input,
.settings .range-setting input {
  flex: 1;
  width: 0;
}

.settings .jscode-setting .CodeMirror {
  height: auto;
}

.settings .number-setting input,
.settings .range-setting input {
  margin: 0;
  padding: 0;
  height: 1.5rem;
}

.settings .range-setting .label-val {
  display: inline-block;
  text-align: left;
}

.settings .range-setting .label-set {
  text-align: center;
}

.settings .file-setting {
  width: 100%;
  display: flex;
  flex-wrap: wrap;
}

.settings .file-setting label {
  flex: 1;
}

.settings .file-setting label button {
  width: 100%;
}

.settings .file-setting input[type=file] {
  display: none;
}

.settings .setting-info {
  flex-basis: 100%;
}

.tabs-setting input[type="radio"] + label::before,
.tabs-setting input[type="radio"] + label::after {
  display: none;
}

.tabs-setting input[type="radio"]+label {
  background-color: darkslategrey;
  border: 0;
  box-shadow: 0 0 .2rem darkslategrey;
  color: white;
  cursor: pointer;
  padding: .4rem 1rem;
  margin-right: .2rem;
  transition-property: box-shadow, background-color;
  transition-duration: .3s;
  background-size: contain;
  opacity: .5;
}

.tabs-setting input[type="radio"]:hover+label,
.tabs-setting input[type="radio"]:focus+label {
  box-shadow: 0 0 .2rem slategrey;
  background-color: slategrey;
  opacity: .7;
}

.tabs-setting input[type="radio"]:checked+label {
  opacity: 1;
}

.tabs-setting {
  border-bottom: solid darkslategrey .1rem;
  padding-bottom: 0 !important;
  align-items: end;
}

.guess-table,
.highlighted-settings-section {
  background-color: #f0f4f7;
}

.initializer-separator {
  font-style: italic;
  margin-bottom: .2rem;
  width: 100%;
  font-size: small;
  display: block;
  text-align: center;
}

.file-msg {
  margin: 0 .3rem;
}

.file-setting-set .file-msg::before {
  content: '✓';
  font-size: 1.2em;
}

.settings .file-setting {
  margin: .2rem 0;
}

.settings .hidden-setting {
  display: none;
}

/* Video */

.canvas-frame {
  border: solid 1px #2D5373;
  width: calc(100% - 2px);
  position: relative;
  line-height: 0;
}

.video-network .video-text,
.canvas-frame {
  background: radial-gradient(white, lightslategrey) !important;
}

.canvas-frame>*:not(.canvas-container) {
  line-height: normal;
}

.expanded-video canvas {
  width: 100%;
  height: 100%;
  object-fit: contain;
}

.canvas-container {
  display: inline-block;
  width: 100%;
  height: 100%;
  vertical-align: bottom;
}

.canvas-container>canvas {
  vertical-align: bottom;
}

.expanded-video .canvas-frame {
  border: 0;
  position: absolute;
  left: 0;
  top: 0;
  width: 100vw;
  height: 100vh;
  z-index: 21;
}

.canvas-frame canvas {
  image-rendering: -webkit-crisp-edges;
  image-rendering: -moz-crisp-edges;
  image-rendering: -o-crisp-edges;
  image-rendering: pixelated;
  -ms-interpolation-mode: nearest-neighbor;
  interpolation-mode: nearest-neighbor;
  width: 100%;
}

.video-static:not(.expanded-video) {
  max-height: 80vh;
  overflow-y: scroll;
}

.video-network:not(.expanded-video) .canvas-frame {
  height: 60vh;
}

.video-2d .canvas-frame,
.video-nd .canvas-frame {
  cursor: pointer;
}

.video-network .canvas-frame canvas {
  cursor: grab;
}

.canvas-frame .video-menu>button {
  transition-property: opacity, transform;
  transition-duration: .3s;
  opacity: 0.3;
}

.canvas-frame:hover .video-menu>button,
.video-menu.corner-menu-expanded>button,
.video-menu>button:focus,
.video-menu>button:active {
  opacity: 1;
}

.video-menu>button,
.video-menu>button:hover,
.video-menu>button:focus,
.video-menu>button:active {
  background-color: transparent;
  box-shadow: none;
}

.video-menu>button {
  background-size: 1.5rem 1.5rem;
  background-position: center;
  padding: 0;
  font-size: 0;
  display: inline-block;
  height: 2.1rem;
  margin-left: -2.1rem;
  margin-top: 0rem;
  vertical-align: top;
  width: 2.1rem;
}

.video-menu .open-corner-menu {
  margin-right: 2.1rem;
}

.video-text {
  color: black;
  width: calc(100% - 6rem);
  height: calc(100% - 6rem);
  margin-left: -100%;
  padding: 3rem;
  text-align: center;;
  vertical-align: top;
  position: absolute;
  display: inline-block;
  text-shadow: 0 0 .5rem white;
  box-sizing: content-box;
}

.video-text p {
  font-size: large;
}

.not-saved {
  color: white;
}

.playback-control {
  display: inline-block;
  overflow: hidden;
  padding: .5rem .2rem;
  width: calc(100% - .4rem);
}

.expanded-video .playback-control {
  bottom: 0;
  position: absolute;
  left: 0;
  width: calc(100vw - .4em);
  background-color: white;
  z-index: 22;
  opacity: 0;
  transition-property: opacity;
  transition-duration: .3s;
}

.expanded-video .playback-control:hover {
  opacity: .8;
}

.t-label {
  float: left;
  width: 40%;
}

.fps-control {
  float: right;
  font-size: 0;
  text-align: right;
  width: 40%;
  overflow: hidden;
}

.fps-control>* {
  vertical-align: middle;
  white-space: nowrap;
  display: inline-block;
}

.fps-control label {
  margin: 0;
  max-width: 30%;
}

.fps-control input {
  margin: 0;
  width: 70%;
  padding: 0;
  display: inline-block;
}

.fps-control input[type="number"] {
  margin-right: 0 !important;
  width: 70% !important;
}

.playback-buttons {
  text-align: center;
  white-space: nowrap;
  font-size: 0;
}

.no-time-display .playback-buttons {
  margin-left: 40%;
}

.no-fps-control .playback-buttons {
  margin-right: 40%;
}

.playback-buttons>button {
  width: 1.4rem;
  height: 1.4rem;
}

.time-progress input {
  margin: 0;
  padding: 0;
  width: 100%;
}

.download-menu button {
  margin: .4rem;
}

.draw-mode-control {
  display: flex;
  flex-wrap: wrap;
}

.draw-mode-control>div {
  flex-grow: 1;
}

.offset-inputs label {
  width: 8rem;
}

/* Plots */

.plotter {
  max-width: calc(100% - 1rem);
  flex-grow: 2;
}

.plots,
.old-plots {
  display: flex;
  flex-wrap: wrap;
  flex-direction: column;
  max-width: calc(100vw - 3.6rem);
}

.no-old-plots>.plots {
  padding-top: 1.6rem;
}

.deduced-plots {
  padding-left: 1rem;
  border-left: solid .3rem #4682b4;
}

.no-legend .dygraph-legend {
  display: none;
}

.plot-settings+* {
  margin-top: 0;
}

.plot-live-options {
  margin: 1rem 0;
}

.plot-type-select {
  margin-right: .3rem;
  width: 100%;
  max-width: 30rem;
}

.create-plot-menu {
  margin: .3rem -1rem -1.4rem -1rem;
  padding: .1rem 1rem 1.4rem 1rem;
  background-color: #f0f4f7;
}

.create-plot {
  margin-top: .3rem;
}

.new-plot-settings:empty {
  display: none;
}

.new-plot-settings {
  margin: 1rem 0 0 0;
}

.plot-box {
  flex-basis: 18rem;
  flex-grow: 1;
  max-width: 100%;
  background-color: white;
  box-shadow: inset 0 -1rem 1rem -1rem darkslategrey;
}

.plot-div:empty {
  background-size: 20vh;
  background-repeat: no-repeat;
  background-position: 50% 50%;
}

.plot-error {
  width: 100%;
  text-align: center;
}

.dygraph-title {
  font-weight: normal;
}

.plot-error .dygraph-title {
  font-size: 20px;
}

.plot-no-data::after {
  content: '- no data -';
  font-style: italic;
}

.plot-unsupported::after {
  content: '- this plot does not support the selected settings -';
  font-style: italic;
}

.plot-div {
  width: 100%;
}

.plot-div {
  height: 40vh;
  max-height: 18rem;
}

.fullscreen-plot {
  padding: 1.5rem;
  display: flex;
  flex-direction: column;
  height: calc(100vh - 3rem);
  width: calc(100vw - 3rem);
}

.fullscreen-plot .plots,
.fullscreen-plot .old-plots,
.fullscreen-plot .plot-div {
  height: auto;
  flex: 1;
}

.fullscreen-plot .plots,
.fullscreen-plot .old-plots {
  display: flex;
  flex-direction: column;
}

.ok,
.close,
.plot-tools {
  height: 1rem;
  width: 1rem;
}

.plot-tools {
  display: block;
}

.plot-menu {
  display: none;
  position: absolute;
  box-shadow: 0 0 .2rem darkslategrey;
  background-color: white;
  padding: 1.4rem 1rem;
  font-weight: normal;
  text-align: left;
  z-index: 26;
}

.plot-menu .range-setting label,
.plot-menu .radio-setting label,
.plot-menu .number-setting label,
.plot-menu .select-setting label,
.plot-menu .text-setting label,
.plot-menu .string-setting label {
  max-width: inherit;
}

.plot-menu-buttons button {
  margin: .2rem;
}

.plot-parameter-info {
  display: none;
}

.old-plots .plot-parameter-info {
  display: block;
}

.old-plots .plot-parameter-info::before {
  display: block;
  content: 'Parameters: ';
  font-weight: bold;
}

.plot-buttons {
  z-index: 25;
  position: relative;
  display: flex;
  justify-content: space-between;
}

.plot-menu+* {
  margin-top: -1rem;
}

.plot-menu-buttons {
  margin-bottom: .5rem;
}

.dygraph-axis-label {
  color: darkslategrey;
}

.dygraph-title:hover {
  background-image: url(../icon/grab.svg) !important;
  cursor: move;
}

.dygraph-label.dygraph-title {
  text-align: center;
}

.dygraph-legend {
  z-index: 1;
  position: relative;
  margin: 0 1.2rem;
  top: unset !important;
  left: unset !important;
  display: inline-block;
  background-color: #e9eceec0;
  text-shadow: 0 0 1em #e9ecee,0 0 1em #e9ecee,0 0 1em #e9ecee,0 0 1em #e9ecee,0 0 1em #e9ecee,0 0 1em #e9ecee;
}

.faded,
.faded .dygraph-axis-label {
  color: slategrey;
}

.plots:empty::before,
.old-plots:empty::before {
  font-size: small;
  content: ' - no plots - ';
  font-style: italic;
}

.deduced-plots .plots:empty::before,
.deduced-plots .old-plots:empty::before {
  content: '';
}

.plot-settings-storage button,
.plot-settings-storage select,
.plot-settings-storage input {
  margin: 0.5rem;
}

.plot-settings-storage select,
.plot-settings-storage input {
  min-width: 10rem;
}

.fit-menu:empty {
  display: none;
}

.fit-menu {
  padding-left: 1rem;
  border-left: solid .3rem slategrey;
}

.fits-list {
  list-style-type: none;
  padding-left: 0;
}

.fits-list li {
  margin: .3rem 0 .3rem 0;
  border-top: slategrey solid 1px;
}

.fits-list .close {
  vertical-align: middle;
  margin-left: .5rem;
}

.fit-msg,
.fitted-x-min,
.distance {
  font-style: italic;
  font-weight: bold;
}

.fit-msg-value,
.fitted-x-min-value,
.distance-value {
  font-style: normal;
  font-weight: normal;
}

.guess-table {
  width: 100%;
}

.guess-table input {
  width: calc(100% - .4rem + 2px);
  margin: 0;
}

.guess-table tbody tr td:last-child {
  text-align: right;
}

.guess-table td:not(:first-child),
.guess-table th:not(:first-child) {
  width: 40%;
}

.empty-downloads {
  display: none;
}

.downloads-list progress {
  width: 100%;
}

.downloads-list {
  list-style-image: url('../icon/rendering.gif');
}

footer {
  font-size: x-small;
  flex: 1;
  display: flex;
  flex-direction: column-reverse;
}

.author {
  float: right;
}

.institute {
  display: inline;
}

.used-libs {
  transition-property: opacity;
  transition-duration: .3s;
  opacity: 0.6;
  display: inline;
}

.used-libs:hover {
  opacity: 1;
}

.used-libs ul {
  display: inline-block;
  margin: 0;
  padding: 0;
}

.used-libs li {
  list-style-type: none;
  display: inline-block;
}

.used-lib .lib-license {
  display: inline-block;
  width: 0;
  opacity: 0;
  transition-property: width, opacity;
  transition-duration: .3s;
  font-size: 0;
}

.used-lib:hover .lib-license,
.used-lib:focus .lib-license,
.lib-license:focus {
  width: 5em;
  padding-left: .5em;
  opacity: 1;
  font-size: inherit;
}

@media (max-width: 600px) {
  .fps-control .label-val {
    display: none;
  }

  .main>.shown-main-info {
    flex-basis: 100%;
  }

  .range-setting,
  .number-setting {
    margin: .3rem 0;
  }

  .expanded-video .playback-control {
    opacity: 0.2;
  }

  .section-drag-bar {
    display: none;
  }
}

.unpin-section,
.expand-section {
  float: right;
  width: 1.4rem;
  height: 1.4rem;
  margin: 0 0.3rem;
}

.unpin-section {
  background-image: url('../icon/unpin.svg') !important;
}

.spimosim-floating .unpin-section {
  background-image: url('../icon/pin.svg') !important;
}

.expand-section {
  background-image: url('../icon/horizontal-expand.svg') !important;
}

.whole-width .expand-section {
  background-image: url('../icon/horizontal-unexpand.svg') !important;
}

.spimosim-floating.whole-width {
  width: calc(50vw - 3rem);
}

.spimosim-floating {
  position: absolute;
  width: auto;
  height: auto;
}

section.spimosim-floating {
  box-shadow: 0 0 0.8rem #d3d8ff;
}

repository: pasgra/spimosim

repo_name: pasgra/spimosim


text:
@article{FrameworkTimedTrace_zhou_2002,
 abstract = {This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or failures is developed. The concept of the semimirror is introduced to allow conformance checking thus supporting hierarchical verification of timed circuits and systems. Finally, we relate our framework to those previously proposed for timing verification.},
 annotation = {00000},
 author = {Zhou, Bin and Yoneda, Tomohiro and Myers, Chris},
 issn = {, 0916-8532},
 journal = {IEICE TRANSACTIONS on Information and Systems},
 month = {October},
 number = {10},
 pages = {1595--1604},
 title = {Framework of Timed Trace Theoretic Verification Revisited},
 volume = {E85-D},
 year = {2002}
}


text:
---
---
@article{wang2022learning,
  abbr={COLING},
  bibtex_show={true},
  title={Learning Decoupled Retrieval Representation for Nearest Neighbour Neural Machine Translation},
  author={Wang, Qiang and Weng, Rongxiang and Chen, Ming},
  journal={COLING},
  year={2022},
  pdf={https://arxiv.org/pdf/2209.08738.pdf},
  poster={coling22_poster.pdf}
}

@article{wang-etal-2020-training,
    abbr={EMNLP},
    bibtex_show={true},
    title={Training Flexible Depth Model by Multi-Task Learning for Neural Machine Translation},
    author={Wang, Qiang and Xiao, Tong and Zhu, Jingbo},
    journal={EMNLP Findings},
    year={2020},
    pdf={https://aclanthology.org/2020.findings-emnlp.385.pdf},
}

@article{wang-etal-2020-layer,
    abbr={COLING},
    bibtex_show={true},
    title={Layer-Wise Multi-View Learning for Neural Machine Translation},
    author={Wang, Qiang and Li, Changliang and Zhang, Yue and Xiao, Tong and Zhu, Jingbo},
    journal={COLING},
    year={2020},
    pdf={https://aclanthology.org/2020.coling-main.377.pdf},
}

@article{wang-etal-2020-neural,
    abbr={AAAI},
    bibtex_show={true},
    title={Neural Machine Translation with Joint Representation},
    author={Li, Yanyang and Wang, Qiang and Xiao, Tong and Liu, Tongran and Zhu, Jingbo},
    journal={Proceedings of the AAAI conference on artificial intelligence},
    year={2020},
    pdf={https://ojs.aaai.org/index.php/AAAI/article/view/6344/6200},
}

@article{wang-etal-2019-wmt,
    abbr={WMT},
    bibtex_show={true},
    title={The niutrans machine translation systems for wmt19},
    author={Li, Bei and Li, Yinqiao and Xu, Chen and Lin, Ye and Liu, Jiqiang and Liu, Hui and Wang, Ziyang and Zhang, Yuhao and Xu, Nuo and Wang, Zeyang and Feng, Kai and Chen, Hexuan and Liu, Tengbo and Li, Yanyang and Wang, Qiang and Xiao, Tong and Zhu, Jingbo},
    journal={Proceedings of the Fourth Conference on Machine Translation},
    year={2019},
    pdf={https://aclanthology.org/W19-5325.pdf},
}

@article{wang-etal-2019-learning,
    abbr={ACL},
    bibtex_show={true},
    title={Learning deep transformer models for machine translation},
    author={Wang, Qiang and Li, Bei and Xiao, Tong and Zhu, Jingbo and Li, Changliang and Derek, F, Wong and Lidia, S, Chao},
    journal={ACL},
    year={2019},
    pdf={https://aclanthology.org/P19-1176.pdf},
}

@article{wang-etal-2018-wmt18,
    abbr={WMT},
    bibtex_show={true},
    title={The niutrans machine translation system for wmt18},
    author={Wang, Qiang and Li, Bei and Liu, Jiqiang and Jiang, Bojian and Zhang, Zheyang and Li, Yinqiao and Lin, Ye and Xiao, Tong and Zhu, Jingbo},
    journal={Proceedings of the Third Conference on Machine Translation: Shared Task Papers},
    year={2018},
    pdf={https://aclanthology.org/W18-6430.pdf},
}

@article{wang-etal-2018-multi,
    abbr={COLING},
    bibtex_show={true},
    title={Multi-layer representation fusion for neural machine translation},
    author={Wang, Qiang and Li, Fuxue and Xiao, Tong and Li, Yanyang and Li, Yinqiao and Zhu, Jingbo},
    journal={COLING},
    year={2018},
    pdf={https://aclanthology.org/C18-1255.pdf},
}

@article{wang-etal-2018-simple,
    abbr={ACL},
    bibtex_show={true},
    title={A simple and effective approach to coverage-aware neural machine translation},
    author={Li, Yanyang and Xiao, Tong and Li, Yinqiao and Wang, Qiang and Xu, Changming and Zhu, Jingbo},
    journal={Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics},
    year={2018},
    pdf={https://aclanthology.org/P18-2047.pdf},
}

@article{wang-etal-2015-niuparser,
    abbr={ACL},
    bibtex_show={true},
    title={Niuparser: A Chinese syntactic and semantic parsing toolkit},
    author={Zhu, Jingbo and Zhu, Muhua and Wang, Qiang and Xiao Tong},
    journal={Proceedings of ACL-IJCNLP 2015 System Demonstrations},
    year={2015},
    pdf={https://aclanthology.org/P15-4025.pdf},
}


text:
---
---

@inproceedings{Oechsle2021ICCV,
  title = {UNISURF: Unifying Neural Implicit Surfaces and Radiance Fields for Multi-View Reconstruction},
  author = {Oechsle, Michael and Peng, Songyou and Geiger, Andreas},
  booktitle = {International Conference on Computer Vision (ICCV)},
  year = {2021},
  doi = {},
  img = {/assets/img/unisurf.png},
  code = {https://github.com/autonomousvision/unisurf},
  pdf = {http://www.cvlibs.net/publications/Oechsle2021ICCV.pdf},
  supp = {http://www.cvlibs.net/publications/Oechsle2021ICCV_supplementary.pdf},
  selected={true}
}

@inproceedings{Oechsle2020THREEDV,
  title = {Learning Implicit Surface Light Fields},
  author = {Oechsle, Michael and Niemeyer, Michael and Reiser, Christian and Mescheder, Lars and Strauss, Thilo and Geiger, Andreas},
  booktitle = {International Conference on 3D Vision (3DV)},
  year = {2020},
  doi = {},
  img = {/assets/img/cslf.png},
  pdf = {http://www.cvlibs.net/publications/Oechsle2020THREEDV.pdf},
  supp = {http://www.cvlibs.net/publications/Oechsle2020THREEDV_supplementary.pdf},
  selected={true}
}

@inproceedings{Niemeyer2020CVPR,
  title = {Differentiable Volumetric Rendering: Learning Implicit 3D Representations without 3D Supervision},
  author = {Niemeyer, Michael and Mescheder, Lars and Oechsle, Michael and Geiger, Andreas},
  booktitle = { Proceedings IEEE Conf. on Computer Vision and Pattern Recognition (CVPR)},
  year = {2020},
  doi = {},
  img = {/assets/img/dvr.png},
  code = {https://github.com/autonomousvision/differentiable_volumetric_rendering},
  pdf = {http://www.cvlibs.net/publications/Niemeyer2020CVPR.pdf},
  supp = {http://www.cvlibs.net/publications/Niemeyer2020CVPR_supplementary.pdf},
  selected={true}
}

@inproceedings{Niemeyer2019ICCV,
  title = {Occupancy Flow: 4D Reconstruction by Learning Particle Dynamics},
  author = {Niemeyer, Michael and Mescheder, Lars and Oechsle, Michael and Geiger, Andreas},
  booktitle = {International Conference on Computer Vision (ICCV)},
  month = oct,
  year = {2019},
  doi = {},
  img = {/assets/img/oflow.png},
  code = {https://github.com/autonomousvision/occupancy_flow},
  pdf = {http://www.cvlibs.net/publications/Niemeyer2019ICCV.pdf},
  supp = {http://www.cvlibs.net/publications/Oechsle2021ICCV_supplementary.pdf},
  selected={true}
}

@inproceedings{Oechsle2019ICCV,
  title = {Texture Fields: Learning Texture Representations in Function Space},
  author = {Oechsle, Michael and Mescheder, Lars and Niemeyer, Michael and Strauss, Thilo and Geiger, Andreas},
  booktitle = {International Conference on Computer Vision (ICCV)},
  month = oct,
  year = {2019},
  doi = {},
  img = {/assets/img/tex.png},
  code = {https://github.com/autonomousvision/texture_fields},
  pdf = {http://www.cvlibs.net/publications/Oechsle2019ICCV.pdf},
  supp = {http://www.cvlibs.net/publications/Oechsle2019ICCV_supplementary.pdf},
  selected={true}
}

@inproceedings{Occupancy_Networks,
  title = {Occupancy Networks: Learning 3D Reconstruction in Function Space},
  author = {Mescheder, Lars and Oechsle, Michael and Niemeyer, Michael and Nowozin, Sebastian and Geiger, Andreas},
  booktitle = {Proceedings IEEE Conf. on Computer Vision and Pattern Recognition (CVPR)},
  year = {2019},
  doi = {},
  img = {/assets/img/onet.png},
  code = {https://github.com/LMescheder/Occupancy-Networks},
  pdf = {http://www.cvlibs.net/publications/Mescheder2019CVPR.pdf},
  supp = {http://www.cvlibs.net/publications/Mescheder2019CVPR_supplementary.pdf},
  selected={true}
}

gha_license_id: NOASSERTION

gha_language: CSS


text:
.name-desc {
	color: #2d3c49;
	text-transform: uppercase;
	text-align: right;
}

.name-desc h1 {
	margin: 1em 0 0 1.5em;
}

.name-desc h5 {
	margin-left: 2em;
}

hr {
	border-color: #2d3c49;
}

.feat-work h2 {
	color: #7d97ad;
}

.project {
	text-align: center;
}

.project h1 {
	color: #2d3c49;
}

.header-img {
	max-width: 123px;
	height: auto;
}

.equal {
	display: -webkit-flex;
	display: flex;
}

.main-content {
	margin-bottom: 2em;
}

repository: anthonyattard/portfolio-site

repo_name: anthonyattard/portfolio-site


text:
% Literature references for the ML Toolbox
% bibtex file for sphinxcontrib-bibtex

@article{weedbrook2012,
  doi = {10.1103/revmodphys.84.621},
  archivePrefix = "arXiv",
  eprint = {1110.3234},
  year  = {2012},
  month = {May},
  publisher = {American Physical Society ({APS})},
  volume = {84},
  number = {2},
  pages = {621--669},
  author = {Christian Weedbrook and Stefano Pirandola and Ra{\'{u}}l Garc{\'i}a-Patr{\'{o}}n and Nicolas J. Cerf and Timothy C. Ralph and Jeffrey H. Shapiro and Seth Lloyd},
  title = {Gaussian quantum information},
  journal = {Reviews of Modern Physics}
}

@book{serafini2017,
  title={Quantum Continuous Variables: A Primer of Theoretical Methods},
  author={Serafini, Alessio},
  year={2017},
  publisher={CRC Press}
  }

@Unpublished{kalajdzievski2018,
  author = {{Kalajdzievski}, T. and {Weedbrook}, C. and {Rebentrost}, P.},
  title = "{Continuous-variable gate decomposition for the Bose-Hubbard model}",
  archivePrefix = "arXiv",
  eprint = {1801.06565},
  primaryClass = "quant-ph",
  keywords = {Quantum Physics},
  note = {},
  year = {2018}
}


text:
/*
 * This is a manifest file that'll be compiled into application.css, which will include all the files
 * listed below.
 *
 * Any CSS and SCSS file within this directory, lib/assets/stylesheets, vendor/assets/stylesheets,
 * or vendor/assets/stylesheets of plugins, if any, can be referenced here using a relative path.
 *
 * You're free to add application-wide styles to this file and they'll appear at the top of the
 * compiled file, but it's generally better to create a new file per style scope.
 *
 *= require_self
 *= require bootstrap/bootstrap
 *= require daterangepicker-bs2
 *= require_tree .
 */

.axis path, .axis line {
  fill: none;
  stroke: #000;
  shape-rendering: crispEdges;
}

.bar {
  fill: steelblue;
}

.x.axis path {
  display: none;
}

td.hour, th.hour {
  text-align: right;
}

.data-tooltip {
  font-size: 10px;
  border: 1px solid #ccc;
  background-color: rgba(255,255,255,0.8);
  padding: 3px 6px 2px 6px;
  color: black;
}

text.inner_label, text.outer_label {
  fill: #333;
  font-size: 12px;
}
text.outer_label {
  fill: #333;
  font-size: 20px;
}

thead {
  background: #eee;
}

tfoot {
  background: #eee;
}

form {
  margin: 0px;
}

table.table td.amount {
  text-align: right;
}
table.table th.amount {
  text-align: right;
}

table.table tbody tr.p_project.finished {
  background: yellowgreen;

}

.data-tooltip table td {
  text-align: right;
}

repository: heatpump/dashboard

repo_name: heatpump/dashboard


text:
.report-container{
    margin-left: 100px;
    margin-right: 100px;
}

.image-resize{
    max-width:100%;
    height: auto;
}

.vendors-table{
    margin-left: auto;
    margin-right: auto;
    alignment: center;
    overflow: hidden;
    table-layout: fixed;
    padding: 0;
    margin-bottom: 20px;
}
.center-images{
    display: block;
    margin-left: auto;
    margin-right: auto;
}

.center-table{
    display: block;
    margin-left: auto;
    margin-right: auto
}

.center-header{
    width: 100%;
    display: block;
    text-align: center;
}

.portable-inline{
    display: inline;
    margin-bottom: 20px;

}

.sub-header{
    font-weight: bold;
    font-size: 20px;
    display: block;
    float: top;
    margin-bottom: 10px;
}

.dividers{
    border-left:3px solid #000;
    padding-left: 10px;
    padding-right: 10px;

}

.dividers-first{
    padding-left: 10px;
    padding-right: 10px;
}

.report-entry-spacing{
    margin-bottom: 50px;
}

.image-border{
    border-color: black;
    border-style: solid;
    border-width: medium;
}

.table-img{
    width: auto;
    height: 300px;
}

td{
    text-align: center;
}

.sub-heading-report{
    font-weight: bold;
    font-size: 20px;
    display: block;
    float: top;
}
.heading-text{
    font-weight: bolder;
    font-size: 50px;
    color: #fc6100;
}
.description-text{
    font-size: 15px;
    margin-bottom: 20px;
}

.last-element{
    margin-bottom: 70px;
    list-style-type:none;
}

.red-text{
    color: red;
    display: inline;
}

.blue-text{
    color: blue;
    display: inline;
}

@media (min-width: 0px) and (max-width: 750px) {
    .report-container {
        margin-left: 20px;
        margin-right: 20px;
    }

    .table-img{
        width: 100%;
        height: auto;
        display: block;
        float: none;
        margin-right: auto;
        margin-left: auto;
    }

    .report-images{
        width: 100%;
        height: auto;
    }

    .image-resize{
        width: 100%;
        height: auto;
    }

}

gha_language: JavaScript


text:
@Manual{R-rayrender,
  title = {rayrender: Build and Raytrace 3D Scenes},
  author = {Tyler Morgan-Wall},
  year = {2023},
  note = {R package version 0.29.4},
  url = {https://CRAN.R-project.org/package=rayrender},
}

gha_language: HTML


text:
# The MIT License (MIT)
#
# Copyright (c) 2015 Jeremy Letang
#
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
#
# The above copyright notice and this permission notice shall be included in all
# copies or substantial portions of the Software.
#
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
# SOFTWARE.

cmake_minimum_required(VERSION 2.8.8)
include(ExternalProject)

message(STATUS "Configuring googletest")

set (GTEST_VERSION 1.7.0)
set (GTEST_DIR googletest)
set (GTEST_PATH ${CMAKE_BINARY_DIR}/${GTEST_DIR})

ExternalProject_Add (
    googletest
    PREFIX ${GTEST_PATH}
    URL https://googletest.googlecode.com/files/gtest-${GTEST_VERSION}.zip
    TIMEOUT 10
    CONFIGURE_COMMAND ${CMAKE_COMMAND} "-DCMAKE_INSTALL_PREFIX=${GTEST_PATH}" -DBUILD_TYPE=Release <SOURCE_DIR>
    BUILD_IN_SOURCE ON
    UPDATE_COMMAND ""
    BUILD_COMMAND ${CMAKE_MAKE_PROGRAM}
    INSTALL_COMMAND ""
    LOG_DOWNLOAD ON
    LOG_UPDATE ON
    LOG_CONFIGURE ON
    LOG_BUILD ON
)

ExternalProject_Get_Property (googletest SOURCE_DIR)

set (GTEST_INCLUDE_DIR "${SOURCE_DIR}/include")
set (GTEST_LIBRARY_DIR "${SOURCE_DIR}")

repository: jeremyletang/sad

repo_name: jeremyletang/sad


text:
@InProceedings{jiang16,
  supplementary = {Supplementary:jiang16-supp.pdf},
  title = {Doubly Robust Off-policy Value Evaluation for Reinforcement Learning},
  author = {Nan Jiang and Lihong Li},
  pages = {652-661},
  abstract = {We study the problem of off-policy value evaluation in reinforcement learning (RL), where one aims to estimate the value of a new policy based on data collected by a different policy. This problem is often a critical step when applying RL to real-world problems. Despite its importance, existing general methods either have uncontrolled bias or suffer high variance. In this work, we extend the doubly robust estimator for bandits to sequential decision-making problems, which gets the best of both worlds: it is guaranteed to be unbiased and can have a much lower variance than the popular importance sampling estimators. We demonstrate the estimator's accuracy in several benchmark problems, and illustrate its use as a subroutine in safe policy improvement. We also provide theoretical results on the inherent hardness of the problem, and show that our estimator can match the lower bound in certain scenarios.},
}

repository: mreid/papersite

repo_name: mreid/papersite

gha_language: TeX


text:
% References

@report{elastic-weight-consolidation,
	url             = {https://arxiv.org/abs/1612.00796},
    date            = {2017-01-25},
    author          = {{James Kirkpatrick, Razvan Pascanu, Neil Rabinowitz, Joel Veness, Guillaume Desjardins, Andrei A. Rusu, Kieran Milan, John Quan, Tiago Ramalho, Agnieszka Grabska-Barwinska, Demis Hassabis, Claudia Clopath, Dharshan Kumaran, Raia Hadsell}},
    institution     = {},
    type            = {report},
    title           = {Overcoming catastrophic forgetting in neural networks},
}
@report{incremental-moment-matching,
	url             = {https://arxiv.org/abs/1703.08475},
    date            = {2018-01-30},
    author          = {{Sang-Woo Lee, Jin-Hwa Kim, Jaehyun Jun, Jung-Woo Ha, Byoung-Tak Zhang}},
    institution     = {},
    type            = {report},
    title           = {Overcoming Catastrophic Forgetting by Incremental Moment Matching},
}
@report{better-weight-consolidation,
	url             = {https://arxiv.org/pdf/1802.02950.pdf},
    date            = {2018-12-12},
    author          = {{Xialei Liu, Marc Masana, Luis Herranz, Joost Van de Weijer, Antonio M. Lopez, Andrew D. Bagdanov}},
    institution     = {},
    type            = {report},
    title           = {Rotate your Networks: Better Weight Consolidation and Less Catastrophic Forgetting},
}

@book{lifelong-machine-learning-book,
	url = {https://www.cs.uic.edu/~liub/lifelong-machine-learning.html},
    date = {2018},
    author = {{Zhiyuan Chen, Bing Liu}},
    title = {Lifelong Machine Learning},
    note = {Online; accessed: 2019-03-10}
}
@book{nielsen-book,
	url = {http://neuralnetworksanddeeplearning.com/},
    date = {2019-01-20},
    author = {Michael Nielsen},
    title = {Neural Networks and Deep Learning},
}

% Introduction

@article{nvidia-ai-explained,
    url             = {https://www.nvidia.com/content/dam/en-zz/Solutions/deep-learning/home/DeepLearning_eBook_FINAL.pdf},
    author          = {Michael V. Copeland},
    journaltitle    = {Nvidia},
    title           = {Deep Learning explained - What is, and how it can deliver business value to your organization},
    note            = {Online; accessed: 2019-03-20}
}

@article{alphastar,
	url             = {https://deepmind.com/blog/alphastar-mastering-real-time-strategy-game-starcraft-ii/},
    date            = {2019-01-24},
    author          = {The AlphaStar team},
    journaltitle    = {Google DeepMind Blog},
    title           = {AlphaStar: Mastering the Real-Time Strategy Game StarCraft 2},
    note            = {Online; accessed: 2019-03-10}
}
@online{ibm-watson-healthcare,
    url = {https://www.ibm.com/watson-health/learn/artificial-intelligence-medicine},
    date = {2019},
    author = {IBM Watson Healthcare},
    title = {Artificial Intelligence in medicine},
    note = {Online; accessed: 2019-03-20}
}
@online{ibm-watson-facts,
    url = {https://www.ibm.com/blogs/watson-health/watson-health-get-facts/},
    date = {2019},
    author = {IBM Watson Healthcare},
    title = {Watson Health: Get the Facts},
    note = {Online; accessed: 2019-03-20}
}
@online{airbnb-ic-video,
    url = {https://www.youtube.com/watch?v=tPb2u9kwh2w},
    date = {2019-03-06},
    author = {Tensorflow},
    title = {Powered by TensorFlow: Airbnb uses machine learning to help categorize its listing photos},
    note = {Online; accessed: 2019-03-18}
}
@article{airbnb-ic-blog,
    url = {https://medium.com/airbnb-engineering/categorizing-listing-photos-at-airbnb-f9483f3ab7e3},
    date = {2018-05-02},
    author = {{Shijing Yao, Qiang Zhu, Phillippe Siclait}},
    journaltitle = {Airbnb Engineering \& Data Science},
    title = {Categorizing Listing Photos at Airbnb},
    note = {Online; accessed: 2019-03-18}
}
@online{connecterra-video,
    url = {https://www.youtube.com/watch?v=6taIMlZysJQ},
    date = {2019-02-13},
    author = {Google},
    title = {Connecterra: Using AI to give nature a voice},
    note = {Online; accessed: 2019-02-13}
}
@online{connecterra-web,
    url = {https://www.connecterra.io/},
    date = {2019-02-13},
    author = {Connecterra},
    title = {Rewiring humankind’s relationship with nature},
    note = {Online; accessed: 2019-02-13}
}
@online{tensorflow-stories,
    url = {https://ai.google/stories/tensorflow/},
    date = {2019-02-13},
    author = {Google AI},
    title = {AI for everyone: inside TensorFlow, our open-source machine learning platform},
    note = {Online; accessed: 2019-02-13}
}

@article{nvidia_paradigms_blog,
    url             = {https://www.nvidia.com/content/dam/en-zz/Solutions/deep-learning/home/DeepLearning_eBook_FINAL.pdf},
    date            = {2018-08-02},
    author          = {Isha Salian},
    journaltitle    = {Nvidia Blog},
    title           = {SuperVize Me: What’s the Difference Between Supervised, Unsupervised, Semi-Supervised and Reinforcement Learning?},
    note            = {Online; accessed: 2019-03-23}
}

@article{skymind_neural_network,
    url             = {https://skymind.ai/wiki/neural-network},
    author          = {Skymind},
    title           = {A Beginner's Guide to Neural Networks and Deep Learning},
    note            = {Online; accessed: 2019-03-23}
}

% Motivation

% ethics
@online{futureoflife-ai-open-letter,
	url = {https://futureoflife.org/ai-open-letter/?cn-reloaded=1},
    date = {2015},
    author = {Future of Life Institute},
    title = {Research Priorities for robust and beneficial Artificial Intelligence},
    note = {Online; accessed: 2019-03-20}
}
@report{futureoflife-research-priorities,
	url             = {https://futureoflife.org/data/documents/research_priorities.pdf?x72847},
    date            = {2015},
    author          = {{Stuart Russell, Daniel Dewey, Max Tegmark}},
    institution     = {Association for the Advancement of Artificial Intelligence},
    type            = {report},
    title           = {Research Priorities for Robust and Benefcial Artifcial Intelligence},
    note            = {Online; accessed: 2019-03-20}
}
@online{futureoflife-ai-principles,
	url = {https://futureoflife.org/ai-principles/},
    date = {2017},
    author = {Future of Life Institute},
    title = {Asilomar AI principles},
    note = {Online; accessed: 2019-03-20}
}
@report{google-ai-governance,
	url             = {https://ai.google/static/documents/perspectives-on-issues-in-ai-governance.pdf},
    date            = {2019-03-01},
    author          = {Google},
    institution     = {Google AI},
    type            = {report},
    title           = {Perspectives on Issues in AI Governance},
    note            = {Online; accessed: 2019-02-13}
}
@online{google-ai-principles,
	url = {https://ai.google/principles/},
    date = {2019-03-01},
    author = {Google AI},
    title = {Artificial Intelligence at Google - Our Principles},
    note = {Online; accessed: 2019-02-13}
}
@online{telekom-ai-guidelines,
	url = {https://www.telekom.com/en/company/digital-responsibility/details/artificial-intelligence-ai-guideline-524366},
    date = {2018-11-05},
    author = {Verena Fulde},
    title = {Deutsche Telekom’s guidelines for artificial intelligence},
    note = {Online; accessed: 2019-03-20}
}
@online{governanceai_public_report,
	url = {https://governanceai.github.io/US-Public-Opinion-Report-Jan-2019/},
    date = {2019-01-20},
    author = {{Baobao Zhang, Allan Dafoe}},
    title = {Artificial Intelligence: American Attitudes and Trends},
    note = {Online; accessed: 2019-03-20}
}

% continual learning
@article{continual-ai-blog,
	url = {https://medium.com/continual-ai/why-continuous-learning-is-the-key-towards-machine-intelligence-1851cb57c308},
    date = {2019-03-01},
    author = {Vincenzo Lomonaco},
    journaltitle = {ContinualAI},
    title = {Why Continual Learning is the key towards Machine Intelligence},
    note = {Online; accessed: 2019-02-02}
}
@online{oxford-continual-continuous,
    url = {https://en.oxforddictionaries.com/usage/continual-or-continuous},
    date = {2019-03-01},
    author = {Oxford Living Dictionaries},
    title = {Continuous or Continual},
    note = {Online; accessed: 2019-02-02}
}
@misc{neurala_video,
    url = {https://www.youtube.com/watch?v=QGFlZfflYYg},
    date = {2017-05-16},
    author = {Neurala Inc.},
    title = {Forget Catastrophic Forgetting: AI That Learns After Deployment},
    note = {Online; accessed: 2019-01-20}
}
@report{measuring_cf_in_nns,
	url             = {https://arxiv.org/abs/1708.02072},
    date            = {2017-11-09},
    author          = {{Ronald Kemker, Marc McClure, Angelina Abitino, Tyler Hayes, Christopher Kanan}},
    institution     = {Proceedings of the National Academy of Sciences},
    type            = {report},
    title           = {Measuring Catastrophic Forgetting in Neural Networks},
}
@report{cf_application_oriented_study,
    date            = {2019},
    author          = {{Benedikt Pfuelb, Alexander Gepperth}},
    institution     = {University of Applied Sciences Fulda},
    type            = {report},
    title           = {A comprehensive, application-oriented study of catastrophic forgetting in DNNS},
}

% Related work

@report{lifelong_learning_review,
    url = {https://arxiv.org/abs/1802.07569},
    date = {2019-02-11},
    author = {{German I. Parisi, Ronald Kemker, Jose L. Part, Christopher Kanan, Stefan Wermter}},
    institution = {},
    type = {report},
    title = {Continual Lifelong Learning with Neural Networks: A Review},
}
@report{natural_gradient_descent,
    url = {https://arxiv.org/abs/1806.03884},
    date = {2018-06-11},
    author = {{Thomas George, César Laurent, Xavier Bouthillier, Nicolas Ballas, Pascal Vincent}},
    institution = {},
    type = {report},
    title = {Fast Approximate Natural Gradient Descent in a Kronecker-factored Eigenbasis},
}
@report{iCARL,
    url = {https://arxiv.org/abs/1611.07725},
    date = {2017-04-14},
    author = {{Sylvestre-Alvise Rebuffi, Alexander Kolesnikov, Georg Sperl, Christoph H. Lampert}},
    institution = {},
    type = {report},
    title = {iCaRL: Incremental Classifier and Representation Learning},
}
@report{DEN,
    url = {https://arxiv.org/abs/1708.01547},
    date = {2018-06-11},
    author = {{Jaehong Yoon, Eunho Yang, Jeongtae Lee, Sung Ju Hwang}},
    institution = {},
    type = {report},
    title = {Lifelong Learning with Dynamically Expandable Networks},
}
@report{LwF,
    url = {https://arxiv.org/abs/1606.09282},
    date = {2017-02-14},
    author = {{Zhizhong Li, Derek Hoiem}},
    institution = {},
    type = {report},
    title = {Learning without Forgetting},
}
@report{Keep_and_Learn,
    url = {https://arxiv.org/abs/1805.10784},
    date = {2018-05-28},
    author = {{Hyo-Eun Kim, Seungwook Kim, Jaehwan Lee}},
    institution = {},
    type = {report},
    title = {Keep and Learn: Continual Learning by Constraining the Latent Space for Knowledge Preservation in Neural Networks},
}
@report{FearNet,
    url = {https://arxiv.org/abs/1711.10563},
    date = {2018-02-23},
    author = {{Ronald Kemker, Christopher Kanan}},
    institution = {},
    type = {report},
    title = {FearNet: Brain-Inspired Model for Incremental Learning},
}
@report{Selfless_Sequential_Learning,
    url = {https://arxiv.org/abs/1806.05421},
    date = {2018-12-16},
    author = {{Rahaf Aljundi, Marcus Rohrbach, Tinne Tuytelaars}},
    institution = {},
    type = {report},
    title = {Selfless Sequential Learning},
}
@report{Synaptic_Intelligence,
    url = {https://arxiv.org/abs/1806.05421},
    date = {2017-06-16},
    author = {{Friedemann Zenke, Ben Poole, Surya Ganguli}},
    institution = {},
    type = {report},
    title = {Continual Learning Through Synaptic Intelligence},
}

% Essentials

% Python
@online{python-lang,
	url = {https://www.python.org/doc/essays/blurb/},
    date = {2019-03-01},
    author = {Python},
    title = {What is Python? Executive Summary},
}
@online{python-software-foundation,
	url = {https://www.python.org/psf/summary/},
    date = {2019-03-01},
    author = {Python Software Foundation},
    title = {Executive Summary: The Python Software Foundation},
}
% NumPy
@online{numpy-package,
	url = {https://docs.scipy.org/doc/numpy/about.html},
    date = {2019-03-01},
    author = {NumPy},
    title = {About NumPy},
}
@online{numpy-broadcasting,
	url = {https://docs.scipy.org/doc/numpy-1.13.0/user/basics.broadcasting.html},
    date = {2019-04-09},
    author = {NumPy},
    title = {Broadcasting},
}
%
% Tensorflow
@online{tensorflow-about,
	url = {https://www.tensorflow.org/about},
    date = {2019-03-15},
    author = {Tensorflow},
    title = {Why Tensorflow},
}
@online{tensorflow-architecture,
	url = {https://www.tensorflow.org/guide/extend/architecture},
    date = {2019-03-15},
    author = {Tensorflow},
    title = {Tensorflow Architecture},
}
% mnist
@online{mnist-database,
	url = {http://yann.lecun.com/exdb/mnist/},
    date = {2019-03-15},
    author = {Yann LeCun, Corinna Cortes, Christopher J.C. Burges},
    title = {THE MNIST DATABASE of handwritten digits},
}
% DNN

@misc{math_nn_andrey,
	url = {https://towardsdatascience.com/under-the-hood-of-neural-networks-part-1-fully-connected-5223b7f78528},
    date = {2018-04-08},
    author = {Andrey Sakryukin},
    title = {Under The Hood of Neural Networks. Part 1: Fully Connected.},
}
@misc{medium_nn_from_scratch,
	url = {https://medium.com/datadriveninvestor/math-neural-network-from-scratch-in-python-d6da9f29ce65},
    date = {2018-11-18},
    author = {Omar Aflak},
    title = {Math of Neural Networks},
}
@misc{math_nn_skalski,
	url = {https://towardsdatascience.com/https-medium-com-piotr-skalski92-deep-dive-into-deep-networks-math-17660bc376ba},
    date = {2018-08-17},
    author = {Piotr Skalski},
    title = {Deep Dive into Math Behind Deep Networks},
}
@report{relu,
	url             = {https://arxiv.org/abs/1803.08375},
    date            = {2019-02-07},
    author          = {Abien Fred Agarap},
    institution     = {Proceedings of the National Academy of Sciences},
    type            = {report},
    title           = {Deep Learning using Rectified Linear Units (ReLU)},
}
@misc{bayesian_nn_need,
	url = {https://medium.com/neuralspace/bayesian-neural-network-series-post-1-need-for-bayesian-networks-e209e66b70b2},
    date = {2019-04-10},
    author = {Kumar Shridhar},
    title = {Bayesian Neural Network Series Post 1: Need for Bayesian Neural Networks},
}
@misc{explain_bayesian_nn,
	url = {https://towardsdatascience.com/making-your-neural-network-say-i-dont-know-bayesian-nns-using-pyro-and-pytorch-b1c24e6ab8cd},
    date = {2019-04-10},
    author = {Paras Chopra},
}

% Catstrophic forgetting
@book{psychology_learning_mccloskey_cohen,
    author    = {Michael McCloskey, Neal J. Cohen},
    title     = {The Psychology of Learning and Motivation},
    year      = {1989},
    publisher = {Academic Press Inc.},
}

% EWC
@online{Bayes_theorem,
	url = {https://en.wikipedia.org/wiki/Bayes%27_theorem},
    date = {2019-04-06},
    author = {Wikipedia},
    title = {Bayes' theorem},
}
@online{schaeffer_ewc,
	url = {https://rylanschaeffer.github.io/content/research/overcoming_catastrophic_forgetting/main.html},
    date = {2019-04-06},
    author = {Rylan Schaeffer},
    title = {Explanation of Overcoming Catastrophic Forgetting in Neural Networks},
}

% Project
@misc{github_ewc_issue_one,
	url = {https://github.com/stokesj/EWC/issues/1},
    date = {2017-09-07},
    author = {James Stokes},
    title = {compute fisher matrix},
    note = {Online; accessed: 2019-03-30}
}

% Figures
@misc{mnist_examples_image,
	url = {http://neuralnetworksanddeeplearning.com/images/mnist_100_digits.png},
    date = {2015},
    author = {Michael Nielsen},
    title = {Neural Networks and Deep Learning},
    note = {Figure \ref{fig:mnist_examples}}
}
@misc{dnn_1hidden_example_image,
	url = {http://neuralnetworksanddeeplearning.com/images/tikz35.png},
    date = {2015},
    author = {Michael Nielsen},
    title = {Neural Networks and Deep Learning},
    note = {Figure \ref{fig:dnn_example}; Online; accessed: 2019-01-20}
}
@misc{dnn_3hidden_example_image,
	url = {http://neuralnetworksanddeeplearning.com/images/tikz41.png},
    date = {2015},
    author = {Michael Nielsen},
    title = {Neural Networks and Deep Learning},
    note = {Figure \ref{fig:dnn_example}; Online; accessed: 2019-01-20}
}
@misc{dnn_neuron_basic_overview,
    url = {https://tex.stackexchange.com/questions/132444/diagram-of-an-artificial-neural-network},
    date = {2019-03-01},
    author = {Gonzalo Medina},
    title = {Diagram of an artificial neural network},
    note = {Figure \ref{fig:dnn_node_procedure}}
}
@misc{tf_ml_steps_pipline,
    url = {https://www.tensorflow.org/site-assets/images/marketing/why/tab/how_ml_works_tab2_graphic.png},
    author = {Tensorflow},
    title = {Steps to solving an ML problem},
    note = {Figure \ref{fig:ml_steps_pipeline}; Online; accessed: 2019-03-20},
}
@misc{tf_dnn_shapes_textures,
    url = {https://www.tensorflow.org/site-assets/images/marketing/why/tab/how_ml_works_tab3_graphic.png},
    author = {Tensorflow},
    title = {Steps to solving an ML problem},
    note = {Figure \ref{fig:tf_dnn_shapes_textures}; Online; accessed: 2019-03-20},
}
@misc{tf_dnn_training_cat_example,
    url = {https://www.tensorflow.org/site-assets/images/marketing/why/tab/how_ml_works_tab4_graphic.gif},
    author = {Tensorflow},
    title = {Training a neural network},
    note = {Figure \ref{fig:tf_dnn_training_cat_example}; Online; accessed: 2019-03-20},
}
@misc{airbnb_image_classification,
    url = {https://cdn-images-1.medium.com/max/1600/1*osFCyCSLjdEIEZe9a8gIVg.png},
    date = {2018-05-02},
    author = {{Shijing Yao, Qiang Zhu, Phillippe Siclait}},
    title = {Categorizing Listing Photos at Airbnb},
    note = {Figure \ref{fig:airbnb_image_classification}; Online; accessed: 2019-03-18},
}
@misc{airbnb_object_detection,
    url = {https://cdn-images-1.medium.com/max/1600/1*hT1TKQnnw-IoZGEj8Z_5og.png},
    date = {2018-05-02},
    author = {{Shijing Yao, Qiang Zhu, Phillippe Siclait}},
    title = {Categorizing Listing Photos at Airbnb},
    note = {Figure \ref{fig:airbnb_image_classification}; Online; accessed: 2019-03-18},
}
@misc{ml_paradigms_image,
    url = {https://cdn-images-1.medium.com/max/1760/0*-068ud_-o3ajwq_z.jpg},
    date = {2018-12-04},
    author = {Hunter Heidenreich},
    title = {What are the types of machine learning?},
    note = {Figure \ref{fig:ml_paradigms_image}; Online; accessed: 2019-03-26}
}
@misc{tensorflow_graph_image,
    url = {https://www.tensorflow.org/images/tensors_flowing.gif},
    author = {Tensorflow},
    title = {Graph and Sessions},
    note = {Figure \ref{fig:tensorflow_graph_image}; Online; accessed: 2019-03-26}
}
@misc{tensorflow_programming_environment_image,
    url = {https://www.tensorflow.org/images/tensorflow_programming_environment.png},
    author = {Tensorflow},
    title = {Premade Estimators},
    note = {Figure \ref{fig:tensorflow_programming_environment_image}; Online; accessed: 2019-03-26}
}