From 72afe9ebdcd4e0d8de34d0066cccc8d0d3a2d0c2 Mon Sep 17 00:00:00 2001 From: Jan Kowalczyk Date: Sat, 11 Oct 2025 13:38:39 +0200 Subject: [PATCH] nicer looking abstract --- thesis/Main.pdf | Bin 7332409 -> 7332414 bytes thesis/thesis_preamble/abstract.tex | 2 ++ 2 files changed, 2 insertions(+) diff --git a/thesis/Main.pdf b/thesis/Main.pdf index cfd9b19c3e080430698c4cba70446c95195b63f1..527650733c90324dfbea2051be49f36a544581dc 100644 GIT binary patch delta 9911 zcmdmaWIyx1Bm0>*+%=vq$d|8GAMRaz$Bbv+@9-BZ=6=+w3Ru6`I`h_(OPP-|`8@fy zxV+yq?F6sq&ByYbb%zwXojAAie2519LREfJsj zV%L(>u3;guMrXq3?|*iZV-vsUyv}{z^E`_ET&}0YcK=@Xt%O0}I&R6id%4>VY-^MV)tZ~sY1SNkDSPwmd68QxOxGDb zt5Ch$5cd7dbTuuDr|qsAFHPTb&i>vX#`#UHo4>`?M?c9L|T<$2v zqxflW?45!w2jUHax4m3kcI`~p)Tc)l1+sA#Ua6e;FDvj$J3cj zvFCF>X0Cta7___M>$xM3`7W{A`keZFN&on6*S}M(Z?kv33vv+K`*v1IjK+C~kEINS z4YN8<9_~JW`b*jR+K}Z7RM`&l_^}I2o}?Un@Kd)aPj_U{#OsT^ z{#(2@-uC#)-qMS+0paQ$`0BRcXI_B;}8U*Z&SvBON@qR+$yo*MgZym-NT zIGE|?nW6^wPo3TlA+n|ay|T50-zj#8z4LeFoT9JBCqARl+M7jvN{`lx#`lubjbB6- z<$qb@Yq&t8>MZv$lPSq{6F=v6RxEhG_~rC(ch?!lWIS4CubaH5tfAe1wqL+D2QJfk zFOM#j`aQG0Uen(ge0OnLgR1wd10p63#xb{Z4o6nzct7B|aPRfH?HgV{J{uip^S1QL z?tn)Lt&=zNTzOj%U32u2>go_K=5UP(-_68&op_`+@O;y;T&ct#xi8JMpK;>-j2hdP zRAZiLsiu3brJhMvJ(sn!IqKc2FHW3C1MC(`_||s{6>eV_Y^i%ko~e7T0ow}6zkDo< zr$tqz?7QQc%ds}0P~CP;?v-6nw{%Q!Heg~8+?4Qky0u1~dT*4aL~D4WZLAyDvX@(W zCcKuPc5#;Li_|lV(vA9>Idsd_D;gsHs;)n>;G>-yTf4G_@S7fm2^SQ)!ShZ=YDkDS^c5F7?~0YgDTXy_DH5YIR7xtHJ^Aa zYPqw);{v@Y=NJ8*w^V&5!^gdwjf2_z7JqPT7h+$?&GDD5SoGYT7eV^ZUkEg;*tPG8 zEq_5sR`419>MEbWoqY{L&ws69o_6&__B`{DrYbAl1S5yizWUuME(-6WC#*T&P};F) z4kPn~-G3Wz<}|nQ+cPq)FF&Vud~M#s#MZ2=wnzI6xD$RYv*>}{1KTkJh`JpEVPuXsGv?A?7qr28)^T>lLN?)1oE%C@q z`LnM;eZADisQD}PJD3{k+4_$u-($J9?Xvb8E7^+le7*#O56=H~to2i|s(UCZy)iey z%__HY)87xO|DVO)p0n?iYhX(5O%;h^wNGu$zb8%qI& zOWyWsOTPAMOaAt1OM&)kOTqSPOQH5^OX2ovOOf_!OVRdfOR@H9OY!zD%OPTg+OWF2nOS$%HOZoO{ONI7oOU3qTOQrT|OXc=zOO^I&OV##jOSSfD zOZE0@OO5twOU?FbORe^5OYQb*OP%&=OWpQrOTG4LOa1n0OM~`mOT+eROQZH`OXK!x zOOy6$OVjphOSATBOY`<>ON;huOOPL}+N&+C+p8^Y+N&*X+p8_@+N&+?+p8@d+N&)c z+p8^|+N&*{+p8^I+N&*H+p8_z+N&+y+p8@-+N&)++p8_T+N&+S+p8^o+N&*n+p8`8 z+N&-7+p8@D+N&)C+p8^u+N&*t+p8@@+N&)?+p8_Z+N&+Y+p8@j+N&)i+p8_3+N&+2 z+p8^O+N&*N+p8_(+N&+&+p8@T+N&)S+p8^;+N&*-+p8^8+N&*7+p8_p+N&+o+p8@z z+N&)y+p8_J+N&+I+p8^e+N&*d+p8_}wpUx`Yj!f5TUt*4*cPTa{lcMqmU`)@k_QU+ zdL>y-+dS9e=;j)UiG%Cw~82Ym2vnXQNZ26MM)M-qiCBngOSDHlJZT#hA*X zv3lv!)c28LH^2O}ebRsbx!<1q$FnNAC5zbjLaeX9QLjC%3OdK;temSq9o*VM(Et~6@hc)E1E%c&)sW6Ji% zg*oq<6cs$fAVmMQQ`LmLqMMvmk>%?uIipLLEZ6k8wJ83D>nqRvoo^iXuHnBgv+=6K zuUUtBlD}~O?eLYkG@nO-`J{r;43kM}MlC$5hffq3HT9@0K9OP6)}#9PM1@hKkILi| zDMt0JKB|{blo&OiQJZ$>()F*?&Z+F0bNWV<$E_1wna=`|^v06{M(rK$TOWIG z(p#ck=%Ibn=Tg$b%^SR)L|KLZnowobprat|;q*j3%g4R$sg2Qbk!QB6%!~9g)js8xymjq=t%8|-UB~-% z)wEBz?VGT{bn@D>DyiG2ZrQlIb@iqAm$MIf%5p6$DB`UQFFKVzDR};bIp5YiITP=7 z?$^{OZyu{YpQB;M2gYr}*>j-bttB zru@m9|KyXpYPgN=&QF>r-_M^O^L5b^{`H>g>YR(tT2IQhpAhqXU}N-|E**yz|=Y z9k*(|r|S3gNq-nlGP8Tj**JZ=5IAYSoOb08mXpfro^rOnpKi>YRQudpE}eJY4yR8~ zwocmrH}KPy`6~YRl`Gq-|GoJ;>ABp5KY!Oxs<+Xp{AYO5KC+|UR=x7!{7LouReqjd zJxTojq&;8uJ$d@yEAHp~Cs*}V*VpP+9?XS%jBAy!JkBhKbB6c(f-*M{o$?q zr1$rx)%^EzluL=9ATd)YcuJ+A?328ief1Mdb_EBOE?%ONoVaTJl#+ceLB;cy)U+-6 zmf|_R{;^7Iz1~Z;?%ZASN-sACUn-uxBwT6bXO+FzJ%6p4a7BOWm$~{c&4Vu~oH#bg zIwNN%_pz7yFZG2J*-EDKywRC>-0fueq=WOlq*9moTz)-C(WoG8MbA7*waFQ6rxRug z-uX4L+|%u@l4R}Hl%AgLlGPhi=Jf25)c=)sXuYa%z2eOJBfRrCOQ?8xKlC<6I)^=gd)IyWj>n5%Fzcz*W zd-7vTq3ORjdbZu#a=N}k`h7-c{S1{Gx|}YsR73Y>i}*|u7u&3;2d`00xo>n1YajydfT z6Fw~_e$t(U4w>oC`gLyf>fG?vxp7wKhVFaMywt0C$yfiW@UMDSR+(W~ZlGWO&$&q4 zyWHHlxZj3vrv2uU>f)1ob?(;6FxF3W&o8!TFRa`9gt6}ld%b?;3!{_qmUHCyd3@qH z{-u6#x~H6V=%)Uq)q9jGo#t7cnSAEz{k|zSM+gc>FO ziO-C;*!_3=bcV0dkRhgnuHu0lo+0>7kWs^-c%BGuY ze0%V_>Xej7^~dDWcCV^p-P$LK>mtri{dU*?Qvdyn0-ic`OZPfHD&YRLehSY6Hr^@C z>nuFveswiJUAX>+Mm@jWQMJll+I$l$HTkAiYVy5a?f;7LqPWDbUkYlRH+_N*X*ZO` zIc<>+Qjzs=ztkBrQD~*wTu)xj$x)YDOH}vF%6{)xHDTTo@s-MZJ>`S^e@&`e(iqVa z-t?C5r9az*#uNcbA1P1ahoZ^91B`k;d|FY2D?wcYW*UOFL_YGu7oja_Vc{b`}zh)7hrpa=reo=D|CM@xXd~l5~)( z$Ky6k>yO`|Hms+%fkc^Sa{vbGVT=Ky>)|dT(*Z|pD1!BrX{T6sJ;L>eYz6?<)43?*v}NzF zYyv|i{ln^SChWhW-ap+(+av9c+RWMsDfc8!Hf>kwt}tJ5tjA#K%kPZy56y)@r`bw# z#e55A?t9=Z*|=rad|6L7!7%f+rbq9-uH=4Xaj(h4(0^vf6ibh6pNn^wgkP9iKfggK zl`rU+QYuT3n$p|EuITd@-mf;6m0xvH+H#u1v~R|;^KB>GFI@MJ@0n_b0O}TB&F1FC{L!9Nztv%dMDo_KB=u)3o}%j;l{f zZJPFAwo&Ixi(u1lQhzsc)-ZmaGSf$W<|@zXuiR%cPn9h5Ne2^Fr$e^>^?v8`RrCI5 zzv*?2FMXEJT6NO=#rbp3($+j)z1cVO>=veIt8#Xy{C+w~_Wv}Q8~&S$ zn^Uf5PP!X&(9!keL1Wc+8Ks{ednY;HpZq6f#*>1&r-I^MeKl@HA^ayVu2!+PcK!6( zU1k3p70YFQMQ@x=uIHN^k~c}_d*hQI6DJ9On?C2nS&NtTswXx7sxD`nbot!WIseu? z>A5$__`2sgtJtD%!jp=#RiEolo>M>PNz-pt@xo&LdFnTdr#zW-TXlM!-p-swPs(?z zOpjOJ`AGKU)cGFkenl0P?tL=r;iPPJ?{$+8Z+XR5_TM6^NO}6*BWw3pPJA-$>ZEAf zley8V^}i-QDXY6JtM2ix-X^%{dgP?t`cv-|w>~+)=GHxH)$ev1JKt-bjE|de=ltKZ z_ov!?nEB-3e^0qb&+N|ptyrQ{Ii>nvg#Jl8_fHn5{~ggdIr*|m{o^p(twEo*=vSt7 zKe;(~((}FvfBr_CwAY&SJaTJ&oWjrR?^X5h==}VCchY|wl}f=q(|73VZ`NC1P#+yP znSI5o>)9d0jPR&uZ19@$$i=5g=o^!?kNKJC-~*%199QRn9ihLiRDQ)~WspH$yJ zp{8onlg-5{^XIGoyq`Krf5DGWd?&*n)c#%ZWcG8F`};J0`pNOF-Y32|=;8WFi`KZU zY+h5l^0DM3zoOaROZQEBRp$A;Th;Va^3q$1lj`-1f|jle_uh5#)wHUfsb54^1nKX5 zzSL@G^HRG_bxW%vmj&IgR{6VcazxRRDQ}Wh&M{A7ygI4zv}&{8RGzx1ODd}arIfyJ zHwo$6bjcv{&833Kj!PVQr#rr@D%(%%d8Z?39AH$|l@c>MWsi*BQcnA+J~q)tFZ(B* zEL!dz95>mgey_LDTa#Li2bNk-aiFWm{pKwWnzuNp_RnLOlB>rJYWF+>^R8}xRN3bR zMX{4U?NWJK>Urw*q>%eH&%lf+*Hu^U(Oa4K;NXgb6O>*$SWWU<(ly1y^rcUh$4rYW zLib+gKbZTkEpLhSOUJ57aZCEXsMUJdzV!Yzku6DZ_J_*Gwtp!Mk{)am4=$N#GEp%_ zL(;8nvfy;vQ~9#>?(f?oQ_N;M|5)IB*v4qSjsmx*aiojbWYrYSNVh1C`K=idexPBF zNo$nAnfimzr493P6r?-7%_f#T60|G1C@^7yi;5cO!^z^jng{P3A`RA)rkv`k>v6mH z*c~J|r$0ILbK#mSyS~ueX4*Q9qZxP8yaV#0b%Au5T?eYtE)L6eQY{bJ9p=@E5GK{)o+~}{#yH_)S~&{ia1Zdd*Obf#8Q$i zU2^xXES`?bht}yCIzN8lzOzJCQpMfAd0F?_0?XVttC*OdzgT{#WTT{$dw%1+Ot#C3 zv*uh~Hf3(;1MXG3j!oe^Q5yd7+N?|K`b)!?UY~jCU~_4>7OpN0KWjeY(!=c1 z@b<*Tntx07*1ub|Guz8P|4M9ZwcGi`FEW1%=KDotcpbm9fcuz=RrHT%p)HG*9&<|? z&lEj-=zIV5*kgvtFE{lqD>-SmcTJc5ISVnPJh!l1uj_G3;u8do!<4mWUn*69oqFd( z&(U)`+$FhZ7Zw|{87CVc5zq9K{~0~gPd3ylPZq+-8+L*I3PZcHXObwXN}A*#EjN_W8RY`sQBO@|oXyGS6EuZ4zAe<`9o#_W9!(sp*yH zW_;^WR(QPP#Iza9D#c&>f4DL8W(h{o5I0GXEy!6(*#=K67XK_gCxqrpxV*KGW3v z#D7Zb`STa_U$95qK6_}o`)fUZF3J9FlKfnf%JV;dn8lj*Q2W=OSudBH-rl)1_D9NU zMb}G>A%Z)9>969>DK%Mp_*F^0=dMk+XMZrf;j}mN-Pfgc-tm`h-p1U0<(?B{bav_G zFPqqsCPoFR{i@FP2+uoRvCV37-jZ1*>b5?`|8=W$ZGAs4xc?$d|MHzJ;r%ZQ-&~vd zEb;#p{T{=!Zy$62`8_Xo@1?*LokE|_E2RGJyO?4i=^}N~;gZXbg#1K~m;P;&5|`Ci z9u)qy`LOTjMfs)KEtzpt84CncmMPRHm5C^iLDC zTNN|IQ*2V&Jwa> zrma!dKB>0p;FhvoZu|3g(gHZ;F7lR;Uy5YxcJD@t0$ltvhrebk>=!PwiEb!eNprxAtAETxn1xse4eCan%{q zhbiv*$*;7!PYPYiIaGP~3wQUKYsOzKRvB!Zx-{*zsO#O-71}(dOM4AsMBP>$S`!*3 zthVvcfl!GZT*aZ8Q?-9YtZ%3nTx(Du`ge}q<^-JU(#lI&Rj3)3XP41Y-^G?V7vF={U-X)z=JoAm}XZV29lu@sb zy737gqwX_`#V2bvHJD6xP2r66nkG2!Nsm9%A>+=O8Qb<1?zuPZX^PoQcdZ)2z3P2CtPR)0G+F;?u_Q+tOUf7m(7WgglxO+Q)|=`ww5QKa_t z)S^hW>A#ibu8?P#v@jNLPKdqClioejGhcKx}} zQ*I&YSh4u%(_XQ16G`U^|0AhNcRE?}#9>fGJX2g!JViWSJgQziN?f_z_TqK+jHen; zcuLRxdV1&A9LBQnS-E2E#lGuapQ)D6d!M*tPy54l%F-PA97-Cp^yQIG+4bOnWUV z;>phU#xL!*o45Yz#Bz)1)S%OP^~($HEk9E^|JJ2|ZM!DEd&8Hwn*HTTz4wm_rB@F=1~7%o2)z5)-7qg+n5u1B(0nwde7+-KNsE#s^9iyQ{$Ug;$OJf zHfL{Mx_@nF>|U|Gna($J6TIIaFDUyO-lw2^^X=(t8b-5X_tqw#h$#DczGjY(*6m+U z)|aO-%{-AO8$J0%O4-+W{))jj-=4f?Vl+24c9~>~+U`H|o%~Fv)>~c;iN0hy*ZJ9| z)7lk&R#PoshC~N3{0n$;COCKHG~IszPrd}_dT#w<-~aNeexi5&)Or0g&WJ5nvQQ0u zHYH?ca8RnB=hR%=jSIF%p4WVF_UisC%QtVGRj{ntI3)F4z*I};&}TfMGmS%1qyJaU zIwkggU(u{pXEIkAEnj(R&N8jydKBKQReREvqOBfRwJk^}i{G?=A5ZF&?*@yitpqCH z-TbKiw~6QV+0$HUx7&YqaMJ3VyCH&E86te*Nwf2K&3Eq+F3oPaxz%5u;aiW%?l@cL?QSz; zuP7X{x_zn=<=N--Og#w!h*|{$N&}tb1}xyXxjTotfqi zn2IdaG4?O|$92;6PkGy|N&D_;%)GmuZCAAK zmkfTs+6F1dFBfE8zpRjT{?Z`p{v~3r!xw|OE?+q2I(>O?#h(A`jyaBBCd_gDk}=2m zi^ClEFA^~hUp{23RXx#F^F9%@sb|ZCuuXHeOcYH~jdTs0Y?`7Q>3(hY-R(TnOn1Cr ceds^q&qVE))A=9eD{`8eaH*=g`nz!f00PMRHvj+t delta 9838 zcmdmYWIyxHBm0>*+%=wF7|x_wzc$>v_>LLRzTe?5G|s1pW_s@Jd$%NWviI`N<(5Y* zF9?-S->Q=5aZ2v{b#a9SYp>n&seX~l%A^qYhoR_m%KRrM^}~PG|Eb%r^!njZ zX19 zJ=aXm$lS@dV>jg-?=fx&?=qWt?6k zdUBaaWU$zthgG+i6mOU;`}WOx^XQAq&fR0axWvrB+0wUVrq%MP=9lX#)Xu#r-GAc6 z>#aqyQMMnRb&AgUcK1x%yH7^{Yd&+@u^PHP-n(&f{rPp~n*?66n~Cw=dR^RWK0{h0 zHMnEV6y2qUGvX{SXmfwCuY7Ir$>{ls#_V!Of0rg-p}uSENi#osNbX*s)-(6#y>si5 zb9XDx>*MM_b~97OYDJ^VUM?-QfaUw6rr12}uj|?Wj#ne}t5wJq^;OK<#V@`3dT*s1 zlR)XrbHVFnC$iUnonBOHV-QnT_R4p`qa2surMH6Zb{S_$tn2IWhmg0{E6VoHILyjvuOqwB>SASxzNL95-wE>T4 zM9$_tjj=P18_%9wW%_pE9`T}xS&UkWpQk-g{+xDIO{HU6V1dK&&nuK>t+w*FUn|{} zYq588pRRAz_nc-sL38h#!e&+9x6P8F7xbMkHV1xBGhmFh7Zzqb9ra9S9OL*%NO;HzM3xuOr#BkQ%qjXn^Jv1uH0nTGRu;<2&aZ4ms`!^ zGo1g5+B$A4sF|hO5T_%fm$hP>tf-&jlrL5<`aU$D7W|UKv;O-M*{mVn-!F^wr+)WSHM5SpLS-p6ddfocQ*PqX1b?5Q5ebr--S`$$COwY`E&fTIT z%U3B~F2D9M@qN-_ZlC2IS2GP7Qd*VxL*oKkI0L=8X373Yl{m<2q~9jEgqz88&oQG% z`vqV2D}G@;n&FjKcy5}(iZ;t{?Grj4TGS^sNEzn6NswSEeDn24cy+4U9@c`w^)^4| zec6=CtMufEAX8t`#)P-es~PqOPmZ&g(Rw}c5RhR1*mrq~b zXO^B{+iT+YYIn>DK6UAPc1(KHE@!y?aGbIKY>trIdm9$BR~y;b_svymf6S7_x{ym> z^u@^o_2G98%zG;%b|gXwm;j_WkIohh9b+=|(-TuClJ?PC>4yzAROMl9)O%R>J7$VUO(FeEMnEe;u-}FXE8<6X5V__0%ID#OJNHxou^unXYp;$G&FM z{@VEP*Uz`>bgj7;#(8DUiBof||LfhKmYx>3?^d_&n^le?SO5PI2>$&c>GaO!Yfoqe z>PE*^{`mRrYrI%wda3sR^YuFQ%=_y)raM|P3O6@dwl`Tawl`TawKrKZw>Md`v^QC@ zwl`U_wKrL^w>MdGv^QCDwl`UFwKrLEw>Mexv^QDuwl`VwwKrMvw>Mb|v^QA_wl`S{ zwKrJ`w>Mdev^QCbwl`UdwKrLcw>Mczv^QBwwl`TywKrKxw>MeJv^QDGwl`VIwKrMH zw>McTv^QBQwl`TSwKrKRw>Md;v^QC*wl`U-wKrL+w>Md8v^QC5wl`U7wKrL6w>Mep zv^QDmwl`VowKrMnw>McDv^QBAwl`TCwKrKBw>Mduv^QCrwl`UtwKrLsw>Mc@v^QCT z{AktQWNF>rWNFjhWNF*pWNFvlWNF{tWa-e}Wa-%6Wa-r2Wa-@AWa-l0Wa--8Wa-x4 zWa-}CWa-h~Wa-)7Wa-u3Wa-`BWa-o1Wa-=9Wa-!5Wa;1DWEs%jWEt4rWEs@nWEtGv zWEs-lWEtAtWEs}pWEtMxWEs)kWEt7sWEs`oWEtJwWEs=mWEtDuWEt1qWEtPyWSP+3 zWSQ9BWSP|7WSQLFWSP?5WSQFDWSQ39WSQRHWSP<4WSQCCWSQ08WSQOGWSP_6WSQIE zWSO_U$ueK7lf}Zoz;N`Jgw>}_Nlmw?e*ad-`kY+X z*2NPRuuKX#w!TM9<7vaD?^-OU?#*UOZElzr`b}d?>g7$*ZjDZ#tL^yze5~|*{-fr5 zt^K9BPZtMh%-OO%LgTh-kgt_EcdH+3uuP!dhE$)0JHoejEt#w-vg>so`=!8r$@S-J zjHaJa-t3XVwN?N1{?%%s%M8kPzMJMTvt-)syi2!tO~_kvOhk?6^6g!d<}KNM=bQB2 zwd~*bw5*M~bXr6$_oDt6wbCX1cfReocWrvT%*IgvUo#K&9RAAvx6@a~sDVeN`9y+I zi^&8xqbWSfhfi``a&em!m|`O7d~8x-ip@+1wfae(DMmA$mQBh`v6|_aChRTuGXCqt zb1J*$oW2p|aq9%vrinX_IxXK~z42s#QG18`*2mtP)-91P^w7TPb17-z<_%s?;;h1d zO|mkYprat|;q=6M*NnbDCn{6=G|yCr$Ulj>q{d3#WBgy5akCvO_-pcqqN#*;a`uv zt9kEupGlVUYMb~lh2_5BW~a9L>v>$!@j3;w`?`*A*HzO#;kIwW2GhxF&#I(upSoq^ z?$+Ixd@dAYYl4~L@1?vrNkn{elk{7K#alkZ#$EUHdFDSKD7{M*Do_om%3 zjVLN_eljm`l6}wgJJz8^_kB+OtuI#P*O_8-L#Z-j>XV1OliY1iF78yhuT+`S{^a9) z&v_ORpN=c5)c>0L(_h!`_}g4eZJ?ts`yXe>{Z{_=v97? zub=dN-;_Q7=RRQ;d*uAd-}0-d-KvQ-cS1jTu6=U(-=y4&!`+v@#_HS3M{vR}9@*8g< z<=~_)BmHH~HoBKT@=x;H?zw8+)F~-CK40ZLpMO?~t@oQg#ed2b8SR%+bBC*Hj3y(!x5ii|@0x}T9#pE%5W+GumSxndeSbLolnN&kOGeEQ6< z+I}kYq|CSSlMmN>_fUfK#51e@ zbmUg;V_xfI6nA>@xfGioF5o>}pvzr0SElz_mF0%Bygo;IWlzMN^etjCFh5|%dE z+2+V4+cSb6I_B&>yIAJP&(KN7EhfqDclmUrbyB^3k;VU)IVUH}T=t)%7Z=J)&D>3jIE zuzxB_vU_s!kMp_uXUcs)`j>myJy;4gUKIL9;d0y?4feu~!Mm4aZC*0P zbJf!h{W80lORjOeU8$9qj!Ib?i|ju2LuB{KA0oR?ONmsUkP@l>^uFq(lt}gG+^yEC zwL7NoE1IQ!t#J8YCeQjhx4&+kNBg&gd&tNgY*3xlXtThv=z=JF{ppqKEnNI+kFr@- ziby|wy3Qix*-{IiXG<;iwC`KN?s7lj#qZ`BDk;XEobMTKRdQd<^O#toAnU0f#J}Gd? zL5lOe#O?Np4_mgozx7Q~k#wED_Da5FeR;s!%_njW&A#$&XNufRf3XRzOJ?dQb)OX4 zG(|^Qcga*8^*#LA@s44WLQ_m5ov%$QO|iY{P!WIqT=esAzDwp-98ur1GKb&OrDF4q zc>?$TZ(Yt(%ufQWCq*$0)Yjv5t9&u7VLh!a0Gt1r0T-;tB|#_gdYmr9;Q)cpRE71_ zHI4++I6i}5J%|`UTn}~yWe$+|Og^k9Un^B~3Zl5(MgM!!^oQs3C8vKlpU;Jjs85*p zVrkA9VM1{4t=`He0&vmwGlu>KXz+`a%`;9g?A*gUf5NH!SCid6mepy`ES#M3t?Xp| zo`sWG^F76E10HOupRDP-pZ$l(J1D#*@^VW?*Xe7o_b0Pl%Gy`1BIz1&cgr!6^6ekh zJ0AZKcIm1-<+9|A%A{Rc{x1^ZrovifUv`e%b{AFtkAwk0j5 zaqUc({|;vNL(cvW%TK-#{CD!yy2OPmKfP^Q$#qLLX3yHLa}$p2RJp0`x!il3jK{KHaPDuIkDdb<20mCpn!} z_IIkPe=_i^@-6a;Ke_U?>hig2mVYHr&Wu$}*PTA6w&}?nb(QC(Q|8#m7ag29iTnN3 zKhxT)KboAJ*Q`4IPQB93FUBWRl~t$bPmU>E`s7r(N_ef#&S%~yOYf>)=bv=PAgXAw z%(77P&DGwEpM>S@?sc#KopVz5v`YE9sekOI+?ne6?%DFYpS4fQ`%Su2z3Ium&#K?! zbt)S|t3Q~XbmsSvs|)&c!h4c?<-VW0Cmpw&YV&XB6Hd8z@|AM_WfN?U)*ILF(y3h5 z|0HtS-}Ahao*(m^_dIa#2A5BdtWJ9Gd-8Pcr0_bm%C8(Jv-eNgb8gk&r#>g8r+eJn z6Zh%5wMu<;z^C#L_a1HBb9UFB!^xH5egUEH#Z~1Sz9+7IBA@Yh^3@+1ZBLTxeyDe= z&R;jF=9u!2J5y^mx_(+ecT&B)+Rsk`C+owHd+oCe{dD%_r2jD*KgGJ<=S{8QzgI6m z_0NYjPmYJH{-1m~@oJo*mZ;n$kyKMJ*_5~5vi?&_CLNE_`Z^(G{lpSG_e-w()`mRx z*mcTd>aJL|mwKzCUs?KG@?PMz_vy^(Sx-5q{W|q)>Z_EQUVqEy(qP5jd> zzI(HYsnj>mQf=;^%v0%gNn>@Ol-Bv}CO&!L zaOJ%J6}?`SU{wEAX4!M?xWz$ni-Z0K+koXY*9U68_YS%@eaRku&&v2oujJ=f#!vdR zPvvQ?r`CJ#Rj(~2uSy50$a=V6>I|7Ev{G%Zr+AQ>Y0LgE*FR7H_v_sf_LrVj6YnjV z_C>MQQ}(6%ugO(Og0nwVHvVEvQIK?Do2s#!zTr(@ zU5n53$%zHiHm+WMtieL}%_|{elfJqs-rw{W+1!lWMr<_&6BMA7Ocwl$=v_DB>dyGS(n!JmxR|Zy*~3&SxkEFE51My_$FAGVZtjK)Q~GvBiT8MxZ2Qn3 zF4))Aqn~mnCCr4|-ZrXS@_5hE(^j)CsrJ9j4gFJeY~zHF2Ai^icRkGc%hWw%qg3S0 zDS0+w`HvgZb;^zzpNgoz(bGQLaE4^_OeCUS^7C}VddcRQS7%+i%l=}n(YBdq58v>J zQQCa*=v$@z4D$}^H$*mT?ls+>P&Gg3sD5ks%iNxfVNq}@>Pz- z>V^9?Ug!ng(vE4uMPIlMnE$Keh z#{?&s&b;)x`iuLk{NvodZ@WKb2gJr#p0|H8Q~l{}EAtoI3o}w=q$Jb#_H2$jHq&5s z#;Z3MtJr0XZ}J#F;jB!*cj4Q%duHcNax5Im@~vIUXI{>kmKjmH>s`^UGtXwX&6d}n zaZItsW^?yx8;EW7g&`^4K9Bblf3dbGPn%^{?_h07Di8DU8=BAYK_nrA)w)LhRT)6(F7<<{ab7yLQ>)pNj@Y3V* z?#K_uKSfg?z83z%{fqHh+2#*#-R?eJGNEwWSqsgSo|487$UgycRn}kHmh0J9-8h_xqIWS^ACxfh38DZ|C|1Aa^14ZTbaAA&cCrF zWtR8x*STMhD48zt`SQF>@ot6A2b>{KjfFJ-kzDa$GiV! z;hSr-o;}omA%1Mevu}c||8AdNckiW!QT;TFWtAa;|Lc13^IuT>kenxro z$r_{X`VWCm5BY4GU^08!*~wq4#b-{d4Z0hZ6ZOqDcKfs$(`2u|z9zM4-jZa4}E=n^=;qm`Mkem4IeJP(t7rf zFx%!s31KA$+h<&J)QSlFdmyLwna;1`P+CF7VXJ^i>UwZFYV!+GvY4N}Iyt7LC z>6`yrtT|+*`RVn)UM?)u31OSDE&tw?*k$Vu9SD^=+x4lvN?JHfGUry^h02u%RibL! zK*RPA(_Fv$+n2Z8+)-QKlxKKUG;OWXsT`X>R(o@K9v!{%wl1t+w?(jR z^&yYY8Cy?f9a0IC*uljdp14kHZQARp@-Jl#7KyU0TQvW2x{&tUHH?#k6TfKn#Hl_? z4P3wDm5V{W=>43%U)AOQ8q`cQm^)QB?RE3}m-g=xw#}TnYiaoI)n~4S_g%Ov^wKHI zBYctgR?7}v_KmQnfokaz`Ir8$6gpkMgx*nPKH*^0!J{_0BaY{t4*z4_S_$4I6Q_8} z8?{W|ekWh9KJH16Khq)Y&Y2n8>I$~lO?#SRHq%{f($OVTTUB-j z=1f0Y78xD{U#s1^Ji0M#>`uA+Gyu5 zz68;S=b7{3H?O_D^4H-=@$J0{?~>jry@kL>&zN2@z54V&ZHKal@I!uGz50wo_sNDW z`#X2|v{+9(@b(ZCHa${$tMs_(&7;>&ubo~eJz1yz>mS2fnbtWA&qeN^<38W`z&o$a zXCD>3n^gbW>a#h|^!*DfgTQ0DiW;x9= zd75#Wm^GxU2&a;i@TJE#lXQ@2Pc#-8L%i>wa%PpT-KC={_ z{W*Qjp0hdGbw2Z_Z@iZ;R{#G`!O>+otIud{&K0cp(J8*UEJs^%^F(85OW|q8VwS=a zjk7@nkEQa2&)qZDmItWFT5PbMnJZoWIyd%)?7^^^S2mn}uNm`Qv-s}vWhOmq-z{O^ z?R@igq4JrhXZ_4BNhJbA0nk{0m>(hV0Et?bl9>-78+3arnmCbnp4cIm*7en@ybf=38>Mh~(LI zcKZxdbawwaUlZe_b^F(&_5Nv0Gf(8{Mo&JGQucMGzhdysw@0s;7|o51T_%~Lw)>BL zYfP3_@yeCUmSkJCpGlow{voDBtN7x|W%WxK{wz8%b@{9y-snGzPCQ*cYf{$B|2E6Y z_qXWQhE&-m8AZo*J(v_S(>o|t&vWWdmC$Wp4>j4P?OnEjKfFG8{<&*eho*n8+ zBJQ^teX5qYXe-;X=i8eft#yuVU%&li-Te0Rf`o5d{U@E#^WI~uvfM_ya_ZXkyI$L` zGrf6mcFF4glX14*+kee^E4=(g*xZ|SH_Gn5O5b+>3HdBL+fqludiiHJD&Kw{^d1?&GGBQOR^{2%%4C1UFwFL@4FV4WOv-$ z|4{pGmcj4%l9hR;v*sS{-DP^^O^m(6_O_XGzn5QJ`!MbKeC4}RiDi|?UxZD*`L$;r z!?zxj-S=z*x4X@Zjkj49z4+`p`TuI&5ntPuy#8Eun`Lu#hRSZ=O+LHb@9RqL?@uYp zKe?s7UUl=g>1S3?)=4QpSvM)HEZjyZa&z#eh5J*2^*H&axukq%I4Sn?Zr%57cPG8A zIsVVxv#eghGNbj$|9g{UzO8(6LT*yBnrC0MzU4=OlPjNlo!jGG^v>iYYqzTST1|uV zzv>pJl-=JMSH8OQ-=T%-E7TUXztdRc{#IfU`x}cz$6v7oEoy(MvdH~~$RhUT|Eg9T zf6B9{{fW*Z_s24e*dN&}I{tuZQG2}cMdf_MNT+F&QkS%Dne=o??-~W|lUkc*tx?QA nX|?Izn|+Jpu042IFaA${g|de9bdg8-ikv29T&k+B{%%|VeU9o? diff --git a/thesis/thesis_preamble/abstract.tex b/thesis/thesis_preamble/abstract.tex index c2c990d..0f6a821 100755 --- a/thesis/thesis_preamble/abstract.tex +++ b/thesis/thesis_preamble/abstract.tex @@ -1,7 +1,9 @@ \addcontentsline{toc}{chapter}{Abstract} \begin{center}\Large\bfseries Abstract\end{center}\vspace*{1cm}\noindent Autonomous robots are increasingly used in search and rescue (SAR) missions. In these missions, lidar sensors are often the most important source of environmental data. However, lidar data can degrade under hazardous conditions, especially when airborne particles such as smoke or dust are present. This degradation can lead to errors in mapping and navigation and may endanger both the robot and humans. Robots therefore need a way to estimate the reliability of their lidar data, so they can make better informed decisions. +\newline This thesis investigates whether anomaly detection methods can be used to quantify lidar data degradation. We apply a semi-supervised deep learning approach called DeepSAD which produces an anomaly score for each lidar scan, serving as a measure of data reliability. +\newline We evaluate this method against baseline methods on an subterranean dataset that includes lidar scans degraded by artificial smoke. Our results show that DeepSAD consistently outperforms the baselines and can clearly distinguish degraded from normal scans. At the same time, we find that the limited availability of labeled data and the lack of robust ground truth remain major challenges. Despite these limitations, our work demonstrates that anomaly detection methods are a promising tool for lidar degradation quantification in SAR scenarios.