Non-Linear Data for Neural Networks Training and Testing

Size: px
Start display at page:

Download "Non-Linear Data for Neural Networks Training and Testing"

Transcription

1 Proceedngs of the 4th WSEAS Int Conf on Informton Securty, Communctons nd Computers, Tenerfe, Spn, December 6-8, 005 (pp466-47) Non-Lner Dt for Neurl Networks Trnng nd Testng ABDEL LATIF ABU-DALHOUM MOHAMMED SADIQ AL-RAWI Computer Scence Dept, Kng Abdullh the Second School for Informton Technology Jordn Unversty Ammn 94, PO Box 3496, JORDAN Abstrct: - Hghly nonlner dt s re mportnt n the feld of rtfcl neurl networks It s not fesble to desgn neurl network nd try to clssfy some rel world dt drectly wth tht network N-bt prty s one of the oldest dt used to trn nd test neurl networks The smplest s the -bt prty lso known s the XOR clssfcton problem Some reserchers sy tht N-bt prty s though hghly nonlner t s smple tsk to lern by neurl networks, others were drfted to tlor specl purpose neurl networks to solve only the N-bt prty problem wthout explnng why there s such need Is t possble to udge the N-bt prty s smple dt due to the fct tht t cn be modeled by determnstc fnte ccepter? Moreover, should ptterns tht re n the form of context free whch requre pushdown utomton, or context-senstve nd recursvely enumerble tht requre Turng mchne be hrder to lern by neurl networks? The m of ths pper s to focus on nd propose some complex nonlner dt to be used n trnng nd testng of neurl networks The most mportnt n these prty dt s tht the developer cn tune the complexty of nonlnerty through vrous mounts of degrees; the user cn select vrous of ctegores, huge number of pttern smples, nd mny hybrd symbols Testng for vrous neurl networks nd ther generlzton nd blty to clssfy unseen ptterns cn be more effectve Expermentl results on the clssfcton of prme showed tht neurl networks cn lern the clssfcton of prme Key-Words: - Neurl Networks, nonlner seprble, hybrd N-prty, prme clssfcton, E problem, All symbol-prty, hybrd symbol-prty Introducton The N-bt prty s typcl clssfcton problem ddressed n neurl networks lterture N-bt prty s mppng defned on N dstnct bnry vectors tht ndctes whether the sum of the N components of bnry vector s odd or even (f the sum s odd the nput vector s clssfed s the frst ctegory, else nput vector belongs to the second ctegory) Ths smply constructed dt, lnerly nseprble, ws used by vrous reserchers n trnng nd testng neurl networks The prty problem s very dffcult tsk for neurl networks to lern wth generlzton [][][3][4] The m of N-bt prty s to test neurl network pproches tht would be ble to solve problems of unknown lnerty Neurl networks should do ths utomtclly wthout ny elegnt network topology desgn Wht s the mportnce of crefully desgnng network to solve the N-bt prty, especlly f such networks cnnot be trned wth bckpropgton (or ny other trnng method) One queston ntroduced n ths lterture whether N-bt prty clssfcton hs ny drect rel world pplcton? No nswer cn be found, nd f so, we cn perform the tsk wth logcl opertors, or smple counter The smplest prty problem s the - bt prty (lso known s the XOR problem) The clsscl Prllel Dstrbuted Processng textbook [] sttes tht mult lyer feedforwrd neurl network trned wth bckpropgton needs t lest N hdden lyer neurons to solve the N-bt prty Recent works show tht usng some shortcut connectons nd/or non-stndrd ctvton functon(s) the N-bt prty could be solved wth less thn N hdden neurons [] In fct, the problem cn be solved wth one output neuron f nondfferentble ctvton functon s used [3] More sophstcted studes [3][4] used the trple prty such tht three symbols re used {0,,} to generte strngs, nd f 0 s, s, nd s re even they re clssfed (ccepted) s the trget clss, otherwse they should be reected The trple prty benchmrk hd been used to test generlzton nd prunng of

2 Proceedngs of the 4th WSEAS Int Conf on Informton Securty, Communctons nd Computers, Tenerfe, Spn, December 6-8, 005 (pp466-47) recurrent neurl networks Mny works [5] emphsze tht N-bt prty s smple tsk for the neurl network to lern nd cn be performed v rndom serch method on recurrent neurl network Therefore, despte the complexty of N-bt prty, they [5] rgued tht ths s smple problem for neurl networks to lern nd more complcted (nonlner) dt re needed to trn nd test neurl networks However, [6][7][8][9][0][][][3] showed tht mny neurl networks expermenttons hve been performed usng N-bt prty dt The m of ths pper s to propose mny dt s wth complex nonlnerty Some dt my be derved from regulr, context-free, nd/or context senstve lnguges (knowng tht N-bt prty s form of regulr lnguge) All the proposed dt s re hghly nonlner nd they provde lrge dt benchmrk for trnng nd testng neurl networks Dt wth Complex Nonlnerly To nvestgte neurl networks blty to lern wth generlzton (ther blty to clssfy unseen smples), reserchers used N-bt prty nd other rtfcl dt In ths secton, we propose severl other dt s bsed on N-symbol-prty (N-prty) rther N-bt prty The N-prty s more complcted thn N-bt prty due to the use of mny symbols n the prty check Some of the proposed N-Prty problems re s descrbed n the followng sectons Hybrd N-Prty problem (HNP) Ths s dt tht mxes symbols tht re used for prty check {-, } nd the one tht s not used n prty check {0} the HNP Ths s defned s follows Defnton of HNP: Let = {,0, } be the of lphbets used to derve the strng s such tht s, s = N If the totl number of ctegores s four,, 4 tht denotes the frst to the fourth ctegory respectvely, nd - s nd s re counted for prty then the four ctegores re s gven below s : n ( s) s odd nd n -( s) s odd s : n ( s) s odd nd n -( s) s even, () s 4: n ( s) s even nd n -( s) s odd s : n ( s) s even nd n ( s) s even 3 - where n () s nd n - () s represent the number of s nd - s n s respectvely Note: = *, where s n empty strng nd * denotes the of strngs (pttern smples n ths pper) obtned by conctentng or more symbols from It s obvous tht the totl number of smples s n N Neurl networks trnng nd testng for the HNP hve been dscussed prevously n [4] All symbol prty (ASP) Ths s modfcton of the clsscl N-bt prty The AS P s defned s follows: Defnton of ASP: Let = { 0,,, n } be the of lphbets used to derve pttern smples such tht pttern smple s wth s = N If n =Σ, then the totl number of pttern smples s N n tht re clssfed nto c ctegores s follows s : D( s) = d s : D( s) = d " " s D( s) = d c : c, () n where d {0,,, } for =,, c such tht d d dc, D( s ) = DecmlOf(p), nd p = b ( s) b ( s) ( s) ( s) b n n b s bnry 0 number conctented from b ( s ) whch s gven by b t 0 the number of t n s s odd () s =, (3) the number of t n s s even for t = 0,,,, n It s obvous tht the bove ASP offers wde rnge of nonlnerty wth dfferent degrees of complextes My be t s better to express the ASP s functon of N nd n, therefore, we wrte ASP( N, n ) It s esy to show tht c = n for N = n Below, we demonstrte smple exmple of genertng some ASP dt The dt generted s hghly nonlner nd other hgher orders cn be generted too Exmple : Let Σ={0,,,3,4}, N = s =, nd n = 5 then the pttern smples {00,0,0,, 44} of t

3 Proceedngs of the 4th WSEAS Int Conf on Informton Securty, Communctons nd Computers, Tenerfe, Spn, December 6-8, 005 (pp466-47) ASP(,5) re clssfed nto eleven ctegores s shown below n Tble : Tble : The ASP(,5) dt , 0, 0, 03, 04,, 3, 4, 3, 4, 34,, 0, 33, Hybrd symbol N-Prty (HSNP) Ths s yet nother modfcton to the ASP n whch some of the symbols re only pdded to the pttern smples wthout beng counted for prty check, the sme s the {0} role n the HNP The defnton of HSNP s s follows Defnton of HSNP: Let = { 0,,, n } be the of lphbets used to derve pttern smples such tht pttern smple s Σ wth s = N The ncluded to be used n the prty check s sub from nd cn be selected s desred, let = {,,, r, s}, such tht k = The of symbols excluded from prty check s =, nd = n k If n =Σ, the totl number of pttern smples s n N tht re clssfed nto c ctegores s follows: s : D( s) = d s : D( s) = d, (4) " " s D( s) = d c : c where d s decml nteger obtned from d {0,,, k }, for =,, c such tht d d dc, D( s ) = DecmlOf(p), nd p = b ( s) b ( s) b ( s) b ( s) s bnry r s number conctented from b ( s ) whch s gven n (3) It s esy to show tht c = k for N = k Yet nother wde rnge of complex nonlnerty, the user should select how mny symbols to nclude n the prty check Agn, t s better to superscrpt the HSNP to be HSNP( N, n, k) To such cse, the t HNP s defned s HSNP(N,3, ), where = {,0,}, = {, }, ={0}, s = N Moreover, ASP(N,n) = HSNP( N,n,n) tht s ncludng ll the symbols results n the ASP Also, HSNP(N,, ) for = {0,}, = {}, = {0}, s = N s the N-bt prty dt Lst but not lest, HSNP(,,) s the so clled XOR dt For bpolr dt, we cn replce = {0,} wth = {,} where = { } wthout ny problem The below exmple demonstrtes the generton of HSNP(,5,) Exmple : Let Σ={0,,,3,4}, n = 5, = {, }, k =, nd N = s =, then the pttern smples {00,0,0,, 44} re clssfed nto four ctegores (snce N = k we wll hve k ctegores whch s four) ccordng to HSNP(,5,) s shown below n Tble : Tble : The HSNP (,5,) dt ,,, 33, 44, 03, 30, 04, 40, 34, 43 0, 0, 4, 4, 3, 3 0, 0, 3, 3, 4, 4, 4 Dchotomzed hybrd symbol N-Prty (DHSNP) Another modfcton cn be done to the HSNP( N, n, k) such tht the number of ctegores s two s follows: Defnton of DHSNP Let = { 0,,, n } be the of lphbets used to derve pttern smples such tht pttern smple s wth s = N The ncluded to be used n the prty check s sub from nd cn be selected s desred, let = {,,, r, s}, such tht k = The of symbols excluded from prty check s =,

4 Proceedngs of the 4th WSEAS Int Conf on Informton Securty, Communctons nd Computers, Tenerfe, Spn, December 6-8, 005 (pp466-47) therefore, = n k If n =Σ, then the totl number of pttern smples s nto two ctegores s follows N n tht re clssfed s : n ( p) s even, (5) s : n ( p ) s odd where p = b ( s) b () s b () s b () s b () s t r s s bnry number conctented from b t ( s ) whch s gven n (3) 5 The = (E) problem The =, s fmous dt used wth neurl networks We cn defne the = problem ccordng to the prevous nottons s below Defnton of E: Let =,,, } be the { 0 n of lphbets used to derve pttern smples such tht pttern smple s wth s = N The ncluded s = { } where Σ The totl N number of pttern smples s n cn be clssfed nto two ctegores s follows s : the number of n s s (6) s : otherwse The fmous (=) problem s the one such tht = nd ll other lphbets re to 0 whch s sub of the E problem gven bove 6 Prme number problem (PNP) Ths dt contns the bnry representton of decmls The tsk s tht neurl network should lern the clssfcton decml nto prme or not Defnton of PNP: Let = {0,} be the of lphbets used to derve the strng s such tht s, f the totl number of ctegores s two; denotes the frst ctegory nd denotes the second ctegory, then s DecmlOf( s) s prme (7) s otherwse A neurl network tht cn lern to clssfy the bove problem would be mrvels prme number genertor (provded tht t s effcent) whch cn be used n number theory nd n pplctons relted to publc key encrypton, or symmetrc encrypton Below s n exmple of lmted Exmple 3: Let Σ={0,}, s = 3, then the PNP v bnry representton s nputs to neurl networks Three nputs should be used for the neurl network, see the below PNP dt n Tble 3 Tble 3: The PNP for n= Exmple 4: Usng decml representton (0 to 7) s nputs to neurl networks, only one nput s needed See Tble 4 for llustrton Tble 4: The prme clssfcton problem usng decml representton The PNP wll be used n neurl network trnng nd testng n ths pper n order to show the complexty nd the lernng blty of ths dt 3 Expermentl Results The PNP dt presented n ths pper hs been used n trnng nd testng mny neurl networks wth dfferent networks topologes The tble below demonstrtes the performnce of usng the PNP dt n neurl networks trnng nd testng As for neurl networks, we used feedforwrd neurl network [] n trnng nd testng SCG 6-0- refers to the neurl network such tht the number of nputs s one, number of hdden neurons s 0, nd, the number of outputs s one (the nput strng s ether prme or not) The method used for optmzng the neurl network s the conugte grdent descent [][3] Results obtned usng the PNP for strngs of sze 6 re shown n Tble 5 As shown n Tble 5, decml re converted nto bnry ech of length 6 bt, then strngs representng decmls from 0 to 000 hve been used n trnng, nd strngs representng decmls from 3000 to nd strngs representng decmls from to hve been used n testng The m s to clssfy decml s beng prme number or not In Tble 6, we

5 Proceedngs of the 4th WSEAS Int Conf on Informton Securty, Communctons nd Computers, Tenerfe, Spn, December 6-8, 005 (pp466-47) mplemented the sme experments nd show tht usng decml s trnng dt for neurl networks, the network s unble to clssfy decml nto prme or not No successful lernng hppens nd ll networks we tred dd not converge Tble 5 Expermentl results of the clssfcton of decml nto prme or non-prme ccordng to ther bnry strng representton (the PNP problem) SCG 6-0- stnds for the feedforwrd neurl network wth 6 nputs, 80 hdden neurons, nd one output neuron tht s trned wth scled conugte grdent Neurl Network Used/ Topology Trnng Decml Testng Decml Correct Recognton on the testng Mn Error gol SCG / SCG / SCG / SCG / SCG / SCG / SCG / SCG (#0) /6 E-7 (#0) In ths experment, only 4 bts re used snce the decmls re from 0 to 5 Tble 6 Expermentl results of the clssfcton of decml nto prme or non-prme ccordng to decml vlue representton SCG -5- stnds for the feedforwrd neurl network wth one nput, fve hdden neurons, nd one output neuron tht s trned wth scled conugte grdent Neurl Network Used/ Topology Trnng Decml Testng Decml Correct Recognton on the testng Mn Error reched SCG / SCG /6 4E-7-0- SCG / (#) -80- SCG / SCG (#) / SCG (#) / (#) The mnmum error fter trnng s 05, no convergence hppened wthn more thn 0000 epochs (#) Sttstcl normlzton to zero men nd unt vrnce hs been performed so tht ll decmls re rel lyng n between - nd The prme number clssfcton needs more work to mprove the ccurcy of the clssfcton As cn be seen n Tble 5, of ccurcy clssfyng prme s more thn 95% for usng the trnng n testng, whle obtnng more thn 80% of ccurcy when usng dsont trnng nd testng s Ech of the bove experments s repeted up to 0 tmes nd the recognton ccurcy shown s the verge Thousnds of smples hve been used n trnng nd testng Mny other experments hve been performed usng only decmls from 0 to 5 In ths experment the neurl network dd lern both the decml representton dt nd the bnry (PNP) representton The flure for neurl networks to lern lrge tht re presented s drect or normlzed decmls suggests tht the neurl network (when lernng smll of decmls) s workng s n ssoctve memory knowng tht the number of weghts of the network n ths cse s greter thn the lerned decmls 4 Conclusons For ny clssfcton problem, the computer should perform heurstc serches on neurl networks to fnd the optmum (or best) weghts nd topology wth lttle humn nterventon s much s possble In ddton to the proposed new dt s, we conclude tht more elborted work should be done to trn nd test neurl networks, by tcklng hgh nonlner, hgh dmensonl dt, e, 0-bt prty (04 pttern smples), 0-bt prty (more thn one mllon pttern smple) These dt re to be clssfed ccordng to the proposed clssfcton problems stted n ths pper, e, HNP, ASP, HSNP, DHSNP, nd/or PNP Then, dvde the bulk of dt nto three prts; trnng, cross vldton, nd testng In dong ths t s possble to mesure the strtegc methods used to ntlze nd trn neurl networks As for the clssfcton of prme, t s very hrd problem to lern wth neurl networks, fndng better wys to tech neurl networks my serve other felds tht requre the generton of lrge prme effcently Neurl networks should lern the clssfcton tsk by lookng nto the bt ptterns rther thn usng some specl purpose lgorthm whether t s n effcent or exhustve serch for prme number method On usng decmls from to 000 (some re prme others re not) 83% of ccurcy hve been obtned for testng decmls wth the rnges to 65000, nd 74% of ccurcy hve been obtned for testng decmls

6 Proceedngs of the 4th WSEAS Int Conf on Informton Securty, Communctons nd Computers, Tenerfe, Spn, December 6-8, 005 (pp466-47) wth the rnges 3000 to 4000 It s obvous tht ll trnng nd testng s used re dsont It s mzng how neurl networks cn lern to clssfy prme from ther bnry representton, snce n well structured lgorthms the prme number should be non dvsble by ll decmls but tself nd one Rechng clssfcton rte of 74% or 83% s very promsng, yet needs more nvestgton It s worth mentonng tht neurl networks could not lern the prme clssfcton problem usng the drect decml representtons (s n Arbc numerl), therefore, t s our hope s we showed n the expermentl results tht the dt s complex nonlnerty but solvble wth neurl networks Trnng nd testng of ll the proposed dt s n ths pper s left s future work References: [] DE Rumelhrt, nd JLMcClellnd, Prllel Dstrbuted Processng, Vol, Cmbrdge, MA: MIT press, 986 [] RSetono, On The Soluton Of The Prty Problem By A Sngle Hdden Lyer Feedforwrd Neurl Network, Neurocomputng Vol6, No3, 997, pp 5-35 [3] M E Hohl, D Lu nd S H Smth, Solvng the N-bt prty problem usng neurl networks, Neurl Networks, Vol, No9, 999, pp 3-33 [4] CLGles, nd CWOmln, Prunng Recurrent Neurl Networks for Improved Generlzton Performnce, IEEE trnsctons on neurl networks, Vol5, No5, 994, pp [5] S Hochreter, nd J Schmdhuber, LSTN Cn Solve Hrd Long Tme Lg Problems, In Mozer, MC, Jordn, MI, Petsche, T eds, Advnces n Neurl Informton Processng Systems 9, NIPS'9, Cmbrdge MA: MIT Press, 997, pp [6] DLu, MEHohl, nd SHSmth, N-bt prty neurl networks:new solutons bsed on lner progrmmng, Neurocomputng, Vol48, 00, pp [7] E Lvretsky, On The Exct Soluton Of The Prty-N Problem Usng Ordered Neurl Networks, Neurl Networks, Vol 3, 000, pp [8] MZArslnov, DUAshglev, nd EEIsml, N-bt prty ordered neurl networks, Neurocomputng, Vol48, 00, pp [9] L Frnco, nd S A Cnns, Generlzton Propertes of Modulr Networks: Implementng the Prty Functon, IEEE trnsctons on neurl networks, Vol, No6, 00, pp [0] T Ntt, Solvng The XOR Problem And The Detecton Of Symmetry Usng A Sngle Complex-Vlued Neuron, Neurl Networks, Vol6, No,8, 003, pp 0-05 [] J Elmn, Fndng Structure n Tme, Cogntve Scence, Vol4, 990, pp 79- [] MF Mller, A Scled Conugte Grdent Algorthm for Fst Supervsed Lernng, Neurl Networks, Vol6, No4, 993, pp [3] MT Hgn, HB Demuth, nd MH Bele, Neurl Network Desgn, Boston, MA: PWS Publshng, 996 [4] M Al-Rw, A Neurl Network To Solve The Hybrd N-Prty: Lernng Wth Generlzton Issues, Neurocomputng, Vol68, 005, pp 73-80

Applied Statistics Qualifier Examination

Applied Statistics Qualifier Examination Appled Sttstcs Qulfer Exmnton Qul_june_8 Fll 8 Instructons: () The exmnton contns 4 Questons. You re to nswer 3 out of 4 of them. () You my use ny books nd clss notes tht you mght fnd helpful n solvng

More information

Chapter Newton-Raphson Method of Solving a Nonlinear Equation

Chapter Newton-Raphson Method of Solving a Nonlinear Equation Chpter.4 Newton-Rphson Method of Solvng Nonlner Equton After redng ths chpter, you should be ble to:. derve the Newton-Rphson method formul,. develop the lgorthm of the Newton-Rphson method,. use the Newton-Rphson

More information

Variable time amplitude amplification and quantum algorithms for linear algebra. Andris Ambainis University of Latvia

Variable time amplitude amplification and quantum algorithms for linear algebra. Andris Ambainis University of Latvia Vrble tme mpltude mplfcton nd quntum lgorthms for lner lgebr Andrs Ambns Unversty of Ltv Tlk outlne. ew verson of mpltude mplfcton;. Quntum lgorthm for testng f A s sngulr; 3. Quntum lgorthm for solvng

More information

DCDM BUSINESS SCHOOL NUMERICAL METHODS (COS 233-8) Solutions to Assignment 3. x f(x)

DCDM BUSINESS SCHOOL NUMERICAL METHODS (COS 233-8) Solutions to Assignment 3. x f(x) DCDM BUSINESS SCHOOL NUMEICAL METHODS (COS -8) Solutons to Assgnment Queston Consder the followng dt: 5 f() 8 7 5 () Set up dfference tble through fourth dfferences. (b) Wht s the mnmum degree tht n nterpoltng

More information

18.7 Artificial Neural Networks

18.7 Artificial Neural Networks 310 18.7 Artfcl Neurl Networks Neuroscence hs hypotheszed tht mentl ctvty conssts prmrly of electrochemcl ctvty n networks of brn cells clled neurons Ths led McCulloch nd Ptts to devse ther mthemtcl model

More information

Rank One Update And the Google Matrix by Al Bernstein Signal Science, LLC

Rank One Update And the Google Matrix by Al Bernstein Signal Science, LLC Introducton Rnk One Updte And the Google Mtrx y Al Bernsten Sgnl Scence, LLC www.sgnlscence.net here re two dfferent wys to perform mtrx multplctons. he frst uses dot product formulton nd the second uses

More information

Principle Component Analysis

Principle Component Analysis Prncple Component Anlyss Jng Go SUNY Bufflo Why Dmensonlty Reducton? We hve too mny dmensons o reson bout or obtn nsghts from o vsulze oo much nose n the dt Need to reduce them to smller set of fctors

More information

Definition of Tracking

Definition of Tracking Trckng Defnton of Trckng Trckng: Generte some conclusons bout the moton of the scene, objects, or the cmer, gven sequence of mges. Knowng ths moton, predct where thngs re gong to project n the net mge,

More information

INTRODUCTION TO COMPLEX NUMBERS

INTRODUCTION TO COMPLEX NUMBERS INTRODUCTION TO COMPLEX NUMBERS The numers -4, -3, -, -1, 0, 1,, 3, 4 represent the negtve nd postve rel numers termed ntegers. As one frst lerns n mddle school they cn e thought of s unt dstnce spced

More information

UNIVERSITY OF IOANNINA DEPARTMENT OF ECONOMICS. M.Sc. in Economics MICROECONOMIC THEORY I. Problem Set II

UNIVERSITY OF IOANNINA DEPARTMENT OF ECONOMICS. M.Sc. in Economics MICROECONOMIC THEORY I. Problem Set II Mcroeconomc Theory I UNIVERSITY OF IOANNINA DEPARTMENT OF ECONOMICS MSc n Economcs MICROECONOMIC THEORY I Techng: A Lptns (Note: The number of ndctes exercse s dffculty level) ()True or flse? If V( y )

More information

Two Coefficients of the Dyson Product

Two Coefficients of the Dyson Product Two Coeffcents of the Dyson Product rxv:07.460v mth.co 7 Nov 007 Lun Lv, Guoce Xn, nd Yue Zhou 3,,3 Center for Combntorcs, LPMC TJKLC Nnk Unversty, Tnjn 30007, P.R. Chn lvlun@cfc.nnk.edu.cn gn@nnk.edu.cn

More information

Chapter Newton-Raphson Method of Solving a Nonlinear Equation

Chapter Newton-Raphson Method of Solving a Nonlinear Equation Chpter 0.04 Newton-Rphson Method o Solvng Nonlner Equton Ater redng ths chpter, you should be ble to:. derve the Newton-Rphson method ormul,. develop the lgorthm o the Newton-Rphson method,. use the Newton-Rphson

More information

Partially Observable Systems. 1 Partially Observable Markov Decision Process (POMDP) Formalism

Partially Observable Systems. 1 Partially Observable Markov Decision Process (POMDP) Formalism CS294-40 Lernng for Rootcs nd Control Lecture 10-9/30/2008 Lecturer: Peter Aeel Prtlly Oservle Systems Scre: Dvd Nchum Lecture outlne POMDP formlsm Pont-sed vlue terton Glol methods: polytree, enumerton,

More information

Remember: Project Proposals are due April 11.

Remember: Project Proposals are due April 11. Bonformtcs ecture Notes Announcements Remember: Project Proposls re due Aprl. Clss 22 Aprl 4, 2002 A. Hdden Mrov Models. Defntons Emple - Consder the emple we tled bout n clss lst tme wth the cons. However,

More information

The Number of Rows which Equal Certain Row

The Number of Rows which Equal Certain Row Interntonl Journl of Algebr, Vol 5, 011, no 30, 1481-1488 he Number of Rows whch Equl Certn Row Ahmd Hbl Deprtment of mthemtcs Fcult of Scences Dmscus unverst Dmscus, Sr hblhmd1@gmlcom Abstrct Let be X

More information

Introduction to Numerical Integration Part II

Introduction to Numerical Integration Part II Introducton to umercl Integrton Prt II CS 75/Mth 75 Brn T. Smth, UM, CS Dept. Sprng, 998 4/9/998 qud_ Intro to Gussn Qudrture s eore, the generl tretment chnges the ntegrton prolem to ndng the ntegrl w

More information

An Introduction to Support Vector Machines

An Introduction to Support Vector Machines An Introducton to Support Vector Mchnes Wht s good Decson Boundry? Consder two-clss, lnerly seprble clssfcton problem Clss How to fnd the lne (or hyperplne n n-dmensons, n>)? Any de? Clss Per Lug Mrtell

More information

Machine Learning Support Vector Machines SVM

Machine Learning Support Vector Machines SVM Mchne Lernng Support Vector Mchnes SVM Lesson 6 Dt Clssfcton problem rnng set:, D,,, : nput dt smple {,, K}: clss or lbel of nput rget: Construct functon f : X Y f, D Predcton of clss for n unknon nput

More information

Linear and Nonlinear Optimization

Linear and Nonlinear Optimization Lner nd Nonlner Optmzton Ynyu Ye Deprtment of Mngement Scence nd Engneerng Stnford Unversty Stnford, CA 9430, U.S.A. http://www.stnford.edu/~yyye http://www.stnford.edu/clss/msnde/ Ynyu Ye, Stnford, MS&E

More information

Dennis Bricker, 2001 Dept of Industrial Engineering The University of Iowa. MDP: Taxi page 1

Dennis Bricker, 2001 Dept of Industrial Engineering The University of Iowa. MDP: Taxi page 1 Denns Brcker, 2001 Dept of Industrl Engneerng The Unversty of Iow MDP: Tx pge 1 A tx serves three djcent towns: A, B, nd C. Ech tme the tx dschrges pssenger, the drver must choose from three possble ctons:

More information

The Schur-Cohn Algorithm

The Schur-Cohn Algorithm Modelng, Estmton nd Otml Flterng n Sgnl Processng Mohmed Njm Coyrght 8, ISTE Ltd. Aendx F The Schur-Cohn Algorthm In ths endx, our m s to resent the Schur-Cohn lgorthm [] whch s often used s crteron for

More information

Soft Set Theoretic Approach for Dimensionality Reduction 1

Soft Set Theoretic Approach for Dimensionality Reduction 1 Interntonl Journl of Dtbse Theory nd pplcton Vol No June 00 Soft Set Theoretc pproch for Dmensonlty Reducton Tutut Herwn Rozd Ghzl Mustf Mt Ders Deprtment of Mthemtcs Educton nversts hmd Dhln Yogykrt Indones

More information

In this Chapter. Chap. 3 Markov chains and hidden Markov models. Probabilistic Models. Example: CpG Islands

In this Chapter. Chap. 3 Markov chains and hidden Markov models. Probabilistic Models. Example: CpG Islands In ths Chpter Chp. 3 Mrov chns nd hdden Mrov models Bontellgence bortory School of Computer Sc. & Eng. Seoul Ntonl Unversty Seoul 5-74, Kore The probblstc model for sequence nlyss HMM (hdden Mrov model)

More information

For now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results.

For now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results. Neural Networks : Dervaton compled by Alvn Wan from Professor Jtendra Malk s lecture Ths type of computaton s called deep learnng and s the most popular method for many problems, such as computer vson

More information

A Family of Multivariate Abel Series Distributions. of Order k

A Family of Multivariate Abel Series Distributions. of Order k Appled Mthemtcl Scences, Vol. 2, 2008, no. 45, 2239-2246 A Fmly of Multvrte Abel Seres Dstrbutons of Order k Rupk Gupt & Kshore K. Ds 2 Fculty of Scence & Technology, The Icf Unversty, Agrtl, Trpur, Ind

More information

Decomposition of Boolean Function Sets for Boolean Neural Networks

Decomposition of Boolean Function Sets for Boolean Neural Networks Decomposton of Boolen Functon Sets for Boolen Neurl Netorks Romn Kohut,, Bernd Stenbch Freberg Unverst of Mnng nd Technolog Insttute of Computer Scence Freberg (Schs), Germn Outlne Introducton Boolen Neuron

More information

Anatomy of a Deterministic Finite Automaton. Deterministic Finite Automata. A machine so simple that you can understand it in less than one minute

Anatomy of a Deterministic Finite Automaton. Deterministic Finite Automata. A machine so simple that you can understand it in less than one minute Victor Admchik Dnny Sletor Gret Theoreticl Ides In Computer Science CS 5-25 Spring 2 Lecture 2 Mr 3, 2 Crnegie Mellon University Deterministic Finite Automt Finite Automt A mchine so simple tht you cn

More information

ESCI 342 Atmospheric Dynamics I Lesson 1 Vectors and Vector Calculus

ESCI 342 Atmospheric Dynamics I Lesson 1 Vectors and Vector Calculus ESI 34 tmospherc Dnmcs I Lesson 1 Vectors nd Vector lculus Reference: Schum s Outlne Seres: Mthemtcl Hndbook of Formuls nd Tbles Suggested Redng: Mrtn Secton 1 OORDINTE SYSTEMS n orthonorml coordnte sstem

More information

Research Article Special Issue

Research Article Special Issue ournl of Fundmentl nd Appled Scences ISSN 1112-9867 Reserch Artcle Specl Issue Avlble onlne t http://www.fs.nfo A PERFORMANCE EVALUATION OF PRUNING EFFECTS ON HYBRID NEURAL NETWORK S. Y. Leow* 1, K. S.

More information

Chapter 2 Introduction to Algebra. Dr. Chih-Peng Li ( 李 )

Chapter 2 Introduction to Algebra. Dr. Chih-Peng Li ( 李 ) Chpter Introducton to Algebr Dr. Chh-Peng L 李 Outlne Groups Felds Bnry Feld Arthetc Constructon of Glos Feld Bsc Propertes of Glos Feld Coputtons Usng Glos Feld Arthetc Vector Spces Groups 3 Let G be set

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

Katholieke Universiteit Leuven Department of Computer Science

Katholieke Universiteit Leuven Department of Computer Science Updte Rules for Weghted Non-negtve FH*G Fctorzton Peter Peers Phlp Dutré Report CW 440, Aprl 006 Ktholeke Unverstet Leuven Deprtment of Computer Scence Celestjnenln 00A B-3001 Heverlee (Belgum) Updte Rules

More information

NFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun:

NFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun: CMPU 240 Lnguge Theory nd Computtion Spring 2019 NFAs nd Regulr Expressions Lst clss: Introduced nondeterministic finite utomt with -trnsitions Tody: Prove n NFA- is no more powerful thn n NFA Introduce

More information

International Mathematical Olympiad. Preliminary Selection Contest 2012 Hong Kong. Outline of Solutions

International Mathematical Olympiad. Preliminary Selection Contest 2012 Hong Kong. Outline of Solutions Internatonal Mathematcal Olympad Prelmnary Selecton ontest Hong Kong Outlne of Solutons nswers: 7 4 7 4 6 5 9 6 99 7 6 6 9 5544 49 5 7 4 6765 5 6 6 7 6 944 9 Solutons: Snce n s a two-dgt number, we have

More information

International Journal of Pure and Applied Sciences and Technology

International Journal of Pure and Applied Sciences and Technology Int. J. Pure Appl. Sc. Technol., () (), pp. 44-49 Interntonl Journl of Pure nd Appled Scences nd Technolog ISSN 9-67 Avlle onlne t www.jopst.n Reserch Pper Numercl Soluton for Non-Lner Fredholm Integrl

More information

Learning Moore Machines from Input-Output Traces

Learning Moore Machines from Input-Output Traces Lerning Moore Mchines from Input-Output Trces Georgios Gintmidis 1 nd Stvros Tripkis 1,2 1 Alto University, Finlnd 2 UC Berkeley, USA Motivtion: lerning models from blck boxes Inputs? Lerner Forml Model

More information

CS434a/541a: Pattern Recognition Prof. Olga Veksler. Lecture 9

CS434a/541a: Pattern Recognition Prof. Olga Veksler. Lecture 9 CS434/541: Pttern Recognton Prof. Olg Veksler Lecture 9 Announcements Fnl project proposl due Nov. 1 1-2 prgrph descrpton Lte Penlt: s 1 pont off for ech d lte Assgnment 3 due November 10 Dt for fnl project

More information

For the percentage of full time students at RCC the symbols would be:

For the percentage of full time students at RCC the symbols would be: Mth 17/171 Chpter 7- ypothesis Testing with One Smple This chpter is s simple s the previous one, except it is more interesting In this chpter we will test clims concerning the sme prmeters tht we worked

More information

EEE 241: Linear Systems

EEE 241: Linear Systems EEE : Lnear Systems Summary #: Backpropagaton BACKPROPAGATION The perceptron rule as well as the Wdrow Hoff learnng were desgned to tran sngle layer networks. They suffer from the same dsadvantage: they

More information

Sequences of Intuitionistic Fuzzy Soft G-Modules

Sequences of Intuitionistic Fuzzy Soft G-Modules Interntonl Mthemtcl Forum, Vol 13, 2018, no 12, 537-546 HIKARI Ltd, wwwm-hkrcom https://doorg/1012988/mf201881058 Sequences of Intutonstc Fuzzy Soft G-Modules Velyev Kemle nd Huseynov Afq Bku Stte Unversty,

More information

2E Pattern Recognition Solutions to Introduction to Pattern Recognition, Chapter 2: Bayesian pattern classification

2E Pattern Recognition Solutions to Introduction to Pattern Recognition, Chapter 2: Bayesian pattern classification E395 - Pattern Recognton Solutons to Introducton to Pattern Recognton, Chapter : Bayesan pattern classfcaton Preface Ths document s a soluton manual for selected exercses from Introducton to Pattern Recognton

More information

Linear Feature Engineering 11

Linear Feature Engineering 11 Lnear Feature Engneerng 11 2 Least-Squares 2.1 Smple least-squares Consder the followng dataset. We have a bunch of nputs x and correspondng outputs y. The partcular values n ths dataset are x y 0.23 0.19

More information

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:

More information

THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens

THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of

More information

Using Predictions in Online Optimization: Looking Forward with an Eye on the Past

Using Predictions in Online Optimization: Looking Forward with an Eye on the Past Usng Predctons n Onlne Optmzton: Lookng Forwrd wth n Eye on the Pst Nngjun Chen Jont work wth Joshu Comden, Zhenhu Lu, Anshul Gndh, nd Adm Wermn 1 Predctons re crucl for decson mkng 2 Predctons re crucl

More information

For convenience, we rewrite m2 s m2 = m m m ; where m is repeted m times. Since xyz = m m m nd jxyj»m, we hve tht the string y is substring of the fir

For convenience, we rewrite m2 s m2 = m m m ; where m is repeted m times. Since xyz = m m m nd jxyj»m, we hve tht the string y is substring of the fir CSCI 2400 Models of Computtion, Section 3 Solutions to Homework 4 Problem 1. ll the solutions below refer to the Pumping Lemm of Theorem 4.8, pge 119. () L = f n b l k : k n + lg Let's ssume for contrdiction

More information

Problem Set 9 Solutions

Problem Set 9 Solutions Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem

More information

Review of linear algebra. Nuno Vasconcelos UCSD

Review of linear algebra. Nuno Vasconcelos UCSD Revew of lner lgebr Nuno Vsconcelos UCSD Vector spces Defnton: vector spce s set H where ddton nd sclr multplcton re defned nd stsf: ) +( + ) (+ )+ 5) λ H 2) + + H 6) 3) H, + 7) λ(λ ) (λλ ) 4) H, - + 8)

More information

Foundations of Arithmetic

Foundations of Arithmetic Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an

More information

Solving Nonlinear Differential Equations by a Neural Network Method

Solving Nonlinear Differential Equations by a Neural Network Method Solvng Nonlnear Dfferental Equatons by a Neural Network Method Luce P. Aarts and Peter Van der Veer Delft Unversty of Technology, Faculty of Cvlengneerng and Geoscences, Secton of Cvlengneerng Informatcs,

More information

ψ ij has the eigenvalue

ψ ij has the eigenvalue Moller Plesset Perturbton Theory In Moller-Plesset (MP) perturbton theory one tes the unperturbed Hmltonn for n tom or molecule s the sum of the one prtcle Foc opertors H F() where the egenfunctons of

More information

Speeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem

Speeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem H.K. Pathak et. al. / (IJCSE) Internatonal Journal on Computer Scence and Engneerng Speedng up Computaton of Scalar Multplcaton n Ellptc Curve Cryptosystem H. K. Pathak Manju Sangh S.o.S n Computer scence

More information

Finding Primitive Roots Pseudo-Deterministically

Finding Primitive Roots Pseudo-Deterministically Electronc Colloquum on Computatonal Complexty, Report No 207 (205) Fndng Prmtve Roots Pseudo-Determnstcally Ofer Grossman December 22, 205 Abstract Pseudo-determnstc algorthms are randomzed search algorthms

More information

Example: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,

Example: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41, The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson

More information

Expected Value and Variance

Expected Value and Variance MATH 38 Expected Value and Varance Dr. Neal, WKU We now shall dscuss how to fnd the average and standard devaton of a random varable X. Expected Value Defnton. The expected value (or average value, or

More information

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38 Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control

More information

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More information

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More

More information

SVMs for regression Multilayer neural networks

SVMs for regression Multilayer neural networks Lecture SVMs for regresson Muter neur netors Mos Husrecht mos@cs.ptt.edu 539 Sennott Squre Support vector mchne SVM SVM mmze the mrgn round the seprtng hperpne. he decson functon s fu specfed suset of

More information

5. (±±) Λ = fw j w is string of even lengthg [ 00 = f11,00g 7. (11 [ 00)± Λ = fw j w egins with either 11 or 00g 8. (0 [ ffl)1 Λ = 01 Λ [ 1 Λ 9.

5. (±±) Λ = fw j w is string of even lengthg [ 00 = f11,00g 7. (11 [ 00)± Λ = fw j w egins with either 11 or 00g 8. (0 [ ffl)1 Λ = 01 Λ [ 1 Λ 9. Regulr Expressions, Pumping Lemm, Right Liner Grmmrs Ling 106 Mrch 25, 2002 1 Regulr Expressions A regulr expression descries or genertes lnguge: it is kind of shorthnd for listing the memers of lnguge.

More information

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite

More information

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

SUMMER KNOWHOW STUDY AND LEARNING CENTRE SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18

More information

Minimal DFA. minimal DFA for L starting from any other

Minimal DFA. minimal DFA for L starting from any other Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA

More information

18.1 Introduction and Recap

18.1 Introduction and Recap CS787: Advanced Algorthms Scrbe: Pryananda Shenoy and Shjn Kong Lecturer: Shuch Chawla Topc: Streamng Algorthmscontnued) Date: 0/26/2007 We contnue talng about streamng algorthms n ths lecture, ncludng

More information

= z 20 z n. (k 20) + 4 z k = 4

= z 20 z n. (k 20) + 4 z k = 4 Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5

More information

Model Fitting and Robust Regression Methods

Model Fitting and Robust Regression Methods Dertment o Comuter Engneerng Unverst o Clorn t Snt Cruz Model Fttng nd Robust Regresson Methods CMPE 64: Imge Anlss nd Comuter Vson H o Fttng lnes nd ellses to mge dt Dertment o Comuter Engneerng Unverst

More information

Introduction to Algorithms

Introduction to Algorithms Introducton to Algorthms 6.046J/8.40J Lecture 7 Prof. Potr Indyk Data Structures Role of data structures: Encapsulate data Support certan operatons (e.g., INSERT, DELETE, SEARCH) Our focus: effcency of

More information

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4 Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one

More information

Min Cut, Fast Cut, Polynomial Identities

Min Cut, Fast Cut, Polynomial Identities Randomzed Algorthms, Summer 016 Mn Cut, Fast Cut, Polynomal Identtes Instructor: Thomas Kesselhem and Kurt Mehlhorn 1 Mn Cuts n Graphs Lecture (5 pages) Throughout ths secton, G = (V, E) s a mult-graph.

More information

Copyright 2017 by Taylor Enterprises, Inc., All Rights Reserved. Adjusted Control Limits for P Charts. Dr. Wayne A. Taylor

Copyright 2017 by Taylor Enterprises, Inc., All Rights Reserved. Adjusted Control Limits for P Charts. Dr. Wayne A. Taylor Taylor Enterprses, Inc. Control Lmts for P Charts Copyrght 2017 by Taylor Enterprses, Inc., All Rghts Reserved. Control Lmts for P Charts Dr. Wayne A. Taylor Abstract: P charts are used for count data

More information

Lecture 36. Finite Element Methods

Lecture 36. Finite Element Methods CE 60: Numercl Methods Lecture 36 Fnte Element Methods Course Coordntor: Dr. Suresh A. Krth, Assocte Professor, Deprtment of Cvl Engneerng, IIT Guwht. In the lst clss, we dscussed on the ppromte methods

More information

LOCAL FRACTIONAL LAPLACE SERIES EXPANSION METHOD FOR DIFFUSION EQUATION ARISING IN FRACTAL HEAT TRANSFER

LOCAL FRACTIONAL LAPLACE SERIES EXPANSION METHOD FOR DIFFUSION EQUATION ARISING IN FRACTAL HEAT TRANSFER Yn, S.-P.: Locl Frctonl Lplce Seres Expnson Method for Dffuson THERMAL SCIENCE, Yer 25, Vol. 9, Suppl., pp. S3-S35 S3 LOCAL FRACTIONAL LAPLACE SERIES EXPANSION METHOD FOR DIFFUSION EQUATION ARISING IN

More information

Math Lecture 23

Math Lecture 23 Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of

More information

3/6/00. Reading Assignments. Outline. Hidden Markov Models: Explanation and Model Learning

3/6/00. Reading Assignments. Outline. Hidden Markov Models: Explanation and Model Learning 3/6/ Hdden Mrkov Models: Explnton nd Model Lernng Brn C. Wllms 6.4/6.43 Sesson 2 9/3/ courtesy of JPL copyrght Brn Wllms, 2 Brn C. Wllms, copyrght 2 Redng Assgnments AIMA (Russell nd Norvg) Ch 5.-.3, 2.3

More information

Attacks on RSA The Rabin Cryptosystem Semantic Security of RSA Cryptology, Tuesday, February 27th, 2007 Nils Andersen. Complexity Theoretic Reduction

Attacks on RSA The Rabin Cryptosystem Semantic Security of RSA Cryptology, Tuesday, February 27th, 2007 Nils Andersen. Complexity Theoretic Reduction Attacks on RSA The Rabn Cryptosystem Semantc Securty of RSA Cryptology, Tuesday, February 27th, 2007 Nls Andersen Square Roots modulo n Complexty Theoretc Reducton Factorng Algorthms Pollard s p 1 Pollard

More information

SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014

SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014 SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 014 Mrk Scheme: Ech prt of Question 1 is worth four mrks which re wrded solely for the correct nswer.

More information

Automata and Languages

Automata and Languages Automt nd Lnguges Prof. Mohmed Hmd Softwre Engineering Lb. The University of Aizu Jpn Grmmr Regulr Grmmr Context-free Grmmr Context-sensitive Grmmr Regulr Lnguges Context Free Lnguges Context Sensitive

More information

Jens Siebel (University of Applied Sciences Kaiserslautern) An Interactive Introduction to Complex Numbers

Jens Siebel (University of Applied Sciences Kaiserslautern) An Interactive Introduction to Complex Numbers Jens Sebel (Unversty of Appled Scences Kserslutern) An Interctve Introducton to Complex Numbers 1. Introducton We know tht some polynoml equtons do not hve ny solutons on R/. Exmple 1.1: Solve x + 1= for

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

The Synchronous 8th-Order Differential Attack on 12 Rounds of the Block Cipher HyRAL

The Synchronous 8th-Order Differential Attack on 12 Rounds of the Block Cipher HyRAL The Synchronous 8th-Order Dfferental Attack on 12 Rounds of the Block Cpher HyRAL Yasutaka Igarash, Sej Fukushma, and Tomohro Hachno Kagoshma Unversty, Kagoshma, Japan Emal: {garash, fukushma, hachno}@eee.kagoshma-u.ac.jp

More information

Theory of Computation Regular Languages

Theory of Computation Regular Languages Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of

More information

Harvard University Computer Science 121 Midterm October 23, 2012

Harvard University Computer Science 121 Midterm October 23, 2012 Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closed-ook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is

More information

a b a In case b 0, a being divisible by b is the same as to say that

a b a In case b 0, a being divisible by b is the same as to say that Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :

More information

Chapter 5 : Continuous Random Variables

Chapter 5 : Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll

More information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

Lecture 10: May 6, 2013

Lecture 10: May 6, 2013 TTIC/CMSC 31150 Mathematcal Toolkt Sprng 013 Madhur Tulsan Lecture 10: May 6, 013 Scrbe: Wenje Luo In today s lecture, we manly talked about random walk on graphs and ntroduce the concept of graph expander,

More information

Where did dynamic programming come from?

Where did dynamic programming come from? Where did dynmic progrmming come from? String lgorithms Dvid Kuchk cs302 Spring 2012 Richrd ellmn On the irth of Dynmic Progrmming Sturt Dreyfus http://www.eng.tu.c.il/~mi/cd/ or50/1526-5463-2002-50-01-0048.pdf

More information

Finite Automata-cont d

Finite Automata-cont d Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automt-cont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww

More information

Computing a complete histogram of an image in Log(n) steps and minimum expected memory requirements using hypercubes

Computing a complete histogram of an image in Log(n) steps and minimum expected memory requirements using hypercubes Computng complete hstogrm of n mge n Log(n) steps nd mnmum expected memory requrements usng hypercubes TAREK M. SOBH School of Engneerng, Unversty of Brdgeport, Connectcut, USA. Abstrct Ths work frst revews

More information

Section 3.6 Complex Zeros

Section 3.6 Complex Zeros 04 Chapter Secton 6 Comple Zeros When fndng the zeros of polynomals, at some pont you're faced wth the problem Whle there are clearly no real numbers that are solutons to ths equaton, leavng thngs there

More information

Week 5: Neural Networks

Week 5: Neural Networks Week 5: Neural Networks Instructor: Sergey Levne Neural Networks Summary In the prevous lecture, we saw how we can construct neural networks by extendng logstc regresson. Neural networks consst of multple

More information

Section 8.3 Polar Form of Complex Numbers

Section 8.3 Polar Form of Complex Numbers 80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the

More information

Math 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

More information

Finite Automata. Informatics 2A: Lecture 3. John Longley. 22 September School of Informatics University of Edinburgh

Finite Automata. Informatics 2A: Lecture 3. John Longley. 22 September School of Informatics University of Edinburgh Lnguges nd Automt Finite Automt Informtics 2A: Lecture 3 John Longley School of Informtics University of Edinburgh jrl@inf.ed.c.uk 22 September 2017 1 / 30 Lnguges nd Automt 1 Lnguges nd Automt Wht is

More information

Trade-offs in Optimization of GMDH-Type Neural Networks for Modelling of A Complex Process

Trade-offs in Optimization of GMDH-Type Neural Networks for Modelling of A Complex Process Proceedngs of the 6th WSEAS Int. Conf. on Systems Theory & Scentfc Computton, Elound, Greece, August -3, 006 (pp48-5) Trde-offs n Optmzton of GDH-Type Neurl Networs for odellng of A Complex Process N.

More information

Introduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law:

Introduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law: CE304, Sprng 2004 Lecture 4 Introducton to Vapor/Lqud Equlbrum, part 2 Raoult s Law: The smplest model that allows us do VLE calculatons s obtaned when we assume that the vapor phase s an deal gas, and

More information

4. Eccentric axial loading, cross-section core

4. Eccentric axial loading, cross-section core . Eccentrc xl lodng, cross-secton core Introducton We re strtng to consder more generl cse when the xl force nd bxl bendng ct smultneousl n the cross-secton of the br. B vrtue of Snt-Vennt s prncple we

More information

CHAPTER III Neural Networks as Associative Memory

CHAPTER III Neural Networks as Associative Memory CHAPTER III Neural Networs as Assocatve Memory Introducton One of the prmary functons of the bran s assocatve memory. We assocate the faces wth names, letters wth sounds, or we can recognze the people

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

Coalgebra, Lecture 15: Equations for Deterministic Automata

Coalgebra, Lecture 15: Equations for Deterministic Automata Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined

More information