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

(Prototype team page)
 
(2018 by LC)
Line 1: Line 1:
{{Fudan-TSI}}
+
{{Fudan-TSI}}<script src="https://ajax.aspnetcdn.com/ajax/jQuery/jquery-1.11.3.min.js"></script>
<html>
+
<html lang="en">
 +
<!--
 +
This html document is created by Tian Huang for Team Fudan iGEM 2018.
 +
We make it compatible on laptop and mobile devices by using Materialize 1.0.0-rc.2.
 +
-->
 +
<!-- LC check on 2018-10-25 -->
 +
<head>
 +
    <meta charset="UTF-8">
  
 +
    <!-- CSS -->
 +
    <link rel="stylesheet" type="text/css" href="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/Fudan-css.css&action=raw&ctype=text/css" />
 +
    <link rel="stylesheet" type="text/css" href="https://2018.igem.org/wiki/index.php?title=Template:Fudan/jquery-ui.min.css&action=raw&ctype=text/css" />
  
 +
    <!-- Font-awesome icons 4.7.0 -->
 +
    <link href="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/Fudan-font-awesome.css&action=raw&ctype=text/css" rel="stylesheet" />
  
<div class="column full_size judges-will-not-evaluate">
+
    <!-- Materialize 1.0.0-rc.2 (Material Design like) -->
<h3>★  ALERT! </h3>
+
    <link rel="stylesheet" href="https://2018.igem.org/wiki/index.php?title=Template:Fudan/materialize.css&action=raw&ctype=text/css">
<p>This page is used by the judges to evaluate your team for the <a href="https://2019.igem.org/Judging/Medals">medal criterion</a> or <a href="https://2019.igem.org/Judging/Awards"> award listed below</a>. </p>
+
<p> Delete this box in order to be evaluated for this medal criterion and/or award. See more information at <a href="https://2019.igem.org/Judging/Pages_for_Awards"> Instructions for Pages for awards</a>.</p>
+
</div>
+
  
 +
    <!-- Clear default CSS settings; CSS reset -->
 +
    <style>
 +
        *{margin: 0;padding: 0;list-style: none;}
 +
        /* via: https://blog.csdn.net/weixin_41014370/article/details/79523637 */
  
<div class="clear"></div>
+
        /** 清除内外边距 **/
 +
        body, h1, h3, h3, h4, h5, h6, hr, p, blockquote, /* structural elements 结构元素 */
 +
        dl, dt, dd, ul, ol, li, /* list elements 列表元素 */
 +
        pre, /* text formatting elements 文本格式元素 */
 +
        form, fieldset, legend, button, input, textarea, /* form elements 表单元素 */
 +
        th, td /* table elements 表格元素 */ {
 +
            margin: 0;
 +
            padding: 0;
 +
        }
  
 +
        /** 设置默认字体 **/
  
<div class="column full_size">
+
        h1, h3, h3, h4, h5, h6 { font-size: 100%; }
<h1> Modeling</h1>
+
        address, cite, dfn, em, var { font-style: normal; } /* 将斜体扶正 */
 +
        code, kbd, pre, samp { font-family: courier new, courier, monospace; } /* 统一等宽字体 */
 +
        small { font-size: 12px; } /* 小于 12px 的中文很难阅读,让 small 正常化 */
  
<p>Mathematical models and computer simulations provide a great way to describe the function and operation of BioBrick Parts and Devices. Synthetic Biology is an engineering discipline, and part of engineering is simulation and modeling to determine the behavior of your design before you build it. Designing and simulating can be iterated many times in a computer before moving to the lab. This award is for teams who build a model of their system and use it to inform system design or simulate expected behavior in conjunction with experiments in the wetlab.</p>
+
        /** 重置列表元素 **/
 +
        ul, ol { list-style: none; }
  
</div>
+
        /** 重置文本格式元素 **/
<div class="clear"></div>
+
        a { text-decoration: none; }
 +
        a:hover { text-decoration: underline; }
  
<div class="column full_size">
 
<h3> Gold Medal Criterion #3</h3>
 
<p>
 
Convince the judges that your project's design and/or implementation is based on insight you have gained from modeling. This could be either a new model you develop or the implementation of a model from a previous team. You must thoroughly document your model's contribution to your project on your team's wiki, including assumptions, relevant data, model results, and a clear explanation of your model that anyone can understand.
 
<br><br>
 
The model should impact your project design in a meaningful way. Modeling may include, but is not limited to, deterministic, exploratory, molecular dynamic, and stochastic models. Teams may also explore the physical modeling of a single component within a system or utilize mathematical modeling for predicting function of a more complex device.
 
</p>
 
  
</div>
+
        /** 重置表单元素 **/
 +
        legend { color: #000; } /* for ie6 */
 +
        fieldset, img { border: 0; } /* img 搭车:让链接里的 img 无边框 */
 +
        button, input, select, textarea { font-size: 100%; } /* 使得表单元素在 ie 下能继承字体大小 */
 +
        /* 注:optgroup 无法扶正 */
  
<div class="column two_thirds_size">
+
        /** 重置表格元素 **/
<h3>Best Model Special Prize</h3>
+
        table { border-collapse: collapse; border-spacing: 0; }
 +
    </style>
 +
    <title>2019 Team:Fudan -Model</title>
 +
</head>
  
<p>
+
<body>
To compete for the <a href="https://2019.igem.org/Judging/Awards">Best Model prize</a>, please describe your work on this page  and also fill out the description on the <a href="https://2019.igem.org/Judging/Judging_Form">judging form</a>. Please note you can compete for both the Gold Medal criterion #3 and the Best Model prize with this page.
+
<!-- Fudan div at igem.org -->
<br><br>
+
<div id="FudanWrapper" class="white">
You must also delete the message box on the top of this page to be eligible for the Best Model Prize.
+
    <div id="FudanBody" class="white">
</p>
+
        <header>
 +
            <!-- empty bar -->
 +
            <div id="emptyBar" style="position:relative;width: 100%;"></div>
  
 +
            <!-- Navigation bar -->
 +
            <!-- Dropdown and List elements in navigation bar -->
 +
            <!-- Slide-out navigator contents -->
 +
        </header>
 +
 +
        <div id="pageContent" style="">
 +
 +
 +
            <div id="contentBanner" class="figureBanner">
 +
                <div class="row">
 +
                    <div class="col s12 hide-on-med-and-up">
 +
                        <h1>Model</h1>
 +
                    </div>
 +
                    <div class="col s12 hide-on-med-and-up">
 +
                        <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>
 +
                    </div>
 +
                </div>
 +
                <div id="figureBannerTitle" class="hide-on-small-only">
 +
                    <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>
 +
                </div>
 +
                <div class="hide-on-small-only">
 +
                    <img src="https://static.igem.org/mediawiki/2018/b/bb/T--Fudan--title_model.jpg">
 +
                    <svg width="10" height="10" xmlns="http://www.w3.org/2000/svg" style="position:absolute; left:0;top:0; width: 4%;height: 100%;">
 +
                        <defs>
 +
                            <linearGradient y2="0%" x2="100%" y1="0%" x1="0%" id="blackgraleft">
 +
                                <stop stop-color="rgb(0,0,0)" stop-opacity="1" offset="0%"/>
 +
                                <stop stop-color="rgb(0,0,0)" stop-opacity="0" offset="100%"/>
 +
                            </linearGradient>
 +
                        </defs>
 +
                        <g>
 +
                            <rect id="svg_1" fill="url(#blackgraleft)" height="100%" width="100%"/>
 +
                        </g>
 +
                    </svg>
 +
                    <svg width="10" height="10" xmlns="http://www.w3.org/2000/svg" style="position:absolute; right:0;top:0; width: 4%;height: 100%;">
 +
                        <defs>
 +
                            <linearGradient y2="0%" x2="100%" y1="0%" x1="0%" id="blackgraright">
 +
                                <stop stop-color="rgb(0,0,0)" stop-opacity="0" offset="0%"/>
 +
                                <stop stop-color="rgb(0,0,0)" stop-opacity="1" offset="100%"/>
 +
                            </linearGradient>
 +
                        </defs>
 +
                        <g>
 +
                            <rect id="svg_2" fill="url(#blackgraright)" height="100%" width="100%"/>
 +
                        </g>
 +
                    </svg>
 +
                </div>
 +
            </div>
 +
 +
            <!-- main content of the page -->
 +
            <div class="container">
 +
                <main>
 +
                    <!-- side navigator of page content -->
 +
                    <ul id="pageContentNav" class="hide-on-med-and-down z-depth-0">
 +
 +
                        <li><a href="/Team:Fudan-TSI/Addon#ribo">Addon: ribo</a></li>
 +
                        <li><a href="/Team:Fudan-TSI/Addon#TALE">Addon: TALE</a></li>
 +
                        <li><a href="/Team:Fudan-TSI/Addon#T2">Addon: T2</a></li>
 +
                        <li><a href="/Team:Fudan-TSI/Model">Model</a></li>
 +
                        <li class="onThisPageNav"><a href="#Transcriptional_Amplifer">Transcriptional amplifer</a></li>
 +
                        <li class="onThisPageNav"><a href="#NotchLigandKinetics">Receptor-Ligand kinetics</a></li>
 +
                        <li><a href="/Team:Fudan-TSI/Software">Software</a></li>
 +
                    </ul>
 +
                    <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>
 +
                    </div>
 +
                    <div id="Transcriptional_Amplifer" class="section container scrolSpy">
 +
                        <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><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>
 +
                        <p>
 +
                            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>
 +
                        <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">
 +
                            <p><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.
 +
                            </p>
 +
 +
                        </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>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>
 +
                        <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>
 +
<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>
 +
                        <p>
 +
                            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 class="hide-on-med-and-up">(Hidden content only visible on a desktop computer.)</p>
 +
                        <div id="figure1" style="margin: 40px auto;width: 500px;" class="hide-on-small-only"></div>
 +
                        <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">
 +
                            <p><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.
 +
                            </p>
 +
 +
                        </div>
 +
                        <p>
 +
                            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>
 +
                            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>
 +
                        <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">
 +
                            <p><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.
 +
                            </p>
 +
 +
                        </div>
 +
                        <p>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>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>
 +
                        <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">
 +
                            <p><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.
 +
                            </p>
 +
 +
                        </div>
 +
                        <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><p>
 +
                            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>
 +
                        <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">
 +
                            <p><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.
 +
                            </p>
 +
 +
                        </div><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>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="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>
 +
                                    <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>
 +
                            <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>
 +
                                    <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>
 +
                        </div>
 +
                        <ul class="collapsible expandable">
 +
                            <li style="list-style-type: none">
 +
                                <div class="collapsible-header">Click to see more about the formula</div>
 +
                                <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 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 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 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>
 +
                            </li>
 +
                        </ul>
 +
                    </div>
 +
<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" />
 +
    <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:
 +
        (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>
 
</div>
 
</div>
 +
                    <div id="NotchLigandKinetics" class="section container scrolSpy">
 +
                        <h2>Receptor-Ligand kinetics</h2>
 +
                        <p>
 +
                            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>
 +
                            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>
 +
                        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>
 +
                        <h3>Using ChemicalReactions toolkit</h3>
 +
                        <p>
 +
                            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>
 +
                        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; 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.
 +
                    </p><p>
 +
                        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).
 +
                    </p><p>
 +
                        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" />
 +
                        the subscripts refer to the index of a cell in a cell-pair, and the index is designated arbitrarily.
 +
                        Also, we have
 +
                        <img class="responsive-img width80" src="https://static.igem.org/mediawiki/2018/2/26/T--Fudan--LC-model-zlw2.png" alt="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.
 +
                    </p><p>
 +
                        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" />
 +
                    </p><p>
 +
                        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>.
 +
                    </p><p>
 +
                        Similarly, we can easily derive the expression for system with i kinds of Notch and j kind of Ligand.
 +
                        </p>
 +
                        <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>
 +
                        <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>
 +
                            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>
 +
                        <h3>The signal-to-noise ratio (SNR)</h3>
 +
                        <p>
 +
                            SNR can be tuned via Notch-Ligand binding affinity in a power-law manner.
 +
                        </p><p>
 +
                        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>
 +
                            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).
 +
                        </p>
 +
                        <div class="expFigureHolder" style="width:100%">
 +
                            <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>
 +
<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/>(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.
 +
<br/>(D) Variant Notch-Ligand specificity may not affect system response. The graph's horizontal axis shows the ratio of rate constant of gN<sub>i</sub>L<sub>j</sub> (i≠j) and that of gN<sub>i</sub>L<sub>j</sub> (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.
 +
<br/>(E) SNR can be tuned by Notch-Ligand specificity. The graph's horizontal axis shows the ratio of rate constant of gN<sub>i</sub>L<sub>j</sub> (i≠j) and that of gN<sub>i</sub>L<sub>j</sub> (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.
 +
<br/>(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.
 +
                            </p>
 +
                        </div>
 +
                        <ul class="collapsible expandable">
 +
                            <li style="list-style-type: none">
 +
                                <div class="collapsible-header">Click to see more about the modeling parameters</div>
 +
                                <div class="collapsible-body container">
 +
                                  <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img" src="https://static.igem.org/mediawiki/2018/d/d9/T--Fudan--LC-zlw1018param1.png" /></p>
 +
                                  <p style="text-indent: 0;margin-top: 0;text-align: center"><img class="responsive-img" src="https://static.igem.org/mediawiki/2018/c/cf/T--Fudan--LC-zlw1018param2.png" /></p>
 +
                                </div>
 +
                            </li>
 +
                        </ul>
 +
                        <p>
 +
                            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>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>
 +
                </main>
 +
            </div>
  
 +
            <!--Abstract on content page-->
 +
            <div id="abstractContent" class="z-depth-2">
 +
                <a href="#!"><img alt=alt="project summary" src="https://static.igem.org/mediawiki/2018/9/96/T--Fudan--X.svg"></a>
 +
                <div class="container">
 +
                    <h2 style="margin: 0;padding: 10px 0;">Project Summary</h2>
 +
                    <p>Contact-dependent signaling is critical for multicellular biological
 +
                        events, yet customizing contact-dependent signal transduction between
 +
                        cells remains challenging. Here we have developed the ENABLE toolbox, a
 +
                        complete set of transmembrane binary logic gates. Each gate consists of
 +
                        3 layers: Receptor, Amplifier, and Combiner. We first optimized synthetic
 +
                        Notch receptors to enable cells to respond to different signals across the
 +
                        membrane reliably. These signals, individually amplified intracellularly by
 +
                        transcription, are further combined for computing. Our engineered zinc finger-based
 +
                        transcription factors perform binary computation and output designed products.
 +
                        In summary, we have combined spatially different signals in mammalian cells,
 +
                        and revealed new potentials for biological oscillators, tissue engineering,
 +
                        cancer treatments, bio-computing, etc. ENABLE is a toolbox for constructing
 +
                        contact-dependent signaling networks in mammals. The 3-layer design principle
 +
                        underlying ENABLE empowers any future development of transmembrane logic circuits,
 +
                        thus contributes a foundational advance to Synthetic Biology.
 +
                    </p>
 +
                </div>
 +
            </div>
  
<div class="column third_size">
+
 
<div class="highlight decoration_A_full">
+
            <!-- Floating Btns -->
<h3> Inspiration </h3>
+
            <div class="floatingBtn">
<p>
+
                <a href="#!" id="abstractBtn" class="btn">
Here are a few examples from previous teams:
+
                    <i class="fa fa-sticky-note" style="font-size: 30px;line-height: 50px"></i>
</p>
+
                </a>
<ul>
+
                <a href="#FudanWrapper" class="btn">
<li><a href="https://2018.igem.org/Team:GreatBay_China/Model">2018 GreatBay China</a></li>
+
                    <i class="fa fa-angle-up" style="font-size: 48px;line-height: 45px"></i>
<li><a href="https://2018.igem.org/Team:Leiden/Model">2018 Leiden</a></li>
+
                </a>
<li><a href="https://2016.igem.org/Team:Manchester/Model">2016 Manchester</a></li>
+
            </div>
<li><a href="https://2016.igem.org/Team:TU_Delft/Model">2016 TU Delft</li>
+
 
<li><a href="https://2014.igem.org/Team:ETH_Zurich/modeling/overview">2014 ETH Zurich</a></li>
+
            <!-- Footer with sponsors and contact methods -->
<li><a href="https://2014.igem.org/Team:Waterloo/Math_Book">2014 Waterloo</a></li>
+
            <footer id="FudanFooter" class="page-footer grey">
</ul>
+
                <div class="container">
</div>
+
                    <div class="row">
 +
                        <div id="sponsor" class="col m3 s12 row">
 +
                            <a href="https://2018.igem.org/Team:Fudan" target="_blank"><img alt="2018 Team:Fudan logo white" class="col s3 m6 l3" style="position:relative; padding: 0 0.3rem; margin:-0.15rem 0; left: -0.45rem;" src="https://static.igem.org/mediawiki/2018/7/73/T--Fudan--teamLogoWhite.png">
 +
                            </a><a href="http://www.fudan.edu.cn/en/" target="_blank"><img class="col s3 m6 l3" alt="Fudan University" src="https://static.igem.org/mediawiki/2018/f/f7/T--Fudan--schoolLogo.png">
 +
                        </a><a href="http://life.fudan.edu.cn/" target="_blank"><img class="col s3 m6 l3" style="margin-bottom: 4%;/* 该图比其他小一点,排版需要 */" alt="School of Life Sciences, Fudan University" src="https://static.igem.org/mediawiki/2018/1/1d/T--Fudan--schoolOfLifeSciencesIcon.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>
 +
                            <h3 class="col s12" style="text-align: left; color: rgba(255, 255, 255, 0.8); font-size: 18px">ENABLE: making cells even smarter</h3>
 +
                        </div>
 +
                        <div id="usefulLinks" class="col m9 s12 row">
 +
                            <div class="col s12 l6 row">
 +
                                <div class="col s12 m4">
 +
                                    <span>Project</span>
 +
                                    <ul>
 +
                                        <li><a href="/Team:Fudan-TSI/Description">Background</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Design">Design</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Protocols">Experiments</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Demonstrate">Results</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Judging">iGEM judging</a></li>
 +
                                    </ul>
 +
                                </div>
 +
                                <div class="col s12 m4">
 +
                                  <span><a href="/Team:Fudan-TSI/Parts">BioBricks</a></span>
 +
                                    <ul>
 +
                                        <li><a href="/Team:Fudan-TSI/Basic_Part">Basic parts</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Composite_Part">Composite parts</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Part_Collection">Part collection</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Improve">Parts improvement</a></li>
 +
                                    </ul>
 +
                                </div>
 +
                                <div class="col s12 m4">
 +
                                    <span>Lab</span>
 +
                                    <ul>
 +
                                        <li><a href="/Team:Fudan-TSI/Interlab">iGEM interLab</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Notebook">Notebook</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Protocols">Protocols</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Measurement">Quantification</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Safety">Safety</a></li>
 +
                                    </ul>
 +
                                </div>
 +
                            </div>
 +
                            <div class="col s12 l6 row">
 +
                                <div class="col s12 m4 active">
 +
                                    <span>not-sure</span>
 +
                                    <ul>
 +
                                        <li><a href="/Team:Fudan-TSI/Applied_Design">Applied design</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Hardware">Hardware</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Model">Model</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Software">Software</a></li>
 +
                                    </ul>
 +
                                </div>
 +
                                <div class="col s12 m4">
 +
                                    <span>Outreach</span>
 +
                                    <ul>
 +
                                        <li><a href="/Team:Fudan-TSI/Collaborations">Collaborations</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Human_Practices">Human practices</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/Public_Engagement">Public engagement</a></li>
 +
                                        <li><a href="/Team:Fudan-TSI/HP">Why we do this</a></li>
 +
                                    </ul>
 +
                                </div>
 +
                                <div class="col s12 m4">
 +
                                    <span>Team</span>
 +
                                    <ul>
 +
                                        <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="/Team:Fudan-TSI/Team">Members</a></li>
 +
                                    </ul>
 +
                                </div>
 +
                            </div>
 +
                        </div>
 +
                    </div>
 +
                </div>
 +
                <div class="footer-copyright">
 +
                    <div class="container">
 +
                        <div class="contactUS row">
 +
                          <div class="col s12 m6 l4"><i class="fa fa-location-arrow"></i> Life Sci Bldg E301, 2005 Songhu Rd, Shanghai
 +
                          </div><div class="col s12 m6 l2"><i class="fa fa-fax"></i> +86-21-31246727
 +
                          </div><div class="col s12 m6 l2"><i class="fa fa-envelope-o"></i> igem@fudan.edu.cn
 +
                          </div><div class="col s12 m6 l4"><i class="fa fa-twitter"></i> <i class="fa fa-wechat"></i> Fudan_iGEM
 +
                          </div>
 +
                        </div>
 +
                    </div>
 +
                </div>
 +
            </footer>
 +
 
 +
        </div>
 +
    </div>
 
</div>
 
</div>
  
 +
 +
<!-- Javascript files -->
 +
<!-- Materialize 1.0.0-rc.2 -->
 +
<script src="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/materialize.js&action=raw&ctype=text/javascript"></script>
 +
 +
<!-- Javascript -->
 +
<script src="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/Fudan-js.js&action=raw&ctype=text/javascript"></script>
 +
 +
<!-- wang yiheng -->
 +
<script src="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/jquery-ui.min.js&action=raw&ctype=text/javascript"></script>
 +
<script src="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/d3.min.js&action=raw&ctype=text/javascript"></script>
 +
<script src="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/function-plot.js&action=raw&ctype=text/javascript"></script>
 +
<script src="https://2019.igem.org/wiki/index.php?title=Template:Fudan-TSI/Kernel.js&action=raw&ctype=text/javascript"></script>
 +
 +
</body>
 
</html>
 
</html>

Revision as of 06:31, 29 August 2019

<script src="https://ajax.aspnetcdn.com/ajax/jQuery/jquery-1.11.3.min.js"></script> 2019 Team:Fudan -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.

alt="project

Project Summary

Contact-dependent signaling is critical for multicellular biological events, yet customizing contact-dependent signal transduction between cells remains challenging. Here we have developed the ENABLE toolbox, a complete set of transmembrane binary logic gates. Each gate consists of 3 layers: Receptor, Amplifier, and Combiner. We first optimized synthetic Notch receptors to enable cells to respond to different signals across the membrane reliably. These signals, individually amplified intracellularly by transcription, are further combined for computing. Our engineered zinc finger-based transcription factors perform binary computation and output designed products. In summary, we have combined spatially different signals in mammalian cells, and revealed new potentials for biological oscillators, tissue engineering, cancer treatments, bio-computing, etc. ENABLE is a toolbox for constructing contact-dependent signaling networks in mammals. The 3-layer design principle underlying ENABLE empowers any future development of transmembrane logic circuits, thus contributes a foundational advance to Synthetic Biology.