Voorbeeld presentatie Beamer - TU Delftdutiosc.twi.tudelft.nl/~carl/miktex/Template_Example_Beamer_TUhuisstijl.pdfVoorbeeld presentatie Beamer TU Huisstijl Voornaam Achternaam, Afdeling

Voorbeeld presentatie BeamerTU Huisstijl

Voornaam Achternaam, Afdeling30 maart 2010

() Voorbeeld presentatie Beamer 1 / 16

Outline

1 First sectionSection 1 - subsection 1Section 1 - subsection 2Section 1 - subsection 3

2 Second sectionSection 2 - subsection 1Section 2 - last subsection


Next subsection




Section 1 - subsection 1 - page 1

Example

0 1 2 3 4 5 6 7 8n

0123456u(n)

u(n) = [3, 1, 4]n



Definition

Let n be a discrete variable, i.e. n ∈ Z. A 1-dimensionalperiodic number is a function that depends periodically on n.

u(n) = [u0, u1, . . . , ud−1]n =

u0 if n ≡ 0 (mod d)

u1 if n ≡ 1 (mod d)...

ud−1 if n ≡ d − 1 (mod d)

d is called the period.



Example

f (n) = −[12 , 1

3

]nn2 + 3n − [1, 2]n

=

{−1

3n2 + 3n − 2 if n ≡ 0 (mod 2)

−12n

2 + 3n − 1 if n ≡ 1 (mod 2)

0 1 2 3 4 5 6 7n

−3

−2

−1

0

1

2

3

4

5f(n)=

−[ 1 2,1 3

] nn2+3n

−[1,2] n

−12n2 + 3n− 1

−13n2 + 3n− 2



Definition

A polynomial in a variable x is a linear combination of powersof x :

f (x) =

g∑i=0

cixi

Definition

A quasi-polynomial in a variable x is a polynomial expressionwith periodic numbers as coefficients:

f (n) =

g∑i=0

ui (n)ni

with ui (n) periodic numbers.



Definition

A polynomial in a variable x is a linear combination of powersof x :

f (x) =

g∑i=0

cixi

Definition

A quasi-polynomial in a variable x is a polynomial expressionwith periodic numbers as coefficients:

f (n) =

g∑i=0

ui (n)ni

with ui (n) periodic numbers.


Next subsection





Example

0 1 2 3 4 5 6 7x

0

1

2

3

4

5

6

7

y

p =3

x + y 6 p

p f (p)

3 54 85 106 13

5

2p +

[−2,

−5

2

]

p



Example

0 1 2 3 4 5 6 7x

0

1

2

3

4

5

6

7

y

p =4

x + y 6 p

p f (p)

3 54 85 106 13

5

2p +

[−2,

−5

2

]

p



Example

0 1 2 3 4 5 6 7x

0

1

2

3

4

5

6

7

y

p =5

x + y 6 p

p f (p)

3 54 85 106 13

5

2p +

[−2,

−5

2

]

p



Example

0 1 2 3 4 5 6 7x

0

1

2

3

4

5

6

7

y

p =6

x + y 6 p

p f (p)

3 54 85 106 13

5

2p +

[−2,

−5

2

]

p



Example

0 1 2 3 4 5 6 7x

0

1

2

3

4

5

6

7

y

p =6

x + y 6 p

p f (p)

3 54 85 106 13

5

2p +

[−2,

−5

2

]

p



The number of integer points in a parametric polytope Pp

of dimension n is expressed as a piecewise aquasi-polynomial of degree n in p (Clauss and Loechner).

More general polyhedral counting problems:Systems of linear inequalities combined with ∨,∧,¬, ∀, or∃ (Presburger formulas).

Many problems in static program analysis can be expressedas polyhedral counting problems.














Next subsection





A picture made with the package TiKz

Example

1


Next subsection





Problem

This page gives an example with numbered bullets (enumerate)in an ”Example”window:

Example

Discrete domain ⇒ evaluate in each pointNot possible for

1 parametric domains

2 large domains (NP-complete)



Problem

This page gives an example with numbered bullets (enumerate)in an ”Example”window:

Example

Discrete domain ⇒ evaluate in each pointNot possible for

1 parametric domains

2 large domains (NP-complete)


Next subsection




Last page

Summery

End of the beamer demowith a TUDelft lay-out.

Thank you!


Documents

Voorbeeld presentatie Beamer - TU Delftdutiosc.twi.tudelft.nl/~carl/miktex/Template_Example_Beamer_TUhuisstijl.pdfVoorbeeld presentatie Beamer TU Huisstijl Voornaam Achternaam, Afdeling