COMPARISON OF FUZZY ARTMAP AND MLP NEURAL NETWORKS FOR HAND-WRITTEN CHARACTER RECOGNITION
|
|
- Maude Washington
- 5 years ago
- Views:
Transcription
1 COMPARISON OF FUZZY ARTMAP AND MLP NEURAL NETWORKS FOR HAND-WRITTEN CHARACTER RECOGNITION Yong Hur Ty nd Mrzuki Khlid* Centre for Artificil Intelligence nd Rootics (CAIRO) Fculty of Electricl Engineering, Universiti Teknologi Mlysi, Jln Semrk, 5400 Kul Lumpur e-mil: (* ll correspondence should e sent to) Astrct --- Fuzzy ARTMAP is one of the recently proposed neurl network prdigm where the fuzzy logic is incorported. In this pper, we compre the Fuzzy ARTMAP neurl network nd the well-known ck-propgtion sed Multi-lyer perceptron (MLP), in the context of hnd-written chrcter recognition prolem. The results presented in this pper shows tht the Fuzzy ARTMAP out-performs its counterprt, oth in lerning convergence nd recognition ccurcy. Keywords --- Neurl network, Pttern recognition, Chrcter recognition, Adptive resonnce theory, Fuzzy ART, Fuzzy ARTMAP, Bck-propgtion, Multilyer perceptron. INTRODUCTION Chrcter recognition prolem hs long een identified s the prolem tht computer cn hrdly solved however humn-eings tke this for grnted. There hs lredy een sustntil reserch undertken to solve this prolem. Neurl network is one of the techniques tht hs een used for pttern recognition since 950s s it hs etter performnce thn other sttisticl nd rtificil intelligence techniques[3]. Neurl networks re preferred for pttern recognition prolems ecuse of their prllel processing cpilities s well s lerning nd decision-mking ilities. Fukushim [4] hs developed Neocognitron tht could recognize shift, size, rottionl ptterns. Shustotovish nd Thrsher [7] developed system tht works with fields of chrcters. The rnge of pplictions for chrcter recognition includes postl code reding, utomtic dt entry, recognition of print nd script, utomted crtogrphy, nk, nd reding services for the lind. This pper hs een orgnised s follows. In the next section, we develop the ckground informtion needed for the two rchitectures. Next, we discuss the ckpropgtion (BP) lgorithm used in the MLP nd the Fuzzy ARTMAP lgorithm. As the Fuzzy ARTMAP hs just een recently proposed[], it would e interesting to mesure its performnce s compre the well-estlished BP lgorithm in the context of chrcter recognition prolem. We lso discuss the hnd-written chrcter feture sets which we used in the experiments. The next section descries the experiments tht were performed nd the results. The finl section summrises our results nd conclusions. 2. MULTI-LAYER PERCEPTRON (MLP) The MLP is supervised neurl network. It cn hve multiple inputs nd multiple outputs nd multiple lyer of nodes/neurons. Figure shows n rchitecture of threelyered perceptron. The leftmost lyer is the lyer to which the input dt is supplied; the rightmost lyer is the output lyer nd the middle lyer is the lyer to interconnect input nd output lyers. Ech lyer of the network is fully
2 interconnected to its susequent higher lyer. The links etween ech neuron re clled weights, where the knowledge is eing stored. I i O i θ j O j θk O k where normlly f(x) is sigmoidl function s follows: f(x) = exp( x) (5) The output vector generted from the feed-forwrd process is then compred with the desired output vector. The cost function used here is squred error function ξ, which is given y Input lyer w kj w ji net j Hidden lyer net k Output lyer ξ = ξ p (6) p Figure. Exmple of MLP. From Figure, O k, O j nd O i re output vlues of output, hidden nd input lyers, respectively. w kj denotes the weights etween output nd hidden lyers, w ji denotes the weights etween hidden nd input lyers. The MLP utilises the ck-propgtion (BP) lgorithm for trining[8]. The lgorithm consists of 2 phses: feedforwrd process nd ck-propgtion process. For the initil stge, the weights of the network re rndomly selected. The lerning rte h nd momentum is pre-set efore the lerning phse. During the lerning phse, n input vector is presented to the network nd the vector propgtes from the input lyer to the output lyer. Thus, the output of the hidden lyer hs the following nottion, O j = f( net j ) () net j = w jioi θ j O i = I i (2) i 2 ξ p = ( τ ) 2 pk O pk (7) k where τ pk is the desired output for the kth component of the output pttern for pttern p nd O pk is the corresponding ctul output. Bck-propgtion process is then using the error to djust weights ccordingly, sed on the steepest descent method, s follows: where nd w kj (t) = ηδ k O j α w kj (t) (8) δ k = O k ( - O k ) (τ k - O k ) (9) w ji (t) = ηδ j O i α w ji (t) (0) similrly, the output lyer ecomes where O k = f( net k ) (3) δ j = O j ( - O j ) (τ j - O j ) δ k w kj () k net k = w O kj j θ k (4) j Configurtion for the MLP neurl network used in the experiment is (4-lyer neurl network with 64 inputs nd 8 outputs, 2 intermedite lyers ech with 5
3 neurons). The lerning rte, h, is 0.7 wheres momentum,, is 0.4. fetures of the Fuzzy ART rchitecture. The two mjor susystems re the ttentionl susystem nd the orienting susystem. 3. ADAPTIVE RESONANCE THEORY (ART) Adptive Resonnce Theory (ART) ws developed y Crpenter nd Grosserg for pttern recognition purpose[5]. There re lot of vrition of ART, ART, ART2, ART3, Fuzzy ART, Fusion ART, Fuzzy ARTMAP, ART-EMAP, just to nme few. The mjor distinct dvntges of ART neurl networks re :- The ttentionl susystem is used to recognise nd clssify previously lerned ptterns. The orienting susystem is invoked when ART encounters new pttern. Under these circumstnces, the orienting susystem shuts down ny ttempt to continue mtching with stored ptterns, nd sets up new ctegory to respond to the new type of pttern. Thus, the ttentionl susystem performs the ctul pttern recognition, nd the orienting susystem cts on the ttentionl susystem to enle it to respond to novel ptterns. It retins knowledge of previously lerned ptterns or ptterns ctegories (STABILITY). It cn lso lern new ptterns (PLASTICITY). ART hs shown tht it cn solve the stility-plsticity dilemm which other feed-forwrd neurl networks cnnot solve. In other words, ART is le to lern mny new things without forgetting things lerned in the pst. Wheres MLP cnnot lern new informtion incrementlly without forgetting old informtion unless it is retrined with the old informtion long with the new. ART is type of competitive lerning network, nd suitle for oth ctegories (pttern) formtion nd recll (recognition). When n input pttern is dequtely similr to one stored in the ART s long term memory (LTM), ART recognises the ptterns s elonging to the ctegory, nd modifies (generlise) the stored ctegory to ccommodte new fetures of the current input pttern. When n input pttern is not dequtely similr to ny stored ctegory, pttern formtion occurs. ART selects n uncommitted (new) ctegory to store the current input. If no more uncommitted nodes re left, the current input hs no response. Hence, stored ctegories remin stle to irrelevnt inputs nd yet re sensitive to novel fetures of inputs. In such cse, ART mkes stisfctory trde-off etween stility nd plsticity. 3.. Fuzzy ART Architecture Fuzzy ART is vrition of ART system derived from the first genertion of ART, nmely ART. It is synthesis of ART nd fuzzy logic. Unlike ART which cn only ccept inry input ptterns, Fuzzy ART llows oth inry nd continuous input ptterns. Figure 2 shows the sic Ptterns of ctivity develop over the neurons in the two lyers of the ttentionl susystem which re clled short term memory (STM) ecuse they exist only in ssocition with single ppliction of n input pttern. The weights tht interconnect etween F nd F 2 lyers re clled long term memory (LTM) trces ecuse they encode informtion tht remins prt of the network for n extended period. Gin Control Gin Control F 2 F Attentionl Susystem y j - xi Input wji Figure 2. Fuzzy ART Architecture Fuzzy ART Dynmics - Orienting Susystem Reset Signl The input pttern with the length of M is denoted s I = (I,..., I M ) where I i [0, ]. The F ctivity vector is denoted s x = ( x,..., x M ) nd the F 2 ctivity vector with N numer of ctegory is denoted s y = ( y,..., y N ). M nd N is ritrry. Associted with ech F 2 ctegory node j (j =,...,N) is vector w j ( x j,..., x jm ) of dptive weights, or LTM trces. Initilly, ech ctegory is uncommitted, w j (0) =... = w jm (0) = ; (2)
4 After ctegory is chosen for coding it ecomes committed. Next, the Fuzzy ART does top-down templte mtching, when the F ctivity vector x oeys the following eqution Fuzzy ART dynmics re determined y choice prmeter > 0; lerning prmeter [0, ]; nd vigilnce prmeter r [0, ]. x= I if F 2 is inctive I w if the Jth F node is chosen J 2 (8) When Fuzzy ART receives n input pttern I, I is copied immeditely over into x. The next step is to pss the informtion in lyer F up to F 2, with the choice function, T j, is defined s The top-down templte is compred with the initil input pttern. If the pttern is mtched to within specified vigilnce criterion r, then resonnce occurs. T j (I) = I wj α wj, (3) I w I J ρ ; (9) Mismtch reset occurs when where the fuzzy AND opertor is defined y (p q) I min(p i, q i ) (4) I w I J < ρ (20) nd the norm is defined y M p pi i= (5) Next the F 2 winning nodes, T J is inhiited for the durtion of the input representtion to prevent it from competing further. A new index J is then chosen, y (6). The serch process continues until the chosen J stisfies (9). Once eqution (9) is fulfilled, the weight vector w J is modified to encode the pttern for ny M-dimensionl vectors p nd q. For nottionl simplicity, T j (I) is written s T j. w J (new) = β ( I w J (old) ) ( - β ) w J (old) (2) These vlues of T j in F 2 undergo competitive process. Only one vlue of T j will win. The ctegory choice is indexed y J, where T J = mx{t j : j =... N }. (6) If more thn one T j is mximl, the smllest index is chosen. The ctivity vector y in F 2 is 3.2. Fuzzy ARTMAP Architecture ARTMAP (Figure 3) is clss of neurl network rchitectures tht perform incrementl supervised lerning of recognition nd multidimensionl mps in response to inry input vectors presented ritrrily[]. In turn, the Fuzzy ARTMAP extends the ARTMAP y integrting fuzzy logic into the system, which llows it to ccept input vector vlues etween 0 nd. The generlistion is done y replcing oth ART modules (ART nd ART ) of the inry ARTMAP system with fuzzy ART modules. for i = J y i = i =... N (7) 0 for i J The winning node y J is wht the Fuzzy ART thinks is its est mtch for the input pttern. Fuzzy ARTMAP consists of two fuzzy ART modules (ART nd ART ) which re linked together vi n inter-art module, F. During the lerning phse, the input vector I 0, is presented to the ART nd the desired output vector O 0, is presented to the ART. The ART nd ART modules clssify the input nd desired output vector into ctegories,
5 then the mp field (inter-art module) mkes ssocitions from ART ctegory to ART ctegory. If I 0 predicts n incorrect O 0, then mechnism clled mtch trcking is triggered. This mechnism increses the vigilnce prmeter of ART, r, y minimum vlue nd, hence, force the ART module to serch for nother ctegory suitle to e ssocited with the desired output vector. r is then set ck to the seline vigilnce prmeter, ρ, for every step of lerning tril...., y N ). M nd N re lso ritrry. For the inter-art module, F output vector is denoted y x = ( x,..., x N ), nd the weight vector from the jth F 2 node to F is denoted y w j = ( x j,..., x jn ). Vectors x, y, x, y, x re initilised to 0 etween input presenttions. Initilly, the weight vectors w re set to (uncommitted). The inter-art module F is ctivted whenever ny of the ART or ART ctegories is ctive Fuzzy ARTMAP Dynmics The inputs to ART nd ART re in complement code form, it is necessry for the successful opertion of Fuzzy ARTMAP[]. For ART, if the input is I 0 = (,..., M ), then x = y w wj y 0 J oth the ART nd ART is ctive ART is ctive, ART is inctive ART is inctive, nd ART is ctive oth the ART nd ART is inctive (24) where I = (, c ) = (,..., M, c,..., M c ) (22) i c = - i i M (23) During lerning phse, ART vigilnce prmeter r, equls the seline vigilnce, ρ t the eginning of every input presenttion. When Fuzzy ARTMAP receives n input/output pir (I 0 /O 0 ), ART chooses the Jth node of F 2 z nd ART chooses the Kth node of F 2. When oth ART nd ART re ctive nd x 0, then the input/output pirs re ssocited with the eqution The F ctivity vector is denoted y x = ( x,..., x 2M ) nd the F 2 ctivity vector with N numer of ctegory is denoted y y = ( y,..., y N ). M nd N re ritrry. For ART, O 0 = (,..., M ), O = (, c ). The F ctivity vector is denoted y x = ( x,..., x 2M ) nd the F 2 ctivity vector with N numer of ctegory is denoted y y = ( y, w jk = 0 j = J nd k = K otherwise (25) Inter-ART module ART module F ART module F 2 reset ρ F 2 reset F F I = (I0, I0 c ) F 0 ρ mtch trcking O = (O 0, O0 c ) F 0 ρ I 0 O 0 Figure 3. Simplified Fuzzy ARTMAP Architecture.
6 If x = 0, then there is mismtch. Inter-ART module triggers mtch trcking mechnism. This mechnism increses r, y minimum vlue nd hence, forces the ART module to serch for nother ctegory suitle to e ssocited with the desired output vector. 4. CHARACTER FEATURES The input dt of hnd-written chrcter hs resolution of 32 x 32 pixels with lck/white colour. In order to reduce the numer of inputs to the neurl network, we develop simple pre-processing technique. We segmentise the itmp into n 8 x 8 region (Figure 4) with ech region tking up 4 x 4 pixels. Figure 5. 8x8 itmp fter the compression The vlue of ech region is then pssed on to the neurl network for clssifiction. The pre-processing significntly reduced (from 32x32=024 down to 8x8=64) the input vector to the neurl network nd yet retined most of the fetures of the chrcter. Some smples of the hnd-written chrcter used in the experiments re given in Figure 6. Figure 4. A 32x32 itmp segmented into 8 x 8 region. Ech region hs vlue etween 0 nd. The vlue of the region, v oeys the eqution where v = M * N M N x= 0 y= 0 f ( x, y) (26) M denotes the numer of pixels in one row = 4 Figure 6. Smples of hnd-written chrcter used in this experiment. 5. EXPERIMENTAL SET-UP The dtse consists of more thn 500 smples of lck nd white hnd-written chrcters. The resolution of ech chrcter is 32 x 32 pixels. The smples re seprted into 2 sets of trining nd testing dt. Trining dt set is sugrouped into 6 wheres testing dt set is su-grouped into 3 ctegories. N denotes the numer of pixels in one column = 4 f(x,y) denotes the inry vlue of pixel t position (x, y) The result of the pre-processing is shown s follows :- 5.. Convergence Rte In this experiment, the convergence rtes of oth types of neurl networks re studied to mke comprison etween the two neurl networks.
7 Ech neurl network is trined with 6 groups of dt from the trining dt set, nd the time for the networks to converge to stle stte is logged. One full presenttion of the trining ptterns to the networks is considered s one epoch. 6. CONCLUSIONS In this pper, we hve shown tht the Fuzzy ARTMAP neurl network rchitecture offers distinct dvntges over the MLP neurl network. These dvntges re: For the Fuzzy ARTMAP, stle stte mens the network does not select new/uncommitted ctegory, while for the MLP, it simply mens tht the men squre error (m.s.e) hs chieved minimum vlue of 0.. Results re shown s in Tle 3. Fster convergence rte. Our results show tht the Fuzzy ARTMAP trining lgorithm requires much less trining itertion s compred to the MLP neurl network Recognition Accurcy All the trined neurl networks re then tested with the dt stored in testing dt sets. The neurl networks trined with groups nd 2 re tested with test group. The networks trined with groups 3 nd 4 re tested with test group 2. The networks trined with groups 5 nd 6 re tested with test group 3. The ccurcy of the network recognition is then logged. Better recognition ccurcy. The Fuzzy ARTMAP cn recognise the chrcters more ccurtely when compred to the MLP. Online lerning cpility. This cpility hs mde Fuzzy ARTMAP to lern new pttern without hving to retrin the network. Tle 4 shows the result of the recognition ccurcy test. The result shows tht the Fuzzy ARTMAP cn recognise more ccurtely when compred to the MLP. It lso shows tht oth networks hve etter performnces if presented with more trining ptterns (compring etween trining groups nd 2, 3 nd 4, 4 nd 5). The networks performed worse if the clsses of chrcter re more (compring etween trining group,3, nd 5, 2,4 nd 6) Online Lerning For the MLP, the network hs to e retrined if new clss of pttern is required to lern[3]. The Fuzzy ARTMAP cn lern new pttern without retrining. In the experiment, the network is initilly trined with trining group 2 tht hs 5 clsses of chrcters. The recognition ccurcy of the network to test group 2 tht hs 0 clsses of chrcters re then recorded. The sme network is then trined with trining group 7 tht hs nother 5 clsses of chrcter, nd the recognition ccurcy of the network to test group 2 re then recorded. The result of the experiment is shown in Tle 5. It cn e oserved tht for the network tht is trined with only group 2 hs the ccurcy of 48.8%. The ccurcy incresed to 88.8% if the sme network is eing trined with group 7 which hs nother 5 clsses of chrcters.
8 Tle. Groups in Trining Dt Set. Group Clsses of chr. Occur. / Clss Totl chr Tle 2. Groups in Testing Dt Set. Group Clsses of chr. Occur. / Clss Totl chr Tle 3. Comprison of the convergence rte etween Fuzzy ARTMAP nd MLP. The tle shows tht convergence rte for the Fuzzy ARTMAP neurl network is much fster thn the MLP. Trining Group Fuzzy ARTMAP MLP epoch Time (ms) epoch Time (ms) Tle 4. Comprison of recognition ccurcy etween the Fuzzy ARTMAP nd MLP. Trin with group Test with group Fuzzy ARTMAP MLP Totl numer of dt Mtch Accurcy (%) Mtch Accurcy (%) Tle 5. Result of the online lerning of Fuzzy ARTMAP. Trin with group Test with group Totl numer of dt Mtch Accurcy (%) ,then
9 REFERENCES [] G. A. Crpenter, S. Grosserg, N. Mrkuzon, J. H. Reynolds, nd D. B. Rosen, Fuzzy ARTMAP: A Neurl Network Architecture for Incrementl Supervised Lerning of Anlog Multidimensionl Mp, Neurl Networks, vol. 3, 992, pp [2] G. A. Crpenter nd S. Grosserg, A Mssively Prllel Architecture for Self-Orgnizing Neurl Pttern Recognition Mchine, Computer Vision, Grphs, nd Imge Processing, vol. 37, 987, pp [3] Clifford R. Prten... et l., Hndook of Neurl Computing Applictions, Acdemic Press, Inc. SD, CA, USA. [4] K. Fukushim, Neocognitron: A hierrchicl neurl network cple of pttern recognition, Neurl Networks, vol., 988, [5] J.A. Freemn, Simulting Neurl Networks with Mthemtic, Addison-Wesley, USA. [6] KulKrni, Arun D, Artificil neurl networks for imge understnding, ITP, USA. [7] A. Shustorovich nd C.W. Thrsher, Neurl Network Positioning nd Clssifiction of Hndwritten Chrcters, Neurl Networks, Vol. 9, No. 4, 996, pp [8] D.E. Rumelhrt et l., Prllel Distriuted Processing: Explortions in the Micro Structure of Cognition Vol. I: Foundtions, MIT Press, Cmridge, MA, 986.
Online Short Term Load Forecasting by Fuzzy ARTMAP Neural Network
Online Short Term Lod Forecsting by Fuzzy ARTMAP Neurl Network SHAHRAM JAVADI Electricl Engineering Deprtment AZAD University Tehrn Centrl Brnch Moshnir Power Electric Compny IRAN Abstrct: This pper presents
More informationDesigning finite automata II
Designing finite utomt II Prolem: Design DFA A such tht L(A) consists of ll strings of nd which re of length 3n, for n = 0, 1, 2, (1) Determine wht to rememer out the input string Assign stte to ech of
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More informationHabana, Cuba, 4 CINVESTAV, México D. F:, México
ARTMAP NETWORK AND WAVELET ANALYSIS FOR FLAWS CHARACTERIZATION M. C. Moisen 1,, H. Benítez 1, L. Medin* 1, E. Moreno 3, G. González 4, nd L. Leij 4 1 DISCA-IIMAS-UNAM, Méico D. F.; Méico UAG, Acpulco,
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More information7.1 Integral as Net Change and 7.2 Areas in the Plane Calculus
7.1 Integrl s Net Chnge nd 7. Ares in the Plne Clculus 7.1 INTEGRAL AS NET CHANGE Notecrds from 7.1: Displcement vs Totl Distnce, Integrl s Net Chnge We hve lredy seen how the position of n oject cn e
More informationNeuro-Fuzzy Modeling of Superheating System. of a Steam Power Plant
Applied Mthemticl Sciences, Vol. 1, 2007, no. 42, 2091-2099 Neuro-Fuzzy Modeling of Superheting System of Stem Power Plnt Mortez Mohmmdzheri, Ali Mirsephi, Orng Asef-fshr nd Hmidrez Koohi The University
More informationCombinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.
5/9/ Comintionl Logic ENGG05 st Semester, 0 Dr. Hyden So Representtions of Logic Functions Recll tht ny complex logic function cn e expressed in wys: Truth Tle, Boolen Expression, Schemtics Only Truth
More informationShort-Term Electrical Load Forecasting Using a Fuzzy ARTMAP Neural Network
Short-Term Electricl Lod Forecsting Using Fuzzy ARTMAP Neurl Network Stefn E. Skrmn, Michel Georgiopoulos, nd Avelino J. Gonzlez Deprtment of Electricl nd Computer Engineering, College of Engineering,
More information1 Online Learning and Regret Minimization
2.997 Decision-Mking in Lrge-Scle Systems My 10 MIT, Spring 2004 Hndout #29 Lecture Note 24 1 Online Lerning nd Regret Minimiztion In this lecture, we consider the problem of sequentil decision mking in
More informationIntermediate 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 informationMinimal 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 informationQuantum Nonlocality Pt. 2: No-Signaling and Local Hidden Variables May 1, / 16
Quntum Nonloclity Pt. 2: No-Signling nd Locl Hidden Vriles My 1, 2018 Quntum Nonloclity Pt. 2: No-Signling nd Locl Hidden Vriles My 1, 2018 1 / 16 Non-Signling Boxes The primry lesson from lst lecture
More informationExploring parametric representation with the TI-84 Plus CE graphing calculator
Exploring prmetric representtion with the TI-84 Plus CE grphing clcultor Richrd Prr Executive Director Rice University School Mthemtics Project rprr@rice.edu Alice Fisher Director of Director of Technology
More informationResources. Introduction: Binding. Resource Types. Resource Sharing. The type of a resource denotes its ability to perform different operations
Introduction: Binding Prt of 4-lecture introduction Scheduling Resource inding Are nd performnce estimtion Control unit synthesis This lecture covers Resources nd resource types Resource shring nd inding
More informationSection 4: Integration ECO4112F 2011
Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic
More information1 Nondeterministic Finite Automata
1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you
More informationGenetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary
Outline Genetic Progrmming Evolutionry strtegies Genetic progrmming Summry Bsed on the mteril provided y Professor Michel Negnevitsky Evolutionry Strtegies An pproch simulting nturl evolution ws proposed
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk out solving systems of liner equtions. These re prolems tht give couple of equtions with couple of unknowns, like: 6= x + x 7=
More informationLecture 08: Feb. 08, 2019
4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny
More informationCS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation
CS2N: The Coming Revolution in Computer Architecture Lortory 2 Preprtion Ojectives:. Understnd the principle of sttic CMOS gte circuits 2. Build simple logic gtes from MOS trnsistors 3. Evlute these gtes
More informationParse trees, ambiguity, and Chomsky normal form
Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs
More informationCS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University
CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted
More information2.4 Linear Inequalities and Interval Notation
.4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or
More informationGeneration of Lyapunov Functions by Neural Networks
WCE 28, July 2-4, 28, London, U.K. Genertion of Lypunov Functions by Neurl Networks Nvid Noroozi, Pknoosh Krimghee, Ftemeh Sfei, nd Hmed Jvdi Abstrct Lypunov function is generlly obtined bsed on tril nd
More informationThe size of subsequence automaton
Theoreticl Computer Science 4 (005) 79 84 www.elsevier.com/locte/tcs Note The size of susequence utomton Zdeněk Troníček,, Ayumi Shinohr,c Deprtment of Computer Science nd Engineering, FEE CTU in Prgue,
More informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationCM10196 Topic 4: Functions and Relations
CM096 Topic 4: Functions nd Reltions Guy McCusker W. Functions nd reltions Perhps the most widely used notion in ll of mthemtics is tht of function. Informlly, function is n opertion which tkes n input
More informationDFA minimisation using the Myhill-Nerode theorem
DFA minimistion using the Myhill-Nerode theorem Johnn Högerg Lrs Lrsson Astrct The Myhill-Nerode theorem is n importnt chrcteristion of regulr lnguges, nd it lso hs mny prcticl implictions. In this chpter,
More informationCS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata
CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationI1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3
2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is
More informationFingerprint idea. Assume:
Fingerprint ide Assume: We cn compute fingerprint f(p) of P in O(m) time. If f(p) f(t[s.. s+m 1]), then P T[s.. s+m 1] We cn compre fingerprints in O(1) We cn compute f = f(t[s+1.. s+m]) from f(t[s.. s+m
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More informationset is not closed under matrix [ multiplication, ] and does not form a group.
Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed
More informationDiscrete Mathematics and Probability Theory Summer 2014 James Cook Note 17
CS 70 Discrete Mthemtics nd Proility Theory Summer 2014 Jmes Cook Note 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion, y tking
More informationParsing and Pattern Recognition
Topics in IT Prsing nd Pttern Recognition Week Context-Free Prsing College of Informtion Science nd Engineering Ritsumeikn University this week miguity in nturl lnguge in mchine lnguges top-down, redth-first
More informationNondeterminism and Nodeterministic Automata
Nondeterminism nd Nodeterministic Automt 61 Nondeterminism nd Nondeterministic Automt The computtionl mchine models tht we lerned in the clss re deterministic in the sense tht the next move is uniquely
More informationDiscrete Mathematics and Probability Theory Spring 2013 Anant Sahai Lecture 17
EECS 70 Discrete Mthemtics nd Proility Theory Spring 2013 Annt Shi Lecture 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion,
More informationChapter 4: Techniques of Circuit Analysis. Chapter 4: Techniques of Circuit Analysis
Chpter 4: Techniques of Circuit Anlysis Terminology Node-Voltge Method Introduction Dependent Sources Specil Cses Mesh-Current Method Introduction Dependent Sources Specil Cses Comprison of Methods Source
More informationTutorial Automata and formal Languages
Tutoril Automt nd forml Lnguges Notes for to the tutoril in the summer term 2017 Sestin Küpper, Christine Mik 8. August 2017 1 Introduction: Nottions nd sic Definitions At the eginning of the tutoril we
More information1 From NFA to regular expression
Note 1: How to convert DFA/NFA to regulr expression Version: 1.0 S/EE 374, Fll 2017 Septemer 11, 2017 In this note, we show tht ny DFA cn e converted into regulr expression. Our construction would work
More informationa,b a 1 a 2 a 3 a,b 1 a,b a,b 2 3 a,b a,b a 2 a,b CS Determinisitic Finite Automata 1
CS4 45- Determinisitic Finite Automt -: Genertors vs. Checkers Regulr expressions re one wy to specify forml lnguge String Genertor Genertes strings in the lnguge Deterministic Finite Automt (DFA) re nother
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationReview of Gaussian Quadrature method
Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge
More informationDesigning Information Devices and Systems I Spring 2018 Homework 8
EECS 16A Designing Informtion Devices nd Systems I Spring 2018 Homework 8 This homework is due Mrch 19, 2018, t 23:59. Self-grdes re due Mrch 22, 2018, t 23:59. Sumission Formt Your homework sumission
More informationDuality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.
Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationSpecial Relativity solved examples using an Electrical Analog Circuit
1-1-15 Specil Reltivity solved exmples using n Electricl Anlog Circuit Mourici Shchter mourici@gmil.com mourici@wll.co.il ISRAE, HOON 54-54855 Introduction In this pper, I develop simple nlog electricl
More informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More informationFinite 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 informationCompiler Design. Fall Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz
University of Southern Cliforni Computer Science Deprtment Compiler Design Fll Lexicl Anlysis Smple Exercises nd Solutions Prof. Pedro C. Diniz USC / Informtion Sciences Institute 4676 Admirlty Wy, Suite
More informationHarvard 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 informationDEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.
398 CHAPTER 11 ORTHOGONAL FUNCTIONS AND FOURIER SERIES 11.1 ORTHOGONAL FUNCTIONS REVIEW MATERIAL The notions of generlized vectors nd vector spces cn e found in ny liner lger text. INTRODUCTION The concepts
More informationCS 188: Artificial Intelligence Fall Announcements
CS 188: Artificil Intelligence Fll 2009 Lecture 20: Prticle Filtering 11/5/2009 Dn Klein UC Berkeley Announcements Written 3 out: due 10/12 Project 4 out: due 10/19 Written 4 proly xed, Project 5 moving
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More informationModule 9: Tries and String Matching
Module 9: Tries nd String Mtching CS 240 - Dt Structures nd Dt Mngement Sjed Hque Veronik Irvine Tylor Smith Bsed on lecture notes by mny previous cs240 instructors Dvid R. Cheriton School of Computer
More informationModule 9: Tries and String Matching
Module 9: Tries nd String Mtching CS 240 - Dt Structures nd Dt Mngement Sjed Hque Veronik Irvine Tylor Smith Bsed on lecture notes by mny previous cs240 instructors Dvid R. Cheriton School of Computer
More informationProperties 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 informationChapter 0. What is the Lebesgue integral about?
Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous
More information2D1431 Machine Learning Lab 3: Reinforcement Learning
2D1431 Mchine Lerning Lb 3: Reinforcement Lerning Frnk Hoffmnn modified by Örjn Ekeberg December 7, 2004 1 Introduction In this lb you will lern bout dynmic progrmming nd reinforcement lerning. It is ssumed
More informationLecture Solution of a System of Linear Equation
ChE Lecture Notes, Dept. of Chemicl Engineering, Univ. of TN, Knoville - D. Keffer, 5/9/98 (updted /) Lecture 8- - Solution of System of Liner Eqution 8. Why is it importnt to e le to solve system of liner
More information12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016
CS125 Lecture 12 Fll 2016 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple
More informationBayesian Networks: Approximate Inference
pproches to inference yesin Networks: pproximte Inference xct inference Vrillimintion Join tree lgorithm pproximte inference Simplify the structure of the network to mkxct inferencfficient (vritionl methods,
More informationThis lecture covers Chapter 8 of HMU: Properties of CFLs
This lecture covers Chpter 8 of HMU: Properties of CFLs Turing Mchine Extensions of Turing Mchines Restrictions of Turing Mchines Additionl Reding: Chpter 8 of HMU. Turing Mchine: Informl Definition B
More informationModel Reduction of Finite State Machines by Contraction
Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900
More informationEvolutionary Computation
Topic 9 Evolutionry Computtion Introduction, or cn evolution e intelligent? Simultion of nturl evolution Genetic lgorithms Evolution strtegies Genetic progrmming Summry Cn evolution e intelligent? Intelligence
More informationTorsion in Groups of Integral Triangles
Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,
More informationFormal languages, automata, and theory of computation
Mälrdlen University TEN1 DVA337 2015 School of Innovtion, Design nd Engineering Forml lnguges, utomt, nd theory of computtion Thursdy, Novemer 5, 14:10-18:30 Techer: Dniel Hedin, phone 021-107052 The exm
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More informationList all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.
Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show
More informationThe area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the
More informationIndustrial Electrical Engineering and Automation
CODEN:LUTEDX/(TEIE-719)/1-7/(7) Industril Electricl Engineering nd Automtion Estimtion of the Zero Sequence oltge on the D- side of Dy Trnsformer y Using One oltge Trnsformer on the D-side Frncesco Sull
More informationClassification: Rules. Prof. Pier Luca Lanzi Laurea in Ingegneria Informatica Politecnico di Milano Polo regionale di Como
Metodologie per Sistemi Intelligenti Clssifiction: Prof. Pier Luc Lnzi Lure in Ingegneri Informtic Politecnico di Milno Polo regionle di Como Rules Lecture outline Why rules? Wht re clssifiction rules?
More informationHomework Solution - Set 5 Due: Friday 10/03/08
CE 96 Introduction to the Theory of Computtion ll 2008 Homework olution - et 5 Due: ridy 10/0/08 1. Textook, Pge 86, Exercise 1.21. () 1 2 Add new strt stte nd finl stte. Mke originl finl stte non-finl.
More informationCS 314 Principles of Programming Languages
C 314 Principles of Progrmming Lnguges Lecture 6: LL(1) Prsing Zheng (Eddy) Zhng Rutgers University Ferury 5, 2018 Clss Informtion Homework 2 due tomorrow. Homework 3 will e posted erly next week. 2 Top
More informationExercises with (Some) Solutions
Exercises with (Some) Solutions Techer: Luc Tesei Mster of Science in Computer Science - University of Cmerino Contents 1 Strong Bisimultion nd HML 2 2 Wek Bisimultion 31 3 Complete Lttices nd Fix Points
More informationCSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes
CSE 260-002: Exm 3-ANSWERS, Spring 20 ime: 50 minutes Nme: his exm hs 4 pges nd 0 prolems totling 00 points. his exm is closed ook nd closed notes.. Wrshll s lgorithm for trnsitive closure computtion is
More informationReinforcement learning II
CS 1675 Introduction to Mchine Lerning Lecture 26 Reinforcement lerning II Milos Huskrecht milos@cs.pitt.edu 5329 Sennott Squre Reinforcement lerning Bsics: Input x Lerner Output Reinforcement r Critic
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationMore on automata. Michael George. March 24 April 7, 2014
More on utomt Michel George Mrch 24 April 7, 2014 1 Automt constructions Now tht we hve forml model of mchine, it is useful to mke some generl constructions. 1.1 DFA Union / Product construction Suppose
More informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationAPPROXIMATE INTEGRATION
APPROXIMATE INTEGRATION. Introduction We hve seen tht there re functions whose nti-derivtives cnnot be expressed in closed form. For these resons ny definite integrl involving these integrnds cnnot be
More informationCS 330 Formal Methods and Models Dana Richards, George Mason University, Spring 2016 Quiz Solutions
CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2016 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 9 1. (4pts) ((p q) (q r)) (p r), prove tutology using truth tles. p
More informationFACE RECOGNITION BASED ON EIGENFACES AND FUZZY ARTMAP NEURAL NETWORK
The 2 nd Ntionl Intelligent Systems And Informtion Technology Symposium (ISITS 07), Oct 30-31, 2007, ITMA -UPM, Mlysi. FACE RECOGNITION BASED ON EIGENFACES AND FUZZY ARTMAP NEURAL NETWORK mikliz Abdul
More informationChapter 9 Definite Integrals
Chpter 9 Definite Integrls In the previous chpter we found how to tke n ntiderivtive nd investigted the indefinite integrl. In this chpter the connection etween ntiderivtives nd definite integrls is estlished
More informationC Dutch System Version as agreed by the 83rd FIDE Congress in Istanbul 2012
04.3.1. Dutch System Version s greed y the 83rd FIDE Congress in Istnul 2012 A Introductory Remrks nd Definitions A.1 Initil rnking list A.2 Order See 04.2.B (Generl Hndling Rules - Initil order) For pirings
More informationAnatomy 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 informationBACHELOR THESIS Star height
BACHELOR THESIS Tomáš Svood Str height Deprtment of Alger Supervisor of the chelor thesis: Study progrmme: Study rnch: doc. Štěpán Holu, Ph.D. Mthemtics Mthemticl Methods of Informtion Security Prgue 217
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4-3-05 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
More informationThe practical version
Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht
More informationBases 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 informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
More informationVyacheslav Telnin. Search for New Numbers.
Vycheslv Telnin Serch for New Numbers. 1 CHAPTER I 2 I.1 Introduction. In 1984, in the first issue for tht yer of the Science nd Life mgzine, I red the rticle "Non-Stndrd Anlysis" by V. Uspensky, in which
More information