Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027Dec1312430Nov2927242322181716141312109876531Oct29231918171413121110978Sep30Jul2427Jun2618161524May112Dec629Nov153Jul225Junrefactor(thesis): introduce one more proof for propositionrefactor(thesis): add forgotten 0 for thetarefactor(thesis): change definiton of varrhofix(thesis): correct simulation ideasrefactor(thesis): introduce some equation numbersrefactor(thesis): introduce reasoning about QuadLU proof ideafeat(thesis): include reference about softplus outperforming ReLU in SATrefactor(thesis): write every theorem, definition, proposition with capital letterfeat(thesis): introduce long headings into tocstyle(differentiation): blacken notebookfix(thesis): repair formula syntax errorfix(thesis): replace a wrong referencerefactor(thesis): correct another typorefactor(thesis): improve one formulation after discussing it with Barbararefactor(thesis): correct a definition signrefactor(thesis): express the first interval extension clearer by reordering termsrefactor(thesis): correct a minor typorefactor(thesis): introduce some whitespace to silence some IDE warningrefactor(thesis): simplify definition of uncertain input region after discussing it with Barbararefactor(thesis): rename optimum of non-linear optimization problem to \Delta x_{non}refactor(thesis): introduce a couple of todos after discussing the draft with Barbararefactor(thesis): correct another minor typofix(thesis): correct proof of QuadLU LPUwip(thesis): correct a minor typofix(thesis): fix alphas domain for QuadLUwip(thesis): introduce first ideas about what to do in the simulation sectionswip(thesis): improve labels of background chapterswip(thesis): improve question and remarkbox titlesrefactor(thesis): refactor preliminaries into uncertainty propagation chapterfeat(thesis): finally choose nice titel for robustness verification sectionrefactor(thesis): adapt indentionrefactor(thesis): correct one interval extensions small letter and replace one \eqcolon by \eqqcolonrefactor(thesis): replace one residual QuadLU by \quadlufeat(thesis): extend symbols by all that's required by chapter 4 and some of chapter 3 and reorderrefactor(thesis): increase width of symbols tablerefactor(thesis): introduce a lot of non-breaking spacesrefactor(thesis): introduce ReLU operatorfeat(thesis): extend symbols significantlyfeat(thesis): introduce LPU into abbreviationsrefactor(thesis): change tabulars into ltablex tables with page breaks