Analysis of Temporal Interactions with Link Streams and Stream Graphs
|
|
- Anissa Norton
- 5 years ago
- Views:
Transcription
1 Anlysis of Temporl Intertions with n Strem Grphs, Tiphine Vir, Clémene Mgnien ltpy@ LIP6 CNRS n Soronne Université Pris, Frne 1/23
2 intertions over time ,,, n for 10 time units time 2/23
3 intertions over time time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 2/23
4 intertions over time time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 n intert from 1 to 3 n from 7 to 8; n from 6 to 9; n from 2 to 3. 2/23
5 intertions over time time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 n intert from 1 to 3 n from 7 to 8; n from 6 to 9; n from 2 to 3. e.g., soil intertions, network trffi, money trnsfers, hemil retions, et. 2/23
6 intertions over time time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 n intert from 1 to 3 n from 7 to 8; n from 6 to 9; n from 2 to 3. e.g., soil intertions, network trffi, money trnsfers, hemil retions, et. how to esrie suh t? 2/23
7 struture or ynmis e f time grph theory network siene struture signl nlysis, time series ynmis 3/23
8 struture n ynmis? e f time time slies grph sequene 3/23
9 struture n ynmis? e f time grph theory network siene struture signl nlysis, time series ynmis time slies grph sequene informtion loss wht slies? grph sequenes? 3/23
10 struture n ynmis e f time MAG / temporl grphs TVG lossless ut grph-oriente + -ho properties (mostly pth-relte) + ontt sequenes + reltionl event moels /23
11 struture n ynmis e f time MAG / temporl grphs TVG lossless ut grph-oriente + -ho properties (mostly pth-relte) + ontt sequenes + reltionl event moels /23
12 wht we propose e f el with the strem iretly strem grphs n link strems time grph theory network siene signl nlysis, time series wnte fetures: simple n intuitive, omprehensive, time-noe onsistent, generlizes grphs/signl 5/23
13 wht we propose e f el with the strem iretly strem grphs n link strems time grph theory network siene signl nlysis, time series wnte fetures: simple n intuitive, omprehensive, time-noe onsistent, generlizes grphs/signl 5/23
14 grph-equivlent strems strem with no ynmis: noes lwys present, either lwys or never linke e grph 6/23
15 grph-equivlent strems strem with no ynmis: noes lwys present, either lwys or never linke e grph strem properties = grph properties generlizes grph theory 6/23
16 our pproh very reful generliztion of the most si onepts strem grphs n link strems numers of noes n links lusters n inue su-strems ensity n pths uliing loks for higher-level onepts neighorhoo n egrees lustering oeffiient etweenness entrlity mny others + ensure onsisteny with grph theory + ensure lssil reltions re preserve 7/23
17 efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23
18 efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23
19 efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23
20 efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23
21 efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23
22 n exmple time T = [0, 10] V = {,,, } W = T {} ([0, 4] [5, 10]) {} [4, 9] {} [1, 3] {} T = T T = [0, 4] [5, 10] T = [4, 9] T = [1, 3] E = ([1, 3] [7, 8]) {} [6, 9] {} [2, 3] {} T = [1, 3] [7, 8] T = [6, 9] T = [2, 3] T = 9/23
23 few remrks works with... isrete time, ontinuous time, instntneous intertions or with urtions, irete, weighte, iprtite... if v, T v = T then S L = (T, V, E) is link strem if u, v, T uv {T, } then S G = (V, E) is grph-equivlent strem 10/23
24 size of strem grph How mny noes? How mny links? T = 10 T = 2 time 11/23
25 size of strem grph How mny noes? How mny links? T = 10 T = 2 time n = v V T v T n = T 10 + T 10 + T 10 + T 10 = = 2.6 noes 11/23
26 size of strem grph How mny noes? How mny links? T = 10 T = 2 time n = T 10 + T 10 + T m = T 10 + T n = v V m = uv V V 10 + T T 10 T v T T uv T = = 2.6 noes = = 0.7 links 11/23
27 lusters, su-strems Cluster in G = (V, E): suset of V. Cluster in S = (T, V, W, E): suset of W T V time C = [0, 2] {} ([0, 2] [6, 10]) {} [4, 8] {} S(C) su-strem inue y C S(C) = (T, V, C, E C ) properties of (su-strems inue y) lusters 12/23
28 lusters, su-strems Cluster in G = (V, E): suset of V. Cluster in S = (T, V, W, E): suset of W T V time C = [0, 2] {} ([0, 2] [6, 10]) {} [4, 8] {} S(C) su-strem inue y C S(C) = (T, V, C, E C ) properties of (su-strems inue y) lusters 12/23
29 neighorhoo in G = (V, E): N(v) = {u, uv E} in S = (T, V, W, E): N(v) = {(t, u), (t, uv) E} N() = ([2, 3] [5, 10]) {} [5.5, 9] {} N(v) is luster 13/23
30 in G n in S: (v) is the size of N(v) egree N() = ([2, 3] [5, 10]) {} [5.5, 9] {} () = [2,3] [5,10] 10 + [5.5,9] 10 = = 0.95 egree istriution, verge egree, et if grph-equivlent strem then grph egree reltion with n n m 14/23
31 ensity in G: pro two rnom noes re linke δ(g) = n links n possile links = 2 m n (n 1) in S: pro two rnom noes re linke t rnom time instnt δ(s) = n links n possile links = uv V V Tuv uv V V Tu Tv? rnom 15/23
32 ensity in G: pro two rnom noes re linke δ(g) = n links n possile links = 2 m n (n 1) in S: pro two rnom noes re linke t rnom time instnt δ(s) = n links n possile links = uv V V Tuv uv V V Tu Tv?? rnom rnom if grph-equivlent strem then grph ensity reltion with n, m, n verge egree 15/23
33 liques in S: su-strem of ensity 1 in G: su-grph of ensity 1 ll noes re linke together ll noes intert ll the time time 16/23
34 lustering oeffiient in G n in S: ensity of the neighorhoo (v) = δ(n(v)) N() = ([2, 3] [5, 10]) {} [5.5, 9] {} 17/23
35 lustering oeffiient in G n in S: ensity of the neighorhoo (v) = δ(n(v)) N() = ([2, 3] [5, 10]) {} [5.5, 9] {} () = δ(n()) = [6,9] [5.5,9] = /23
36 pths in G: from to : (, ), (, ), (, ) length: 3 shortest pths in S: from (1, ) to (9, ): (2,, ), (3,, ), (7.5,, ), (8,, ) length: 4 urtion: 6 shortest pths fstest pths 18/23
37 pths in G: from to : (, ), (, ), (, ) length: 3 shortest pths in S: from (1, ) to (9, ): (2,, ), (3,, ), (7.5,, ), (8,, ) length: 4 urtion: 6 shortest pths fstest pths 18/23
38 etweenness entrlity in G: (v) = frtion of shortest pths from ny u to ny w in V tht involve v shortest pths in S: (t, v) = frtion of shortest fstest pths from ny (i, u) to ny (j, w) in W tht involve (t, v) 19/23
39 etweenness entrlity in G: (v) = frtion of shortest pths from ny u to ny w in V tht involve v shortest pths in S: (t, v) = frtion of shortest fstest pths from ny (i, u) to ny (j, w) in W tht involve (t, v) shortest fstest pths 19/23
40 A B C mny other onepts e time time time e f e u v g u v w u x v y w u v w time time time 0 1 time u v u v w u x v y w time = e f g h time 0 1 time time time rxiv preprint 20/23
41 reltions vs intertions grph/networks = reltions (like frienship) ynmi grphs/networks = evolution of reltions (like new friens) strem grphs / link strems = intertions (like fe-to-fe ontts) intertions = tres/reliztion of reltions? link strems = tres of grphs/networks? reltions = onsequenes of intertions? grphs/networks = tres of link strems? 21/23
42 onlusion we provie lnguge (set of onepts) tht: mkes it esy to el with intertion tres, omines struture n ynmis in onsistent wy, generlizes grphs / networks ; signls / time series? meets lssil n new lgorithmi hllenges, opens new perspetives for t nlysis, lrifies the interply intertions reltions. stuies in progress: internet trffi, finnil trnstions, moility/ontts, miling-lists, sles, et. 22/23
43 lls for ppers speil issues of interntionl journls Theoretil Computer Siene (TCS) : moels n lgorithms Computer Networks : methos n se stuies eline: July 15th 23/23
CIT 596 Theory of Computation 1. Graphs and Digraphs
CIT 596 Theory of Computtion 1 A grph G = (V (G), E(G)) onsists of two finite sets: V (G), the vertex set of the grph, often enote y just V, whih is nonempty set of elements lle verties, n E(G), the ege
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More informationCommon intervals of genomes. Mathieu Raffinot CNRS LIAFA
Common intervls of genomes Mthieu Rffinot CNRS LIF Context: omprtive genomis. set of genomes prtilly/totlly nnotte Informtive group of genes or omins? Ex: COG tse Mny iffiulties! iology Wht re two similr
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationIntroduction to Graphical Models
Introution to Grhil Moels Kenji Fukumizu The Institute of Sttistil Mthemtis Comuttionl Methoology in Sttistil Inferene II Introution n Review 2 Grhil Moels Rough Sketh Grhil moels Grh: G V E V: the set
More informationRegular expressions, Finite Automata, transition graphs are all the same!!
CSI 3104 /Winter 2011: Introduction to Forml Lnguges Chpter 7: Kleene s Theorem Chpter 7: Kleene s Theorem Regulr expressions, Finite Automt, trnsition grphs re ll the sme!! Dr. Neji Zgui CSI3104-W11 1
More informationNumbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point
GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply
More informationNondeterministic Finite Automata
Nondeterministi Finite utomt The Power of Guessing Tuesdy, Otoer 4, 2 Reding: Sipser.2 (first prt); Stoughton 3.3 3.5 S235 Lnguges nd utomt eprtment of omputer Siene Wellesley ollege Finite utomton (F)
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More informationOn Implicative and Strong Implicative Filters of Lattice Wajsberg Algebras
Glol Journl of Mthemtil Sienes: Theory nd Prtil. ISSN 974-32 Volume 9, Numer 3 (27), pp. 387-397 Interntionl Reserh Pulition House http://www.irphouse.om On Implitive nd Strong Implitive Filters of Lttie
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationNow we must transform the original model so we can use the new parameters. = S max. Recruits
MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with
More informationAlpha Algorithm: A Process Discovery Algorithm
Proess Mining: Dt Siene in Ation Alph Algorithm: A Proess Disovery Algorithm prof.dr.ir. Wil vn der Alst www.proessmining.org Proess disovery = Ply-In Ply-In event log proess model Ply-Out Reply proess
More informationRandom subgroups of a free group
Rndom sugroups of free group Frédérique Bssino LIPN - Lortoire d Informtique de Pris Nord, Université Pris 13 - CNRS Joint work with Armndo Mrtino, Cyril Nicud, Enric Ventur et Pscl Weil LIX My, 2015 Introduction
More informationCompression of Palindromes and Regularity.
Compression of Plinromes n Regulrity. Kyoko Shikishim-Tsuji Center for Lierl Arts Eution n Reserh Tenri University 1 Introution In [1], property of likstrem t t view of tse is isusse n it is shown tht
More information( x) ( ) takes at the right end of each interval to approximate its value on that
III. INTEGRATION Economists seem much more intereste in mrginl effects n ifferentition thn in integrtion. Integrtion is importnt for fining the expecte vlue n vrince of rnom vriles, which is use in econometrics
More informationWelcome. Balanced search trees. Balanced Search Trees. Inge Li Gørtz
Welome nge Li Gørt. everse tehing n isussion of exerises: 02110 nge Li Gørt 3 tehing ssistnts 8.00-9.15 Group work 9.15-9.45 isussions of your solutions in lss 10.00-11.15 Leture 11.15-11.45 Work on exerises
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 informationMid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours
Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into
More informationCoalgebra, 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 informationObstructions to chordal circular-arc graphs of small independence number
Ostrutions to horl irulr-r grphs of smll inepenene numer Mthew Frnis,1 Pvol Hell,2 Jurj Stho,3 Institute of Mth. Sienes, IV Cross Ro, Trmni, Chenni 600 113, Ini Shool of Comp. Siene, Simon Frser University,
More informationCS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS
CS 310 (sec 20) - Winter 2003 - Finl Exm (solutions) SOLUTIONS 1. (Logic) Use truth tles to prove the following logicl equivlences: () p q (p p) (q q) () p q (p q) (p q) () p q p q p p q q (q q) (p p)
More informationSymmetrical Components 1
Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent
More 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 information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More informationFactorising FACTORISING.
Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationRunning an NFA & the subset algorithm (NFA->DFA) CS 350 Fall 2018 gilray.org/classes/fall2018/cs350/
Running n NFA & the suset lgorithm (NFA->DFA) CS 350 Fll 2018 gilry.org/lsses/fll2018/s350/ 1 NFAs operte y simultneously exploring ll pths nd epting if ny pth termintes t n ept stte.!2 Try n exmple: L
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationImplication Graphs and Logic Testing
Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,
More informationChapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1
Chpter Five: Nondeterministic Finite Automt Forml Lnguge, chpter 5, slide 1 1 A DFA hs exctly one trnsition from every stte on every symol in the lphet. By relxing this requirement we get relted ut more
More informationLinear Inequalities. Work Sheet 1
Work Sheet 1 Liner Inequlities Rent--Hep, cr rentl compny,chrges $ 15 per week plus $ 0.0 per mile to rent one of their crs. Suppose you re limited y how much money you cn spend for the week : You cn spend
More informationarxiv: v1 [cs.dm] 24 Jul 2017
Some lsses of grphs tht re not PCGs 1 rxiv:1707.07436v1 [s.dm] 24 Jul 2017 Pierluigi Biohi Angelo Monti Tizin Clmoneri Rossell Petreshi Computer Siene Deprtment, Spienz University of Rome, Itly pierluigi.iohi@gmil.om,
More informationAutomata and Regular Languages
Chpter 9 Automt n Regulr Lnguges 9. Introution This hpter looks t mthemtil moels of omputtion n lnguges tht esrie them. The moel-lnguge reltionship hs multiple levels. We shll explore the simplest level,
More informationLaboratory for Foundations of Computer Science. An Unfolding Approach. University of Edinburgh. Model Checking. Javier Esparza
An Unfoling Approh to Moel Cheking Jvier Esprz Lbortory for Fountions of Computer Siene University of Einburgh Conurrent progrms Progrm: tuple P T 1 T n of finite lbelle trnsition systems T i A i S i i
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 information22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:
22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)
More informationLearning Partially Observable Markov Models from First Passage Times
Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).
More informationAlpha Algorithm: Limitations
Proess Mining: Dt Siene in Ation Alph Algorithm: Limittions prof.dr.ir. Wil vn der Alst www.proessmining.org Let L e n event log over T. α(l) is defined s follows. 1. T L = { t T σ L t σ}, 2. T I = { t
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 informationLet s divide up the interval [ ab, ] into n subintervals with the same length, so we have
III. INTEGRATION Eonomists seem muh more intereste in mrginl effets n ifferentition thn in integrtion. Integrtion is importnt for fining the epete vlue n vrine of rnom vriles, whih is use in eonometris
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationGraph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}
Grph Theory Simple Grph G = (V, E). V ={verties}, E={eges}. h k g f e V={,,,,e,f,g,h,k} E={(,),(,g),(,h),(,k),(,),(,k),...,(h,k)} E =16. 1 Grph or Multi-Grph We llow loops n multiple eges. G = (V, E.ψ)
More informationPhylogenies via Quartets
Phylogenies vi Qurtets Dvi Brynt rynt@mth.mgill. LIRMM, Frne CRM, U. e M. U. Cnterury MGill University Bite-size trees There is only one unroote tree for one, two or three tx... But there re four unroote
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. Comparing DFAs and NFAs (cont.) Finite Automata 2
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
More informationNew centroid index for ordering fuzzy numbers
Interntionl Sientifi Journl Journl of Mmtis http://mmtissientifi-journlom New entroi inex for orering numers Tyee Hjjri Deprtment of Mmtis, Firoozkooh Brnh, Islmi z University, Firoozkooh, Irn Emil: tyeehjjri@yhooom
More informationANALYSIS AND MODELLING OF RAINFALL EVENTS
Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 3-5 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.
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 informationGraph width-parameters and algorithms
Grph width-prmeters nd lgorithms Jisu Jeong (KAIST) joint work with Sigve Hortemo Sæther nd Jn Arne Telle (University of Bergen) 2015 KMS Annul Meeting 2015.10.24. YONSEI UNIVERSITY Grph width-prmeters
More informationUniversity of Sioux Falls. MAT204/205 Calculus I/II
University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques
More informationfor all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx
Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion
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 informationLecture 9: LTL and Büchi Automata
Lecture 9: LTL nd Büchi Automt 1 LTL Property Ptterns Quite often the requirements of system follow some simple ptterns. Sometimes we wnt to specify tht property should only hold in certin context, clled
More informationDATABASE DESIGN I - 1DL300
DATABASE DESIGN I - DL300 Fll 00 An introductory course on dtse systems http://www.it.uu.se/edu/course/homepge/dstekn/ht0/ Mnivskn Sesn Uppsl Dtse Lortory Deprtment of Informtion Technology, Uppsl University,
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationAlgebra 2 Semester 1 Practice Final
Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers
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 informationUnit #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 informationLogic, Set Theory and Computability [M. Coppenbarger]
14 Orer (Hnout) Definition 7-11: A reltion is qusi-orering (or preorer) if it is reflexive n trnsitive. A quisi-orering tht is symmetri is n equivlene reltion. A qusi-orering tht is nti-symmetri is n orer
More informationLecture 2: Cayley Graphs
Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re
More informationIf we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as
Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x
More informationGraph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)
Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grph-sed representtion of the entnglement of some (lrge) quntum stte. Verties: quits
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationChapter 2 Finite Automata
Chpter 2 Finite Automt 28 2.1 Introduction Finite utomt: first model of the notion of effective procedure. (They lso hve mny other pplictions). The concept of finite utomton cn e derived y exmining wht
More informationCMSC 330: Organization of Programming Languages
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 CMSC 330 1 Types of Finite Automt Deterministic Finite Automt (DFA) Exctly one sequence of steps for ech string All exmples so fr Nondeterministic
More information5.4, 6.1, 6.2 Handout. As we ve discussed, the integral is in some way the opposite of taking a derivative. The exact relationship
5.4, 6.1, 6.2 Hnout As we ve iscusse, the integrl is in some wy the opposite of tking erivtive. The exct reltionship is given by the Funmentl Theorem of Clculus: The Funmentl Theorem of Clculus: If f is
More informationA New Grey-rough Set Model Based on Interval-Valued Grey Sets
Proceedings of the 009 IEEE Interntionl Conference on Systems Mn nd Cybernetics Sn ntonio TX US - October 009 New Grey-rough Set Model sed on Intervl-Vlued Grey Sets Wu Shunxing Deprtment of utomtion Ximen
More informationNFA DFA Example 3 CMSC 330: Organization of Programming Languages. Equivalence of DFAs and NFAs. Equivalence of DFAs and NFAs (cont.
NFA DFA Exmple 3 CMSC 330: Orgniztion of Progrmming Lnguges NFA {B,D,E {A,E {C,D {E Finite Automt, con't. R = { {A,E, {B,D,E, {C,D, {E 2 Equivlence of DFAs nd NFAs Any string from {A to either {D or {CD
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 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 informationRegular languages refresher
Regulr lnguges refresher 1 Regulr lnguges refresher Forml lnguges Alphet = finite set of letters Word = sequene of letter Lnguge = set of words Regulr lnguges defined equivlently y Regulr expressions Finite-stte
More informationOutline. Theory-based Bayesian framework for property induction Causal structure induction
Outline Theory-sed Byesin frmework for property indution Cusl struture indution Constrint-sed (ottom-up) lerning Theory-sed Byesin lerning The origins of usl knowledge Question: how do people relily ome
More informationOutline Data Structures and Algorithms. Data compression. Data compression. Lossy vs. Lossless. Data Compression
5-2 Dt Strutures n Algorithms Dt Compression n Huffmn s Algorithm th Fe 2003 Rjshekr Rey Outline Dt ompression Lossy n lossless Exmples Forml view Coes Definition Fixe length vs. vrile length Huffmn s
More informationI. Theory of Automata II. Theory of Formal Languages III. Theory of Turing Machines
CI 3104 /Winter 2011: Introduction to Forml Lnguges Chpter 16: Non-Context-Free Lnguges Chpter 16: Non-Context-Free Lnguges I. Theory of utomt II. Theory of Forml Lnguges III. Theory of Turing Mchines
More information2.4 Theoretical Foundations
2 Progrmming Lnguge Syntx 2.4 Theoretil Fountions As note in the min text, snners n prsers re se on the finite utomt n pushown utomt tht form the ottom two levels of the Chomsky lnguge hierrhy. At eh level
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb.
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
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 informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationSurds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,
Surs n Inies Surs n Inies Curriulum Rey ACMNA:, 6 www.mthletis.om Surs SURDS & & Inies INDICES Inies n surs re very losely relte. A numer uner (squre root sign) is lle sur if the squre root n t e simplifie.
More informationCSCI 340: Computational Models. Kleene s Theorem. Department of Computer Science
CSCI 340: Computtionl Models Kleene s Theorem Chpter 7 Deprtment of Computer Science Unifiction In 1954, Kleene presented (nd proved) theorem which (in our version) sttes tht if lnguge cn e defined y ny
More informationCalculus AB Section I Part A A CALCULATOR MAY NOT BE USED ON THIS PART OF THE EXAMINATION
lculus Section I Prt LULTOR MY NOT US ON THIS PRT OF TH XMINTION In this test: Unless otherwise specified, the domin of function f is ssumed to e the set of ll rel numers for which f () is rel numer..
More informationMAT137 Calculus! Lecture 28
officil wesite http://uoft.me/mat137 MAT137 Clculus! Lecture 28 Tody: Antiderivtives Fundmentl Theorem of Clculus Net: More FTC (review v. 8.5-8.7) 5.7 Sustitution (v. 9.1-9.4) Properties of the Definite
More informationPOSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS
Bull. Koren Mth. So. 35 (998), No., pp. 53 6 POSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS YOUNG BAE JUN*, YANG XU AND KEYUN QIN ABSTRACT. We introue the onepts of positive
More informationChapter 6 Continuous Random Variables and Distributions
Chpter 6 Continuous Rndom Vriles nd Distriutions Mny economic nd usiness mesures such s sles investment consumption nd cost cn hve the continuous numericl vlues so tht they cn not e represented y discrete
More informationBivariate drought analysis using entropy theory
Purue University Purue e-pus Symposium on Dt-Driven Approhes to Droughts Drought Reserh Inititive Network -3- Bivrite rought nlysis using entropy theory Zengho Ho exs A & M University - College Sttion,
More informationA representation theorem for lattices via set-colored posets
A representtion theorem for ltties vi set-olore posets Mihel Hi n Lhouri Nourine Astrt This pper proposes representtion theory for ny lttie vi set-olore posets, in the spirit of Birkhoff for istriutive
More informationLecture 2e Orthogonal Complement (pages )
Lecture 2e Orthogonl Complement (pges -) We hve now seen tht n orthonorml sis is nice wy to descrie suspce, ut knowing tht we wnt n orthonorml sis doesn t mke one fll into our lp. In theory, the process
More informationConsistent Probabilistic Social Choice
Consistent Proilisti Soil Choie Felix Brndt (with F. Brndl nd H. G. Seedig) University of Oxford, Novemer 2015 Preliminries Finite set of lterntives A A is not fixed Liner preferene reltions L (A) Frtionl
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
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 informationExam 2 Solutions ECE 221 Electric Circuits
Nme: PSU Student ID Numer: Exm 2 Solutions ECE 221 Electric Circuits Novemer 12, 2008 Dr. Jmes McNmes Keep your exm flt during the entire exm If you hve to leve the exm temporrily, close the exm nd leve
More informationCSCI 340: Computational Models. Transition Graphs. Department of Computer Science
CSCI 340: Computtionl Models Trnsition Grphs Chpter 6 Deprtment of Computer Science Relxing Restrints on Inputs We cn uild n FA tht ccepts only the word! 5 sttes ecuse n FA cn only process one letter t
More information3.15 NMR spectroscopy Different types of NMR There are two main types of NMR 1. C 13 NMR 2. H (proton) NMR
.5 NMR spetrosopy Different types of NMR There re two min types of NMR. NMR. (proton) NMR There is only round % in orgni moleules ut modern NMR mhines re sensitive enough to give full spetr for The spetr
More 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 informationFormula for Trapezoid estimate using Left and Right estimates: Trap( n) If the graph of f is decreasing on [a, b], then f ( x ) dx
Fill in the Blnks for the Big Topis in Chpter 5: The Definite Integrl Estimting n integrl using Riemnn sum:. The Left rule uses the left endpoint of eh suintervl.. The Right rule uses the right endpoint
More informationAutomata Theory 101. Introduction. Outline. Introduction Finite Automata Regular Expressions ω-automata. Ralf Huuck.
Outline Automt Theory 101 Rlf Huuck Introduction Finite Automt Regulr Expressions ω-automt Session 1 2006 Rlf Huuck 1 Session 1 2006 Rlf Huuck 2 Acknowledgement Some slides re sed on Wolfgng Thoms excellent
More information