Complex cellular logic computation using ribocomputing devices. Output signals. Output protein. Output gene Gene OFF. NOT logic.

Size: px
Start display at page:

Download "Complex cellular logic computation using ribocomputing devices. Output signals. Output protein. Output gene Gene OFF. NOT logic."

Transcription

1 LETTER doi:1.138/nture23271 Complex ellulr logi omputtion using rioomputing devies lexnder. Green 1,2 *, Jongmin Kim 1,3 *, Duo M 2, Pmel. Silver 1,3, Jmes J. Collins 1,4,5 & Peng Yin 1,3 Syntheti iology ims to develop engineering-driven pprohes to the progrmming of ellulr funtions tht ould yield trnsformtive tehnologies 1. Syntheti gene iruits tht omine DN, protein, nd RN omponents hve demonstrted rnge of funtions suh s istility 2, osilltion 3,4, feedk 5,6, nd logi pilities However, it remins hllenging to sle up these iruits owing to the limited numer of designle, orthogonl, high-performne prts, the empiril nd often tedious omposition rules, nd the requirements for sustntil resoures for enoding nd opertion. Here, we report strtegy for onstruting RN-only nnodevies to evlute omplex logi in living ells. Our rioomputing systems re omposed of de-novo-designed prts nd operte through preditle nd designle se-piring rules, llowing the effetive in silio design of omputing devies with presried onfigurtions nd funtions in omplex ellulr environments. These devies operte t the post-trnsriptionl level nd use n extended RN trnsript to o-lolize ll iruit sensing, omputtion, signl trnsdution, nd output elements in the sme self-ssemled moleulr omplex, whih redues diffusion-medited signl losses, lowers metoli ost, nd improves iruit reliility. We demonstrte tht rioomputing devies in Esherihi oli n evlute twoinput logi with dynmi rnge up to 9-fold nd sle them to four-input ND, six-input OR, nd omplex 12-input expression (1 ND 2 ND NOT 1*) OR (B1 ND B2 ND NOT B2*) OR (C1 ND C2) OR (D1 ND D2) OR (E1 ND E2). Suessful opertion of rioomputing devies sed on progrmmle RN intertions suggests tht systems employing the sme design priniples ould e implemented in other host orgnisms or in extrellulr settings. wide vriety of syntheti iologil iruits hve een onstruted to endow ells with funtions nlogous to those of eletroni iruits. long-term gol of these efforts hs een to develop iologil iruit design strtegies tht will enle ellulr funtion to e progrmmed with the sme ese with whih we progrm eletroni omputers. This oneptul frmework hs motivted efforts to develop lirries of well-hrterized, modulr, nd omposle iologil prts tht, in priniple, n e ssemled to onstrut new types of iruitry in living ells. Furthermore, it hs spurred the doption of lyered iruit designs 11,16,17 in whih the outputs of si two-input iruit elements re fed forwrds into other logi elements in the next lyer. lthough sustntil dvnes hve een mde y using insultion strtegies nd dvned omputer progrms 15 to redue sensitivity to ontext, hllenges remin to further sle up syntheti iologil iruits. Tking inspirtion from the sophistited iruits developed for DN omputing nd self-ssemly in test tues nd dvnes in RN syntheti iology 17,24,25, we hve developed RN-only iruits in teri tht enle omplex intrellulr omputtions to e rried out in single iruit lyer. These iruits hve vrious dvntges for sling up. First, these rioomputing devies utilize progrmmle RN moleules with de-novo-designed prts nd presried intertion rules, llowing effetive in silio designs. Seond, they re omposed of networks of preisely designed syntheti RNs nd funtion purely t the post-trnsriptionl level with no intermedite trnsriptionl Input signls Input RN network OR logi Signl proessing Gte RN: o-lolized sensing nd output Sensor modules ND logi Output gene NOT logi Output signls Output protein Toehold swith: RN sensor Swith RN Trigger RN X X* X* X Toehold swith for ND logi Swith RN Trigger RN Y Y* Y* Y Y* Y Riosome Riosome ON Detivtion Y* Y ON Figure 1 In vivo omputtion using syntheti rioomputing devies., Rioomputing devies use RN moleules s input signls nd protein s the output signl. Signl proessing is rried out y gte RN tht o-lolizes sensing nd output modules. ND, OR, nd NOT logi results from self-ssemly of input nd gte RNs in the devie., Shemti of the toehold swithes tht form the RN sensing elements of the gte RN. The riosoml inding site () nd strt odon () of the swith RN re exposed upon trigger RN inding to tivte trnsltion. X nd X* re omplementry sequenes., Shemti of toehold swithes optimized for ND logi. These toehold swithes retin wek hirpin upon tivtion y the trigger RN tht still llows effiient trnsltion y riosome. 1 Wyss Institute for Biologilly Inspired Engineering, Hrvrd University, Boston, Msshusetts 2115, US. 2 Biodesign Center for Moleulr Design nd Biomimetis, Biodesign Institute nd Shool of Moleulr Sienes, rizon Stte University, Tempe, rizon 85287, US. 3 Deprtment of Systems Biology, Hrvrd Medil Shool, Boston, Msshusetts 2115, US. 4 Institute for Medil Engineering nd Siene, Deprtment of Biologil Engineering, nd Syntheti Biology Center, Msshusetts Institute of Tehnology, Cmridge, Msshusetts 2139, US. 5 Brod Institute of MIT nd Hrvrd, Cmridge, Msshusetts 2142, US. *These uthors ontriuted eqully to this work. 3 UST 217 VOL 548 NTURE Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

2 RESERCH LETTER or trnsltionl steps, minimizing delys nd improving the reliility of signl trnsdution. Third, these devies tke dvntge of o- loliztion to integrte multiple iruit funtions within single trnsript termed gte RN. Implementtion of o-lolized iruit elements enhnes signl propgtion to the output gene nd sustntilly dereses the geneti footprint of the rioomputing devie y enling one gte RN to omplish tsks tht would otherwise require multiple independent RNs. The generl rhiteture of the rioomputing devies is illustrted shemtilly in Fig. 1. network of progrmmed RNs provides input signls to the iruit nd the output signl is protein tht is trnslted upon tivtion of the gte RN. The gte RN omprises the entrl signl-proessing element of the devie, employing modulr sensor domins to detet the self-ssemly stte of the input RN network. intert with themselves nd the gte RN through preditle se-piring. Inputs tht ind to the individul sensor domins on the gte RN n independently trigger protein prodution nd thus re used for OR logi opertions. n intert with one nother oopertively to tivte the gte RN for ND logi or they n inhiit one nother for NOT logi. The sensing modules within the gte RN re tken from reently developed syntheti trnsltionl regultors lled toehold swithes 17. Toehold swithes trnslte n output gene only if ognte trigger RN is expressed in the ell (Fig. 1). The trigger RN inds to swith RN with trnsltion-repressing hirpin struture vi single-strnded toehold region. Trigger inding uses the swith RN stem to unwind, whih exposes the riosoml inding site () nd the strt odon to tivte trnsltion of the output gene. Toehold swith designs optimized for evluting ND logi were lso developed for rioomputing devies (Fig. 1, Extended Dt Fig. 1 nd Supplementry Informtion). These devies feture design in whih the trigger RN unwinds only the lower portion of the swith RN stem to redue trnsltionl lekge. lthough the remins enlosed within stem-loop fter trigger inding, the stem-loop is engineered to e suffiiently wek to llow riosome inding nd strong trnsltion (see Supplementry Informtion nd Extended Dt Fig. 1, ). We initilly onstruted rioomputing iruits tht ould evlute two-input OR, two-input ND, nd ND (NOT B) opertions, whih onstitute funtionlly omplete set of Boolen logi opertors. Gte RNs for two-input OR logi employed two toehold swith sensor modules ontented upstrem of the sequene of output (Fig. 2, Extended Dt Fig. 2). The swith modules nd sequenes were pled in the sme reding frme nd seprted y short single-strnded regions designed to not enode in-frme stop odons. Both swith elements within the gte RN n reognize their ognte trigger RN nd unwind its stem to enle reognition y the e i 2-Input OR gte Input Gte RN * Input B B B* 2-Input ND gte Input 1 Input 2 Gte RN u* * 1 * * B* Riosome B Riosome 2 u 2 1 1* 2* ND (NOT B) gte Input : trigger RN u v Input B: detivting RN u* * v* Input + tive gte RN * u Toeholds v Riosome ON 2 2* u u* 1 1* u u* Riosome B* ON ON ON Detivted inputs u* * v* u v Detivted gte RN * (T) B B (IPTG) Figure 2 Two-input rioomputing logi iruits., Two-input OR gte RN omposed of two swith RN hirpins. Eh swith module hs n input RN reognition site nd its own nd strt odon. Input RN inding unwinds the orresponding swith stem to tivte trnsltion., Flow ytometry mesurements of the two-input OR gte iruit for ognte nd non-ognte inputs., d, outputs for the two-input OR gte on liner () nd logrithmi (d) sles. e, two-input ND gte onstruted from two input RNs tht ind to yield omplete trigger RN. f, Flow ytometry mesurements of the two-input ND iruit under four omintions of input RNs. g, h, The truth tle for the ND omputtion on liner (g) nd logrithmi (h) sles. i, Operting f j 1 2 Normlized ell ounts Normlized ell ounts Normlized ell ounts + B B + X + Y X + Y () fluoresene (.u.) Y 2 + X X + Y (Non-ognte inputs) fluoresene (.u.) T + IPTG IPTG T No induers fluoresene (.u.) 1, g k ,2 1, B T 1 1 IPTG 1 1 d 13 h l B T 1 1 IPTG 1 1 mehnism of the ND (NOT B) iruit in whih detivting RN (input B) uses diret hyridiztion or strnd displement to olish trigger RN (input ) tivity. j, Flow ytometry histogrms of the ND (NOT B) iruit with hemil induers T nd IPTG. k, l, ON/ levels for the ND (NOT B) iruit on liner (k) nd logrithmi (l) sles. ws determined from the geometri men fluoresene of ells mesured vi flow ytometry 4 h fter indution of RN expression. Reltive errors for were otined y dding the reltive errors of ON nd fluoresene in qudrture. Errors for ON nd sttes re the s.d. of three iologil replites. sttes were tken from the null-input se with no ognte RN expressed. 118 NTURE VOL UST Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

3 LETTER RESERCH 4-input ND gte Normlized ell ounts [1,2,3,4] [1,1,1,1] [1,1,1,] [1,1,,1] [1,1,,] [1,,1,1] [1,,1,] [1,,,1] [1,,,] [,1,1,1] [,1,1,] [,1,,1] [,1,,] [,,1,1] [,,1,] [,,,1] [,,,] fluoresene (.u.) d 6-input OR gte e f B C D E F * B* C* D* E* F* Normlized ell ounts Input F Input E Input D Input C Input B Input Deoy Z Deoy Y Deoy X Deoy W Deoy V Deoy U fluoresene (.u.) Figure 3 Multi-input rioomputing ND nd OR iruits., Shemti of the input RN intertion used in four-input ND gte., Flow ytometry mesurements of the four-input ND gte., ON/ for the ND gte truth tle showing ninefold signl inrese upon expression of ll four required inputs. Inset, on logrithmi sle. d, Shemti of the six-input OR gte RN with six sensor modules. e, Flow ytometry mesurements of the six-input OR B C D E F U V W X Y Z BCDEFUVW XYZ Input RNs Deoy RNs gte. f, for the OR gte showing tht ognte inputs provide t lest 12-fold inrese in expression. Inset, on logrithmi sle. ws determined from the geometri men fluoresene of ells mesured vi flow ytometry 4 h fter indution of RN expression. Reltive errors for were otined y dding the reltive errors of the ON nd fluoresene in qudrture. Errors for ON nd sttes re the s.d. of three iologil replites. riosome. One the riosome inds to the nd egins trnsltion, it n sn through the gte trnsript, unwind ny downstrem swith hirpins, nd ontinue with trnsltion of. Thus, ny ognte RN n tivte trnsltion from the gte RN to perform OR logi. Rioomputing iruits were first evluted in E. oli BL21 Str DE3, n RNse-defiient strin, with T7 RN polymerse expression indued y isopropyl β -d-1-thiogltopyrnoside (IPTG; see Methods nd Supplementry Informtion for full experimentl detils). Unless otherwise noted, nlogous onditions were employed for testing the other iruits herein. The two-input gte RN ws o-expressed with different omintions of input RNs, nd B, nd deoy RNs, X nd Y (designed for other rioomputing devies), to determine expression in flow ytometry (Fig. 2). Cognte inputs nd B produed roust expression with inresed signl output in the presene of oth inputs, wheres the deoys yielded very low fluoresene output, resulting in ON/ levels over 4-fold (Fig. 2, d). To implement rioomputing ND logi, we divided the trigger RN sequene of toehold swith evenly into two seprte input RNs (Fig. 2e) nd used toehold swithes optimized to ompute ND expressions. When either input RN is expressed, it is inple of tivting the swith euse neither trigger su-sequene lone n unwind the repressing hirpin. Complementry inding domins (u nd u* in Fig. 2e) were designed etween the two input RN speies to enle them to hyridize nd form omplete trigger sequene when expressed (see Extended Dt Fig. 2 for design shemti, Extended Dt Fig. 3, for dimensioning study). nlogous ssoitive trigger systems exploiting oopertive self-ssemly hve previously een implemented in vitro using DN 23,26,27. Mesurements of the ND iruit demonstrted very low output in ll three logil FLSE onditions nd 9-fold inrese in expression for the logil TRUE ondition ompred to the null-input se with two non- ognte RNs (Fig. 2f h). Devies tested with non-rnse-defiient E. oli provided levels of 175-fold or more (Extended Dt Fig. 3 f). NOT logil ehviour ws omplished through diret hyridiztion of detivting RN to trigger RN to silene its effet on the gte RN (Fig. 2i, Extended Dt Fig. 2d). The detivting RN n ind diretly to free trigger RNs nd use the extended single-strnded domins of the trigger RN (u nd v in Fig. 2i) s toeholds to disple the trigger fter it hs ound to the gte RN. These repressing systems evlute ND (NOT B) logi nd were tested in E. oli MG1655Pro using the hemil induers nhydrotetryline (T) nd IPTG to express inputs nd B, respetively (see Supplementry Informtion for experimentl detils). fluoresene histogrms (Fig. 2j) showed ler inreses in fluoresene in the logil TRUE se with only the trigger RN expressed nd 19-fold derese with oth inputs expressed (Fig. 2k, l). We next investigted sling of the rioomputing devies y testing iruits with inresing numers of ND nd OR inputs. Four different three-input ND iruits produed orret truth tles, with the est providing t lest 25-fold inrese in for the TRUE stte ompred to ll logil FLSE sttes (Extended Dt Fig. 4 g). For four-input ND gtes, we oserved lower ON stte output s we hllenged in vivo RN self-ssemly with iruit omprising five interting RNs (Fig. 3, Extended Dt Fig. 4i). histogrms from the 16-element truth tle showed ninefold inrese in for the TRUE stte over the null-input se nd t lest sixfold inrese over the most leky FLSE stte (Fig. 3, ). These performne levels re etter thn previous toehold-swith-sed lyered four-input ND gtes 17. Furthermore, they re omprle to previous fourinput ND gte onstruted from lyered trnsription ftors 11. The rioomputing four-input ND system is lso genetilly ompt, requiring only five progrmmed RNs with totl length of 392 nuleotides (nt). Mesurements of seond four-input ND gte nd five-input ND gte re shown in Extended Dt Fig. 4j n. We tested OR gte RNs with inresing numers of inputs (see Extended Dt Fig. 5 for systemti study nd Extended Dt Fig. 6 for four- nd five-input OR gtes). The most omplex gte RN we tested onsisted of six sensor modules nd hd sensor region length of 444 nt (Fig. 3d, Extended Dt Fig. 2). Mesurements of this six-input OR gte reveled low lekge levels generted from six deoy speies nd inreses in expression of t lest 12-fold for the ognte inputs 3 UST 217 VOL 548 NTURE Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

4 RESERCH LETTER 1* (1 ND 2 ND NOT 1*) OR (B1 ND B2 ND NOT B2*) OR (C1 ND C2) OR (D1 ND D2) OR (E1 ND E2) B1 B2* B2 C1 C2 D1 D2 E1 E2 * B* C* D* E* Normlized ell ounts fluoresene (.u.) [1,] [,1] [,] [1,] [,1] [,] [1,] [,1] [,] [1,1,1] [1,1,] [1,,1] [1,,] [,1,1] [,1,] [,,1] [,,] [1,1,1] [1,1,] [1,,1] [1,,] [,1,1] [,1,] [,,1] [,,] [E1,E2] [D1,D2] [C1,C2] [B1,B2,B2*] [1,2,1*] n* B C D E inputs inputs n* inputs ND 2 ND NOT 1* B1 ND B2 ND NOT B2* Figure 4 Twelve-input DNF rioomputing iruit., Shemti of the 12-input DNF expression evluted in E. oli., Flow ytometry mesurements show low output for 23 logil FLSE sttes nd t lest tenfold inreses in for the five logil TRUE sttes., ON/ from the DNF iruit under 28 different input RN omintions. Inset, on logrithmi sle. ws determined C1 ND C2 D1 ND D2 E1 ND E2 from the geometri men fluoresene of ells mesured vi flow ytometry 6 h fter indution of RN expression. Reltive errors for were otined y dding the reltive errors of the ON nd fluoresene in qudrture. Errors for ON nd sttes re the s.d. of three iologil replites. sttes were tken from the null-input se of the 1 ND 2 ND NOT 1* luse. (Fig. 3e, f). Despite the strong overll signl for logil TRUE onditions, we oserved sustntil vritions in depending on the input RN expressed. These vritions ould e ttriuted to the effets of downstrem gte RN seondry struture on riosome proession nd the dditionl mino ids inorported into the output protein for the more upstrem sensor modules. We lso evluted gte RNs regulting other output proteins (Extended Dt Fig. 7 d) nd implemented n 11-input iruit in whih two gte RNs were expressed simultneously (Extended Dt Fig. 7e g). OR gte iruits were lso tested in non-rnse-defiient E. oli strins nd using different promoters (Extended Dt Fig. 8). Lstly, we onstruted iruits tht omined ND, OR, nd NOT shemes to ompute expressions in disjuntive norml form (DNF). DNF expressions n e used to evlute ny Boolen logi expression nd onsist of ND nd NOT opertions tht provide inputs for OR opertions. The most omplex expression we evluted ws the 12-input RN omputtion (1 ND 2 ND NOT 1* ) OR (B1 ND B2 ND NOT B2* ) OR (C1 ND C2) OR (D1 ND D2) OR (E1 ND E2) (Fig. 4). Inputs 1* nd B2* re omplementry to 1 nd B2, respetively. We found tht this iruit funtioned roustly in vivo, displying ler signl differenes etween TRUE nd FLSE sttes for 28 input onditions tested (Fig. 4). fter 6 hours of IPTG indution, for logil TRUE onditions rnged from 22-fold to 41-fold higher thn the null-input se, with low signl lekge for multiple omintions of non-ognte RNs (Fig. 4). This 12-input single-lyer rioomputing iruit evlutes logi expression tht would require eleven two-input or signl inversion opertions in onventionl lyered iruit implementtion. Mesurements of eightnd ten-input DNF rioomputing iruits re shown in Extended Dt Figs 9, 1. We hve developed strtegy for onstruting RN-sed iologil iruits tht exploits the progrmmle se-piring properties of RN nd uses o-lolized sensing nd output modules to enle omplex trnsltionl regultion (see Supplementry Informtion for extended disussion). These rioomputing devies re enoded in smll geneti footprint ompred to typil protein-sed iruits nd hve the potentil to e sled up using the lrge sequene spe fforded y RN. The rioomputing devie rhiteture requires self-ssemly etween the input RNs for ND nd NOT logi, nd hene imposes some sequene dependenies on these RNs. The use of o- lolized gte RN requires dditionl N-terminl residues in the output protein, whih ould interfere with its funtion. Inorportion of rioomputing devies into sophistited lyered iruits, suh s those mde possile with dvned geneti iruit design tools 15, will require systems tht n provide RNs s output speies. This funtionlity n e implemented using gte RNs to regulte RN polymerses or trnsription ftors, s hs een demonstrted previously for toehold swithes 17,28. Integrtion of mrn-sensing rioomputing iruits with 12 NTURE VOL UST Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

5 LETTER RESERCH pper-sed syntheti iology systems ould improve the roustness nd reliility of these dignosti tools when they re deployed in the field 28,29. Detetion of mrns nd other nturlly ourring RNs s inputs for ND logi, however, will require dditionl syntheti RNs to interfe ntive trnsripts. Finlly, the effetive use of preditle nd roust se-piring intertions in rioomputing devies suggests tht this strtegy ould e pplied in prokryoti hosts eyond E. oli. Online Content Methods, long with ny dditionl Extended Dt disply items nd Soure Dt, re ville in the online version of the pper; referenes unique to these setions pper only in the online pper. Reeived 3 July 216; epted 8 June 217. Pulished online 26 July Cmeron, D. E., Bshor, C. J. & Collins, J. J. rief history of syntheti iology. Nt. Rev. Miroiol. 12, (214). 2. Grdner, T. S., Cntor, C. R. & Collins, J. J. Constrution of geneti toggle swith in Esherihi oli. Nture 43, (2). 3. Elowitz, M. B. & Leiler, S. syntheti osilltory network of trnsriptionl regultors. Nture 43, (2). 4. Dnino, T., Mondrgón-Plomino, O., Tsimring, L. & Hsty, J. synhronized quorum of geneti loks. Nture 463, (21). 5. Bshor, C. J., Helmn, N. C., Yn, S. & Lim, W.. Using engineered sffold intertions to reshpe MP kinse pthwy signling dynmis. Siene 319, (28). 6. Dniel, R., Ruens, J. R., Srpeshkr, R. & Lu, T. K. Syntheti nlog omputtion in living ells. Nture 497, (213). 7. Rinudo, K. et l. universl RNi-sed logi evlutor tht opertes in mmmlin ells. Nt. Biotehnol. 25, (27). 8. Win, M. N. & Smolke, C. D. Higher-order ellulr informtion proessing with syntheti RN devies. Siene 322, (28). 9. Tmsir,., Tor, J. J. & Voigt, C.. Roust multiellulr omputing using genetilly enoded NOR gtes nd hemil wires. Nture 469, (211). 1. Xie, Z., Wrolewsk, L., Prohzk, L., Weiss, R. & Benenson, Y. Multi-input RNi-sed logi iruit for identifition of speifi ner ells. Siene 333, (211). 11. Moon, T. S., Lou, C., Tmsir,., Stnton, B. C. & Voigt, C.. ti progrms onstruted from lyered logi gtes in single ells. Nture 491, (212). 12. usländer, S., usländer, D., Müller, M., Wielnd, M. & Fussenegger, M. Progrmmle single-ell mmmlin ioomputers. Nture 487, (212). 13. Bonnet, J., Yin, P., Ortiz, M. E., Susoontorn, P. & Endy, D. mplifying geneti logi gtes. Siene 34, (213). 14. Tor, J. J. et l. syntheti geneti edge detetion progrm. Cell 137, (29). 15. Nielsen,.. K. et l. ti iruit design utomtion. Siene 352, 7341 (216). 16. Kini, S. et l. CRISPR trnsriptionl repression devies nd lyered iruits in mmmlin ells. Nt. Methods 11, (214). 17. Green,.., Silver, P.., Collins, J. J. & Yin, P. Toehold swithes: de-novodesigned regultors of gene expression. Cell 159, (214). 18. Brih, R. S., Chelypov, N., Johnson, C., Rothemund, P. W. K. & dlemn, L. Solution of 2-vrile 3-ST prolem on DN omputer. Siene 296, (22). 19. Chen, Y.-J., Groves, B., Must, R.. & Seelig, G. DN nnotehnology from the test tue to the ell. Nt. Nnotehnol. 1, (215). 2. Qin, L., Winfree, E. & Bruk, J. Neurl network omputtion with DN strnd displement sdes. Nture 475, (211). 21. Elz, J. et l. DN omputing iruits using lirries of DNzyme suunits. Nt. Nnotehnol. 5, (21). 22. Lke,., Shng, S. & Kolpshhikov, D. M. Moleulr logi gtes onneted through DN four-wy juntions. ngew. Chem. Int. Ed. 49, (21). 23. Zhu, J., Zhng, L., Dong, S. & Wng, E. Four-wy juntion-driven DN strnd displement nd its pplition in uilding mjority logi iruit. CS Nno 7, (213). 24. Rodrigo, G., Lndrin, T. E. & Jrmillo,. De novo utomted design of smll RN iruits for engineering syntheti rioregultion in living ells. Pro. Ntl d. Si. US 19, (212). 25. Chppell, J., Tkhshi, M. K. & Luks, J. B. Creting smll trnsription tivting RNs. Nt. Chem. Biol. 11, (215). 26. Chen, X. Expnding the rule set of DN iruitry with ssoitive toehold tivtion. J. m. Chem. So. 134, (212). 27. Genot,. J., Bth, J. & Turerfield,. J. Comintoril displement of DN strnds: pplition to mtrix multiplition nd weighted sums. ngew. Chem. 52, (213). 28. Prdee, K. et l. Pper-sed syntheti gene networks. Cell 159, (214). 29. Prdee, K. et l. Rpid, low-ost detetion of Zik virus using progrmmle iomoleulr omponents. Cell 165, (216). Supplementry Informtion is ville in the online version of the pper. knowledgements This work ws supported y NIH Diretor s New Innovtor nd Trnsformtive Reserh wrds (1DP2OD7292, 1R1EB18659), n ONR Young Investigtor Progrm wrd (N ) nd grnts (N , N , N , N ), NSF CREER nd Expedition in Computing wrds (CCF154898, CCF ) nd grnts (CCF , ERSynBio ), nd Wyss Institute Moleulr Rootis Inititive support to P.Y.; DRP Living Foundries grnt (HR1112C61) to P..S., P.Y., nd J.J.C.; n ONR MURI Progrm grnt, DTR grnt (HDTR ), nd Pul G. llen Frontiers Group funds to J.J.C.; nd n rizon Biomedil Reserh Commission New Investigtor wrd, n lfred P. Slon Reserh Fellowship (FG ), nd rizon Stte University funds to..g. J.K. knowledges Wyss Institute Diretor s Cross-Pltform Fellowship. uthor Contriutions..G. oneived the study, designed nd performed the experiments, nlysed the dt, supervised D.M. nd wrote the pper. J.K. oneived the study, designed nd performed the experiments, nlysed the dt nd wrote the pper. D.M. performed experiments nd nlysed the dt. P..S. supervised the study. J.J.C. supervised the study. P.Y. oneived nd supervised the study, interpreted the dt, nd wrote the pper. ll uthors reviewed nd pproved the mnusript. uthor Informtion Reprints nd permissions informtion is ville t The uthors delre ompeting finnil interests: detils re ville in the online version of the pper. Reders re welome to omment on the online version of the pper. Pulisher s note: Springer Nture remins neutrl with regrd to jurisditionl lims in pulished mps nd institutionl ffilitions. Correspondene nd requests for mterils should e ddressed to P.Y. (py@hms.hrvrd.edu) or..g. (lexgreen@su.edu). 3 UST 217 VOL 548 NTURE Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

6 RESERCH LETTER METHODS Strins nd growth onditions. The following E. oli strins were used in this study: BL21 Str DE3 (F ompt hsds B (r B m B ) gl dm rne131 (DE3); Invitrogen), BL21 DE3 (F ompt hsds B (r B m B ) gl dm (DE3); Invitrogen), MG1655Pro (F λ ilvg- rf-5 rph-1 Sp R lr tetr), nd DH5α (end1 re1 gyr96 thi-1 glnv44 rel1 hsdr17(r K m K + ) λ ; Invitrogen). ll strins were grown in LB medium t 37 C with pproprite ntiiotis: mpiillin (5 µ g ml 1 ), spetinomyin (25 µ g ml 1 ), hlormpheniol (17 µ g ml 1 ), nd knmyin (3 µ g ml 1 ). Plsmid onstrution. Plsmids were onstruted using PCR nd Gison ssemly. DN templtes for expressing gte nd input RNs were ssemled from single-strnded DNs purhsed from Integrted DN Tehnologies. The syntheti DN strnds were mplified vi PCR to form doule-strnded DNs. The resulting DNs were then inserted into plsmid kones using 3-p homology domins vi Gison ssemly 3. ll plsmids were loned in the E. oli DH5α strin nd vlidted through DN sequening. Bkones for the plsmids were tken from the ommeril vetors pet15, pcolduet, pcdfduet, nd pcycduet (EMD Millipore). mut3-sv ws used s the reporter for the gte plsmids. This is mut3 with n SV degrdtion tg 31. mcherry nd erulen were lso used s reporter proteins for seleted OR gte plsmids. Sequenes of elements ommonly used in the plsmids re provided in Supplementry Tle 1. Sequenes for ll rioomputing devies, ND-omputing toehold swithes, nd deoy RNs re ontined in Supplementry Tles 2 9. Rioomputing devie indution onditions. Unless otherwise noted, RNs in the ND, OR, nd DNF networks were expressed using T7 RN polymerse in BL21 Str DE3, n RNse-defiient strin, with the T7 RN polymerse indued with the ddition of IPTG. Two-input ND gtes nd the 6-input OR gte were lso evluted in BL21 DE3, non-rnse-defiient strin, with the T7 RN polymerse indued with IPTG. ND (NOT B) nd 6-input OR gte iruits employing the endogenous E. oli RN polymerse were evluted in MG1655Pro using onstitutive promoters or indution vi IPTG nd/or T, s required. For ll strins, ells were grown overnight in 96-well pltes with shking t 9 r.p.m. nd 37 C. Overnight ultures were then diluted 1-fold into fresh medium nd returned to shking (9 r.p.m., 37 C). fter 8 min, BL21 Str DE3 nd BL21 DE3 ultures were indued with.1 mm IPTG, nd MG1655Pro ultures were indued with the pproprite omintion of 1 mm IPTG nd 5 ng ml 1 T. Cells were returned to the shker (9 r.p.m., 37 C) nd mesured t the speified times post-indution. Flow ytometry mesurements nd nlysis. Flow ytometry mesurements were performed using BD LSRFortess ell nlyser with high-throughput smpler. Prior to smpling, ells were diluted y ftor of 65 into phosphte-uffered sline. Cells were deteted using forwrd stter (FSC) trigger nd t lest 1, ells were reorded for eh mesurement. Cell popultions were gted ording to their FSC nd side stter (SSC) distriutions s desried previously 17, nd the fluoresene levels of these gted ells were used to mesure iruit output. fluoresene histogrms yielded unimodl popultion distriutions nd the geometri men ws employed to extrt the verge fluoresene ross the pproximtely log-norml fluoresene distriution from t lest three iologil replites. levels were then evluted y tking the verge fluoresene from given omintion of input RNs nd dividing it y the fluoresene from the null-input se with no ognte input RNs expressed. Cellulr utofluoresene ws not sutrted efore determining the ON/ rtio. The sme fluoresene dt nlysis proedures were used for OR gtes using mcherry nd erulen s reporter proteins. No sttistil methods were used to predetermine smple size. The experiments were not rndomized nd the investigtors were not linded to llotion during experiments nd outome ssessment. Dt vilility. The uthors delre tht the min dt supporting the findings of this study re ville within the pper nd its Supplementry Informtion files. Soure Dt for Figs 2 4 re provided with the pper. ll other dt supporting the findings of this study re ville from the orresponding uthors on request. 3. Gison, D. G. et l. Enzymti ssemly of DN moleules up to severl hundred kiloses. Nt. Methods 6, (29). 31. ndersen, J. B. et l. New unstle vrints of green fluoresent protein for studies of trnsient gene expression in teri. ppl. Environ. Miroiol. 64, (1998). 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

7 LETTER RESERCH ND-Computing Toehold Swith (CTS) Design with Single Trigger Swith RN 14-nt loop Hlf-trigger juntion site Type I Design 6-p upper stem 12-p lower * stem Swith RN Hlf-trigger juntion site 12-nt loop * Type II Design 5-p upper stem 11-p lower stem 16-nt toehold Trigger RN 5 hirpin 21-nt linker 28-nt intertion domin 47-nt termintor 15-nt toehold Trigger RN 5 hirpin 21-nt linker 26-nt intertion domin 47-nt termintor tivted swith Linker tivted swith Linker G -linker su-sequene G -linker su-sequene Proposed CTS tivtion Mehnism Swith RN Trigger RN Low GC stem * * * * Riosome ON Trigger inding disrupts lower stem. is repressed only through low-gc-ontent stem. Upper stem is suffiiently wek (5 to 6 p) to open trnsiently. Riosome inding lso enourges stem opening. fter upper stem unwinds fully, the riosome n initite trnsltion nd produe the output protein. CTS Lirry Dynmi Rnge 1,8 1,6 1,4 1,2 1, Extended Dt Figure 1 Design, tivtion mehnism, nd hrteriztion of ND-omputing toehold swithes (CTS)., Nuleotide-level shemtis of the Type I nd Type II CTS systems (see Supplementry Informtion Setion 1.2 for disussion). Green nd ornge ses speify the output sequene nd the ommon 21-nt linker sequene used, respetively. Blk ses mrk iologilly onserved sequenes, suh s the, strt odon, nd trnsriptionl termintor. White ses represent those tht n dopt ny sequene sujet to seondry struture onditions in NUPCK. Progrmmed hyridiztion domins etween different strnds re speified y olour., The proposed CTS tivtion mehnism in whih the trigger RN Type I Type II prtilly unwinds the swith RN stem. The remining wek stem, with low GC ontent, n intert with the riosome to initite trnsltion., levels mesured for the CTS systems employed in this study. levels were determined from the geometri men fluoresene of ells mesured vi flow ytometry 3 h fter indution with.1 mm IPTG. Reltive errors for the swith ON/ rtios were otined y dding the reltive errors of the swith ON nd fluoresene mesurements in qudrture. Reltive errors for ON nd sttes re from the s.d. of three iologil replites. Flow ytometry dt were produed using the sme proedure nd the sme numer of iologil replites in susequent Extended Dt figures. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

8 RESERCH LETTER Gte RN * 2-Input OR Gte B* * Linker 6-Input OR Gte Using First-rtion Toehold Swithes (444-nts) B* * B* C* D* E* F* * Linker B* Linker C* Linker D* Linker E* Linker F* 2-Input ND Ciruit with CTS 5 hirpin Input 1 u* 1 5 hirpin Input 2 2 u Gte tivted ND Gte 1* 2* d ND (NOT B) Ciruit Input Intertion Input : Trigger RN Input B: Detivting RN u v 5 hirpin 5 hirpin u* * v* Extended Dt Figure 2 Nuleotide-level shemtis of rioomputing devies., Seondry struture of the two-input OR gte used in Fig. 2 d., Seondry struture of the six-input OR gte RN used for iruits in Fig. 3d f nd Extended Dt Figs 7, 8., Shemti of two-input ND gte using Type I CTS system. 1 nd 2 domins re 14-nt hlves of 28-nt-long omplete trigger RN. d, Shemti of the ND (NOT B) iruit design. The ND (NOT B) system design fetures nerly perfetly omplementry trigger (input ) nd detivting (input B) RN strnds used in Fig. 2i l. For ll pnels, lk ses mrk iologilly Detivted inputs nd B onserved sequenes, suh s the nd strt odon. White ses represent those tht n dopt ny sequene sujet to seondry struture onditions in NUPCK. Grey ses re those whose sequenes were originlly determined on the sis of seondry struture onsidertions for the prentl toehold swithes nd were left onstnt during the design of RN iruit elements. The remining progrmmed hyridiztion domins etween different strnds re speified y olour. Input RN shemtis re trunted just efore the trnsriptionl termintor sequene. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

9 LETTER RESERCH 2-Input ND Gte Input Overlp Study Input 1 Input 2 Gte RN 1,2 1, u* 1 2 1* 2* u BL21 Str DE3 BL21 DE3 2 2* u u* 1 1* 2 u u* 1 Riosome d ON BL21 Str DE3 BL21 DE3 u 2 u* u domin length (nts) Melting temperture ( C) e 3 25 BL21 Str DE3 BL21 DE3 f 1 2 BL21 Str DE3 BL21 DE Extended Dt Figure 3 Systemti study of ND gte iruit overlp domin lengths nd omprison of two-input ND rioomputing devies in different strins., n erly two-input ND gte ws onstruted from stndrd toehold swith y dividing the trigger evenly into two 15-nt domins, 1 nd 2. Overlp domins u nd u* were designed to use the two input RNs to hyridize nd form n tive trigger., domin u ws used to vry the region omplementry to u* nd mesure its effet on expression levels. rtios (left xis) vry s funtion of the u domin length. The onset of sustntil expression oinides with the melting temperture of u u* hyridiztion rising ove 37 C (right xis). f, Comprison of two-input ND rioomputing devies in RNse-defiient E. oli BL21 Str DE3 nd non-rnse-defiient E. oli BL21 DE3., d, on liner () nd logrithmi (d) sles mesured for the two-input ND gte from Fig. 2e h. e, f, on liner (e) nd logrithmi (f) sles mesured for seond two-input ND gte with n identil design ut different RN sequenes. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

10 RESERCH LETTER 3-Input ND Gte 3-Input ND Ciruit [1,2,3] d Input Intertion [1,1,1] 5 e h k Input ND Gte Input ND Gte f i m Normlized ell ounts fluoresene (.u.) 4-Input ND Ciruit Input Intertion [1,1,] [1,,1] [1,,] [,1,1] [,1,] [,,1] [,,] j g l 5-Input ND Ciruit Input Intertion n Extended Dt Figure 4 Three-, four-, nd five-input ND gte systems., rl shemti for three-input ND gte with output., Nuleotide-level shemti of the tivted trigger omplex for the three-input ND logi iruits., Flow ytometry mesurements from the three-input ND gte with the truth tle shown in d. d g, Truth tles for four different three-input ND gtes. h, rl shemti for four-input ND gte with output. i, Nuleotide-level shemti of the tivted trigger omplex for the four-input ND logi iruits. j, Truth tle for n dditionl four-input ND gte. k, rl shemti for the five-input ND gte with output. l, Nuleotide-level shemti of the tivted trigger omplex for the five-input ND logi iruit. m, Liner-sle truth tle for the five-input ND gte, showing sttistilly signifint differene etween logil TRUE nd logil FLSE onditions (P <.3, Welh s unequl vrines t-test). n, Logrithmi-sle truth tle for the five-input ND gte. Insets of d g, j show logrithmi-sle plots of for the devies. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

11 LETTER RESERCH 4-input OR gtes with systemti vritions in seondry struture B C D Version 1: Originl CTS stems Linker Linker Linker Version 2: 1-2 fewer se pirs per stem Linker Linker Linker Version 3: 2-3 fewer se pirs per stem d Fluoresene (.U.) 15 x 14 Version 1 Version 2 1 Version 3 5 2, 1,6 1,2 8 4 Version 1 Version 2 Version 3 B C D W X Y Z Linker Linker Linker B C D W X Y Z Fluoresene (.U.) Deresed ON stte (2 vs 1) Inresed stte (2 vs 3) B C D W X Y Z Version 1 Version 2 Version 3 B C D W X Y Z Extended Dt Figure 5 Systemti study of gte RN performne s funtion of seondry struture., Nuleotide-level shemtis of three four-input OR gte versions feturing smll hnges in seondry struture nd sequene. Version 1 dopts the originl seondry strutures of the CTS swith RNs. Version 2 differs from the first gte RN t the six positions mrked in red, whih wekens the hirpin seondry struture. Version 3 hs n dditionl mismth in the hirpin lower stem mrked in lue. ll other ses remin the sme ross the three gte RNs.,, fluoresene levels mesured for the gte RN versions for pnel of eight RN triggers shown in liner () nd logrithmi () sles. d, rtios lulted for the three gte RNs. Gte RN version 2 provides the est omintion of low lekge nd high ON stte expression. Inset, logrithmi-sle plot of iruit ON/ levels. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

12 RESERCH LETTER 4-Input OR Gte Using CTS B C D * B* C* D* Input OR Gte Using CTS 3 B C D E * B* C* D* E* B C D W X Y Z B C D E X Y Z B C D W X Y Z B C D E X Y Z Extended Dt Figure 6 Four- nd five-input OR gte systems., Liner- nd logrithmi-sle plots of ON/ levels of four-input OR gte onstruted from CTS hirpin modules (shemti, left)., Liner- nd logrithmi-sle plot of ON/ levels of five-input OR gte onstruted from CTS devies (shemti, left). Both OR logi gtes were mesured 3 h fter indution of T7 RN polymerse expression. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

13 LETTER RESERCH ON/ mcherry e B C D E X Y Z 11-Input Dul OR Gte Ciruit ON/ mcherry Inputs B C D E X Y Z mcherry Inputs 1 B1 C1 D1 E1 F1 2 B2 C2 D2 E2 ON/ Cerulen B C D E X Y Z d ON/ Cerulen B C D E X Y Z f 1, mcherry ON/ mcherry 2 2 B C mcherry D EF 12 U V WX Y Z g 1 3 mcherry Single-Input Cses Dul-Input Cses 1 2 ON/ B C mcherry D EF 12 U V WX Y Z Single-Input Cses Extended Dt Figure 7 Gte RN regultion of mcherry nd erulen outputs with five-input OR gtes nd n 11-input dul OR gte iruit.,, ON/ mcherry rtio for five-input CTS-sed OR gte on liner () nd logrithmi () sles., d, ON/ erulen rtio for five-input CTS-sed OR gte on liner () nd logrithmi (d) sles. e, six-input OR gte ws used to regulte nd five-input Dul-Input Cses CTS-sed OR gte ws used to regulte mcherry. f, g, ON/ rtios of the gte RNs on liner (f) nd logrithmi (g) sles. Comintions of one- or two-input or deoy RNs were expressed s speified y the filled green ( inputs), red (mcherry inputs), nd lk (deoys) irles elow eh pnel. ll iruit responses were mesured vi flow ytometry 4 h fter IPTG indution. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

14 RESERCH LETTER 1,2 1, BL21 Str DE3 BL21 DE BL21 Str DE3 BL21 DE B C D E F V W X Y Z 1 1 B C D E F V W X Y Z 25 d B C D E F V W X Y Z Extended Dt Figure 8 Comprison of six-input OR gte rioomputing devies mesured in RNse-defiient E. oli (BL21 Str DE3) nd non-rnse-defiient E. oli (BL21 DE3, MG1655Pro).,, rtios mesured for the devie using T7 RN polymerse in BL21 Str DE3 nd BL21 DE3 ells on liner () nd logrithmi () sles. Gte nd input RNs were expressed using the 1-1 B C D E F V W X Y Z T7 RN polymerse nd mesured 4 h fter indution with IPTG., d, rtios otined from the OR gte using E. oli RN polymerse in MG1655Pro ells on liner () nd logrithmi (d) sles. Gte nd input RNs were expressed using the E. oli RN polymerse nd mesured 4 h fter indution of the gte RN with IPTG. Input nd deoy RNs were expressed using onstitutive PN25 promoter. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

15 LETTER RESERCH 8-Input DNF Gte: (1 ND 2) OR (B1 ND B2) OR (C1 ND C2) OR (D1 ND D2) 1 2 B1 B2 C1 C2 D1 D * B* C* D* Normlized ell ounts fluoresene (.u.) [1,] [,1] [,] [1,] [,1] [,] [1,] [,1] [,] [1,] [,1] [,] [D1,D2] [C1,C2] [B1,B2] [1,2] inputs inputs d ND 2 B1 ND B2 C1 ND C2 D1 ND D inputs inputs ND B1 ND B C1 ND C2 Extended Dt Figure 9 Evlution of n eight-input DNF iruit., The eight-input DNF iruit fetures four two-input NDs oupled to the four-input OR gte RN tested in Extended Dt Fig. 6., fluoresene histogrms otined from flow ytometry mesurements of D1 ND D2 the iruit under 16 different omintions of input RNs., d, ON/ levels otined from flow ytometry on liner () nd logrithmi (d) sles. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

16 RESERCH LETTER 1-Input DNF Gte: (1 ND 2) OR (B1 ND B2) OR (C1 ND C2) OR (D1 ND D2) OR (E1 ND E2) 1 2 B1 B2 C1 C2 D1 D2 E1 E2 6 5 * B* C* D* E* Normlized ell ounts fluoresene (.u.) [1,] [,1] [,] [1,] [,1] [,] [1,] [,1] [,] [1,] [,1] [,] [1,] [,1] [,] [E1,E2] [D1,D2] [C1,C2] [B1,B2] [1,2] inputs inputs d 1 ND 2 B1 ND B2 C1 ND C2 D1 ND D2 E1 ND E inputs inputs ND B1 ND B C1 ND C D1 ND D E1 ND E2 Extended Dt Figure 1 Evlution of 1-input DNF iruit., The 1-input DNF iruit fetures five two-input NDs oupled to the five-input OR gte RN tested in Extended Dt Fig. 6., fluoresene histogrms otined from flow ytometry mesurements of the iruit under 2 different omintions of input RNs., d, levels otined from flow ytometry on liner () nd logrithmi (d) sles. 217 Mmilln Pulishers Limited, prt of Springer Nture. ll rights reserved.

Engr354: Digital Logic Circuits

Engr354: Digital Logic Circuits Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost

More information

Lecture Notes No. 10

Lecture Notes No. 10 2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite

More information

8 THREE PHASE A.C. CIRCUITS

8 THREE PHASE A.C. CIRCUITS 8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),

More information

NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE

NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE V.S. Gordeev, G.A. Myskov Russin Federl Nuler Center All-Russi Sientifi Reserh Institute of Experimentl Physis (RFNC-VNIIEF)

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 6: Minigoals Towards Simplifying and Rewriting Expressions MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy

More information

Lecture 6. CMOS Static & Dynamic Logic Gates. Static CMOS Circuit. PMOS Transistors in Series/Parallel Connection

Lecture 6. CMOS Static & Dynamic Logic Gates. Static CMOS Circuit. PMOS Transistors in Series/Parallel Connection NMOS Trnsistors in Series/Prllel onnetion Leture 6 MOS Stti & ynmi Logi Gtes Trnsistors n e thought s swith ontrolled y its gte signl NMOS swith loses when swith ontrol input is high Peter heung eprtment

More information

Robustness of Evolvable Hardware in the Case of Fault and Environmental Change

Robustness of Evolvable Hardware in the Case of Fault and Environmental Change Proeedings of the IEEE Interntionl Conferene on Rootis nd Biomimetis Deemer -,, Guilin, Chin Roustness of Evolvle Hrdwre in the Cse of Fult nd Environmentl Chnge Jin Gong, Mengfei Yng Astrt The ontroller

More information

Iowa Training Systems Trial Snus Hill Winery Madrid, IA

Iowa Training Systems Trial Snus Hill Winery Madrid, IA Iow Trining Systems Tril Snus Hill Winery Mdrid, IA Din R. Cohrn nd Gil R. Nonneke Deprtment of Hortiulture, Iow Stte University Bkground nd Rtionle: Over the lst severl yers, five sttes hve een evluting

More information

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides. 1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the

More information

First compression (0-6.3 GPa) First decompression ( GPa) Second compression ( GPa) Second decompression (35.

First compression (0-6.3 GPa) First decompression ( GPa) Second compression ( GPa) Second decompression (35. 0.9 First ompression (0-6.3 GP) First deompression (6.3-2.7 GP) Seond ompression (2.7-35.5 GP) Seond deompression (35.5-0 GP) V/V 0 0.7 0.5 0 5 10 15 20 25 30 35 P (GP) Supplementry Figure 1 Compression

More information

Unit 4. Combinational Circuits

Unit 4. Combinational Circuits Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute

More information

THE PYTHAGOREAN THEOREM

THE PYTHAGOREAN THEOREM THE PYTHAGOREAN THEOREM The Pythgoren Theorem is one of the most well-known nd widely used theorems in mthemtis. We will first look t n informl investigtion of the Pythgoren Theorem, nd then pply this

More information

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6 CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized

More information

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 CH 3. CH 3 C a. NMR spectroscopy. Different types of NMR

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 CH 3. CH 3 C a. NMR spectroscopy. Different types of NMR 6.. Spetrosopy NMR spetrosopy Different types of NMR NMR spetrosopy involves intertion of mterils with the lowenergy rdiowve region of the eletromgneti spetrum NMR spetrosopy is the sme tehnology s tht

More information

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment

More information

Symmetrical Components 1

Symmetrical Components 1 Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent

More information

Introduction to Olympiad Inequalities

Introduction to Olympiad Inequalities Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................

More information

Linear Algebra Introduction

Linear Algebra Introduction Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +

More information

Learning Partially Observable Markov Models from First Passage Times

Learning Partially Observable Markov Models from First Passage Times Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).

More information

Chapter 4 State-Space Planning

Chapter 4 State-Space Planning Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different

More information

The University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS

The University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their

More information

Exercise 3 Logic Control

Exercise 3 Logic Control Exerise 3 Logi Control OBJECTIVE The ojetive of this exerise is giving n introdution to pplition of Logi Control System (LCS). Tody, LCS is implemented through Progrmmle Logi Controller (PLC) whih is lled

More information

THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL

THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL P3.1 Kot Iwmur*, Hiroto Kitgw Jpn Meteorologil Ageny 1. INTRODUCTION Jpn Meteorologil Ageny

More information

Instructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting.

Instructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting. ID: B CSE 2021 Computer Orgniztion Midterm Test (Fll 2009) Instrutions This is losed ook, 80 minutes exm. The MIPS referene sheet my e used s n id for this test. An 8.5 x 11 Chet Sheet my lso e used s

More information

Supplemental information. Supplementary_Fig_S1: Ribo-seq meta profiles at start and stop codons S. Typhimurium.

Supplemental information. Supplementary_Fig_S1: Ribo-seq meta profiles at start and stop codons S. Typhimurium. Supplementl informtion Pge 1 Supplementry_Fig_S1: Rio-seq met profiles t strt nd stop odons S. Typhimurium. 2 Supplementry_Fig_S2: Red length distriutions t Shine Dlgrno motifs. 3 Supplementry_Fig_S3:

More information

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR 6.. Spetrosopy NMR spetrosopy Different types of NMR NMR spetrosopy involves intertion of mterils with the lowenergy rdiowve region of the eletromgneti spetrum NMR spetrosopy is the sme tehnology s tht

More information

System Validation (IN4387) November 2, 2012, 14:00-17:00

System Validation (IN4387) November 2, 2012, 14:00-17:00 System Vlidtion (IN4387) Novemer 2, 2012, 14:00-17:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise

More information

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions MEP: Demonstrtion Projet UNIT 4: Trigonometry UNIT 4 Trigonometry tivities tivities 4. Pythgors' Theorem 4.2 Spirls 4.3 linometers 4.4 Rdr 4.5 Posting Prels 4.6 Interloking Pipes 4.7 Sine Rule Notes nd

More information

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:

More information

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014 S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown

More information

6.5 Improper integrals

6.5 Improper integrals Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =

More information

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}

More information

Review Topic 14: Relationships between two numerical variables

Review Topic 14: Relationships between two numerical variables Review Topi 14: Reltionships etween two numeril vriles Multiple hoie 1. Whih of the following stterplots est demonstrtes line of est fit? A B C D E 2. The regression line eqution for the following grph

More information

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if

More information

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into

More information

expression simply by forming an OR of the ANDs of all input variables for which the output is

expression simply by forming an OR of the ANDs of all input variables for which the output is 2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output

More information

Ch. 2.3 Counting Sample Points. Cardinality of a Set

Ch. 2.3 Counting Sample Points. Cardinality of a Set Ch..3 Counting Smple Points CH 8 Crdinlity of Set Let S e set. If there re extly n distint elements in S, where n is nonnegtive integer, we sy S is finite set nd n is the rdinlity of S. The rdinlity of

More information

Implication Graphs and Logic Testing

Implication Graphs and Logic Testing Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,

More information

SECTION A STUDENT MATERIAL. Part 1. What and Why.?

SECTION A STUDENT MATERIAL. Part 1. What and Why.? SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are

More information

Lesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem.

Lesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem. 27 Lesson 2: The Pythgoren Theorem nd Similr Tringles A Brief Review of the Pythgoren Theorem. Rell tht n ngle whih mesures 90º is lled right ngle. If one of the ngles of tringle is right ngle, then we

More information

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri

More information

Propositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches.

Propositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches. Propositionl models Historil models of omputtion Steven Lindell Hverford College USA 1/22/2010 ISLA 2010 1 Strt with fixed numer of oolen vriles lled the voulry: e.g.,,. Eh oolen vrile represents proposition,

More information

Test Generation from Timed Input Output Automata

Test Generation from Timed Input Output Automata Chpter 8 Test Genertion from Timed Input Output Automt The purpose of this hpter is to introdue tehniques for the genertion of test dt from models of softwre sed on vrints of timed utomt. The tests generted

More information

Probability. b a b. a b 32.

Probability. b a b. a b 32. Proility If n event n hppen in '' wys nd fil in '' wys, nd eh of these wys is eqully likely, then proility or the hne, or its hppening is, nd tht of its filing is eg, If in lottery there re prizes nd lnks,

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing

More information

Supporting Information

Supporting Information tom-thik Interlyer Mde of VD-Grown Grphene Film on Seprtor for dvned thium-sulfur tteries Zhenzhen Du 1, hengkun Guo 2, njun Wng 3, jun Hu 1, Song Jin 1, Timing Zhng 1, Honghng Jin 1, Zhiki Qi 1, Sen Xin

More information

Research Article Comparative Studies of Different Switching Patterns for Direct and Indirect Space Vector Modulated Matrix Converter

Research Article Comparative Studies of Different Switching Patterns for Direct and Indirect Space Vector Modulated Matrix Converter dvnes in Power Eletronis Volume, rtile ID 854, 8 pges doi:.55//854 Reserh rtile omprtive Studies of Different Swithing Ptterns for Diret nd Indiret Spe Vetor Modulted Mtrix onverter min Shnpour, Ssn Gholmi,

More information

A Non-parametric Approach in Testing Higher Order Interactions

A Non-parametric Approach in Testing Higher Order Interactions A Non-prmetri Approh in Testing igher Order Intertions G. Bkeerthn Deprtment of Mthemtis, Fulty of Siene Estern University, Chenkldy, Sri Lnk nd S. Smit Deprtment of Crop Siene, Fulty of Agriulture University

More information

1 This diagram represents the energy change that occurs when a d electron in a transition metal ion is excited by visible light.

1 This diagram represents the energy change that occurs when a d electron in a transition metal ion is excited by visible light. 1 This igrm represents the energy hnge tht ours when eletron in trnsition metl ion is exite y visile light. Give the eqution tht reltes the energy hnge ΔE to the Plnk onstnt, h, n the frequeny, v, of the

More information

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points: Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer

More information

Chem Homework 11 due Monday, Apr. 28, 2014, 2 PM

Chem Homework 11 due Monday, Apr. 28, 2014, 2 PM Chem 44 - Homework due ondy, pr. 8, 4, P.. . Put this in eq 8.4 terms: E m = m h /m e L for L=d The degenery in the ring system nd the inresed sping per level (4x bigger) mkes the sping between the HOO

More information

Lecture 6: Coding theory

Lecture 6: Coding theory Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those

More information

CS 573 Automata Theory and Formal Languages

CS 573 Automata Theory and Formal Languages Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple

More information

Spacetime and the Quantum World Questions Fall 2010

Spacetime and the Quantum World Questions Fall 2010 Spetime nd the Quntum World Questions Fll 2010 1. Cliker Questions from Clss: (1) In toss of two die, wht is the proility tht the sum of the outomes is 6? () P (x 1 + x 2 = 6) = 1 36 - out 3% () P (x 1

More information

A Study on the Properties of Rational Triangles

A Study on the Properties of Rational Triangles Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn

More information

Chapter Gauss Quadrature Rule of Integration

Chapter Gauss Quadrature Rule of Integration Chpter 7. Guss Qudrture Rule o Integrtion Ater reding this hpter, you should e le to:. derive the Guss qudrture method or integrtion nd e le to use it to solve prolems, nd. use Guss qudrture method to

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most

More information

SOLUTIONS TO ASSIGNMENT NO The given nonrecursive signal processing structure is shown as

SOLUTIONS TO ASSIGNMENT NO The given nonrecursive signal processing structure is shown as SOLUTIONS TO ASSIGNMENT NO.1 3. The given nonreursive signl proessing struture is shown s X 1 1 2 3 4 5 Y 1 2 3 4 5 X 2 There re two ritil pths, one from X 1 to Y nd the other from X 2 to Y. The itertion

More information

GM1 Consolidation Worksheet

GM1 Consolidation Worksheet Cmridge Essentils Mthemtis Core 8 GM1 Consolidtion Worksheet GM1 Consolidtion Worksheet 1 Clulte the size of eh ngle mrked y letter. Give resons for your nswers. or exmple, ngles on stright line dd up

More information

MATRIX INVERSE ON CONNEX PARALLEL ARCHITECTURE

MATRIX INVERSE ON CONNEX PARALLEL ARCHITECTURE U.P.B. Si. Bull., Series C, Vol. 75, Iss. 2, ISSN 86 354 MATRIX INVERSE ON CONNEX PARALLEL ARCHITECTURE An-Mri CALFA, Gheorghe ŞTEFAN 2 Designed for emedded omputtion in system on hip design, the Connex

More information

Semantic Analysis. CSCI 3136 Principles of Programming Languages. Faculty of Computer Science Dalhousie University. Winter Reading: Chapter 4

Semantic Analysis. CSCI 3136 Principles of Programming Languages. Faculty of Computer Science Dalhousie University. Winter Reading: Chapter 4 Semnti nlysis SI 16 Priniples of Progrmming Lnguges Fulty of omputer Siene Dlhousie University Winter 2012 Reding: hpter 4 Motivtion Soure progrm (hrter strem) Snner (lexil nlysis) Front end Prse tree

More information

Reduction of Switching Noise in Digital CMOS Circuits by Pin Swapping of Library Cells 1

Reduction of Switching Noise in Digital CMOS Circuits by Pin Swapping of Library Cells 1 Redution of Swithing Noise in Digitl CMOS Ciruits y Pin Swpping of Lirry Cells 1 Pilr Prr, Antonio Aost, nd Mnuel Vleni Instituto de Miroeletróni de Sevill-CNM / Universidd de Sevill Avd. Rein Meredes

More information

Reference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.

Reference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets. I MATRIX ALGEBRA INTRODUCTION TO MATRICES Referene : Croft & Dvison, Chpter, Blos, A mtri ti is retngulr rr or lo of numers usull enlosed in rets. A m n mtri hs m rows nd n olumns. Mtri Alger Pge If the

More information

Appendix C Partial discharges. 1. Relationship Between Measured and Actual Discharge Quantities

Appendix C Partial discharges. 1. Relationship Between Measured and Actual Discharge Quantities Appendi Prtil dishrges. Reltionship Between Mesured nd Atul Dishrge Quntities A dishrging smple my e simply represented y the euilent iruit in Figure. The pplied lternting oltge V is inresed until the

More information

Supporting Information. Observation of Excitonic Fine Structure in a 2D Transition Metal. Dichalcogenide Semiconductor

Supporting Information. Observation of Excitonic Fine Structure in a 2D Transition Metal. Dichalcogenide Semiconductor FWHM (ev) Normlized Intensity (. u.) Supporting Informtion Oservtion of Exitoni Fine Struture in 2D Trnsition Metl Dihlogenide Semiondutor Jingzhi Shng 1, Xionn Shen 1, Chunxio Cong 1, Nmphung Peimyoo

More information

University of Sioux Falls. MAT204/205 Calculus I/II

University of Sioux Falls. MAT204/205 Calculus I/II University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques

More information

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t

More information

/ 01/ ( ) 2 ! " " # $ % & ' % $ ( ) * +, * " (

/ 01/ ( ) 2 !   # $ % & ' % $ ( ) * +, *  ( ! " " # $ % & % $ ( ) * +, * " (!" # $ %& # ( ) *+,%- $ # %. $ $ # % Our pure here is in prt tutoril: we im to show tht we n do things simply to strt with, nd lredy get interesting insights. More sophistited

More information

are coplanar. ˆ ˆ ˆ and iˆ

are coplanar. ˆ ˆ ˆ and iˆ SML QUSTION Clss XII Mthemtis Time llowed: hrs Mimum Mrks: Generl Instrutions: i ll questions re ompulsor ii The question pper onsists of 6 questions divided into three Setions, B nd C iii Question No

More information

NON-DETERMINISTIC FSA

NON-DETERMINISTIC FSA Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is

More information

supplementary information

supplementary information DOI: 1.138/n2131 Protein levels (% of ) e Full-length protein remining (%) 1 5 1 5 1 1 5 5 Hs7 Syt1 Syt2 β-atin CSP +tsyn Hs7 Syt1 Syt2 P4 rin.1.1.1 1 [Trypsin] (g/l) f +tsyn SNARE-omplexes remining (%)

More information

#A42 INTEGERS 11 (2011) ON THE CONDITIONED BINOMIAL COEFFICIENTS

#A42 INTEGERS 11 (2011) ON THE CONDITIONED BINOMIAL COEFFICIENTS #A42 INTEGERS 11 (2011 ON THE CONDITIONED BINOMIAL COEFFICIENTS Liqun To Shool of Mthemtil Sienes, Luoyng Norml University, Luoyng, Chin lqto@lynuedun Reeived: 12/24/10, Revised: 5/11/11, Aepted: 5/16/11,

More information

Electronic Supplementary Information (ESI) for:

Electronic Supplementary Information (ESI) for: Eletroni Supplementry Mteril (ESI) for RSC Advnes. This journl is The Royl Soiety of Chemistry 2015 Eletroni Supplementry Informtion (ESI) for: Novel physio-hemil mehnism of the mutgeni tutomeristion of

More information

H 4 H 8 N 2. Example 1 A compound is found to have an accurate relative formula mass of It is thought to be either CH 3.

H 4 H 8 N 2. Example 1 A compound is found to have an accurate relative formula mass of It is thought to be either CH 3. . Spetrosopy Mss spetrosopy igh resolution mss spetrometry n e used to determine the moleulr formul of ompound from the urte mss of the moleulr ion For exmple, the following moleulr formuls ll hve rough

More information

ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS

ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS Dvid Miller West Virgini University P.O. BOX 6310 30 Armstrong Hll Morgntown, WV 6506 millerd@mth.wvu.edu

More information

Ling 3701H / Psych 3371H: Lecture Notes 9 Hierarchic Sequential Prediction

Ling 3701H / Psych 3371H: Lecture Notes 9 Hierarchic Sequential Prediction Ling 3701H / Psyh 3371H: Leture Notes 9 Hierrhi Sequentil Predition Contents 9.1 Complex events.................................... 1 9.2 Reognition of omplex events using event frgments................

More information

PAIR OF LINEAR EQUATIONS IN TWO VARIABLES

PAIR OF LINEAR EQUATIONS IN TWO VARIABLES PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,

More information

SECOND HARMONIC GENERATION OF Bi 4 Ti 3 O 12 FILMS

SECOND HARMONIC GENERATION OF Bi 4 Ti 3 O 12 FILMS SECOND HARMONIC GENERATION OF Bi 4 Ti 3 O 12 FILMS IN-SITU PROBING OF DOMAIN POLING IN Bi 4 Ti 3 O 12 THIN FILMS BY OPTICAL SECOND HARMONIC GENERATION YANIV BARAD, VENKATRAMAN GOPALAN Mterils Reserh Lortory

More information

CS 491G Combinatorial Optimization Lecture Notes

CS 491G Combinatorial Optimization Lecture Notes CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,

More information

Dorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000

Dorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000 orf, R.C., Wn,. T- Equivlent Networks The Eletril Engineering Hndook Ed. Rihrd C. orf Bo Rton: CRC Press LLC, 000 9 T P Equivlent Networks hen Wn University of Cliforni, vis Rihrd C. orf University of

More information

AC/DC/AC Converters: Two-Level and Multilevel VSI

AC/DC/AC Converters: Two-Level and Multilevel VSI Sortes Ersmus Visit A/D/A onerters: Two-Leel nd Multileel VSI Josep Pou Antoni Aris Pge 1 Sortes Ersmus Visit Outline 1. Two-Leel Inerter 2. Multileel Inerters - sde H-Bridge Inerter - Flying-pitor Inerter

More information

Lossless Compression Lossy Compression

Lossless Compression Lossy Compression Administrivi CSE 39 Introdution to Dt Compression Spring 23 Leture : Introdution to Dt Compression Entropy Prefix Codes Instrutor Prof. Alexnder Mohr mohr@s.sunys.edu offie hours: TBA We http://mnl.s.sunys.edu/lss/se39/24-fll/

More information

Generalization of 2-Corner Frequency Source Models Used in SMSIM

Generalization of 2-Corner Frequency Source Models Used in SMSIM Generliztion o 2-Corner Frequeny Soure Models Used in SMSIM Dvid M. Boore 26 Mrh 213, orreted Figure 1 nd 2 legends on 5 April 213, dditionl smll orretions on 29 My 213 Mny o the soure spetr models ville

More information

Polyphase Systems. Objectives 23.1 INTRODUCTION

Polyphase Systems. Objectives 23.1 INTRODUCTION Polyphse Systems 23 Ojetives eome fmilir with the opertion of threephse genertor nd the mgnitude nd phse reltionship etween the three phse voltges. e le to lulte the voltges nd urrents for three-phse Y-onneted

More information

Table of Content. c 1 / 5

Table of Content. c 1 / 5 Tehnil Informtion - t nd t Temperture for Controlger 03-2018 en Tble of Content Introdution....................................................................... 2 Definitions for t nd t..............................................................

More information

AVL Trees. D Oisín Kidney. August 2, 2018

AVL Trees. D Oisín Kidney. August 2, 2018 AVL Trees D Oisín Kidne August 2, 2018 Astrt This is verified implementtion of AVL trees in Agd, tking ides primril from Conor MBride s pper How to Keep Your Neighours in Order [2] nd the Agd stndrd lirr

More information

Distributed Generation Placement in Unbalanced Distribution System with Seasonal Load Variation

Distributed Generation Placement in Unbalanced Distribution System with Seasonal Load Variation Distriuted Genertion Plement in Unlned Distriution System with Sesonl Lod Vrition Rvi Tej Bhimrsetti Dept. of Eletril Engg., NT Kurukshetr Kurukshetr, ndi svrtej@gmil.om Ashwni Kumr, Memer, EEE Dept. of

More information

Finite State Automata and Determinisation

Finite State Automata and Determinisation Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions

More information

Restraint of purlins for various roof systems

Restraint of purlins for various roof systems NS009 Restrint of purlins for vrious roof systems T. Vrny, M. Brhm & A. Beli ulty of ivil Engineering, zeh Tehnil University, Prh, zehi Astron Buildings S.A., Diekirh, Luxemourg, A memer of the Lind Group

More information

3.15 NMR spectroscopy Different types of NMR There are two main types of NMR 1. C 13 NMR 2. H (proton) NMR

3.15 NMR spectroscopy Different types of NMR There are two main types of NMR 1. C 13 NMR 2. H (proton) NMR .5 NMR spetrosopy Different types of NMR There re two min types of NMR. NMR. (proton) NMR There is only round % in orgni moleules ut modern NMR mhines re sensitive enough to give full spetr for The spetr

More information

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005 RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).

More information

Learning Objectives of Module 2 (Algebra and Calculus) Notes:

Learning Objectives of Module 2 (Algebra and Calculus) Notes: 67 Lerning Ojetives of Module (Alger nd Clulus) Notes:. Lerning units re grouped under three res ( Foundtion Knowledge, Alger nd Clulus ) nd Further Lerning Unit.. Relted lerning ojetives re grouped under

More information

Section 4.4. Green s Theorem

Section 4.4. Green s Theorem The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls

More information

Comparing the Pre-image and Image of a Dilation

Comparing the Pre-image and Image of a Dilation hpter Summry Key Terms Postultes nd Theorems similr tringles (.1) inluded ngle (.2) inluded side (.2) geometri men (.) indiret mesurement (.6) ngle-ngle Similrity Theorem (.2) Side-Side-Side Similrity

More information

CS 275 Automata and Formal Language Theory

CS 275 Automata and Formal Language Theory CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)

More information

5. Every rational number have either terminating or repeating (recurring) decimal representation.

5. Every rational number have either terminating or repeating (recurring) decimal representation. CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd

More information

Novel Fiber-Optical Refractometric Sensor Employing Hemispherically-Shaped Detection Element

Novel Fiber-Optical Refractometric Sensor Employing Hemispherically-Shaped Detection Element Novel Fier-Optil Refrtometri Sensor Employing Hemispherilly-Shped Detetion Element SERGEI KHOTIAINTSEV, VLADIMIR SVIRID Deprtment of Eletril Engineering, Fulty of Engineering Ntionl Autonomous University

More information

A STUDY OF Q-CONTIGUOUS FUNCTION RELATIONS

A STUDY OF Q-CONTIGUOUS FUNCTION RELATIONS Commun. Koren Mth. So. 31 016, No. 1, pp. 65 94 http://dx.doi.org/10.4134/ckms.016.31.1.065 A STUDY OF Q-CONTIGUOUS FUNCTION RELATIONS Hrsh Vrdhn Hrsh, Yong Sup Kim, Medht Ahmed Rkh, nd Arjun Kumr Rthie

More information

Hyers-Ulam stability of Pielou logistic difference equation

Hyers-Ulam stability of Pielou logistic difference equation vilble online t wwwisr-publitionsom/jns J Nonliner Si ppl, 0 (207, 35 322 Reserh rtile Journl Homepge: wwwtjnsom - wwwisr-publitionsom/jns Hyers-Ulm stbility of Pielou logisti differene eqution Soon-Mo

More information