(Department seminar no. 68)
Time: November 30th, 2017, 11:15
Place: room 208 C-3
Speaker: Arkadiusz Mielczarek
Subject: Theoretical and practical results on pre-controls generated with gCBHD formula
Speaker: Ignacy Dulęba
Subject: Impressions on STLC in the task space
Theoretical and practical results on pre-controls generated with gCBHD formula
During the presentation, a proof of zero prefix control for layers> = 2 will be presented. The original and optimal algorithm for calculating pre-controls will be compared to a naive and a found in literature algorithms.
Impressions on STLC in the task space
Through a series of digressions and observations we will try to define STLC for the task space and a couple of other concepts.