Difference between revisions of "Team:Fudan-TSI/Model"

(0915)
m
Line 36: Line 36:
 
         /** 设置默认字体 **/
 
         /** 设置默认字体 **/
  
         h1, h3, h3, h4, h5, h6 { font-size: 100%; }
+
         /* @@@@ h1, h3, h3, h4, h5, h6 { font-size: 100%; }*/
 
         address, cite, dfn, em, var { font-style: normal; } /* 将斜体扶正 */
 
         address, cite, dfn, em, var { font-style: normal; } /* 将斜体扶正 */
 
         code, kbd, pre, samp { font-family: courier new, courier, monospace; } /* 统一等宽字体 */
 
         code, kbd, pre, samp { font-family: courier new, courier, monospace; } /* 统一等宽字体 */
         small { font-size: 12px; } /* 小于 12px 的中文很难阅读,让 small 正常化 */
+
         /* @@@@ small { font-size: 12px; } /* 小于 12px 的中文很难阅读,让 small 正常化 */
  
 
         /** 重置列表元素 **/
 
         /** 重置列表元素 **/
Line 78: Line 78:
 
                         <li>
 
                         <li>
 
                             <a id="navList" data-target="slide-out" class="waves-effect waves-light sidenav-trigger right">
 
                             <a id="navList" data-target="slide-out" class="waves-effect waves-light sidenav-trigger right">
                                 <i class="fa fa-navicon" style="font-size: 24px"></i>
+
                                 <i class="fa fa-navicon" style="font-size:24px"></i>
 
                             </a>
 
                             </a>
 
                         </li>
 
                         </li>
Line 90: Line 90:
 
                     <div class="background">
 
                     <div class="background">
 
                     </div>
 
                     </div>
                     <p style="width: 100%;text-align: center;font-size: 24px"><span class="white-text">Model</span></p>
+
                     <p class="flow-text" style="width:100%;text-align:center"><span class="white-text">Model</span></p>
 
                 </div></li>
 
                 </div></li>
 
                 <li>
 
                 <li>
 
                     <ul class="collapsible expandable">
 
                     <ul class="collapsible expandable">
                         <li>On this page</li>
+
                         <li class="onThisPageNav"><span>On this page</span></li>
 
                         <li class="onThisPageNav"><a href="#section1">div with id section1</a></li>
 
                         <li class="onThisPageNav"><a href="#section1">div with id section1</a></li>
 
                         <li class="onThisPageNav"><a href="#section2">div with id section2</a></li>
 
                         <li class="onThisPageNav"><a href="#section2">div with id section2</a></li>
 
                         <li class="onThisPageNav"><a href="#section3">div with id section3</a></li>
 
                         <li class="onThisPageNav"><a href="#section3">div with id section3</a></li>
                         <li>Team: Fudan-TSI</li>
+
                         <li class="onThisPageNav"><span>Team: Fudan-TSI</span></li>
<li><div class="collapsible-header">Project</div>
+
<li><div class="collapsible-header"><span>Project</span></div>
 
     <div class="collapsible-body"><ul>
 
     <div class="collapsible-body"><ul>
 
         <li><a href="/Team:Fudan-TSI/Description">Background</a></li>
 
         <li><a href="/Team:Fudan-TSI/Description">Background</a></li>
Line 108: Line 108:
 
     </ul></div>
 
     </ul></div>
 
</li>
 
</li>
<li><div class="collapsible-header">Results</div>
+
<li><div class="collapsible-header"><span>Results</span></div>
 
     <div class="collapsible-body"><ul>
 
     <div class="collapsible-body"><ul>
 
         <li><a href="/Team:Fudan-TSI/Results#ReverseTranscription">Reverse Transcription</a></li>
 
         <li><a href="/Team:Fudan-TSI/Results#ReverseTranscription">Reverse Transcription</a></li>
Line 117: Line 117:
 
     </ul></div>
 
     </ul></div>
 
</li>
 
</li>
<li><div class="collapsible-header">Model</div>
+
<li><div class="collapsible-header"><span>Model</span></div>
 
     <div class="collapsible-body"><ul>
 
     <div class="collapsible-body"><ul>
 
         <li><a href="/Team:Fudan-TSI/Model">Modeling</a></li>
 
         <li><a href="/Team:Fudan-TSI/Model">Modeling</a></li>
Line 124: Line 124:
 
     </ul></div>
 
     </ul></div>
 
</li>
 
</li>
<li><div class="collapsible-header">Parts</div>
+
<li><div class="collapsible-header"><span>Parts</span></div>
 
     <div class="collapsible-body"><ul>
 
     <div class="collapsible-body"><ul>
 
         <li><a href="/Team:Fudan-TSI/Basic_Part">Basic parts</a></li>
 
         <li><a href="/Team:Fudan-TSI/Basic_Part">Basic parts</a></li>
Line 132: Line 132:
 
     </ul></div>
 
     </ul></div>
 
</li>
 
</li>
<li><div class="collapsible-header">Outreach</div>
+
<li><div class="collapsible-header"><span>Outreach</span></div>
 
     <div class="collapsible-body"><ul>
 
     <div class="collapsible-body"><ul>
 
         <li><a href="/Team:Fudan-TSI/Public_Engagement">Education &amp; Public engagement</a></li>
 
         <li><a href="/Team:Fudan-TSI/Public_Engagement">Education &amp; Public engagement</a></li>
Line 140: Line 140:
 
     </ul></div>
 
     </ul></div>
 
</li>
 
</li>
<li><div class="collapsible-header">Team</div>
+
<li><div class="collapsible-header"><span>Team</span></div>
 
     <div class="collapsible-body"><ul>
 
     <div class="collapsible-body"><ul>
 
         <li><a href="/Team:Fudan-TSI/Team">Members</a></li>
 
         <li><a href="/Team:Fudan-TSI/Team">Members</a></li>
 
         <li><a href="/Team:Fudan-TSI/Attributions">Attributions</a></li>
 
         <li><a href="/Team:Fudan-TSI/Attributions">Attributions</a></li>
 
         <li><a href="https://2018.igem.org/Team:Fudan/Heritage" target=_blank>Heritage</a></li>
 
         <li><a href="https://2018.igem.org/Team:Fudan/Heritage" target=_blank>Heritage</a></li>
        <li><a href="/Team:Fudan-TSI">&copy; 2019</a></li>
 
 
     </ul></div>
 
     </ul></div>
 
</li>
 
</li>
Line 168: Line 167:
 
                 <div id="figureBannerTitle" class="hide-on-small-only">
 
                 <div id="figureBannerTitle" class="hide-on-small-only">
 
                     <h1>Model</h1>
 
                     <h1>Model</h1>
                     <p><span>It is important to observe and anticipate how one's product will work in the real world in order to make it more applicable. </span></p>
+
                     <p class="flow-text"><span>It is important to observe and anticipate how one's product will work in the real world in order to make it more applicable. </span></p>
 
                 </div>
 
                 </div>
 
                 <div class="hide-on-small-only">
 
                 <div class="hide-on-small-only">
Line 209: Line 208:
 
                 <main>
 
                 <main>
 
                     <div class="section container">
 
                     <div class="section container">
                         <p>Our modeling focuses on two main aspects. The first is optimizing the transcriptional modules to increase signal-to-noise ratio, and the second is forecasting clinical outputs for multiple types of mixtures of immune cells and cancer cells. We experimentally showed that an amplification step is required. We also used a stochastic process to model receptor-ligand interaction kinetics, a possibility theory to model the transcriptional amplifier, and differential equations to model signal integration. ENABLE constructs with modeled parameters have increased signal-to-noise ratio and should have larger dynamic range.</p>
+
                         <p class="flow-text">Our modeling focuses on two main aspects. The first is optimizing the transcriptional modules to increase signal-to-noise ratio, and the second is forecasting clinical outputs for multiple types of mixtures of immune cells and cancer cells. We experimentally showed that an amplification step is required. We also used a stochastic process to model receptor-ligand interaction kinetics, a possibility theory to model the transcriptional amplifier, and differential equations to model signal integration. ENABLE constructs with modeled parameters have increased signal-to-noise ratio and should have larger dynamic range.</p>
 
                     </div>
 
                     </div>
 
                     <div id="section1" class="section container scrolSpy">
 
                     <div id="section1" class="section container scrolSpy">
 
                         <h2>The essence of the Amplifier for transmembrane signaling</h2>
 
                         <h2>The essence of the Amplifier for transmembrane signaling</h2>
                         <p>By modeling, we demonstrated that our 3-layer design balances adjustability and stability for transmembrane logic processing.
+
                         <p class="flow-text">By modeling, we demonstrated that our 3-layer design balances adjustability and stability for transmembrane logic processing.
</p><p>
+
</p><p class="flow-text">
 
                             Cellular logic gate lies at the foundation of our system, but the core and essential design of ENABLE is the detection of transmembrane signals. With our powerful SynNotch receptors transferring extracellular signals into intracellular transcription factors, we aim to detect real-world signals through ligand-receptor binding. In previous designs that detect intracellular signals with logic gates, researchers merely control the input to the system by not adding or adding superfluous small molecule drugs <a href="https://www.ncbi.nlm.nih.gov/pubmed/22722847" target=_blank>(Auslnder et al., 2012)</a>, or by not performing transfection or performing superfluous transfection, which is analogous to the 0 or 1 binary input. In such scenarios, just one single element is suffice to faithfully represent the on and off of the input. However, these previous designs are unable to transduce transmembrane signals in realistic circumstances. Our analysis through modelling leads to the 3-layer design principle of the ENABLE toolbox, which is to introduce an amplifier layer between the SynNotch (input, which we call the Receptor) system and the responsive element (output, which we call the Combiner).</p>
 
                             Cellular logic gate lies at the foundation of our system, but the core and essential design of ENABLE is the detection of transmembrane signals. With our powerful SynNotch receptors transferring extracellular signals into intracellular transcription factors, we aim to detect real-world signals through ligand-receptor binding. In previous designs that detect intracellular signals with logic gates, researchers merely control the input to the system by not adding or adding superfluous small molecule drugs <a href="https://www.ncbi.nlm.nih.gov/pubmed/22722847" target=_blank>(Auslnder et al., 2012)</a>, or by not performing transfection or performing superfluous transfection, which is analogous to the 0 or 1 binary input. In such scenarios, just one single element is suffice to faithfully represent the on and off of the input. However, these previous designs are unable to transduce transmembrane signals in realistic circumstances. Our analysis through modelling leads to the 3-layer design principle of the ENABLE toolbox, which is to introduce an amplifier layer between the SynNotch (input, which we call the Receptor) system and the responsive element (output, which we call the Combiner).</p>
 
                         <h3>Previous designs fail to transduce transmembrane signals</h3>
 
                         <h3>Previous designs fail to transduce transmembrane signals</h3>
                         <p>
+
                         <p class="flow-text">
 
                             Signal detection in engineered cells is composed of three parts: input, the representation of information through transcription factors (TFs); process, the processing of information through TF-Promoter interactions; and output, the response to the information through gene expressions. When the input is experimentally controllable or even artificially manipulated, researchers can explore the capacity of cellular information processing by designing specific circuits with only one element <font color="purple">(Figure 1)</font>. Using transduction or small molecule drugs for input manipulation, scientists in previous studies <a href="https://www.ncbi.nlm.nih.gov/pubmed/24413461" target=_blank>(Gaber et al., 2014)</a> have shown the logical processing ability of engineered cells and synthetic gene circuits.
 
                             Signal detection in engineered cells is composed of three parts: input, the representation of information through transcription factors (TFs); process, the processing of information through TF-Promoter interactions; and output, the response to the information through gene expressions. When the input is experimentally controllable or even artificially manipulated, researchers can explore the capacity of cellular information processing by designing specific circuits with only one element <font color="purple">(Figure 1)</font>. Using transduction or small molecule drugs for input manipulation, scientists in previous studies <a href="https://www.ncbi.nlm.nih.gov/pubmed/24413461" target=_blank>(Gaber et al., 2014)</a> have shown the logical processing ability of engineered cells and synthetic gene circuits.
 
                         </p>
 
                         </p>
 
                         <div class="expFigureHolder width40 left-on-med-and-up">
 
                         <div class="expFigureHolder width40 left-on-med-and-up">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/b/b9/T--Fudan--model_wyh_1.png">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/b/b9/T--Fudan--model_wyh_1.png">
                             <p><b>Figure 1. Previous designs usually incorporate one pair of transcription factor and promoter as the detection system.</b>
+
                             <p class="flow-text"><b>Figure 1. Previous designs usually incorporate one pair of transcription factor and promoter as the detection system.</b>
 
                                 <br/>The amount of transcription factor is manually controlled using small molecule drug, transduction, etc. As a result, the input of the system is nearly arbitrary, which can easily leads to the on/off output, represented by the activity of the promoter.
 
                                 <br/>The amount of transcription factor is manually controlled using small molecule drug, transduction, etc. As a result, the input of the system is nearly arbitrary, which can easily leads to the on/off output, represented by the activity of the promoter.
 
                             </p>
 
                             </p>
  
 
                         </div>
 
                         </div>
                         <p>Unlike previous designs, the ENABLE system aims to detect real-world transmembrane signals represented by SynNotch receptors. The imperfect and variable situations and scenarios in the real world are far from experimentally controllable; yet they are unavoidable and must be dealt with.</p>
+
                         <p class="flow-text">Unlike previous designs, the ENABLE system aims to detect real-world transmembrane signals represented by SynNotch receptors. The imperfect and variable situations and scenarios in the real world are far from experimentally controllable; yet they are unavoidable and must be dealt with.</p>
                         <p>1) The number of Notch molecules on the cell membrane is relatively limited. Thus, the amount of released transcription factors is constrained (under detection level and have never been directly visualized) even under superfluous activation. This will prevent the input from being arbitrarily amplified.</p>
+
                         <p class="flow-text">1) The number of Notch molecules on the cell membrane is relatively limited. Thus, the amount of released transcription factors is constrained (under detection level and have never been directly visualized) even under superfluous activation. This will prevent the input from being arbitrarily amplified.</p>
                         <p>2) Experimental observations show that SynNotch comes with a certain level of background activation without external stimuli, which may most likely be a result of thermodynamic randomness.
+
                         <p class="flow-text">2) Experimental observations show that SynNotch comes with a certain level of background activation without external stimuli, which may most likely be a result of thermodynamic randomness.
 
                         </p>
 
                         </p>
                         <p>These factors prevent the previous designs from faithfully detecting the on and off of external stimuli. In fact, any synthetic circuits with only one input-process-output element will be limited in its detection ability. Here, we conventionally used the Hill Equation to characterize such an element, in which the output (denoted by X) relates to the input (activator for example, denoted by A) through the equation:
+
                         <p class="flow-text">These factors prevent the previous designs from faithfully detecting the on and off of external stimuli. In fact, any synthetic circuits with only one input-process-output element will be limited in its detection ability. Here, we conventionally used the Hill Equation to characterize such an element, in which the output (denoted by X) relates to the input (activator for example, denoted by A) through the equation:
 
                         </p>
 
                         </p>
 
<p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width20"  src="https://static.igem.org/mediawiki/2018/e/eb/T--Fudan--model-eq1.png"></p>
 
<p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width20"  src="https://static.igem.org/mediawiki/2018/e/eb/T--Fudan--model-eq1.png"></p>
                         <p>Both X and A are described by their concentrations. Kd denotes the dissociation constant between the activator A and its binding site on the gene circuit whereas the n denotes the Hill coefficient. Please refer to <a href="https://2017.igem.org/Team:Fudan/Model/HE" target=_blank>the model from our team in 2017 for details on the simulation</a>.
+
                         <p class="flow-text">Both X and A are described by their concentrations. Kd denotes the dissociation constant between the activator A and its binding site on the gene circuit whereas the n denotes the Hill coefficient. Please refer to <a href="https://2017.igem.org/Team:Fudan/Model/HE" target=_blank>the model from our team in 2017 for details on the simulation</a>.
 
                         </p>
 
                         </p>
                         <p>
+
                         <p class="flow-text">
 
                             The two free parameters, the dissociation constant (Kd) and n (Hill Coefficient), can be controlled to adjust the element. As shown in the following interactive figure, this allows us to manipulate the element to achieve different input (A) - output (X) relationships.
 
                             The two free parameters, the dissociation constant (Kd) and n (Hill Coefficient), can be controlled to adjust the element. As shown in the following interactive figure, this allows us to manipulate the element to achieve different input (A) - output (X) relationships.
 
                         </p>
 
                         </p>
Line 243: Line 242:
 
                         <div class="expFigureHolder width40 right-on-med-and-up">
 
                         <div class="expFigureHolder width40 right-on-med-and-up">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/4/4b/T--Fudan--model_wyh_2.png">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/4/4b/T--Fudan--model_wyh_2.png">
                             <p><b>Figure 2. Previous designs with single element are not able to handle transmembrane signal processing task.</b>
+
                             <p class="flow-text"><b>Figure 2. Previous designs with single element are not able to handle transmembrane signal processing task.</b>
 
                                 <br/>The input-output relationship of a single element is characterized by Hill Equation, which comes with a 'detection range' defined by Kd and n. When the input range does not match the detection range, the system cannot faithfully represent the on and off of the input.
 
                                 <br/>The input-output relationship of a single element is characterized by Hill Equation, which comes with a 'detection range' defined by Kd and n. When the input range does not match the detection range, the system cannot faithfully represent the on and off of the input.
 
                             </p>
 
                             </p>
  
 
                         </div>
 
                         </div>
                         <p>
+
                         <p class="flow-text">
 
                             However, the free parameters are in reality not 'free' at all. While Kd is determined by the stability of the transcription factor-binding complex. The available transcription factor-promoter pairs, unfortunately, are limited, thus this constrains the dynamics that the one single input element can achieve to very few possibilities. More specifically, membrane receptors such as SynNotch that detect transmembrane signals and interact with ligands via non-covalent interactions require extremely low dissociation constants that may not even be realistic. On the other hand, the sensibility of the system needs to be high while the possible input range remains low and narrow. Furthermore, the Hill coefficient n representing the sensibility is almost uncontrollable and requires the specific and accurate designing of the promoter. Thus the previous designs that utilize a single element are not able to handle transmembrane signal processing tasks <font color="purple">(Figure 2)</font>.
 
                             However, the free parameters are in reality not 'free' at all. While Kd is determined by the stability of the transcription factor-binding complex. The available transcription factor-promoter pairs, unfortunately, are limited, thus this constrains the dynamics that the one single input element can achieve to very few possibilities. More specifically, membrane receptors such as SynNotch that detect transmembrane signals and interact with ligands via non-covalent interactions require extremely low dissociation constants that may not even be realistic. On the other hand, the sensibility of the system needs to be high while the possible input range remains low and narrow. Furthermore, the Hill coefficient n representing the sensibility is almost uncontrollable and requires the specific and accurate designing of the promoter. Thus the previous designs that utilize a single element are not able to handle transmembrane signal processing tasks <font color="purple">(Figure 2)</font>.
 
                         </p>
 
                         </p>
                         <p>
+
                         <p class="flow-text">
 
                             One potential solution is to change the number of binding sites of the transcription factors. As illustrated in Figure 3, different binding situations can lead to different activation levels. While a single binding site can be characterized by the Hill Equation.
 
                             One potential solution is to change the number of binding sites of the transcription factors. As illustrated in Figure 3, different binding situations can lead to different activation levels. While a single binding site can be characterized by the Hill Equation.
 
                         </p>
 
                         </p>
 
                         <div class="expFigureHolder width40 left-on-med-and-up">
 
                         <div class="expFigureHolder width40 left-on-med-and-up">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/3/32/T--Fudan--model_wyh_3.png">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/3/32/T--Fudan--model_wyh_3.png">
                             <p><b>Figure 3. Changing the number of binding sites of the transcription factors can potentially lead to more complex dynamics.</b>
+
                             <p class="flow-text"><b>Figure 3. Changing the number of binding sites of the transcription factors can potentially lead to more complex dynamics.</b>
 
                                 <br/>Different numbers of bound transcription factors have different effects on the activity of the promoter, denoted by &alpha; in the figure.
 
                                 <br/>Different numbers of bound transcription factors have different effects on the activity of the promoter, denoted by &alpha; in the figure.
 
                             </p>
 
                             </p>
  
 
                         </div>
 
                         </div>
                         <p>We characterized the input-output relationship when there are multiple binding sites (of an activator A for example).</p>
+
                         <p class="flow-text">We characterized the input-output relationship when there are multiple binding sites (of an activator A for example).</p>
 
                         <p style="text-indent: 0;margin-bottom: 0;text-align: center"><img class="responsive-img width50" src="https://static.igem.org/mediawiki/2018/8/83/T--Fudan--model-eq2.png"></p>
 
                         <p style="text-indent: 0;margin-bottom: 0;text-align: center"><img class="responsive-img width50" src="https://static.igem.org/mediawiki/2018/8/83/T--Fudan--model-eq2.png"></p>
                         <p>While n and Kd are the Hill coefficient and dissociation constants, N represents the total number of binding sites, &alpha;<sub>i</sub> denotes the activation level while i activators are bound to the binding sites (bigger i leads to bigger &alpha;). Unfortunately, the following interactive Figure demonstrates that such dynamics is still Hill-like, and still relies on different pairs of transcription factor-binding sites to manipulate the dynamical range (four binding sites are used as an example).</p>
+
                         <p class="flow-text">While n and Kd are the Hill coefficient and dissociation constants, N represents the total number of binding sites, &alpha;<sub>i</sub> denotes the activation level while i activators are bound to the binding sites (bigger i leads to bigger &alpha;). Unfortunately, the following interactive Figure demonstrates that such dynamics is still Hill-like, and still relies on different pairs of transcription factor-binding sites to manipulate the dynamical range (four binding sites are used as an example).</p>
                         <p>In conclusion, changing both the transcription factor - promoter pairs and the number of binding sites can be used to adjust how a synthetic gene circuit responds to the input. However, both are limited and cannot enable a single limited-number element to faithfully detect transmembrane signals. Nevertheless, they are still valuable in our ENABLE after the addition of an amplifier layer <font color="purple">(Figure 4)</font>.</p>
+
                         <p class="flow-text">In conclusion, changing both the transcription factor - promoter pairs and the number of binding sites can be used to adjust how a synthetic gene circuit responds to the input. However, both are limited and cannot enable a single limited-number element to faithfully detect transmembrane signals. Nevertheless, they are still valuable in our ENABLE after the addition of an amplifier layer <font color="purple">(Figure 4)</font>.</p>
 
                         <div class="expFigureHolder width40 right-on-med-and-up">
 
                         <div class="expFigureHolder width40 right-on-med-and-up">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/c/c2/T--Fudan--model_wyh_4.png">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/c/c2/T--Fudan--model_wyh_4.png">
                             <p><b>Figure 4. In the design of our system, the input will first come from the SynNotch receptors.</b>
+
                             <p class="flow-text"><b>Figure 4. In the design of our system, the input will first come from the SynNotch receptors.</b>
 
                                 <br/>Then it will be amplified by a tunable amplifier circuit, which will then feed input to the final responsive element, our Combiner.
 
                                 <br/>Then it will be amplified by a tunable amplifier circuit, which will then feed input to the final responsive element, our Combiner.
 
                             </p>
 
                             </p>
Line 273: Line 272:
 
                         </div>
 
                         </div>
 
                         <h3> An amplifier circuit</h3>
 
                         <h3> An amplifier circuit</h3>
                         <p>The realistic constraints and our analysis through modeling prompted us to introduce the amplifier circuit. With the amplifier circuit present, the eventual input into the final responsive element now comes from the output of the amplifier circuit instead of the output of the SynNotch receptors. This enables our system to be much more adjustable and stable.
+
                         <p class="flow-text">The realistic constraints and our analysis through modeling prompted us to introduce the amplifier circuit. With the amplifier circuit present, the eventual input into the final responsive element now comes from the output of the amplifier circuit instead of the output of the SynNotch receptors. This enables our system to be much more adjustable and stable.
</p><p>
+
</p><p class="flow-text">
 
                             With the amplifier circuit, the input from SynNotch will no longer directly enter the responsive element but will first go through the Amplifier. As demonstrated before, the input signal from SynNotch is weak and has a narrow range, making it unsuitable to be directly processed by the responsive element. However, with the amplifier, input strength to the responsive element can be manipulated by the amplifier, providing a higher level of control.
 
                             With the amplifier circuit, the input from SynNotch will no longer directly enter the responsive element but will first go through the Amplifier. As demonstrated before, the input signal from SynNotch is weak and has a narrow range, making it unsuitable to be directly processed by the responsive element. However, with the amplifier, input strength to the responsive element can be manipulated by the amplifier, providing a higher level of control.
 
                     </p>
 
                     </p>
 
                         <div class="expFigureHolder width40 right-on-med-and-up">
 
                         <div class="expFigureHolder width40 right-on-med-and-up">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/8/85/T--Fudan--model_wyh_5.png">
 
                             <img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/8/85/T--Fudan--model_wyh_5.png">
                             <p><b>Figure 5. The amplifier circuit introduces nested dynamics into our system.</b>
+
                             <p class="flow-text"><b>Figure 5. The amplifier circuit introduces nested dynamics into our system.</b>
 
                                 <br/>The output of the amplifier A and its input from SynNotch B are characterized by the Hill Equation. The A subsequently leads to the final output X, which again follows the Hill Equation in relation to A. While the input range of B is usually narrow and hard to detect, it can be amplified to the range of A through the amplifier circuit.
 
                                 <br/>The output of the amplifier A and its input from SynNotch B are characterized by the Hill Equation. The A subsequently leads to the final output X, which again follows the Hill Equation in relation to A. While the input range of B is usually narrow and hard to detect, it can be amplified to the range of A through the amplifier circuit.
 
                             </p>
 
                             </p>
  
                         </div><p>
+
                         </div><p class="flow-text">
 
                             To remain consistent, we denoted the final output of the responsive element as X and the input as A. With amplifier circuit present, the A now means the output of the amplifier circuit while the B now means the direct input from SynNotch, which is again still the input to the amplifier circuit. As shown in Figure 5, the narrow range of the SynNotch signal does not support faithful detection. But with the amplifier circuit, the input range will be converted to an output range, which will then become the input range to the responsive element. </p>
 
                             To remain consistent, we denoted the final output of the responsive element as X and the input as A. With amplifier circuit present, the A now means the output of the amplifier circuit while the B now means the direct input from SynNotch, which is again still the input to the amplifier circuit. As shown in Figure 5, the narrow range of the SynNotch signal does not support faithful detection. But with the amplifier circuit, the input range will be converted to an output range, which will then become the input range to the responsive element. </p>
                         <p>The output range of the amplifier is currently still undiscriminatable to the responsive element, but the amplification range can be manipulated. First, we can freely engineer the transcription factors to change the dissociation constant Kd. Since the input signal is now amplified, it will be easier to find an appropriate A to X relationship <font color="purple">(Figure 6)</font>.</p>
+
                         <p class="flow-text">The output range of the amplifier is currently still undiscriminatable to the responsive element, but the amplification range can be manipulated. First, we can freely engineer the transcription factors to change the dissociation constant Kd. Since the input signal is now amplified, it will be easier to find an appropriate A to X relationship <font color="purple">(Figure 6)</font>.</p>
  
                         <p>Secondly, with a certain and fixed A to X relationship, we can change the binding sites of transcription factor B of the amplifier circuit which determines how the signal from SynNotch will be amplified. This allows us to very freely adjust the dynamical properties of the ENABLE toolbox. The previously unusable input range now gets amplified and enters the detection range of the responsive element; hence, allowing accurate detection <font color="purple">(Figure 7)</font>.</p>
+
                         <p class="flow-text">Secondly, with a certain and fixed A to X relationship, we can change the binding sites of transcription factor B of the amplifier circuit which determines how the signal from SynNotch will be amplified. This allows us to very freely adjust the dynamical properties of the ENABLE toolbox. The previously unusable input range now gets amplified and enters the detection range of the responsive element; hence, allowing accurate detection <font color="purple">(Figure 7)</font>.</p>
 
                         <div class="row expFigureHolder">
 
                         <div class="row expFigureHolder">
 
                             <div class="col s12 m6" style=""><img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/8/8e/T--Fudan--model_wyh_6.png">
 
                             <div class="col s12 m6" style=""><img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/8/8e/T--Fudan--model_wyh_6.png">
                                 <p><b>Figure 6. Adjusting the transcription factor - its promoter pair between the amplifier circuit and the responsive element changes the relationship between X and A.</b>
+
                                 <p class="flow-text"><b>Figure 6. Adjusting the transcription factor - its promoter pair between the amplifier circuit and the responsive element changes the relationship between X and A.</b>
 
                                     <br/>Comparing with Figure 5, the organe line moves, which suggests a response to lower concertation of input from the Amplifer output, allowing the final response to be a full range.
 
                                     <br/>Comparing with Figure 5, the organe line moves, which suggests a response to lower concertation of input from the Amplifer output, allowing the final response to be a full range.
 
                                 </p></div>
 
                                 </p></div>
 
                             <div class="col s12 m6" style=""><img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/a/a5/T--Fudan--model_wyh_7.png">
 
                             <div class="col s12 m6" style=""><img class="responsive-img" style="background:#fff;" src="https://static.igem.org/mediawiki/2018/a/a5/T--Fudan--model_wyh_7.png">
                                 <p><b>Figure 7. Adjusting the binding sites of transcription factor B on the amplifier circuit leads to a dramatic change in the amplification magnitude.</b>
+
                                 <p class="flow-text"><b>Figure 7. Adjusting the binding sites of transcription factor B on the amplifier circuit leads to a dramatic change in the amplification magnitude.</b>
 
                                     <br/>The former narrow and undetectable range of B can now be easily manipulated in terms of A. This modeling suggests to increase the copy number of our Amplifer's DNA binding domain in our 3-layer design.
 
                                     <br/>The former narrow and undetectable range of B can now be easily manipulated in terms of A. This modeling suggests to increase the copy number of our Amplifer's DNA binding domain in our 3-layer design.
 
                                 </p></div>
 
                                 </p></div>
Line 302: Line 301:
 
                                 <div class="collapsible-header">Click to see more about the formula</div>
 
                                 <div class="collapsible-header">Click to see more about the formula</div>
 
                                 <div class="collapsible-body container">
 
                                 <div class="collapsible-body container">
                                   <p>Derivation of the formula we use to characterize a single transcription factor - promoter pair with multiple binding sites is straightforward under a few appropriate assumptions. We will keep using activator for example. Since we have N binding sites, the number of actual bound activators ranges from 0 to N. First, we assume that the activity of the promoter is solely controlled by the number of bound activators, but not their spatial arrangement (or spatial arrangement has little influence on the activation mechanism). Similar evidence has been reported before. Thus we could simply consider in total the N+1 states representing N+1 bound activators. We use &alpha;<sub>i</sub> to denote the activation level while i activators are bound to the binding sites (bigger i leads to bigger &alpha;). Second, zinc finger proteins are used as the building block of our transcription factor. Structure analysis shows no known interaction sites between the proteins. We thus assume different biding sites are independent to each other. This allows us to easily assign probabilities to the N+1 states. For each binding site, the probability of the activator being bound is again describe by 'Hill Equation' (refer to the model of our team in 2017 for the probabilistic explanation of Hill Equation and more <a href="https://2017.igem.org/Team:Fudan/Model/HE" target="_blank">Link here</a>).</p>
+
                                   <p class="flow-text">Derivation of the formula we use to characterize a single transcription factor - promoter pair with multiple binding sites is straightforward under a few appropriate assumptions. We will keep using activator for example. Since we have N binding sites, the number of actual bound activators ranges from 0 to N. First, we assume that the activity of the promoter is solely controlled by the number of bound activators, but not their spatial arrangement (or spatial arrangement has little influence on the activation mechanism). Similar evidence has been reported before. Thus we could simply consider in total the N+1 states representing N+1 bound activators. We use &alpha;<sub>i</sub> to denote the activation level while i activators are bound to the binding sites (bigger i leads to bigger &alpha;). Second, zinc finger proteins are used as the building block of our transcription factor. Structure analysis shows no known interaction sites between the proteins. We thus assume different biding sites are independent to each other. This allows us to easily assign probabilities to the N+1 states. For each binding site, the probability of the activator being bound is again describe by 'Hill Equation' (refer to the model of our team in 2017 for the probabilistic explanation of Hill Equation and more <a href="https://2017.igem.org/Team:Fudan/Model/HE" target="_blank">Link here</a>).</p>
 
                                     <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width20" src="https://static.igem.org/mediawiki/2018/7/7d/T--Fudan--model-eq3.png"></p>
 
                                     <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width20" src="https://static.igem.org/mediawiki/2018/7/7d/T--Fudan--model-eq3.png"></p>
                                   <p>To account for the four independent binding sites, elementary combination would show that the probability of i (ranging from 0 to 4) activator being bound is</p>
+
                                   <p class="flow-text">To account for the four independent binding sites, elementary combination would show that the probability of i (ranging from 0 to 4) activator being bound is</p>
 
                                     <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width50" src="https://static.igem.org/mediawiki/2018/0/08/T--Fudan--model-eq4.png"></p>
 
                                     <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width50" src="https://static.igem.org/mediawiki/2018/0/08/T--Fudan--model-eq4.png"></p>
                                   <p>Thus the final output can be characterized by the expectation of the promoter activity under the N+1 states, which is</p>
+
                                   <p class="flow-text">Thus the final output can be characterized by the expectation of the promoter activity under the N+1 states, which is</p>
 
                                     <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width50" src="https://static.igem.org/mediawiki/2018/2/2a/T--Fudan--model-eq5.png"></p>
 
                                     <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img width50" src="https://static.igem.org/mediawiki/2018/2/2a/T--Fudan--model-eq5.png"></p>
 
                                 </div>
 
                                 </div>
Line 314: Line 313:
 
<div class="expFigureHolder" style="width:100%">
 
<div class="expFigureHolder" style="width:100%">
 
     <img class="responsive-img" src="https://static.igem.org/mediawiki/2018/2/2c/T--Fudan--LC-gj-2012jp.png" />
 
     <img class="responsive-img" src="https://static.igem.org/mediawiki/2018/2/2c/T--Fudan--LC-gj-2012jp.png" />
     <p>In our GJ presentation (10/25 Room 311 9:00-9:25), we used the image above in addition to the modeling just describe to add two points:
+
     <p class="flow-text">In our GJ presentation (10/25 Room 311 9:00-9:25), we used the image above in addition to the modeling just describe to add two points:
 
         (1) A summary of the Receptor-Ligand kinetics described below that with the same number of receptors and proteases, due to the increased complexity with more diversed ligand-receptor interactions, the release of Notch intracellular domains significantly decreased.
 
         (1) A summary of the Receptor-Ligand kinetics described below that with the same number of receptors and proteases, due to the increased complexity with more diversed ligand-receptor interactions, the release of Notch intracellular domains significantly decreased.
 
         (2) There was a previous study highlighting the requirement of amplification for signaling transduction across many cells.</p>
 
         (2) There was a previous study highlighting the requirement of amplification for signaling transduction across many cells.</p>
Line 320: Line 319:
 
                     <div id="section2" class="section container scrolSpy">
 
                     <div id="section2" class="section container scrolSpy">
 
                         <h2>Receptor-Ligand kinetics</h2>
 
                         <h2>Receptor-Ligand kinetics</h2>
                         <p>
+
                         <p class="flow-text">
 
                             The Receptor-Ligand collects extracellular signals for further intercellular processing, which constitutes the most significant part for any transmembrane logic gate. To reduce the background activation of SynNotch, we put a huge <a href="/Team:Fudan-TSI/Optimization" target=_blank>experimental effect based on its protein structure</a>.
 
                             The Receptor-Ligand collects extracellular signals for further intercellular processing, which constitutes the most significant part for any transmembrane logic gate. To reduce the background activation of SynNotch, we put a huge <a href="/Team:Fudan-TSI/Optimization" target=_blank>experimental effect based on its protein structure</a>.
                         </p><p>
+
                         </p><p class="flow-text">
 
                             We focused on the signal-to-noise ratio (SNR) of the Notch/SynNotch receptor. In previous research, some quantitative descriptions of Notch-Ligand have been published for explanation and exploration of systematic design <a href="https://www.ncbi.nlm.nih.gov/pubmed/23839946" target=_blank>(Andrawes MB, et al., 2013)</a>. For example, cis-inhibition was modeled via chemical kinetics, which precisely predict the mechanism of Notch-induced pattern formation <a href="https://www.ncbi.nlm.nih.gov/pubmed/20418862" target=_blank>(Sprinzak D, et al., 2010)</a>. However, stochastic models for Notch-Ligand simulations have not been reported yet.
 
                             We focused on the signal-to-noise ratio (SNR) of the Notch/SynNotch receptor. In previous research, some quantitative descriptions of Notch-Ligand have been published for explanation and exploration of systematic design <a href="https://www.ncbi.nlm.nih.gov/pubmed/23839946" target=_blank>(Andrawes MB, et al., 2013)</a>. For example, cis-inhibition was modeled via chemical kinetics, which precisely predict the mechanism of Notch-induced pattern formation <a href="https://www.ncbi.nlm.nih.gov/pubmed/20418862" target=_blank>(Sprinzak D, et al., 2010)</a>. However, stochastic models for Notch-Ligand simulations have not been reported yet.
                     </p><p>
+
                     </p><p class="flow-text">
 
                         Here we present a mathematical model for Notch-Ligand kinetics using Stochastic <a href="https://en.wikipedia.org/wiki/Petri_net#Mathematical_properties_of_Petri_nets" target=_blank>Petri nets</a>, which takes random intercellular processes into consideration. We found that the SNR of our system is not only dependent on the affinity of Notch-Ligands, but also the Secretase Complex. We also expanded our model from targeting just molecular-level chemical reactions to cell colony-level chemical reactions, which offers clues for oriented optimization of Notch. Last but not least, our object-oriented programming (OOP) makes it easy to transplant into <a href="/Team:Fudan-TSI/Software">further application</a>.
 
                         Here we present a mathematical model for Notch-Ligand kinetics using Stochastic <a href="https://en.wikipedia.org/wiki/Petri_net#Mathematical_properties_of_Petri_nets" target=_blank>Petri nets</a>, which takes random intercellular processes into consideration. We found that the SNR of our system is not only dependent on the affinity of Notch-Ligands, but also the Secretase Complex. We also expanded our model from targeting just molecular-level chemical reactions to cell colony-level chemical reactions, which offers clues for oriented optimization of Notch. Last but not least, our object-oriented programming (OOP) makes it easy to transplant into <a href="/Team:Fudan-TSI/Software">further application</a>.
 
                         </p>
 
                         </p>
 
                         <h3>Using ChemicalReactions toolkit</h3>
 
                         <h3>Using ChemicalReactions toolkit</h3>
                         <p>
+
                         <p class="flow-text">
 
                             Not like chemical reactions happening in tubes, Notch-Ligand interaction occurs in a 2D manner. That is to say, chemical reactions between Notch and Ligand takes place on the membrane of two neighboring cells. Two cells may exchange their components on the membrane by touching to each other. Due to physical constraints, the chemical constitution of those cells remains relatively independent. However, when Ligand proteins binding to the extracellular domain of Notch receptor, proteolytic cleavage and release of the intracellular domain are induced.
 
                             Not like chemical reactions happening in tubes, Notch-Ligand interaction occurs in a 2D manner. That is to say, chemical reactions between Notch and Ligand takes place on the membrane of two neighboring cells. Two cells may exchange their components on the membrane by touching to each other. Due to physical constraints, the chemical constitution of those cells remains relatively independent. However, when Ligand proteins binding to the extracellular domain of Notch receptor, proteolytic cleavage and release of the intracellular domain are induced.
                         </p><p>
+
                         </p><p class="flow-text">
 
                         Proteolytic cleavage of Notch involves a few steps, including S2-cleaveage by metalloprotease ADAM10,  S3-cleavage by &gamma;-secretase complex or &gamma;-secretase Tetering <a href="https://www.ncbi.nlm.nih.gov/pubmed/21506924" target=_blank>(van Tetering G, et al., 2011)</a>. Here we simplify the cleavage of Notch after ligand binding, and we suppose that the cleavage is a one-step reaction with the smallest rate constant of all cleavages mentioned above. This simplification is coming down to the rate-limiting step in physics chemistry. The simplified equations are as follows.
 
                         Proteolytic cleavage of Notch involves a few steps, including S2-cleaveage by metalloprotease ADAM10,  S3-cleavage by &gamma;-secretase complex or &gamma;-secretase Tetering <a href="https://www.ncbi.nlm.nih.gov/pubmed/21506924" target=_blank>(van Tetering G, et al., 2011)</a>. Here we simplify the cleavage of Notch after ligand binding, and we suppose that the cleavage is a one-step reaction with the smallest rate constant of all cleavages mentioned above. This simplification is coming down to the rate-limiting step in physics chemistry. The simplified equations are as follows.
 
                                   &nbsp; N+L⇌NL &nbsp;
 
                                   &nbsp; N+L⇌NL &nbsp;
 
                                   &nbsp; NL+S⇌NLS→icd &nbsp;
 
                                   &nbsp; NL+S⇌NLS→icd &nbsp;
 
                         Here N refers to Notch, L refers to Ligand, NL Notch-Ligand complex, S protease, NLS Notch-Ligand-protease complex, and icd means the intracellular domain of Notch.
 
                         Here N refers to Notch, L refers to Ligand, NL Notch-Ligand complex, S protease, NLS Notch-Ligand-protease complex, and icd means the intracellular domain of Notch.
                     </p><p>
+
                     </p><p class="flow-text">
 
                         Our mathematic tool is <a href="https://en.wikipedia.org/wiki/Petri_net#Mathematical_properties_of_Petri_nets" target=_blank>Petri net</a>. For the history and definition of Petri net,
 
                         Our mathematic tool is <a href="https://en.wikipedia.org/wiki/Petri_net#Mathematical_properties_of_Petri_nets" target=_blank>Petri net</a>. For the history and definition of Petri net,
 
                         please check reference <a href="https://www.crcpress.com/Stochastic-Modelling-for-Systems-Biology/Wilkinson/p/book/9781439837726" target="_blank">Wilkinson DJ, et al., 2006</a>. This method views each chemical or reaction intermediate as nodes in a network, element reactions as edges, and weight and direction of each edge for stoichiometric number and reaction direction. Especially, we use {P, T, Pre, Post, M} to describe a Petri net precisely: P={p1, …, pu} is the space of chemicals, T={t1, …, tv} is the spaces of all transitions (element reactions) , Pre is a v*u integer matrix containing the weights from chemicals to transitions, and the (i,j)th element of this matrix is the weight of the arc going from chemical j to transition i, and Post is a v*u integer matrix containing the weights from transitions to chemicals, and the (i,j)th element of this matrix is the weight of the arc going from transition i to chemical j. M is a u-dimensional integer vector that represents the current state of the system (i.e. the number of molecules).
 
                         please check reference <a href="https://www.crcpress.com/Stochastic-Modelling-for-Systems-Biology/Wilkinson/p/book/9781439837726" target="_blank">Wilkinson DJ, et al., 2006</a>. This method views each chemical or reaction intermediate as nodes in a network, element reactions as edges, and weight and direction of each edge for stoichiometric number and reaction direction. Especially, we use {P, T, Pre, Post, M} to describe a Petri net precisely: P={p1, …, pu} is the space of chemicals, T={t1, …, tv} is the spaces of all transitions (element reactions) , Pre is a v*u integer matrix containing the weights from chemicals to transitions, and the (i,j)th element of this matrix is the weight of the arc going from chemical j to transition i, and Post is a v*u integer matrix containing the weights from transitions to chemicals, and the (i,j)th element of this matrix is the weight of the arc going from transition i to chemical j. M is a u-dimensional integer vector that represents the current state of the system (i.e. the number of molecules).
                     </p><p>
+
                     </p><p class="flow-text">
 
                         For system with only one kind of Notch and one kind of Ligand, we have
 
                         For system with only one kind of Notch and one kind of Ligand, we have
 
                         <img class="responsive-img width60" src="https://static.igem.org/mediawiki/2018/1/1b/T--Fudan--LC-model-zlw1.png" alt="zlw1 model equation" />
 
                         <img class="responsive-img width60" src="https://static.igem.org/mediawiki/2018/1/1b/T--Fudan--LC-model-zlw1.png" alt="zlw1 model equation" />
Line 346: Line 345:
 
                         Here the lower capital g and d refer to the generation and degradation of following chemicals.
 
                         Here the lower capital g and d refer to the generation and degradation of following chemicals.
 
                         Similarly, we can write out the matrix Post and Pre.
 
                         Similarly, we can write out the matrix Post and Pre.
                     </p><p>
+
                     </p><p class="flow-text">
 
                         We set W as a u-dimensional zero vector for initialization. Then we need to designate when and how this system chooses to finish a certain element reaction. For this purpose, we consider that the occurrence of an element reaction is a heterogeneous Poisson process, and certain reaction selection via sampling. That’s, the possibility that an element reaction R<sub>i</sub> happening in the time interval (t,&delta;t] is given by h<sub>i</sub>(x,<sub>i</sub>) &delta;t. With additivity assumption, we can get the possibility an arbitrary reaction happening in the time interval (t,&delta;t] is
 
                         We set W as a u-dimensional zero vector for initialization. Then we need to designate when and how this system chooses to finish a certain element reaction. For this purpose, we consider that the occurrence of an element reaction is a heterogeneous Poisson process, and certain reaction selection via sampling. That’s, the possibility that an element reaction R<sub>i</sub> happening in the time interval (t,&delta;t] is given by h<sub>i</sub>(x,<sub>i</sub>) &delta;t. With additivity assumption, we can get the possibility an arbitrary reaction happening in the time interval (t,&delta;t] is
 
                         <img class="responsive-img width20" src="https://static.igem.org/mediawiki/2018/d/dd/T--Fudan--LC-model-zlw3.png" alt="zlw1 model equation" />
 
                         <img class="responsive-img width20" src="https://static.igem.org/mediawiki/2018/d/dd/T--Fudan--LC-model-zlw3.png" alt="zlw1 model equation" />
                     </p><p>
+
                     </p><p class="flow-text">
 
                         The form of h<sub>i</sub>(x,<sub>i</sub>) is given by mass-action stochastic kinetics. For a given system, h<sub>i</sub>(x,<sub>i</sub>)=c<sub>i</sub>*C(n<sub>i1</sub>,n<sub>i2</sub>, …, n<sub>in</sub>), where c<sub>i</sub> is the rate constant for reaction i, n<sub>in</sub> refers to the molecule number of reactant k for reaction i, and function C() means
 
                         The form of h<sub>i</sub>(x,<sub>i</sub>) is given by mass-action stochastic kinetics. For a given system, h<sub>i</sub>(x,<sub>i</sub>)=c<sub>i</sub>*C(n<sub>i1</sub>,n<sub>i2</sub>, …, n<sub>in</sub>), where c<sub>i</sub> is the rate constant for reaction i, n<sub>in</sub> refers to the molecule number of reactant k for reaction i, and function C() means
 
                         combinatorial number of all n<sub>in</sub>. In practice, C() can be replaced by &Pi;() with some modifications for c<sub>i</sub>.
 
                         combinatorial number of all n<sub>in</sub>. In practice, C() can be replaced by &Pi;() with some modifications for c<sub>i</sub>.
                     </p><p>
+
                     </p><p class="flow-text">
 
                         Similarly, we can easily derive the expression for system with i kinds of Notch and j kind of Ligand.
 
                         Similarly, we can easily derive the expression for system with i kinds of Notch and j kind of Ligand.
 
                         </p>
 
                         </p>
 
                         <h3>Constitutive expression for stationary system</h3>
 
                         <h3>Constitutive expression for stationary system</h3>
                         <p>For certain parameters, Notch signaling component is equivalent to constitutive expression for stationary system <font color="purple">(Figure 8A)</font>. It’s a good property for using Notch-Ligand in colony design, which uses the simplified version for higher-layer system simulation and shorten the simulation time without side effect of poor prediction.
+
                         <p class="flow-text">For certain parameters, Notch signaling component is equivalent to constitutive expression for stationary system <font color="purple">(Figure 8A)</font>. It’s a good property for using Notch-Ligand in colony design, which uses the simplified version for higher-layer system simulation and shorten the simulation time without side effect of poor prediction.
 
                         </p>
 
                         </p>
 
                         <h3>The rate of Notch cleavage by proteases</h3>
 
                         <h3>The rate of Notch cleavage by proteases</h3>
                         <p>Cleavage rate affects system response in a linear way. Notch-Ligand specificity may not affect system response.</p>
+
                         <p class="flow-text">Cleavage rate affects system response in a linear way. Notch-Ligand specificity may not affect system response.</p>
                         <p>
+
                         <p class="flow-text">
 
                             For certain parameters, generation of Notch-Ligand-protease complex may be the rate-limiting step <font color="purple">(Figure 8A)</font>. For example, decreased rate constant of Notch-Ligand-protease complex generation reduce the icd generating rate in a linear manner (Figure 8B with rate constant of gN<sub>A</sub>LS decreased to one tenth of that of Figure 8A). Also, changing Notch-Ligand binding affinity may not significantly change icd generating rate, which strongly corroborated this view (Figure 8C with rate constant of gN<sub>A</sub>L<sub>B</sub> decreased to one tenth of that of Figure 8A; and in Figure 8D where heter/homo refers to the rate constant ratio of gN<sub>A</sub>L<sub>B</sub>/gN<sub>A</sub>L<sub>A</sub>.
 
                             For certain parameters, generation of Notch-Ligand-protease complex may be the rate-limiting step <font color="purple">(Figure 8A)</font>. For example, decreased rate constant of Notch-Ligand-protease complex generation reduce the icd generating rate in a linear manner (Figure 8B with rate constant of gN<sub>A</sub>LS decreased to one tenth of that of Figure 8A). Also, changing Notch-Ligand binding affinity may not significantly change icd generating rate, which strongly corroborated this view (Figure 8C with rate constant of gN<sub>A</sub>L<sub>B</sub> decreased to one tenth of that of Figure 8A; and in Figure 8D where heter/homo refers to the rate constant ratio of gN<sub>A</sub>L<sub>B</sub>/gN<sub>A</sub>L<sub>A</sub>.
 
                         </p>
 
                         </p>
 
                         <h3>The signal-to-noise ratio (SNR)</h3>
 
                         <h3>The signal-to-noise ratio (SNR)</h3>
                         <p>
+
                         <p class="flow-text">
 
                             SNR can be tuned via Notch-Ligand binding affinity in a power-law manner.
 
                             SNR can be tuned via Notch-Ligand binding affinity in a power-law manner.
                         </p><p>
+
                         </p><p class="flow-text">
 
                         For certain parameters, signal-to-noise ratio can be tuned via Notch-Ligand binding affinity in a power-law manner (<font color="purple">Figure 8E</font> with rate constant of gN<sub>A</sub>L<sub>B</sub>varied compared to Figure 8A). This offers clue for <a href="/Team:Fudan-TSI/Optimization">SynNotch optimization</a>.
 
                         For certain parameters, signal-to-noise ratio can be tuned via Notch-Ligand binding affinity in a power-law manner (<font color="purple">Figure 8E</font> with rate constant of gN<sub>A</sub>L<sub>B</sub>varied compared to Figure 8A). This offers clue for <a href="/Team:Fudan-TSI/Optimization">SynNotch optimization</a>.
                     </p><p>
+
                     </p><p class="flow-text">
 
                             Amplification is required for Notch-Ligand (see above).
 
                             Amplification is required for Notch-Ligand (see above).
 
                         For certain parameters, signal of a certain pair of Notch-Ligand coupling may be diluted by occurrence of other reactions (<font color="purple">Figure 8F</font> with types of overall Notch/Ligand varied compared to Figure 8A).
 
                         For certain parameters, signal of a certain pair of Notch-Ligand coupling may be diluted by occurrence of other reactions (<font color="purple">Figure 8F</font> with types of overall Notch/Ligand varied compared to Figure 8A).
Line 374: Line 373:
 
                         <div class="expFigureHolder" style="width:100%">
 
                         <div class="expFigureHolder" style="width:100%">
 
                             <img class="responsive-img" src="https://static.igem.org/mediawiki/2018/3/33/T--Fudan--LC-zlw1018.png" />
 
                             <img class="responsive-img" src="https://static.igem.org/mediawiki/2018/3/33/T--Fudan--LC-zlw1018.png" />
                             <p><b>Figure 8. Simulation results of Notch-Ligand kinetics.</b>
+
                             <p class="flow-text"><b>Figure 8. Simulation results of Notch-Ligand kinetics.</b>
 
<br/>(A) Simulation of a 2 Notch-2 Ligand system. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. Both Cell1 and Cell2 are armed with all four kinds of Notch/Ligand A/B.
 
<br/>(A) Simulation of a 2 Notch-2 Ligand system. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. Both Cell1 and Cell2 are armed with all four kinds of Notch/Ligand A/B.
 
<br/>(B) Weak binding affinity for cleavage leads to low response. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. The affinity of protease to NotchB-LigandB complex is weakened, leading to poor NotchB response to Ligand signal.
 
<br/>(B) Weak binding affinity for cleavage leads to low response. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. The affinity of protease to NotchB-LigandB complex is weakened, leading to poor NotchB response to Ligand signal.
Line 392: Line 391:
 
                             </li>
 
                             </li>
 
                         </ul>
 
                         </ul>
                         <p>
+
                         <p class="flow-text">
 
                             The stochastic Notch-Ligand kinetics can be simplified as a single chemical constant for some certain conditions. Though this may greatly reduce the workload of transplant our model into a higher-scale application (e.g. to model a cell colony made up of cells armed with Notch and Ligand), this OOP modeling style makes it easy to transplant Notch-Ligand kinetics at the molecular level to macroscale level. Please continue to our <a href="/Team:Fudan-TSI/Software">software</a>, where we abstracted mammalian cells into blocks (with parameters modeled and simulated above), to predict cellular behaviors. We quantified the behavior of individual cells within a population. We found that besides ENABLE signaling, cell proliferation speed, cell life-span and cell adhesion greatly impact cancer elimination effectiveness. Our modeling and software gives ENABLE gates a population perspective, and test them in a clinical scenario.
 
                             The stochastic Notch-Ligand kinetics can be simplified as a single chemical constant for some certain conditions. Though this may greatly reduce the workload of transplant our model into a higher-scale application (e.g. to model a cell colony made up of cells armed with Notch and Ligand), this OOP modeling style makes it easy to transplant Notch-Ligand kinetics at the molecular level to macroscale level. Please continue to our <a href="/Team:Fudan-TSI/Software">software</a>, where we abstracted mammalian cells into blocks (with parameters modeled and simulated above), to predict cellular behaviors. We quantified the behavior of individual cells within a population. We found that besides ENABLE signaling, cell proliferation speed, cell life-span and cell adhesion greatly impact cancer elimination effectiveness. Our modeling and software gives ENABLE gates a population perspective, and test them in a clinical scenario.
 
                         </p>
 
                         </p>
                         <p>A document on <a href="https://static.igem.org/mediawiki/2018/c/c1/T--Fudan--model-cell-colony.pdf" target="_blank">model cell colony</a>, and source code is available on <a href="https://github.com/0vioiano/iGEM2018_Team_Fudan" target=_blank>GitHub</a>.</p>
+
                         <p class="flow-text">A document on <a href="https://static.igem.org/mediawiki/2018/c/c1/T--Fudan--model-cell-colony.pdf" target="_blank">model cell colony</a>, and source code is available on <a href="https://github.com/0vioiano/iGEM2018_Team_Fudan" target=_blank>GitHub</a>.</p>
 
                     </div>
 
                     </div>
  
                     <div class="section container" id="section3">
+
                     <div class="section container scrolSpy" id="section3">
 
                         <h2>title</h2>
 
                         <h2>title</h2>
                         <p>
+
                         <p class="flow-text">
 
                             content content
 
                             content content
 
                         </p>
 
                         </p>
  
 
                         <h2>title</h2>
 
                         <h2>title</h2>
                         <p>
+
                         <p class="flow-text">
 
                             Fangfei Ye is responsible for all <a href="/Team:Fudan-TSI/Design_Intention" target="_blank">art design</a>, which includes our team logo, team flag, team uniform (Dr. Cai gave comments), team name card, brochures, our posters, as well as materials related to our human practice events.
 
                             Fangfei Ye is responsible for all <a href="/Team:Fudan-TSI/Design_Intention" target="_blank">art design</a>, which includes our team logo, team flag, team uniform (Dr. Cai gave comments), team name card, brochures, our posters, as well as materials related to our human practice events.
 
                         </p>
 
                         </p>
Line 417: Line 416:
 
                 <a href="#!"><img alt="project summary" src="https://static.igem.org/mediawiki/2018/9/96/T--Fudan--X.svg"></a>
 
                 <a href="#!"><img alt="project summary" src="https://static.igem.org/mediawiki/2018/9/96/T--Fudan--X.svg"></a>
 
                 <div class="container">
 
                 <div class="container">
                     <h2 style="margin: 0;padding: 10px 0;">Project Summary</h2>
+
                     <h4 style="margin:0;padding:10px 0;">Project Summary</h4>
                     <p style="margin: 0">Mutation library generation is critical for biological and medical research, but current methods cannot mutate a specific sequence continuously without manual intervention. Here we present a toolbox for <i>in vivo</i> continuous mutation library construction. First, the target DNA is transcribed into RNA. Next, our reverse transcriptase reverts RNA into cDNA, during which the target is randomly mutated by enhanced error-prone reverse transcription. Finally, the mutated version replaces the original sequence through recombination. These steps will be carried out iteratively, generating a random mutation library of the target with high efficiency as mutations accumulate along with bacterial growth. Our toolbox is orthogonal and provides a wide range of applications among various species. R-Evolution could mutate coding sequences and regulatory sequences, which enables the <i>in vivo</i> evolution of individual proteins or multiple targets at a time, promotes high-throughput research, and serves as a foundational advance to synthetic biology.
+
                     <p class="flow-text" style="margin:0">Mutation library generation is critical for biological and medical research, but current methods cannot mutate a specific sequence continuously without manual intervention. Here we present a toolbox for <i>in vivo</i> continuous mutation library construction. First, the target DNA is transcribed into RNA. Next, our reverse transcriptase reverts RNA into cDNA, during which the target is randomly mutated by enhanced error-prone reverse transcription. Finally, the mutated version replaces the original sequence through recombination. These steps will be carried out iteratively, generating a random mutation library of the target with high efficiency as mutations accumulate along with bacterial growth. Our toolbox is orthogonal and provides a wide range of applications among various species. R-Evolution could mutate coding sequences and regulatory sequences, which enables the <i>in vivo</i> evolution of individual proteins or multiple targets at a time, promotes high-throughput research, and serves as a foundational advance to synthetic biology.
 
                     </p>
 
                     </p>
 
                 </div>
 
                 </div>
Line 426: Line 425:
 
             <div class="floatingBtn">
 
             <div class="floatingBtn">
 
                 <a href="#!" id="abstractBtn" class="btn">
 
                 <a href="#!" id="abstractBtn" class="btn">
                     <i class="fa fa-sticky-note" style="font-size: 30px;line-height: 50px"></i>
+
                     <i class="fa fa-sticky-note" style="font-size:30px;line-height:50px"></i>
 
                 </a>
 
                 </a>
 
                 <a href="#FudanWrapper" class="btn">
 
                 <a href="#FudanWrapper" class="btn">
                     <i class="fa fa-angle-up" style="font-size: 48px;line-height: 45px"></i>
+
                     <i class="fa fa-angle-up" style="font-size:48px;line-height:45px"></i>
 
                 </a>
 
                 </a>
 
             </div>
 
             </div>
Line 443: Line 442:
 
                         </a><a href="http://www.yfc.cn/en/" target="_blank"><img class="col s3 m6 l3" style="padding: 0.15rem 0.9rem;" alt="Yunfeng Capital" src="https://static.igem.org/mediawiki/2018/e/e2/T--Fudan--yunfengLogo.png">
 
                         </a><a href="http://www.yfc.cn/en/" target="_blank"><img class="col s3 m6 l3" style="padding: 0.15rem 0.9rem;" alt="Yunfeng Capital" src="https://static.igem.org/mediawiki/2018/e/e2/T--Fudan--yunfengLogo.png">
 
                         </a>
 
                         </a>
                             <h3 class="col s12" style="text-align: left; color: rgba(255, 255, 255, 0.8); font-size:12px">R-Evolution: an <i>in vivo</i> sequence-specific toolbox for continuous mutagenesis</h3>
+
                             <h3 class="col s12" style="text-align: left; color: rgba(255, 255, 255, 0.8); font-size:12.5px">R-Evolution: an <i>in vivo</i> sequence-specific toolbox for continuous mutagenesis</h3>
 
                         </div>
 
                         </div>
 
                         <div id="usefulLinks" class="col m9 s12 row">
 
                         <div id="usefulLinks" class="col m9 s12 row">

Revision as of 07:10, 17 September 2019

<script src="https://code.jquery.com/jquery-1.11.3.min.js"></script> 2019 Team:Fudan-TSI Model

Model

It is important to observe and anticipate how one's product will work in the real world in order to make it more applicable.

Model

It is important to observe and anticipate how one's product will work in the real world in order to make it more applicable.

Our modeling focuses on two main aspects. The first is optimizing the transcriptional modules to increase signal-to-noise ratio, and the second is forecasting clinical outputs for multiple types of mixtures of immune cells and cancer cells. We experimentally showed that an amplification step is required. We also used a stochastic process to model receptor-ligand interaction kinetics, a possibility theory to model the transcriptional amplifier, and differential equations to model signal integration. ENABLE constructs with modeled parameters have increased signal-to-noise ratio and should have larger dynamic range.

The essence of the Amplifier for transmembrane signaling

By modeling, we demonstrated that our 3-layer design balances adjustability and stability for transmembrane logic processing.

Cellular logic gate lies at the foundation of our system, but the core and essential design of ENABLE is the detection of transmembrane signals. With our powerful SynNotch receptors transferring extracellular signals into intracellular transcription factors, we aim to detect real-world signals through ligand-receptor binding. In previous designs that detect intracellular signals with logic gates, researchers merely control the input to the system by not adding or adding superfluous small molecule drugs (Auslnder et al., 2012), or by not performing transfection or performing superfluous transfection, which is analogous to the 0 or 1 binary input. In such scenarios, just one single element is suffice to faithfully represent the on and off of the input. However, these previous designs are unable to transduce transmembrane signals in realistic circumstances. Our analysis through modelling leads to the 3-layer design principle of the ENABLE toolbox, which is to introduce an amplifier layer between the SynNotch (input, which we call the Receptor) system and the responsive element (output, which we call the Combiner).

Previous designs fail to transduce transmembrane signals

Signal detection in engineered cells is composed of three parts: input, the representation of information through transcription factors (TFs); process, the processing of information through TF-Promoter interactions; and output, the response to the information through gene expressions. When the input is experimentally controllable or even artificially manipulated, researchers can explore the capacity of cellular information processing by designing specific circuits with only one element (Figure 1). Using transduction or small molecule drugs for input manipulation, scientists in previous studies (Gaber et al., 2014) have shown the logical processing ability of engineered cells and synthetic gene circuits.

Figure 1. Previous designs usually incorporate one pair of transcription factor and promoter as the detection system.
The amount of transcription factor is manually controlled using small molecule drug, transduction, etc. As a result, the input of the system is nearly arbitrary, which can easily leads to the on/off output, represented by the activity of the promoter.

Unlike previous designs, the ENABLE system aims to detect real-world transmembrane signals represented by SynNotch receptors. The imperfect and variable situations and scenarios in the real world are far from experimentally controllable; yet they are unavoidable and must be dealt with.

1) The number of Notch molecules on the cell membrane is relatively limited. Thus, the amount of released transcription factors is constrained (under detection level and have never been directly visualized) even under superfluous activation. This will prevent the input from being arbitrarily amplified.

2) Experimental observations show that SynNotch comes with a certain level of background activation without external stimuli, which may most likely be a result of thermodynamic randomness.

These factors prevent the previous designs from faithfully detecting the on and off of external stimuli. In fact, any synthetic circuits with only one input-process-output element will be limited in its detection ability. Here, we conventionally used the Hill Equation to characterize such an element, in which the output (denoted by X) relates to the input (activator for example, denoted by A) through the equation:

Both X and A are described by their concentrations. Kd denotes the dissociation constant between the activator A and its binding site on the gene circuit whereas the n denotes the Hill coefficient. Please refer to the model from our team in 2017 for details on the simulation.

The two free parameters, the dissociation constant (Kd) and n (Hill Coefficient), can be controlled to adjust the element. As shown in the following interactive figure, this allows us to manipulate the element to achieve different input (A) - output (X) relationships.

(Hidden content only visible on a desktop computer.)

Figure 2. Previous designs with single element are not able to handle transmembrane signal processing task.
The input-output relationship of a single element is characterized by Hill Equation, which comes with a 'detection range' defined by Kd and n. When the input range does not match the detection range, the system cannot faithfully represent the on and off of the input.

However, the free parameters are in reality not 'free' at all. While Kd is determined by the stability of the transcription factor-binding complex. The available transcription factor-promoter pairs, unfortunately, are limited, thus this constrains the dynamics that the one single input element can achieve to very few possibilities. More specifically, membrane receptors such as SynNotch that detect transmembrane signals and interact with ligands via non-covalent interactions require extremely low dissociation constants that may not even be realistic. On the other hand, the sensibility of the system needs to be high while the possible input range remains low and narrow. Furthermore, the Hill coefficient n representing the sensibility is almost uncontrollable and requires the specific and accurate designing of the promoter. Thus the previous designs that utilize a single element are not able to handle transmembrane signal processing tasks (Figure 2).

One potential solution is to change the number of binding sites of the transcription factors. As illustrated in Figure 3, different binding situations can lead to different activation levels. While a single binding site can be characterized by the Hill Equation.

Figure 3. Changing the number of binding sites of the transcription factors can potentially lead to more complex dynamics.
Different numbers of bound transcription factors have different effects on the activity of the promoter, denoted by α in the figure.

We characterized the input-output relationship when there are multiple binding sites (of an activator A for example).

While n and Kd are the Hill coefficient and dissociation constants, N represents the total number of binding sites, αi denotes the activation level while i activators are bound to the binding sites (bigger i leads to bigger α). Unfortunately, the following interactive Figure demonstrates that such dynamics is still Hill-like, and still relies on different pairs of transcription factor-binding sites to manipulate the dynamical range (four binding sites are used as an example).

In conclusion, changing both the transcription factor - promoter pairs and the number of binding sites can be used to adjust how a synthetic gene circuit responds to the input. However, both are limited and cannot enable a single limited-number element to faithfully detect transmembrane signals. Nevertheless, they are still valuable in our ENABLE after the addition of an amplifier layer (Figure 4).

Figure 4. In the design of our system, the input will first come from the SynNotch receptors.
Then it will be amplified by a tunable amplifier circuit, which will then feed input to the final responsive element, our Combiner.

An amplifier circuit

The realistic constraints and our analysis through modeling prompted us to introduce the amplifier circuit. With the amplifier circuit present, the eventual input into the final responsive element now comes from the output of the amplifier circuit instead of the output of the SynNotch receptors. This enables our system to be much more adjustable and stable.

With the amplifier circuit, the input from SynNotch will no longer directly enter the responsive element but will first go through the Amplifier. As demonstrated before, the input signal from SynNotch is weak and has a narrow range, making it unsuitable to be directly processed by the responsive element. However, with the amplifier, input strength to the responsive element can be manipulated by the amplifier, providing a higher level of control.

Figure 5. The amplifier circuit introduces nested dynamics into our system.
The output of the amplifier A and its input from SynNotch B are characterized by the Hill Equation. The A subsequently leads to the final output X, which again follows the Hill Equation in relation to A. While the input range of B is usually narrow and hard to detect, it can be amplified to the range of A through the amplifier circuit.

To remain consistent, we denoted the final output of the responsive element as X and the input as A. With amplifier circuit present, the A now means the output of the amplifier circuit while the B now means the direct input from SynNotch, which is again still the input to the amplifier circuit. As shown in Figure 5, the narrow range of the SynNotch signal does not support faithful detection. But with the amplifier circuit, the input range will be converted to an output range, which will then become the input range to the responsive element.

The output range of the amplifier is currently still undiscriminatable to the responsive element, but the amplification range can be manipulated. First, we can freely engineer the transcription factors to change the dissociation constant Kd. Since the input signal is now amplified, it will be easier to find an appropriate A to X relationship (Figure 6).

Secondly, with a certain and fixed A to X relationship, we can change the binding sites of transcription factor B of the amplifier circuit which determines how the signal from SynNotch will be amplified. This allows us to very freely adjust the dynamical properties of the ENABLE toolbox. The previously unusable input range now gets amplified and enters the detection range of the responsive element; hence, allowing accurate detection (Figure 7).

Figure 6. Adjusting the transcription factor - its promoter pair between the amplifier circuit and the responsive element changes the relationship between X and A.
Comparing with Figure 5, the organe line moves, which suggests a response to lower concertation of input from the Amplifer output, allowing the final response to be a full range.

Figure 7. Adjusting the binding sites of transcription factor B on the amplifier circuit leads to a dramatic change in the amplification magnitude.
The former narrow and undetectable range of B can now be easily manipulated in terms of A. This modeling suggests to increase the copy number of our Amplifer's DNA binding domain in our 3-layer design.

In our GJ presentation (10/25 Room 311 9:00-9:25), we used the image above in addition to the modeling just describe to add two points: (1) A summary of the Receptor-Ligand kinetics described below that with the same number of receptors and proteases, due to the increased complexity with more diversed ligand-receptor interactions, the release of Notch intracellular domains significantly decreased. (2) There was a previous study highlighting the requirement of amplification for signaling transduction across many cells.

Receptor-Ligand kinetics

The Receptor-Ligand collects extracellular signals for further intercellular processing, which constitutes the most significant part for any transmembrane logic gate. To reduce the background activation of SynNotch, we put a huge experimental effect based on its protein structure.

We focused on the signal-to-noise ratio (SNR) of the Notch/SynNotch receptor. In previous research, some quantitative descriptions of Notch-Ligand have been published for explanation and exploration of systematic design (Andrawes MB, et al., 2013). For example, cis-inhibition was modeled via chemical kinetics, which precisely predict the mechanism of Notch-induced pattern formation (Sprinzak D, et al., 2010). However, stochastic models for Notch-Ligand simulations have not been reported yet.

Here we present a mathematical model for Notch-Ligand kinetics using Stochastic Petri nets, which takes random intercellular processes into consideration. We found that the SNR of our system is not only dependent on the affinity of Notch-Ligands, but also the Secretase Complex. We also expanded our model from targeting just molecular-level chemical reactions to cell colony-level chemical reactions, which offers clues for oriented optimization of Notch. Last but not least, our object-oriented programming (OOP) makes it easy to transplant into further application.

Using ChemicalReactions toolkit

Not like chemical reactions happening in tubes, Notch-Ligand interaction occurs in a 2D manner. That is to say, chemical reactions between Notch and Ligand takes place on the membrane of two neighboring cells. Two cells may exchange their components on the membrane by touching to each other. Due to physical constraints, the chemical constitution of those cells remains relatively independent. However, when Ligand proteins binding to the extracellular domain of Notch receptor, proteolytic cleavage and release of the intracellular domain are induced.

Proteolytic cleavage of Notch involves a few steps, including S2-cleaveage by metalloprotease ADAM10, S3-cleavage by γ-secretase complex or γ-secretase Tetering (van Tetering G, et al., 2011). Here we simplify the cleavage of Notch after ligand binding, and we suppose that the cleavage is a one-step reaction with the smallest rate constant of all cleavages mentioned above. This simplification is coming down to the rate-limiting step in physics chemistry. The simplified equations are as follows.   N+L⇌NL     NL+S⇌NLS→icd   Here N refers to Notch, L refers to Ligand, NL Notch-Ligand complex, S protease, NLS Notch-Ligand-protease complex, and icd means the intracellular domain of Notch.

Our mathematic tool is Petri net. For the history and definition of Petri net, please check reference Wilkinson DJ, et al., 2006. This method views each chemical or reaction intermediate as nodes in a network, element reactions as edges, and weight and direction of each edge for stoichiometric number and reaction direction. Especially, we use {P, T, Pre, Post, M} to describe a Petri net precisely: P={p1, …, pu} is the space of chemicals, T={t1, …, tv} is the spaces of all transitions (element reactions) , Pre is a v*u integer matrix containing the weights from chemicals to transitions, and the (i,j)th element of this matrix is the weight of the arc going from chemical j to transition i, and Post is a v*u integer matrix containing the weights from transitions to chemicals, and the (i,j)th element of this matrix is the weight of the arc going from transition i to chemical j. M is a u-dimensional integer vector that represents the current state of the system (i.e. the number of molecules).

For system with only one kind of Notch and one kind of Ligand, we have zlw1 model equation the subscripts refer to the index of a cell in a cell-pair, and the index is designated arbitrarily. Also, we have zlw1 model equation Here the lower capital g and d refer to the generation and degradation of following chemicals. Similarly, we can write out the matrix Post and Pre.

We set W as a u-dimensional zero vector for initialization. Then we need to designate when and how this system chooses to finish a certain element reaction. For this purpose, we consider that the occurrence of an element reaction is a heterogeneous Poisson process, and certain reaction selection via sampling. That’s, the possibility that an element reaction Ri happening in the time interval (t,δt] is given by hi(x,i) δt. With additivity assumption, we can get the possibility an arbitrary reaction happening in the time interval (t,δt] is zlw1 model equation

The form of hi(x,i) is given by mass-action stochastic kinetics. For a given system, hi(x,i)=ci*C(ni1,ni2, …, nin), where ci is the rate constant for reaction i, nin refers to the molecule number of reactant k for reaction i, and function C() means combinatorial number of all nin. In practice, C() can be replaced by Π() with some modifications for ci.

Similarly, we can easily derive the expression for system with i kinds of Notch and j kind of Ligand.

Constitutive expression for stationary system

For certain parameters, Notch signaling component is equivalent to constitutive expression for stationary system (Figure 8A). It’s a good property for using Notch-Ligand in colony design, which uses the simplified version for higher-layer system simulation and shorten the simulation time without side effect of poor prediction.

The rate of Notch cleavage by proteases

Cleavage rate affects system response in a linear way. Notch-Ligand specificity may not affect system response.

For certain parameters, generation of Notch-Ligand-protease complex may be the rate-limiting step (Figure 8A). For example, decreased rate constant of Notch-Ligand-protease complex generation reduce the icd generating rate in a linear manner (Figure 8B with rate constant of gNALS decreased to one tenth of that of Figure 8A). Also, changing Notch-Ligand binding affinity may not significantly change icd generating rate, which strongly corroborated this view (Figure 8C with rate constant of gNALB decreased to one tenth of that of Figure 8A; and in Figure 8D where heter/homo refers to the rate constant ratio of gNALB/gNALA.

The signal-to-noise ratio (SNR)

SNR can be tuned via Notch-Ligand binding affinity in a power-law manner.

For certain parameters, signal-to-noise ratio can be tuned via Notch-Ligand binding affinity in a power-law manner (Figure 8E with rate constant of gNALBvaried compared to Figure 8A). This offers clue for SynNotch optimization.

Amplification is required for Notch-Ligand (see above). For certain parameters, signal of a certain pair of Notch-Ligand coupling may be diluted by occurrence of other reactions (Figure 8F with types of overall Notch/Ligand varied compared to Figure 8A).

Figure 8. Simulation results of Notch-Ligand kinetics.
(A) Simulation of a 2 Notch-2 Ligand system. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. Both Cell1 and Cell2 are armed with all four kinds of Notch/Ligand A/B.
(B) Weak binding affinity for cleavage leads to low response. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. The affinity of protease to NotchB-LigandB complex is weakened, leading to poor NotchB response to Ligand signal.
(C) High Notch-Ligand specificity may not affect system response. The graph's horizontal axis shows the time range, and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in 2 neighboring cells. The specificity of Notch-Ligand binding is enhanced, making no significant difference of system response with the cleavage being the rate-limit reaction in this system.
(D) Variant Notch-Ligand specificity may not affect system response. The graph's horizontal axis shows the ratio of rate constant of gNiLj (i≠j) and that of gNiLj (i=j), and #molecules shows the number of 2 kinds of intracellular domain (icdA and icdB) in Cell2. The specificity of Notch-Ligand binding is tuned, making no significant difference of system response with the cleavage being the rate-limit reaction in this system. This strongly corresponds to the fact that the cleavage reaction is the rate-limit reaction in this system.
(E) SNR can be tuned by Notch-Ligand specificity. The graph's horizontal axis shows the ratio of rate constant of gNiLj (i≠j) and that of gNiLj (i=j), and the SNR are defined as the ratio of the number of 2 kinds of intracellular domain (icdA and icdB) in Cell2, with Cell1 only have LigandA. The specificity of Notch-Ligand binding is tuned, changing SNR in a power-law manner.
(F) Amplification is needed for multi-Notch/Signal system. The graph's horizontal axis shows the diversity of the Notch-Ligand system, and the diversity are defined as the species number of Notch/Ligand. With the diversity increasing, the number of a certain type of Notch intracellular domain molecules reduces.

The stochastic Notch-Ligand kinetics can be simplified as a single chemical constant for some certain conditions. Though this may greatly reduce the workload of transplant our model into a higher-scale application (e.g. to model a cell colony made up of cells armed with Notch and Ligand), this OOP modeling style makes it easy to transplant Notch-Ligand kinetics at the molecular level to macroscale level. Please continue to our software, where we abstracted mammalian cells into blocks (with parameters modeled and simulated above), to predict cellular behaviors. We quantified the behavior of individual cells within a population. We found that besides ENABLE signaling, cell proliferation speed, cell life-span and cell adhesion greatly impact cancer elimination effectiveness. Our modeling and software gives ENABLE gates a population perspective, and test them in a clinical scenario.

A document on model cell colony, and source code is available on GitHub.

title

content content

title

Fangfei Ye is responsible for all art design, which includes our team logo, team flag, team uniform (Dr. Cai gave comments), team name card, brochures, our posters, as well as materials related to our human practice events.

project summary

Project Summary

Mutation library generation is critical for biological and medical research, but current methods cannot mutate a specific sequence continuously without manual intervention. Here we present a toolbox for in vivo continuous mutation library construction. First, the target DNA is transcribed into RNA. Next, our reverse transcriptase reverts RNA into cDNA, during which the target is randomly mutated by enhanced error-prone reverse transcription. Finally, the mutated version replaces the original sequence through recombination. These steps will be carried out iteratively, generating a random mutation library of the target with high efficiency as mutations accumulate along with bacterial growth. Our toolbox is orthogonal and provides a wide range of applications among various species. R-Evolution could mutate coding sequences and regulatory sequences, which enables the in vivo evolution of individual proteins or multiple targets at a time, promotes high-throughput research, and serves as a foundational advance to synthetic biology.