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): introduce short title for LPU sectionfeat(thesis): introduce title to proof for main LPU as there is a remark in between the theorem and the proofrefactor(thesis): introduce some more non-breaking spaces and capitalize Definition references and suchfeat(thesis): introduce titles for all theorems and propositionsrefactor(thesis): change requirement to prerequisite when talking about continuous differentiabilityfix(thesis): improve and correct remark about continuous differentiability prerequisitefix(thesis): correct matrix elements in symbols to lower case letterfix(thesis): remove misleading and wrong uncertainty definition from symbolsfeat(thesis): introduce open set Omega into symbolsrefactor(thesis): change U as an open set to Omega not to confuse it with covariance matricesrefactor(thesis): remove one of Sascha's remarks as the definitions and references to the GUM are in place nowrefactor(thesis): introduce short page header title for LPU for DNNrefactor(thesis): remove multivariate setting from GUM's definition of expanded measurement uncertaintyrefactor(thesis): remove symbols from GUM definitions where they are not given in the GUMrefactor(thesis): remove one of the remarkboxes that is not needed anymore after merging preliminaries in other sectionsrefactor(thesis): correct capitalizationrefactor(thesis): introduce one better space in formularefactor(thesis): change element or coordinate to component when talking about vectorsrefactor(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 toc