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.028Dec271312430Nov2927242322181716141312109876531Oct29231918171413121110978Sep30Jul2427Jun2618161524May112Dec629Nov153Jul225Junrefactor(thesis): improve formulation about the composition being applied element-wiserefactor(thesis): introduce two more non-breaking spacesfix(thesis): improve definition of i^{(i)}refactor(thesis): update one reference after doing a data_validation with biber and updating the bibrefactor(thesis references): update bib after doing a data_validation with biberrefactor(thesis): remove remarks on GUM section 4.3.7 about upper and lower bounds for uncertaintiesrefactor(thesis): introduce parametric when talking about quadlurefactor(thesis): introduce non-breaking spaces all overrefactor(thesis): correct one formulation as Sascha suggestedrefactor(thesis): introduce parameter into quadlu operatorrefactor(thesis): make softplus operator more robustrefactor(thesis): streamline formulation of linear inclusion first order approximationrefactor(thesis): improve formulation of optimization problemsrefactor(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 chapters