Master’s Thesis Presentation • Algorithms and Complexity — Decision Algorithms for Ostrowski-Automatic SequencesExport this event to calendar

Thursday, May 7, 2020 — 11:00 AM EDT

Please note: This master’s thesis presentation will be given online.

Aseem Baranwal, Master’s candidate
David R. Cheriton School of Computer Science

We extend the notion of automatic sequences to Ostrowski-automatic sequences. Our primary contributions include a decision procedure for computationally deciding certain combinatorial and enumeration questions about these sequences, partial resolution of a conjecture on balanced words, and several new results pertaining to rich words, Lucas words, and antisquare avoidance. We also provide an implementation of these procedures as part of the software package Walnut.

To join this master’s theis presentation on Zoom, please go to https://zoom.us/j/95787909721.

Location 
Online presentation
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
  1. 2021 (95)
    1. June (1)
    2. May (15)
    3. April (27)
    4. March (20)
    5. February (13)
    6. January (19)
  2. 2020 (217)
    1. December (18)
    2. November (12)
    3. October (7)
    4. September (21)
    5. August (28)
    6. July (14)
    7. June (18)
    8. May (16)
    9. April (20)
    10. March (16)
    11. February (25)
    12. January (22)
  3. 2019 (255)
  4. 2018 (217)
  5. 2017 (36)
  6. 2016 (21)
  7. 2015 (36)
  8. 2014 (33)
  9. 2013 (23)
  10. 2012 (4)
  11. 2011 (1)
  12. 2010 (1)
  13. 2009 (1)
  14. 2008 (1)