From d3255e47c146d5b4be202712380e1e33dec58f4b Mon Sep 17 00:00:00 2001 From: elvis Date: Wed, 26 Nov 2025 13:18:41 +0100 Subject: [PATCH] Fix --- document.pdf | Bin 1070100 -> 1070126 bytes introduction.tex | 10 +++++----- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/document.pdf b/document.pdf index b45445c30fef96901705136012657520ee44e007..0520969fd3a84b3aee7d419a8bb6b1174f9f92cb 100644 GIT binary patch delta 24273 zcmai62YAir_pcDGnOLP(5=5-TcMr26v1-&7HCz0sP3*?EOSM+D8rN=(pw!-56jiE5 zthNcQJ%UndM*pApCb_xab3D)A^W5h?PTqOm^PclLy}0=HFO*5&?x6Pqk) z(t3URis<82c5bfGCe{2cwfU1r7o1BW!=F71ssBsQEB7)k4X#;oP>;=}!uH;N*1dj> z-5a;;9K80&$bGwS2M@mR-?ofPg9<*^4(^(=ZcmwFJLRD@kG=h3&YBBd^7n4+e7MFL z|KD$aKaIT7YhS?NLwz=!k-H5(a`(xV^!Y;?wUvJRctg~iwp8!Pg;#eyc)NRrSIPz6 z=yP=Q-1~z^6yG2DaPhv$O;*>aA-%{O)xN^vw$<9jTyOrgal+i{)7~6?b9L~TP49lO zw^aJwoztw+84o80^sn!^KL6Ox9e3XBT)xHrR*Swn>C`^itbd-kRxw?cuG&1j=m*gW z9m8(c4jD7*K-;11s@=4k>Xq6Ro)z+Y%Pwalx_?wXqkVze zA;s?wOxpR;`qKF$&fiU3+uT`tx5vH-_is!aGAQnL^A?@{`egq*r}pxwwJT)9Z9TRina%0aMdAG?n~F z^(r?1aYoVpUoXE{t@Y=53KWm)Qntc{4L>z)sZ@D?#O5AjA2hja<*9RH_OHFSZrB=o z?QXTwr@B8(s8Xa(rzQU+5BhEE-i#)5Tc7xS+R*PNtVw*o=zzcty`1)i^L@PV;DxTk z|5z~n&U=TJciFcfqHB?Yw_Y1F`bNf%!v*dP?Q=0wne+I}iCa625$WjM6`^L_1y>sN!B;|v1JCC+$w5Y_4?$hT_ zkT0D{vI3=L`M;g>>+l&3%`pL z;_&P?g%>2f0k}M{PX(12Nr2w^+LUM-+gd;Rnfv-I}ZK+XzdeohP6rlu*dt4 z`)-ZCyfO90(x@h9Ke`xVw=7zrd3>|ye}2^00ONiSdV$G7gtW9W=Rf zOu6dM%EetSJMsN3&6k#KJ#1dahxvXv{88h4hw8jh^ufrGj5ZhR|F|UV#fnhrTy?3z zH?{2rGk4^U95v!WncGF@&G;`cZR)felh$_ox>=vNSF3kkaUi_Iq-OmlH~sj`rVqC@ znrTmMm(c&Oo27Sl{G!{K!hbm_%776`d%OL-==7=rbAE2SJ^3r^%!9Kv;u?C^E3?kv`x|G zEryq>y}n8|R5+cv&2eayT&A@RLqn%t6WUHPo?wQaG3cEp@-+UjQKL33+=9OX>gQ>$!JO40b+ zJoi*&bqtV?xbv7`bvWV$tBl>PuafUwOaeyZy)jLkKcuyZ1A+uw1oTD z)^(hz6+QX$gYQOeRbGtw;Ys+-lzE>InK0S8R%u+l9apVe_WU=ZHpc%?-xxmb?PAMc zY|L*owhC7)d#87l)AyU8f2E(o17=@}ST!uY+>x$f@4l9jdLsSl$(SH{>(31*eZAW% z65Q{zpn^eae9tzO3pW_r=9BKzUi7b<_1FHpe0Xo=g|m6i zy%Th0QP;HPvz-Oo%T7sX?P)T>Se6kJRCmC<_?cbu{Fx$cm?9OZ_Ips;-jM$>%L4mSpMCw+I?N51%zvDaGO937q>AG$cgbXtDbuk_a4^{!?tf6`T7c4VdW_u7ZK zcKyZgL9u3)cObN2n+ z@RRv{%AC#}dZ5FMlm9FK?a<{(OB%o4wVBl7j(v7t|Bb^AnkB*-c8D8S>~dtS+TC_e z$@paQz3Ia)Ce)a;b&qqq`*swrks3l*P21&#(sRJTVnlY)jS)9NFxih%-f*kq>d#AW(@3{>N#F**_W%G z=gY^%%YVc#PkCJCl{WAE^!E)3QzCGdLxp|xG zjvCk{t^MpDzq#&VA7DX2~DYrLr~tTylO@bj3v}2c9P`O!)lxy@JUBeg3#I z|59SRGGVWDUv;v4+B~CM{oyHjkEMRTBj|LUyW3ayA8>!}sOWAx9<48ZBBWFD@ZFoX zr}t}hXG@R!^$Tu1Rw8}Juyu(iN^ag%?PC4D1q(+n?e)*92NSo{9bEhKUxx6>7j}(N9mrhfLx(7TKyI5 z`Kx5E)~~Cw5oMU6Xdb2MW~i!YQL=1KY+5Q8J^}dT#wQOxf%xRb=T&@O!zUj;`SB@$ zPeFVN;Zt}^(^5f=PDaS8j6tePa)cyBRIS-!aIcu2@x80W)KVlxmu1DsY_MhX&7g9* zs#!*;B>sgC3e7LRElE|Sm(Uc$lW{9(U42tgNC(^0Oo`AeL3Gh%NwENYJ-5??76h2e zmZ`Uc{tC#gDw1dD-$CJyEm^MSl4RAlVnaaNMBhpB*PZ% zoE!$ovZdN&kDys99Z*qiHlU)(I%{XktevW>F2-YiNj3~y)5xj~Q=+FKn~G$*nJa-N ztKOaXZNxMr$}QQnReFH3rO6JP*wPd>v1KZZGq!3fI3yFdX!ks4*Tc)HD z5mhWxmdJpn2^nQHQ?<#RG)+^}$-$bIY&r5vh$c}iXlPThH7x}zcQ0Ck>`=~t29aXz zOg*!&fv{iDRk_jD2b_bfO@OHXPjs)!tx)EqAMRrMJS@7S)P2ej;Z_mOmQ^?^EI%|?^^;o+tNj8}nyHqX4 zHQk^}0qvx$N&HShk=?gSNT{jnuz#-IfhJqz{9%-^8h1Nz!K7LXtJW;WaoeB*4=bl> zMTjs;IF>s>#TBz%)o|Zo1TmXd+%m0CXwjGUX$;)IY+<%><(w>mK}69Oe#+TFEAQTL38&N z476>=866smZp0&32rlMWhGDoFj&(vM5y6lwoFtV}3xdJ=+L}t1B-xTo4go?YSqgaT zIt0mvQK!tc6-B0pU@IKPK)>-xG;Eyi8_+Cg4(}m|lQGzRvo&m*bhbI{kZeuy8_5(J!f{BDZ02mpJ3nYT)v%zktBqk9)6h<( zMpVp^efmx|fQ6Q^_#}o(B@OMEh+#lzA2)LaNThcfGS80tOWIk~=AbVGFKb>W z%YVQm62%gNM%6rMGR60TW|Ku*ngR6f+8j8esN@34dBHAAGd=PP$Rd?H*@V4!jUl8H z;E2*-Y*{;@5@s zWEB9NvR{RulPivi;rV8F_Vtxq{)_-6SRMuPf@ZrpBgqbM0!0sKsAk_!pQ(ThYP2)r zHB8_@W425M`+YmkUbF^(ouCK7E+*Bm;Y_$R=nA?RNDSkk23<-yr~)SD^vy&MvL=i> zVJm2^zysK7sfI$`b@Y`rdd3>mGZj|Q7-zIRFx95#L~h_Xdi{!ZS4bsgB(Z}br?)rAaXJtZUc4YW!;vk z4-3TL6?2zb)ip#B$aordge|$iwCK!KBPLepK|rF}W!GP#D0J>vU=G_)^0TgkZtFD2 zh~4QXWiTdTrwuMp8u(`rV1f{yV$$H1Y&eR>RGE&bC1sbPV9$hwh$j)di%SioMn%+6 z8QMqG5pFZa6a4q7Jlu7LNPs;V>NT)A${EARjve@ohkMEvgGi>|=Dg<*ILe$yL_*-; z&>e#{Y+~4AzX65dAzEs^WP!}1!!bD)6*v%qg~-H+zA@vDP!B&(#9HZPL!^gs5MkO( zdmo&`eoMhsR6HkMgK8uKFM=>kOibM*Ko=g0;d6R?rz+wolxc_(GL(eaMmF9s{5spr zA3^MxVLL?RZOgMRe{jnHP4na`5Zt1q#cmYLovCPC749OE%FnC06 z$hRkWJF2W_e2n`~31m~VkjQo${*;NSqHC0cc!oe*aW*0>agiU}T5#I#$ z9Wf`Oyi~t{#?%4A{8^YUDCeGA03C+sM&aOt0jBL)7ZhAMm*!a;6kObs9u!EyJ_1tT@2b$G~ysE04PINEgDjP1bHqN zQ3g$;N*8^zl1DiP1MQF`qZ@(iVS9=c4@M>x3b{CREEGrd>$oQA#e<7F@DOMZpj9HF zNFrJk!6Hl}u@sqv_yRdY1x^G_4uOW$v6vT4S2DO>t^h;vbS)Je?zN~BO5yk|+p|i1W7((09}wO0WO)Ce zc*5U+$)#WuSjVK03c)vpx*%AeMnNh18ZzCRi0~2hErNMjZcdJ}R4@gNh=OKQe+VH9 z21-Fw-KG@$ge=kc9B76+^8t|rkzq7UY`C?mXotKP+Z}E&y;DH-RMCn&73BhSpemIh zb_50%N4zDibnw;O0Wfg~%H!|=3~!5X+whbK!8dSI-H_l)c~smNPj5lNF;5lWy5`vw zf@22s_N00LpnC#C#UCV3WGK1-a_FA+f`Ss`1o5ruo}^IGMV38B1;I2t550eoJ>|mC zMMsp|6B{P}B6|jkZ&=&JFwsSlJ-Y+}q5do0KPa9;74Uy7RL3{7#MqrituAOR?xvs? zg+>(64mX!v91%Jr7ZFZ%w$b$omoQeWctx<9LIp)Nn5Qd(id?v0TIgaBt#Dg*AzUCb zH3FB6={XHiEvmmXB;@%d22&L z$kJxb>$AkT+BUn}h*!{v6Rta|M(BXZ+VM%C+G#r|DL1xvVAyf)jI9W=@Xj!1Y(TEL zG^hX~aF_#mP0|Wz|YhSp>6`uFKdqMa5pAq z={2kmV3IDz0JNnvI0vkqsk#iSu&X*;QoU1q(#ZlMIL~9lNqfV=~2sx=KGYn;G8|=70$yVlYgq5f>pz za1=@*8BC-ai$++LE>HoCaM5sU9LO8(47M^5j*1EfEC3b8qg3nrJMm8Vmm=b zlr6?W$j{AcTw@BbJwm z9kG9(zXKED1_$7b1#3bD30XBdF^mR6-tLK^xZsMoX=vy6@CE;IB&h6hHxy-kOpT(9 zktq-)nwen2VWjzf3x`QzI`V$D!>*l$qygEnifli1cvW05%4$`IbKxgk;uv&zkyK-% zubO2`eE3gjc`m^SnNh=m&MYr42BfJ@y>9TAIo!;|IhU=uajQzA;hda_U;SCfWcL1P7K zP&X{oZP+M0rwkHmgwRBwD$CQ#IaWcWj=Rul^j2XKU}^WpVYXzp5fEvJ7xk`0SK(Mq zlpRvsV7?@+it&J@>BOiDAcBlVGxUVMEHN!;mP53uU_UWFl8IYNxq!}yOw+{xFH)L; zk`AIWFdm}xnSFh*UJ%(%5QwKji+}>69%NzweKv`TmULn$dm;;th)`J6;}J9p$5363 zd=Q-&&iG4c6cnLU5KbuR3oi{d@r($4N@>tvlxCpji(FHbxf|KuQnsl8%@0Fn77&1D z`xcW8>rqjIyF(@h4rE*qV3=Hc^wp`>6*OvD1&yi<2j|Z00%(A~bTM$xIZdbWFI+L^ zor^MaiaA7#7s^kVwH(WeiD6X8#L(>INJI#Lp=%82pAYs{7{H1mphm`ndCTEe7OaQc z!E!%XHFI=9g9wuWAzjq=nAi!$pD3bdeuwEGIYm*C3C7S|4?5FAF}x3fyip;9|3qUC z=u3hbP-Y>SPx)>5Itcl z01y)zBzc)}LVX7{>3DJ=FCsLUey zLBW=IZ$fb`t)H`9jzYTo*H!GGTcLZ!N2O-iN?LV${ft-u)^J>?9*38je;E9C-w3V%1nd;TV@ zJoSM=gB2x{fLVUGFH1?HGK)=&$O7XaymZ#ibXWx?%8qpYGyqD72qE4~unH+yOS}!C zixy``Y1s-J`}eUQNnfU&5zu3X)ka1jM+aqbfqQ@8AV3107@mv&Vg&zDCEy>c$Yv`} zk9I~06ypL6Kc}(RN02NQM+Xgo2_nI;39L{|JWrt$BTR>koO^*7kfA^viALilpkLUw?P%~jQ+A%*HG~KOJL`^uc!_J3EB4-3^g66(M}qnJz}OV-LYVqYr4rqQz@t0i7ftf=5G@`mvx< z7K+Zy?G)`OUI7iUM7C%=2654lB1cUV%iKt)3gkORXvfuA^kuFk45joER=?zyAf!P9 z^TNs!G$wY8hX8b9RQI!E(&++4Uu5xFUzEgV(XtUdCZ<_%bmqYn(T1v}|ROBU}hrGQ|bY-n~04S`8vTG7CF^N}+=YqhKejD+gzaSD^CpzObg=;|388zIDW)RMxFUmyRixGWU zmJu|E*5irJ%ojjI_H0tnNZecWWp#US@UU&VXka}r4g1fLYLr8>-SMh!42T==8cA~A9HTO~jIC!T83iN$M6Hw`_(8p?siX0?)hJiM|FwK4K0N`p4DKOC%^qbY@XlbVfvi z_4So*=Lj_bAaCc5-Uz^uga2gk%e^}>G3+s&L@b-pvLo_-x9Md^!kz*F|3QvO*hoyw zAvxL+pd$Lx%3;wL=gAhR6C)=2qTtaT!4)FID!b5-CD=ei9*ItZI2og%Dwi5IJazRY zbba^_#fUV9Wr+eoc6Lw|6d}R)q2XloMevv|P=mE|(;SqEu%H8I@VDI!L1QsV1ZY?; z4T=Jf;YnYZ5`qI@!tg@ZcH=)mWRZK=I-C_95W!WtKs;b#3JDck3{Q$5;PEM`tOzdZ zbXk%FG(0k=6C=k?j|9+#`G6?1VU8>E-$Wt7{vqK^15n5svq(FV!7S#3cC0K3G=6lr z5j5!n6N`90#eYIQ5&;3MV1+h#>cD@01IC2i2=Tg;Dmc{D`B}g${D(4n##R_lqDI9# zL`09tk*J6{&?AAjO(SIBGlzPrgE$-;Q2cBNnFMbv8OQ{UT`^HZN3W+S-lKDf3Vbn# zz+XQ6r=d=jb;f%!pR{JCfbi-?V~Pfc^b#6=0Euh_Px<||sF)w<54i=ZED(FAl>tb7 zz#z~85g4Vn1TT%4^rIl1#=tGza3BqIK;#k`4LJz9Km(;HY%vgiYMkI4Gc5{f%S6!F zzmNSWH)8kGK&=v+7+Ewr37(oUU4hF<6D*?8z?Z!fKZhXrk6VmPDd7TsM}?gop4Tuh z3CD>pSK^n=*iTy_F3n*&vQbRk!cH=D1<;>W`s9cI z;9D?<1H~20ZsTgRt0*49QX7G&D$^h6>E@$+N2weH2hrSUz8_u)Sz zM_8q=s5Up|IiRTbe|_^ctb@e#@kL(mx6Y9X3YBH!KV9|1inYO)V&xKM&lJfYY6C* zy~4~NZ9!-8`wi~S;u>0~&+$C}KF|BSb#l+W=bn4++4o(utp3zx^}kaq{9u&sm@PunWzAA;wZ@xT1F1$-1J$mfMwxnz7+F>tNLo}>eWSq- zKb0AKGn?*ySv9Drv$%co#A;@N+jrs~vtCh8+Rv%`Wc1NNXOFMkl6Yw7^lbZb|M!Md_n*b1?yZa5z9{_c z`qNVmI4c)z@3$cA%G^c+-hY4Xr52svELXnnsJBLqK9n?U>c+LVE`B^uNg4cVjpWbf zm-+W~tz&BUf87>E+di4`#hub#TCru439S9Wi9doH>?`<1Y_ z&rd6QWzGXF`Bv=1D(_4k_}YVfaXS*1%Rklmr>6AP*JJ*;`em0<4-=NGtF`~=iWT3r zd*gKP(;Zs1C~ic4wW>&$aUYH#eNWy275WMe^m|9o)R(nv}#EOFjyY9i>TXNWX-ZkKKtKyS4u4`(GzsZd&e{ zo;c=*Z#T|)w6yU0MvvdQtsk=&^-e04S~TXbvYQ_sSrd_SPoG&yJ7-%>BgZw zH3pxYqXiv$??{Ej)!9xC`C#(Y(McT&ZF8*OYkaf%a6xAFN z9ew@Cp|dmkr%av~G^6nLrAhZsT|P45x7Ak;ms^!1U;c-6?&i7|T{1`ihFYBk^X6QA zSnt%1oGF#Yb&i|koIND1KALi?ZnPCKrv2d?SGTRJH9KmGJg{@KV_%-@)uL^W!`Ey4 zxBGNR^CF`XXGF}|ePY*`>NVf_;AY<;wQD_y=(ylgQY-tr>1Cc?E_FS+=EM&c#`X^R z=+VThe@_^)=w$b6)q53e?8NWg)qUy70hJ;qH@YAl$T{_$4kg~}5xw_dy~9n5J5`U* z=r-tbZ)?Dk86yTYerrs%*cNT_G&{Jkbon#E)4QGOaqV~M?5fV6)gE=RL5>3L#*aI4 zqT2-PboJF&Uip3fy;Aiyx0{x7Wq#vFHS<@B`pI0i@0XS1il$CJHSU6OaMkk4xeEI} zZkD%PpMIU~8XwJEUSvw!$)AsWc&o_HIsb&d_@(Nd&>(01no&{u2T8*V-JE>k*@2>O z9cx!()x>GfCRSf~sbO5{x^X!tyj7?CwKM-r8LNzMpLbgSd4He#BF~Y1k0#w8daG!* z&fmw*U*7tB{F(aa>oghs#dMm@U4wXIrZ9D?Rb_{z$vxl@{e)ry3dHOuMTNsYN2~)KA%#q>AtDk>s|OO z(f7@N@5U9lyZwIQxUj(+W}fW$&z4pTHqQF`e9kRZs^zYIV^W?)%RMDs4NW z#Z{ZwDB;nEz8^+ToOyqLNck_D%&nY~w{#JC^_4l5jx8NC{L@@FEv0PLUT^O#zVLW* ztI2t11^vBe|LOYW%b#6exB40;Tue@UG*QI|PUvu#4V$!UFtELZl zB{e3gcJmJZH4l3IOrL?@ckP}toAt+6{eGVE_Mbg>?#~l z`>Sj73X!uvDbyrBW%azhGdm^K`E~5FiN5ZIYF~4Ht~T+9A;*_pRGPMF9c52BJFIoJ zHD4X>xS;nJ#@yUW3BHtSvzRtrnh$cmeg-ED>Sid_7UTfo3xzlR@yQ$ z|HbUPqF&7Y_Hy6sv8AJry9-~mZ(%!qN}lWAs9L#G8|p-qkBw?kblB7DgY-hJR?hk6 z_myX~-(uY_*Ot9mq^h&>w;pAVMg^CwJa>=#%7Y%)Zzei1d8kV~A_}<8^ z#TK;dIM7#O^4N>fjSFwc(|>#4km2oPE)6g9(bs=jYW`&ttDjqZufY8_Q&)YKuj9yX z9|r{;p3o)l=P|7dx7gC@?9fYhCmr8e_Vej&FBrw2`id?p+R{y_T6J`r6;*%fzHqMd zP3+!;S&yY|dGgi&>Cc+4tXltR_2A>R`s7V|x_;BB$XlU#-Z(sT!il9n;`THfbR(qc ztoXk9x6hpa>7-vv@7;Q0cFDU3Lce?QzYij3^^4!pW4rP3oq8)CjxT#G{C2+hrvFZg zJ5luR#`Rrd298@dykD!vKgY(zZz*Od^DicrOg?g|;Jclia>t*pcpNeA#Fh9GZBGpe z>Ga>0!QVXIdThzB)2wOsLFd5m8ZX|zxx8+n`C)lZoH^hA+3gy&x7D9;xzUD_H5-0< zbA9aYuda1XIB>rB_V=gdjhNj~$yM}XLeQeOH?@npbb4rb-}Bu|-rdyybfmlX`Gkef zZx6cnu>6%R|H*mRbbGpHNc80@&Z@WzEB|g$Kf{&sTEXQ{3kvVU(> z$7}7+IwQ&qywkq+=pOICl5jD8;(OQI@BM!9sUQ3I-`Ms2$mHt3PTtw-TIoNNd(3P$ zyY$!Fi_PwQ;`FK=iI*CVe7Nh&=I4CXJ8yVzrrjy5aG8JSRj*WPUgG#)LW=KsHa6tb z2j#9FoBR8tsNBizx?G8WP(KwbTZ=cmd-z!#2Vd9RqdC zJvt{_+0kQ5WWy&2pX~VLz$Yg@x$w!2Pab^o;*$@b{P+~WryxFsHjXV39DXd9q-v_9 zyWiamE|vcO8;{%!E|cvwLkgF~f8l+@^NDXuQWcBCR7rA+-wIw^SI{NKWg*z6rfCFb z*`^|UV6voGhN-%_ZwJo}(u|EuZwFrt%C6X&JN}>GijHL|p5c;Y>V`z7l}y_Ldpyen zX3Mr0CQGtv>I|l-1Xq@@get~4S^JS?OEt(I0kb4Jp#tZfPN-OmMt<6FnSuYsYtq)xe{Qq?B7YiModGZ+>%XOp$8~in(VNJ0b~nXrouP_9!TWq zWZP5?LJUYYOu_}gOf~K3nr4cV0%qA{cYs+solrJqiNX}!GSrQ!_kwE#Ig&{ZQPEX7 zeYvdFbXB3`E4pc#M4|w*G_p;=Y$_Crp%}QxUWo$Glqs@-Q>5E86%6$XfMO~tl_&wT zh@dE@Zfk)X77_)$BQq{orUX@lzh+5_0+>lAG)+~P7z_tX?j(4nDdb>HOE#-m9BAo8 zv0$L>E_fIm;@Ff<$&^&e48U}%Y5;>&diMjEEs+zHATE??fGM_rT<0ui0I1pI6aY&< z*1&PPY!d;*IQu08%9`vZrv_JYsGCQV(}h};7v>*NS6NwGPB zmPz##R?u`Jl7Jah#9`Mo1^f5NJq9WkC&r=|6XURq2Nxy=8q%{nu{oP*Yb=~@V_;>{ zjVx@TtP-^Yn1+;)XA#LVbS}sskE$IkA{+FWz(UnKpMymty09?$FvFgOu{%>Ef(cy1 zq{0PUmBGL(nF%300_@+*eoKc=W-xw(EW=Q}1cGQ&W!D}?njMJ+naRL)(tRALw4WcQ?lzRVB&iE z`Jd@%>mY^*4F)O--arY!LnQoo*_MVS&`fw&x1p%%GBEjO|n5`%+d_Wz1Y$h;;7`# z2%cDsTx^xz85u4Sy{v#iCD1Lv4%73IVRZd`$5Cb+B#?FLiGp^`CbT1nQ0V;-!3M{L ztI2U8_W=Y(Azpy*U@>uqB4Xk!Tadp1WGDeFY)lh;g!jh&flP_aXRS)<+}#7$*~4=>rIhl-%h!!mItaaK%=fB{RjwbWjWkkdd^`t{t# zXk@vBf{nsyJhJ89$>z)XhC!Vd8Nr7qoDo#3 zx=g)#0dvb`ha4-^L%^RDb_G>kQ`l+g8WS-UUMkg8*pJNis2OSget;Z@=Y{Q&2%OLc=SVf}PNVgmr*10tJlk(Xx=~!y*BfM6+xU(eCq{zFZDcT6CO^9W$6LGg=Vc z6J~)HWL3PlB6wlPjW{~Z#so4!hi^*{P|uL?fQ{f1vD>a8{XkDdhc==&M%Pq3@I?Fy zSci3?+|q5X6?73rcy}k`qB5aJE`;V2W!(lj6xTM8Ct^UE!bIMY<^*I&FHKYdrZKgp z+XxTH8V0m?+PVP>SlmkQ?u1i=^eRPGg){G!EnqVL$xtk2j173o9xj0YNIc5A2k3`o zWDT+$9Ro=aMvP&Ybay5^BFa@1Wl2uXMef#8mp3pgfZlo-rnLXB)` zh9S?0$>H8ZL=c-ba&xBk80kh&6$&oKo&1WF^4bc_#>ddbZm?E581SKX9g zoTO~J_k(>EvrCrZmh$;3wPFG*vXS(JvNDfZI>a({7TkynAiIe^AzzYv3EvKr0JzT_ zPtloLfQwEIAYubOOh1fRgC4tNkys!p=Jdzg=!@rqfSVOL8*=g zwPHT1<&YNlrj24i1AuTE*@Q?$Q5fpBLiM{WOK6x`$F6?C48ZND><(O&fZYnz2X~$-zg!K zE-q>Dk^tz2TNmFBbte@RTBy&Yz)SH&8-7lj8cpp0SEo@MU@zeUv}l@+%2JNV?Xnyu zU^WeX6eOC7?t$PSJ}3SbU>dCi0S2cv@Teh_05T^G3nM-V94N*~c2@p5E&U8!h&LUl zu__`mA1n?N8qh3C>;|L=hrBWMRo~U@K`>;0l*L&|hMPMK-=^fgF23Ol#fAAIazHQJ zt|K5g=B46WvE0L9IA-|PZmIz2wi^~M{-C)H!-0Z;$#(k*h_1P=_(s)qTev{6boZM7 z50V>PPW(Z4&2m7|ke7Bl35ce6jOJ9_y0k1Ux;rITDd&FL1+tnGs}zJ zY1GQ%(tFcrLbw#@5n`KwtCElg<4^=4SJwh^x{=KkE@7NlCyHP-HFmImEMJNgA@RKg zfe3@?xx)+a`q{5yAb?Dfz(sQxR1gVMYQ2#?L{*2#lM2_2G6S9;yQP3Jn}d80HT)25 zST?anphiZbkg0tnnrJc}$WS4KK-3zURYYNnRwQtlz4;?yDFH-^lTHY&&lf>TmySa; zOm8U)?lhi2%E_X+Oss1;UR~fPhAS)FCF-IB8Hs;Fj3_|Tjle%;_6uzy>1sSvK9PWh zpio1HA{Jw-4iTdQFGELCnbAQavHyBK#`9t(snM_w93u0@e zhOXe)X|4q@7Q>@<4{ww%3>oB{VO?#&&5A@aYUrR)qHS$xbCTJe1ukvcz&M>|I03Vm z5F)KYg&L6x^ciKLXbd7(3{-3BcQ(uOf{G$nOqdys=A6MnR*FJ|B=W{W|7E2@0c5#x zz_{|kAyKJT(4WUVZv=ugV#J0aT^UE0UPH$sC_H5V(;XWVDvogm*$=8zLwOY6z;e!0f>f)D2C#qU~@wLGmN-G+Gu_`WL=u{-E z7Ntt6;Xn+^vut6DYCXX%>Rbb4(Ilo}q2lFVHzJGu=ttoLadZd*UXK)>JRuaRXS8a2 zi2{sum_gsLS~WZll;XX(NXf{QYrs{~ZAzA>B!Dzp7mEa3D}Toc7E!4$fkYNet9N1e zXXss`Fq92EItY>i8w&oCfiJ0&`sec?0~bCAb?-nl^PYgq>db(ts4S6%QSK+k2QC}3 zca%Vch-}9Sa?X?sxZ%`!#e7J%r>&dmDFJA(ouF--3azOM`%Q>O{)8=pA}w|Qfs69E z2N#tMoF7g1&f*VQH zIA8{K>j7gvBw&bI(&x+YluS6e=~p6Ca{|VkQURj|2{2?yD1o5mB`~Tp9Gp9|3xFZV zLMKFWox|`xnT!)92rATQ6Q?R0*AuP{@szMIlrftSJ+B^^aL1T;jR{$e7giJp<-tXz z2C;7@XVN_-^ry2D4w~Cpqzf4KMAXUWSZg;3|$0% z8)GY8OHd(1{+{L@Fo@(Y(g+ks=eLv@rWy;g$0dMyv*7;SnFwzvfe>mAV?|4_UkfOK zq_1cb;Yu?JMwyuz6VS)BBigxGJ3BglXwwNchZ1D~X9WKNWXUAdYTz;i3>4#R zBvB}dIPSQ z|2CmCNeeAlSCMI^3_C_K(R)sSp_EKvq9(^+841Wtp@xoPJz?N9;`lV&EdLJyk4G{= zwg^F~EPxn|W>ElR-N3-rC}%{$kfeSb@i>I`)}s)pv!DUvSlBIKM5zc|lyfL&P#q-F z4_s4Iz5buS0?8s`3?z#PqMq}blcJ(R1Bov3t$EzP%I2@gDq^Z$_*lWqA>-oikQJ~e*&Zx zP7d1%x`8>XUvf*3;9xfb6%j8?EG%a=zo+|u@HLQIq&v|Ch2r{V5Gat5>+!&FOuEXi zB2)mw<(U-=uTAjcluamHW3n)G59bVCA9%(IVk}a?0MY78js$&d!1eP#!vdlY7IiJp zgnndxB3$s@#0vA~w&wLRF@uVmdDB^s9jFP$sCXiVW0vLVVCve$g zAB=-ypz}Eh(6Xq>SQs4vbRZNVL&m#nj?3BrurPdgHeXr_SMWcb{eo)t>K4fGhZr)< zlLrP|QD64Jz%6tUc?tBx0(FI0Um!E@1;{Vi392)EVfNko&G!|lY?S+>=6rKw307yVSB|I*ngJvBk90c2;1g0#{ya9CK}5ynX#yEAaK3v zTks#3_$2~|)VOy-flRVjeq831V7|Z*D_yA3eCpkZSXXzr&{(LCdDxGI(ctPOMj(@- zqn{XR0R=8hhi5*4oAK;1(Emf{yO%0MrDCrKq+S!&!hW#&MHk8^nhZxag2#yh#7~ zjgFZ#iG|^AdIkz){O5s*aj0Yv7!p$?1`@cEyEeubQk8q5cw|Tte;6*=?v7|*C<>!& za@62FFfp2SVJ>+~`dcrM0+(d@JyL*9*#56-@8GbB`-#GA$ z6SyqVD#m$_5!W3++GQ<}5z>1m6yuPl=P-VZ&LFmM#J^D^~(W z3$y~4JK7jW+z&xaX4h{dDk0mU=hSf>_%uvJkmu_k78$x zA`^$Pv?FXwR=q4E-Hdb=+##|EertqScNivxngfj$TB5Ur*l-)himJYdKZ6QU8*(pG(xefh6sz({zmf#2uALq(d* z5c?&jUlKoa#CVC=m#9uL4tX9*AYSCqbAU`Zj9pNE><*!!krM;!#JGT)L61a(#iB=o z=D2j-9$*ASS01HWL&}LRf(U~|WWvXS?2#QKMrO(dzL*y#i~xXM%K(@N8QH?o(02FldCuvi1VR1RGPy|YZvNn~silc1y%>45Z(t3?l$) zQ2L_+f?5`fzR*U*t|#P@$q^n`Fp~*J69oYy0GmQ9C*sX!W?3%dch2DAvOpI_7j|@T z2bg9Ozj#LFLv$M{)Cl12z*7^}E-Mxhzji~Fk9ZVAb+%}Xq4I${lELcC*ajLqQ^jT) z0YsL}r$TXzmhVv5!Hp*b0+rcnIOgmsBHv26>Y!)<=DJ61t_(c)C#rG}@7)@-!X+xVbIVMC;0S&V0 zIVT$)6*X~aV}Kt+7QqWK+I59j_;__s#_7;pF+ePSEl+{6V~dQXSn10xeQSL!f~)te0B?m#2f! zF%nR%_vf4hvPnEpz|gPgWfx%Jzjw!C9PLF04DZ4yG5B2yBK;WWpy|rHJGitsI`0(& z4BjCdhpaj!5Wi|bvh=`3s}jRS2}sC{kpIk_ljy1UUMC=noSH`#028$x2BUEr4g~sx zE)3-u7*>h(F_86#h|{FSECItKS+X#G!h#V9Q_iAz_>ja6LtLc9(rUN>Qu{7oXbL6^ z1Lkq1#76L@OR?S2vA&q7=mt`Q=$I%RWt3&s*P`X9nCSXe167Nblm=$BUMIZv|2M=9 Te#ciVuPo=QSTUwWgM9x7gXc5a diff --git a/introduction.tex b/introduction.tex index 4eb4fd0..a95284f 100644 --- a/introduction.tex +++ b/introduction.tex @@ -4,17 +4,17 @@ The interaction between biochemical reactions and the functioning of single reactions is based on the mechanisms of facilitation and inhibition. Facilitation and inhibition are key concepts in molecular biology\ \cite{Clark_Pazdernik_McGehee_2018}: gene promoters, both in lower and higher organisms, function poorly or not at all in the absence of extra proteins known as gene activator proteins, or transcription factors. Other promoters may be inherently active: these are often controlled by a class of gene regulator proteins known as repressors that act to turn genes off. - Reaction Systems aims to models cell biology by representing this complex interaction between inducers and genes. + Reaction Systems aims to model cell biology by representing this complex interaction between inducers and genes. - A Reaction System consists of a set of entities and a set of reactions over such entities. Each reaction if enabled produces a set of entities P (called products). A reaction is enabled if its set R (called reactants) is wholly present and if the set I (called inhibitors) of entities is completely absent. + A Reaction System consists of a set of entities and a set of reactions over such entities. Each reaction, if enabled, produces a set of entities P (called products). A reaction is enabled if its set R (called reactants) is wholly present and if the set I (called inhibitors) of entities is completely absent. The use of inhibitors induces non-monotonic behaviors that are difficult to analyze. Entities can also be provided by an external context sequence to simulate interaction with an environment, based on a structural operational semantics (SOS) coupled with different transformations and new frameworks aiming at analyzing causal properties that have been developed during the past years\ \cite{Brodo_Bruni_Falaschi_2021, Brodo_Bruni_Falaschi_Gori_Milazzo_Montagna_Pulieri_2024, Brodo_Bruni_Falaschi_Gori_Milazzo_2025}. - A comprehensive overview of all the different transformations and techniques implemented in the proposed tool are listed in chapter\ \ref{background_chap}. + A comprehensive overview of all the different transformations and techniques implemented in the proposed tool is listed in Chapter\ \ref{background_chap}. - Despite the rich theoretical development of Reaction Systems, practical tools for working with RS models have lagged behind. Numerous versions of Prolog and Python programs have been developed\cite{BioResolve2025}, but have problems regarding performance and usability. + Despite the rich theoretical development of Reaction Systems, practical tools for working with RS models have lagged behind. Numerous versions of Prolog and Python programs have been developed (see for example\ \cite{BioResolve2025}), but have problems regarding performance and usability. This technological barrier caused by lack of appropriate software may hinder future developments. - This thesis aims to bridge the gap between the theoretical foundations of Reaction Systems and their practical application. To achieve this a new software platform for modeling, analyzing and designing Reaction Systems is proposed. + This thesis aims to bridge the gap between the theoretical foundations of Reaction Systems and their practical application. To achieve this, a new software platform for modeling, analyzing and designing Reaction Systems is proposed. \begin{section}{Software Design and Key Features} The core contribution of this work is a new software tool built from the ground up to support Reaction Systems modeling and analysis. Equal emphasis has been placed on performance and user experience. The software is implemented in Rust\cite{rust_2025}, a modern systems programming language chosen for its efficiency and reliability.