(TAS)@UpMarc Thursday 18 Mar | Yu-Fang Chen , Academia Sinica, Taipei, Taiwan: When Simulation Meets Antichains (on Checking Language Inclusion of NFA) Location: 1145, Time: 13:30
We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-based algorithms.
read more »
|
Licentiatseminarium Friday 19 Mar | Carl Nettelblad: Using Markov Models and a Stochastic Lipschitz Condition for Genetic Analyses Location: ITC 2345, Time: 13:15Abstract.
|
Kollokviet i högdimensionella problem 26 March | Location: ITC 2415b, Time: 13:15 Kontakta Lina von Sydow för mer information. |
Licentiate theses seminar 31 March | Salman Zubair Toor: Managing Applications and Data in Distributed Computing Infrastructures |
Seminar at Systems and Control 16 April | Dr Kristinaan Pelkmans: Recursive Identification for a Class of Nondifferentiable Systems Location: ITC 2345, Time: 13:15Language: English
Abstract
In this seminar I present a recursive identification tool which is designed to recover the linear (approximative) dynamics of a class of nondifferentiable systems. Important examples are systems yielding quantized outputs, -saturated outputs and a large class of Wiener systems in general. The key observation I make is that direct application of gradient-based algorithms is a bit of a stretch in this context, and an alternative recursive identification rule may be based on the notion of a 'mistake'. Ideas behind the agnostic convergence proof are given, the corresponding ODE is discussed, and I'll give prototypical examples supporting the claim of efficiency. |
Kollokviet i högdimensionella problem 23 April | Location: ITC 2415b, Time: 13:15 Kontakta Lina von Sydow för mer information. |
Disputation 7 May | Agnes Rensfelt: Viscoelastic Materials: Identification and Experiment Design Location: ITC 2446, Time: 10:15Abstract.
|
The Parallel Scientific Computing and Programming Colloquium 7 May | Location: ITC 2415b, Time: 13:15 Contact Michael Thuné for more information. |
Kollokviet i högdimensionella problem 28 May | Location: ITC 2415b, Time: 13:15 Kontakta Lina von Sydow för mer information. |
The Parallel Scientific Computing and Programming Colloquium 4 June | Location: ITC 2415b, Time: 13:15 Contact Michael Thuné for more information. |
Internal seminars. Lecturers may be either internal or external.