From 1948cb6b1179b3e4b83265df53ec269d7a0f7522 Mon Sep 17 00:00:00 2001 From: Tom Zuidberg Date: Fri, 15 May 2026 13:44:11 +0200 Subject: [PATCH] update pdf before meeting --- paper.pdf | Bin 153397 -> 153414 bytes paper.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/paper.pdf b/paper.pdf index c2679f5f6c2af6e46bc78bf913e1fec678e13cc0..21ea7cc294f80e4691f3a77eb9b2fcb585d9a3bf 100644 GIT binary patch delta 8972 zcmai&Q(LADphmMN+qP}nZ=RZL*JM7q$;M>6Cfl}c+nO-d-rxQM`+S|Q`&!rCR0BU; z17FL53&FvcG-FN+bm{52Y&IwQul&g~e0Hkf6ol%noEe}KNX0TFr%9|YXQDyD3@_Zv zkWdaIRN(LN@0bIFPfT~ta%&sM&WQ2hnSE&wyvz0(@nD|uP3i6wdOxwnMxc2TKXJc; ziok&F9`V}UtjUUVSZ)rtpJPtVzvKo6;SMLVu`CifWJ-LK3Ziw*@chyWV+_~T~kpoR064N8jzfUoW4QW-kDH6Z2HkwBG4T>)XzZQm64DxLXjoGY!g>Z7gia9D0t-> zU|cQ=e5{^x8MlO!iD=cGU_vKS%k1auGqC0|!XXPANeh^?Bi|lW-Gy8_Dpj|G-mfc8 zBR`s}CYl*sGMhoU#;9$TB~}-}?mV107nM~K9DM=+QsW{*qxEJ)8eb){>K@(ZLLt?Y zOXW(jk}cIr@c1Sx14sCjpNPnZ8mKqN-a3-Xsy$XCR60{toa_#+WhJ1gJ)0Pi3?-r= z+ApL8CP9%C}EtcRxVehM1S%(KU33^bdCimu(OKZsXm)Zw&H{=%T#MQS z9)uF8^B;Ce--pjQ@`Z6lcGf1?#WHF|vG{?MDc;F2D)OH?yKHE1$9CBb#i9Cg+|e<` zCc6*}kK%?5Y1!H>xt&ucs{X%*H5DaXBIHiF$_ zCfkAsLTxs0F669hX^N+Uuxu}_^bd&~bQstA!!)Llx>C7xA&M%FyC;p+$K&*yXRiOQ zIV_BC6&)E}R*Z3qq4pq=ub>+~lYaq2pf8&d#@5A57wb#qL|V~UaNiKnxs;rwItH;} z?>94S{&Kat6RPY z6G!+47}I(bgSk0XcE2dT)dI^O-%%8(O;{9z5**OR_SX^C0{HHNwc3IUu8SnT0$t-tTywuz^3ECZjv3Ah(rJT+mA)E z91%B;2qd`r8J(zE9xI|7GVcP_Jba*oN(13^7pR5cv?vxp8R$w)c06w)rnCzG&VvL4 z;8^jK3BJYC63%mZwF07ZIk5Z23mS=--bSM-BQ;GkRo!Vh99Hg{myzC579n(o0oFdq zk|Kn8*1WQXc(ht4gEf7cMNJ%1$Y7nhw@4Aj;i;~0`{DS7vgpNrW;Gm2bd=y4(xIwZ znqpN(Yb&u!ue4(wCac*c6(bbcVanFdaUNy}u8BMj8I3^W`^%YokUCG6Q zzxhNmM4tSkxxIIWPHmlBI9>KXa0{CnjV{KxE9%}&qnFq>+7uc48(u`hTI1eD%5iEP z55J(uCF3qazJNjn+`W*d!N#B^Wgo!re5q^BgzxuK1J35L<+kXSF2Alx9dtd{-8D z_swnJyDWN6E%3s6_bnpQy%_h_r_jfzyuWk3{_i}Ongj1GL^bxWaOyDXzXDkmPsU-X z+nUlhJPy%LeDUzAb1(|4G;7(D6C@R{YlX<= z9QSs=$hsUVD!k(3xe4X}QRR^`c{|A3q6%w3($bicLJm`!@DP24t*DN9_U9!XwMJ}SJhe- z-r^8G;`EEh5T5k3@res4(S2vI+tZ7tmV<&c60Dh^heHDyP<6#D$rnP#)FhJ>_zH31zicLFE+#l0b$BVh zT3Y5q=4-QIm%R05slcg55V;~pYRb4A3nQDPWI{MYH%W3Kmi2IB|4L%DPH@RyaL^~f z(!>4w-pu8!{C%8kWItp*K~4bN%TtgXmI#0>7+)^|Av`Nc(ud14AaC9$!y>0s#%s$< z0sde6;ZYDh&OEg zLDtoGFDseu#y{U(NHB_V>X=>&{qHI0gZ!DJIUD-Dn9OV#9|%DJI(vf+O};^pBa9A? z{X_nX`IZD*)47~Ix;{X2+L^gi4=JD$69c8#S1eiOu&-wq=Y{x9|CQbAJ{J5Y%S+!_VsCY zMr;T~|1{WIp70flv#s4PV;s z?fiLKRp@$E#K&D`MOY*dg z9G5cRK5p9io3ji=*x%92gfgypefVD}ebYT`q7d~W>|HwLOL%k_-{~U$N3O$#c^TR2 zQ`g&bgOg!#4HPOG$_}Ue1Kxwp42=ZHoedSXVP99QlB92)f5Yu`2`(+AoR8}+@XO}I zxYOBw+916Q1(jYi>69Cb)=F=E)$#bd+32)1@Ee~qTXH!iz^O=G0}>+Ur+A;;Nr2<= zU%74#B!dze{K+lm-Z3UN&q)j{eVBqc=7CA8gr;P%8}~A+Hkx^KAX26|va~ER<_h7x z2JEK7?lEFk)!WNYY8PX8YycD*b>)!MbObC`k`URThWQgrkuJ%=?ROWtT;9A@d8|2PB>Q09yvW4{oc<^yo#l>m zQ8>0I=$flsc@i1>)9z~IrlJO}#$96A{QDdTsdicY@++E{&>oz2D zk;oo*EIN1(V15f;jB0&xC`*Ag=>5l;)w`S{)L$*MB5IK};92PDnlzBl5IciOJ==7m z(p$L}CY@_xD5QM#+w{dIcKN^P+$fVqT_&tFZ+7{u6T%Z-SJE1Hpu;<^PW<^5P-R3$ zwuZWEfUC1pea7An*SEIUFW%Aaws1y(6?t-oUVJ$3ZC7fn z=TLaeZ1L_$+ z9Z~`6XI~N-VQ$V0fqIS%>&q-uLD&FUY6VYWobGgdys4a3+(K}B(r5>7^#U(bNYnqs zo{uo+r8qE&b`~D`PwWf=Y>9Rn@}K<&FT8&@RHPG574gFf*MwpoHS4e7D zSRAY?H$Oeu5Hda3}L%? zR+W(PIsUVbZf@U|i=oB2%WUndw5J6MIcki_G}h2p;d&8jBNM!m!1rg>6sW+qcLa?1 zoX#$v(d+3YkMC%l*9x5!PQ$lrhQHpl^E-CDP8keG2VUmlT~;+vq`v2>b7)HeTd9kS znJT+}b_ywX>c1W93kpz{5LE`=yHu$8~TcOqwh3iNP2=fS(zYY%kV7c8CGi4KRc0b_8bGVxMj1Sr6f zi#v_MvAYK@4Nr?=by3KTS(=lwy^pXUS;eGu>Wgm#wa?*@x& ze17_uM=6}DX{7RJozUIy1qN3s1$SEzBy{`;vf08y21NBmrf^IjMK#}miLPrYeb?9P zcZqU@Ewj8##eD=3XOYF^KYzgXWS{OrOLCT1|MnRQmv>kJp6%hB?JSiNnq}no=o={E zZb6D40=SMP+v%m(6ZQE53(ryX@&`M83TC(ALTMTD-a@ZuX^)gu-tA|RO}?+_uh$b6 zhQUdl{UiZWyMA4ZNvLzcZ3D}9HE2Pzu+F3qPL_)EfIkfNLTu5wP<``$HTrxms^e%Q ztDXPO)KJe2e?mKGI!q`VJ}E=PP8*+gYcgc|XEo(WI@M&-WP2f%6bN{sgZ%Yl3=#XK z-3Iy58^+4FkHf1Aa&u1xvAph{DY7^d*x})UaA}ZOv1?#1tjh9FO(PkfZsyWC@21zo zBEDISLvikf{#*p89Lp2F3J%@XX$fY>c8a30V5%Bs)P*2*4p-2%#bX&RX5 zi&voD3#5>$Gg|eFHbc)Q>@nI!`aySe3x71?T~hkcWDh%}bGnPiy*BJ@vOz$qyW&xN zQlQj06B-L`o5OXK-^H5if}?F?A}?;h1@vrW%VYh>+yG^SY(GlL!w@q=upVTh!~m|>dSYL7u1j>u^`M~ zcls80dhn+caMu6(l!kPzT{d{pKWYpE<2VGc_Jws)60j8)O8;g&|^lUoCRw)6yd}#`i8;C%A_-16t756&4n-h5l21Pf8E07GG}hDd?v2{2bf7>E`v2hDSynj*>H zz`|hQ5v9Y^b{WCoe?K)LbIcyLo26-*6dwwRV0cHx*vZ zvsMgb_dK4n%S#ELALcur+bRIz*DtZEaF^l|4Dgki-d*MykX}$;QZx#VV_NjzgH3QQ z!qu)s_67y@0m}_}zmXxH!mQavbaas1#K&2?@QZ3uA;q;VIQLYFA;*z_{W?WA1w&!v zfXRkuL!4EoC!z*dQ=TQIjll)OJIGUv{3Nbn*D%?}go7O|PUk^=UZjCS+p<@a;=v7y zM>k(p!)VZ1E%&(KPqRZAiYQyG+R1uw+XDv}y?&tgpOT67fb}{T2GZe$LV+)2T$SHl-wv=#Ba#qf<%Y1tZ1`{din^2&*D!GyUfXc;NH zrBuiYNyu@XIio|9!+?kd{Ha>%tFn{J(j1z$~%S{dfzkN4)K)8!Y&F4 z^2^@LMAlu`B_qjgwF&zS%>y2{1UljEhp*NTrSRA2`3Ri{dJ#PH%psKLh~Wav@zV1L zFi6EYjPDwB&1}ChaZfPJML4ON`*qUmf!ewk!P8UJcchoTr8`049zvyVq!$Y|p|MhD z?z`V2M>8+WGH5&9Yg!&3fT9meL%}5VtrZs3D4LX>CMG*N2-+$W7NI?T`|c=2!+f+y_KDe&U4aQNc&{6*eP+pM8Ls{DrffIlgbi>j`>CAZ{LUyPk_DKpBnZ3l>DgQ>S~+> zTUNsk)-TnPTb0+Lw8Gd!ef?y%hJ%uoptVtv{@f3UnM;x$OnlkHE%sVz zhrPJlWST@N9SItdo;@%OajTv8@E+6Y$cFA(asAt5{Ki9Uz>|UmfDiBF>4&>h1@2Jk zpU~2)NQGd8hMoBUL9P+aQc z=wm|?XW#mOUw{VHCX zITw4ZkPEAqTScMnYxU4NN)Z-*g1Sn13r2)kRKDl zL`AiKNjE5VSeoEtA2+>)xzHd-9KnQ=*6~z`<9t-B!qN3lEh(Sol!D6~N0YkYIR=26 zxn5wO-hqGcu!~XT?3V0WyNu4={p4e8wbHR$FWh$cid95Jk5%!H1P3N1tc= zwcZ)?GttTh5^WATG0#_Gfm~8awJ0#g6jW(yFFSG3A2)jTYxneEpFD4iEVc{^Z8Kp( zkyI%Gm@%?+X%s~|Q!Lk^3s;4%FttEH9wor?%P9asuPJ_q@;gn`xPfR(*p@bC)TJyg z8rjbu{2`5?LwTHmT`P)-LrMvqjCv+Za$PGrK}wZzOFo`QSrLHek+THU5t$B?%7M>J zgi${#U2*rdB3t#~N7JPb8U29O6x-3ABF7Z~_TikC%}JjskecbHzjl%9esvF~6jPAQ zrs-`#9oR^{HO=wTTf1reqGs*J(oE+=ce?jwbY zk!53oUPo7pCi%jkp3_O)h;)v&M(}zNXN}W}^G~M2imZrn)jw}k_1p>j-Z`3l&|vNL zj9XaR?!{uR5mx218jB!0VMZUe&#JQ7qG$(a)zZT+XJGwp)cb@c$@4`nJ3MBk7-Pq zy|eWnrq`89yU8fIX_m9>S6-3qG!ON}GGG)KiHKZ5z`zeo&}o6UT$=^neBq}dzv?+Pn(!Cm7{K`h{6lcoU&xpVxt=7 zSP4`jy+*YBN=NS>UzdUR>@6!>!}LbhluvNb_wk}7zx4H+(Syo6UPJa%<-Vh#{H3E&B!T z7wVn;xL1tsDUbb$JDh)1z>vqQZTHCES8$O-nSV^ch{$a;$pb(pvd1Sv8uRG z`NzIzGs4&yoG75>^lS%ZpKMu365=}eLhv;WFjDxHs=na+%e>z_*Wd99;9>F9 zFVmaYKZVgPUF}kcTS~nlFHb+!X*IPV?tG6o{Bw`@VJo%LDKNAU_a1(;(|MNBV)(;M z=$KDNqd-G@4y{{)YU3MkfxUsMp9VYA1uaIawUV%58$GZSXs~u`lM`$pwe1T~|mcDU;8YrynDm))H&mz8~kW7c~uI41UfMsA+T#q>f54modG}OGL~Q z#amSRznjTnmc9`lUYy)sUyL{0oyHzzOFJ= zOuE5h9%dd8yteb%l$(!OQDT94KZ#M8o6I-%H4Y964hmBss7divM$zWz^|L*A<}Ldq ztKnvQW_x5(`kB3F1(yqD>yQcbQw_c^>gwnOi)vC?pa{ zK+GnD8aIDg8Q_Nt-{o&QC>oeW;wdAdXzE34m8y<$#njE0Rg&X*9OmT`DiC{e%m_PP zvA$EMXk@Hz*_qN^3|{D*P)sVBlbXMriBEShv5!Ee;!n1cD}a?_5P>~uD>9ZNIuA2o zZc2}e4_9!)Ltq8dHbSM|4bqcID{;rFVT;t|K`L~@02~HzH}}xo?wON!i8oKe!ZHG3 zRl~wn1HY#Sd+7wo+~Vf+k_);`INFw3I&f$fQ?>ByB?!;;5wqU%b2G3W_&9JZ*1iV18M>aU&eG;fEM1CuhuXICN`+4y zk?*g>1o8=y{NcjehNKNag22PZjX*^ur6P^+KPXaEWB>pF delta 8932 zcmai(Q*hr8(63{ov2B}8ezEPwNn_jiMvZOTNnq`J{^6z zR`GjMU>4KtHiVpu9BbtLT*(j&os!I~fhMJL(31OVQ+WRz=78x6XKQaMqip`T)dB$M zOzWie+uQV6`c2Woa?js)_uQLbc1-PjR>6S#$R~K@iQKDzYKC+JlCw^R zES;2T5DJz?#GXrP74^EUZuXbcJ4|RjW`9b@fSpTufi$j6nYPP%igI#!wE>%oFY}#P z*d>OpM!tW1{&0pHGhw-ZpW$Efs)@I)`Rh+TN=2tUm5$0t>?{;NV#wkRSK92O*+b-J z(9C1bw&2WmD-mGnrFR2ZXbM$Q=f7;Rhl=-{UX z)SmswU=2lMwfs#{-xYQ0v#8{6SOcUPOm{%P*~DVY3HMZ_)zmiVAf6+AVwANGhw=SWVZ?O!Z;12e_u? zcMYB$DsVbP|8if~se&`dJW5a;FT7`#dfcQfW|GHxWX58_1YWJpQB0cSLb*&6=3@Q5^$sbTE)Wu0C9R?@gs{ z^uK9f?w#+_iEsaYzd@>SuxA{2ktLA_|Je896(yJgzaS2TRL)k|?he?Bql+V=b&$hB z)~_;8r((NH*y3hM2L~cDp31Vo6%=2?%mm<>Q%Ns; z`-RAN)*}NP{~a>5D&MbjkVW7@BMpMf!US=13({+#=?7h|A=pvdzS$MoX@MP)Ih@tJ zY&c=B2~duE$NUZUKt9~)+wJGNdVVbCTuquc?~CMeZ(_bf;bBa*H5RKh4>g#;X98E% za4|fpqdPT8yKH>-Yx&#Ml+{EStXFfR6Z8)NI8O|^5n)5u|x zj(~woF~xY;l$adCI&plEt~*a{dH4i4pF&KAkYpMkT-kQ2YHj->MEPf%~aNy(`@sZt7$w!)B!T zv7=$XVE;|p!fv7F+FQnSp@uDVRiSe>`*5JN7>j8LcbGIdmAzQ|cMlpgc2%M~igT=t zF}xg;j1&eIcY?1YT;yDTO$I;cRvGFkLX1YlNH@gfF&4Xdt+tC}dtDohM$1+=M-niM zU@)#IHecG)8T6*Uy~Zxj7UOxBCc(;jmzG8$=B>(twc6MDWyf~dIv z$D#;3v3D}B(uEJ1EK#rLUie<$lSOv5tlP&eIpqx6Dt?@aNH$#W5Uc@RuL>-9BGNpx z$YjY-P-Y#*Q!NrKfMW?F)B7aFL;+4S1@-bhXCQCutmw%h1z8W~>uoMMs;>{(W)o3GK9o(662+}Z zGS21I5M;nooX9XOG*}t*o|;YEKWtnlO8**?*Nx=7ZCH`T94M^ zpprw2bT(X3q+nzI6+zauilL2eiZr|neyl185j*|zpB~2$8_OR>mHw-1(`PB7X$f;@ z&>Z7Bzv!uk(Ae4sp3+U5$NJvIyf@V~?u7$1QK&xAV3Fh%bP?sPgV1rZr%1yuS ziK(_X%skA7`sQmNTmT2FaI0vhUFFHt_{|w)OJvOW(jEJ83$MyWw;I;2P3qp{nj<2M9&67vDhze~ClT#mF)=?mN;LfgrBm7+qUw9BSTmr-&d&YtC z%*>)@kmm%~)x&HYuWAehMwTDnut5?NVR z!nb8ILk(g3&1Abic}d4n^=IsG!1ztqykP}gK3CAu`$PyecVd<&NdINXwG@Y>LEV+; zaF0D~mfax#0Z2f8TV!gf!;gp9t~XJ<-clIpJ*PVzAbqGe7qNXsJoKK4AA@`kU!H%Y z3c|m?e_O)yCRR3xu5P;H3;4>{sYO&rSEZDSz%cR|GCau|O^;*$u#bw3F!$SAF4Is} z_F5K4|B#Ga;Z*gY2gSnW(QO2!R|*Rj$XF+&A+{}603^($12GtVexDy#Yp7{L-N5tS z-5YKqX2G#!ygv(NMwF4)*m*SP)R64VoQUxEYLpuvcu z?EV-Mz|zinVQX(+RLx<=HF|ub7?6iJ`crE1E#D~*VLHqf6-6un^ssLMw9=S)fmzF9Qs}2z})sbqO%;uN>m99s%l`Eg{L)!vJqy1k#zRtwV{#-96!^k zY%B@`JJWdngGby;{lc@`?2(k4wv=VW{y97}U@?kx8JS%R)2xjjG_xG_eMVv6=KZy% zJ8Q76fV!q?FIG@%h%-k$(0IYp^cOmhOfN7~<`dVZR<=~W{U=+DC)lOZ6C=&-e`5bm zd-asWw!kei3;mziW=+O0I1j!<5xcn=&Tk$-n8~=Kp@v0E!uchJ1Gz>k%Nf^i)wOUEP`?P&6yWb!b zkMKaj`o`=+CFArh*{1&_UNtc{i&^Xcz$CR{$=uk;rBUvb7C z@Yrfju2BcO2i=1Py<|F{A66`rq<|aa45-}uGj%PkN(LK+b5cmIIxY2kEtB4v>3@su z&eg_^JY>MizL0aG3oKsVQ$M#RuY&|skqknl*fofI z`P#~<3LS)05{yaTMp-ALakMA!K8`}8QhlhIj9pEujKV8dS8MXF5gcR2C4oFRw@A{&Fg92C0_lsR-3Ko*rw?HLsL^7i*?CJ7Kjc2q*Mc!4^ zkkiq?4HJXlj@OZpDp;RK2@l z_#`7)f|09g5yqGvH}1&v{6u$~Ct>YIl%B_*-E30~ny-s{}KD1GA(RQrw*SE03tAG|<$XV2j{NGG!LlyzhUKLQ-cS%?w`^udp zPD;_f|oQIP7<)l|<;z3?#%M#~j68M4RJ( zmkK%t`!;3@K-V0@8nAM)XA0J{NkXm*<8D5bir){z4F504hKK$aWIT+au1ewu5GzXm z9L%(!)*Eh$^;IM+GkQFM$5vf~1D0*Wo{rAL-_Gy*hqRVY3+Gja4p`?$o98%bJW9C& zuY2~m!#~%M|5eBRnt0enbb;sxq7+~1jLA2I>7~w#uixfx^lN9zV$H8Rt$V8Th~?Nb zjJm~XC!a+=*uXL5GD4@b#5CBUo^o)~10GJ!F3JAzOo$mCU-wA|r*=SwJ9QG3Lvf1t)ud zAdv2c%-dSP_}*mqL;4yk!Fzb@Z{cO-t_(vPyAY?5mq!l0f$xs zN!EriuT$>bvBNL}I9C8x2Rhs4-TXB{Z$YsfmeDT3_@|pfhw?d@G*mPc3Ds4;Ig{%@dwt#X-9D0)0W(e-sJYrwG{j9(qr5; zcsw2puAZVn_QMkBMM?`(ky|>);+>J@>>{X#`PnrOX_4U@6`w=Fu|SoUPl@GeWG@LF zKZ14+v5){!!zf!ws=um-|DnNiKSWUIHj%8x2{q)VX$V8-pqC-w0?Iw03e-&LQ-KQj@^BJh``k~Ri_Wl`xR zxlQIwdGNlQXE~*-J3B39Sbngjy30PE>V~25`X#g#+57HYLxUzhpwv=cjNqvZBUlr_ z$x?Y1;6TwJ$Po?X-S^J>RqFG(D37C!tP1?QpiO?$`ca^k^0#5(xk;@r(1kXK$J*>3 zwQ4yDZrbg>{N6sZld(gJSr|27MccqvWdprrli2-_?7J?2ViESRiMebXA0VYb{WUS$YYTWeyEQm6Au@db&YtR4X7fyyF5^AYG?>tb1h9_kI?;BYJ2x5 z6@Rs%YL=+le6M%mkB!Stg4HRtvooDbI3T<~f3~^#Mi-Tub32_X2PVUbziCKf8P6?W z*V|-7mn6zwk-m7ssW#4jn%;0Cu)uF7%X*2dmWW4^&ORwC2$nKHiIvWgTaoN_ovz6! z9U;Rw)aK6U#+e4l&>?X^bV({r7{#)kbdlgPnz|ZM=RXJGNt=>IL3g>~SBc~Z>@os(#AaI2UF)l_}xsJtP0bk7R0zrnsf~1a~4+_=ejEP z5nK=s*0*_lV~KZ1e?!wD_Cw$bR0}Z2KZ8E8kr)pO>W>GgEK4C@U@ zKATdU)!QS4K%S^p6TrEE50i~r+9%O>fFU+0_a?8B`2=;eofH}eQz2D->M}Jaqbbd1R*rLr zaNz7s)GMuZjnOxrKd@uNsjz&-6Ln>Ihj(_xhEW0BZ8{XhVUose^H)a@J$1xKj-WT^ z%casKk^iR>*&v5C_2OhjhN_yfi|7;<*MPa}Vzi?FwZ6E%p=o0VP8J&%AD4FHTV8+o z5w(Nn$Ci9#qF;gea!*Tl_Y)ddT8yOj0KWr^&n&I?RX_d+Tk}Yn7 zpIN9myu5jLJlTy(9lR}HoQtqebRxBN^3Dx?gt z851vB&(@0>$$K9yzxvfu{%%j6BnghEPhLF5pIWYj5vS^ooDtenfY1|xu!ROC+rcTK zw;>+xf=D?S0VT^|wLIH@H47u*5H$Z~uES3Y4bQibwZsNSkSO~beR0*s3xLU5rAon_ zA8Sh|)-xX<9P*^xo;bSq??<{%2CF{-`D? z4Qg3&iHEi!r@~&D;JdEje!%gW4dz*QwQvBorNHv7=lA@3ZXe@Ij6-|T`rE7>OO==a3MPx9;jXm;W zC&&e6VpEiV{*VuSJ@j=4$hD2piAGV;e(?He+lnVDK4?<%zJCHCz&wa_tk|^%T2y)v zPK6(a;+l$gLE1)|CPukJ?gR@N9@^#!F-0Lkf;t18JO_J3tMQdGZ?i~GGJKHi zK&Hm%L?5*iG3>S3nFwcL%!>__A=coihq*71wNdoLkq&0XF5XAS-J9+y4_C${Rm$);uv&&ywag*#LEZ;6S9GSHxr?u5NP} zQvzNvt$|drpcUgvB791CU22wiP`|$LxAWR-&1YAvI_?P>N%J4hU;e4VtH2^5~> zFo8KGtBH1&0yw1)8?C1KPTslXWpnqL+)qnC{FGcMh;D~*|B<6s>prV6lc*t}pk}rt zy+pf~9LHQ>VT+elx>+%GlsWCo`tG52S}~r5HZu_C!R86aEUV1*=`iJLw{bf4t3;2> z74z`NzNWXzFz~YbVjWY3UQ!h(k%i{U6M1|833j0?mCyEZ zk9Dev$5qBJKWxzykDX~ork>hUcli-y44XeLcy|pYVc+g`$Lz?e{_1Kgc8z5Xw-Xl0 z)MOe;D+zX3l0;|-rue97#+`FASX*BfUF_fM{nOcP$C+%^HH=(iRI|#8(x}ULryo*GKuK9X)#$)6svZLPC2vwTzG2iQDbe2l|i7EObK>( z;DDl6J1t_dihZqgIN>@TXRfTR!NU~t&9y4aR8OMVFe|1gUQ;U25`14*8w(mK@OM+h zvn$aFGFq;#w;vUyAID%Iw4{2d6*_uK*3c`@EFnLm`kI&5zj@5d&h0T-acU|v-?t-q z!_PhY&X+298~r`o%#^n#Oqir{Mw}E2z!gU~mza&4O8)Wwi9=0@Vm&bz9m`AXkV$1u z_rtnY^n$y`QrlsIsqHap*v78@k^d2!xX_~9T(0Ic(`$*#ZYqXj(BZY?_J$S`uXRt~ z$7oY3c<8#Tp@`uzkh}=L3czH#^itV^1~uW8hUl9-jq_0`mEik|Q|RM8Dww_ljwYrP zu4FVC|2;xfG^>{kD8}*SgNO9()@EC6@p=Ritq6J@IL)z2RC*0L&6&ijGxXNM*5L3d zHr%517RoEl3qgx2JqOharELZl8j|1vH5YO&L!&j6;nZkMXqm8Xnvpycn$bcG^qdui zx`c}rFF^K8=)&A#XL@Q_;N}GYK_MlTrOU$ex$6CRmVt?jYhl4*E*m-ZqIe7LddTuz5= z7M151{?4v;OROaU-~uk;0?8Dx6FzO3V8GS0$rP2k+oUmVoYRLbX6EYk_Kk z)(ywbK=ALTR|mA+)B6XCo5Z09`M>Y$;W{{JPiKih*Z6Q}`oTw{L1x_jf|nN;m9;-# zcjj%+ozW0KFst+vSfPyM*ykgR&WB7KR|2~^G>is~aaD2Q#c==3KvZ0^6?)SR4 zLrTAdVMt3uUqY+29jw~D9bPuH^gumzmCV1@<@NMNR}veH>W5OP`V{c#AV2)Ia_3$^ zfcdZ4k)u%Sk1an_ciI&%p+eZc0RLedF9CAnZE?DX>ypPfqf#E=(6zl5)A3XygQ#Km zVZl*ZyyRED?l8Jvb<1n0dZIXXICQi-oE0qOE`{^o;t96ByX!M&1D&c&**pm&zIpJz z6GvPsSB{%2yYyca zh5ft6EgpKX^dGO1m4vQHx`F%Bsx5z~gvat@!glnOj>y;>BCUqa5Q_CP=%r)X(h?#K z2%e#X`xHRs73C@gx%P-J`@%C5x#!^igk;GrC2QAj|L6S6&KPapQR7^6HXHgu(n;cL z+%E4QOP?dI){mK5UUNHoJw-z6UjWvt)-Gr=0<5}u`ClMn^aW#+AT0k3WTQT$8}fd;|+CZ&^K9T zNl6mJF{Pvgi!x6Qv!2h>JAAv>Q%-+J)l9ZE^E3IA@f)1csm{7zN!5qGI(GeDb zZVwM2KY^p?h1&z;j|`%11$P)w=)}Ob-a|mwPKa;guK196;*@OioC%WK)%4ZvU1`%-&~r-WSLP-+g{{U8ePKW>i diff --git a/paper.tex b/paper.tex index db3a7e1..86b1192 100644 --- a/paper.tex +++ b/paper.tex @@ -265,7 +265,7 @@ When using the sequential update scheme, the update cycle processes each after a mix of synchronous and sequential. predefined blocks update sequential, inside a block the update follows the synchronous scheme \subsection{Probabilistic scheme} -The Probabilistic update scheme is a synchronous scheme in terms of executing the functions, however, there is no longer only one function per node. Instead you can have multiple functions per node with each a fixed probability. This introduces some noise into the system and can lead to more realistic simulations. In order to show it using the example from \cref{fig:bn_example}, we need to define a new set of functions, which will only be used in this section. +The Probabilistic update scheme is a synchronous scheme in terms of executing the functions, however, there is no longer only one function per node. Instead you can have multiple functions per node with each a fixed probability. This introduces some noise into the system and can lead to more realistic simulations. In order to show it using the example from \cref{fig:bn_example}, we need to extend the set of functions with alternatives and probability, which will only be used in this section. $$ \text{PLACEHOLDER}