(TAS)@UpMarc
Thursday 18 Mar | Yu-Fang Chen![[External link]](/images/qbullets/remote.gif "External link") , 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.
![[Listen to this web page]](/newimages/listen_red.gif){kind=small}
