Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • e17b769c731e01990a1d3a1eee15296194a47311
  • main default
2 results
Created with Raphaël 2.2.027Nov242322181716141312109876531Oct29231918171413121110978Sep30Jul2427Jun2618161524May112Dec629Nov153Jul225Junfeat(thesis): provide proof for the equivalence statement in method sectionrefactor(thesis): provide label and equation number to one of the itemsrefactor(thesis): provide label to one of the itemswip(thesis): introduce two TODOswip(thesis): refine linear inclusionwip(thesis): remove those last squared bracketsfeat(thesis): introduce all these interval spaces and more DNN symbolswip(thesis): refine linear inclusionrefactor(thesis): replace one last sb to nwip(thesis): refine optimization objectiverefactor(thesis): reformatwip(thesis): use curly brackets for simple math expressionswip(thesis): correct typorefactor(thesis): switch to closed intervalsrefactor(thesis): introduce a period "Then" instead of ", then"refactor(thesis): introduce some bes and as per definitionsfeat(thesis bib): introduce one more publication about nets and one about optimizationwip(thesis): introduce one sentence for the interval arithmeticswip(thesis): switch to closed subsets for the methodrefactor(thesis): refine some notation on input regions and the methodrefactor(thesis): rename one labelwip(differentiation): fiddle with activationswip(thesis): improve subsection name for softplus lpuwip(thesis): introduce bes, non-breaking spaces and as per definitions into lower bound for non-linear optimization problemwip(thesis): correct brackets after Barbara's remark in linear and non-linear optimization problemwip(thesis): introduce bes, non-breaking spaces and as per definitions into non-linear optimization problemwip(thesis): correct uncertain input region definition for capital Thetawip(thesis): improve uncertain input region definition with Barbara's remarkswip(thesis): correct input region definition to capital Thetaswip(thesis): correct one comma into periodwip(thesis): adapt QuadLU proposition to new h indexing and improve formulationwip(thesis): introduce another remark on QuadLUwip(thesis): remove one "This concludes the proof"wip(thesis): introduce one more TODOwip(thesis): adapt softplus proposition to new h indexing and improve formulationwip(thesis): introduce one more non-breaking spacewip(thesis): adapt sigmoid proposition to new h indexingwip(thesis): improve formatting of activation functions setting introductionwip(thesis): reformulate we to neutralwip(thesis): use eqref in lpu theorem reference