Mike Müller
University of Kiel
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Mike Müller.
conference on computability in europe | 2015
Thorsten Ehlers; Mike Müller
We present new parallel sorting networks for \(17\) to \(20\) inputs. For \(17, 19,\) and \(20\) inputs these new networks are faster (i.e., they require fewer computation steps) than the previously known best networks. Therefore, we improve upon the known upper bounds for minimal depth sorting networks on \(17, 19,\) and \(20\) channels. Furthermore, we show that our sorting network for \(17\) inputs is optimal in the sense that no sorting network using less layers exists. This solves the main open problem of [D. Bundala & J. Zavodný. Optimal sorting networks, Proc. LATA 2014].
developments in language theory | 2012
Florin Manea; Mike Müller; Dirk Nowotka
In this paper we consider the avoidance of patterns in infinite words. Generalising the traditional problem setting, functional dependencies between pattern variables are allowed here, in particular, patterns involving permutations. One of the remarkable facts is that in this setting the notion of avoidability index (the smallest alphabet size for which a pattern is avoidable) is meaningless since a pattern with permutations that is avoidable in one alphabet can be unavoidable in a larger alphabet. We characterise the (un-)avoidability of all patterns of the form πi(x) πj(x) πk(x), called cubes under permutations here, for all alphabet sizes in both the morphic and antimorphic case.
Journal of Computer and System Sciences | 2016
Michael Codish; Luís Cruz-Filipe; Thorsten Ehlers; Mike Müller; Peter Schneider-Kamp
Abstract New properties of the front and back ends of sorting networks are studied, illustrating their utility when searching for bounds on optimal networks. Search focuses first on the “out-sides” of the network and then on the inner part. Previous works focused on properties of the front end to break symmetries in the search. The new, out-side-in, properties shed understanding on how sorting networks sort, and facilitate the computation of new bounds on optimality. We present new, faster, parallel sorting networks for 17–20 inputs. For 17 inputs, we show that no sorting network using less layers exists.
Theoretical Computer Science | 2015
Tero Harju; Mike Müller
Let
mathematical foundations of computer science | 2014
Florin Manea; Mike Müller; Dirk Nowotka; Shinnosuke Seki
u \shuffle v
Theoretical Computer Science | 2017
Štěpán Holub; Mike Müller
denote the set of all shuffles of the words
International Journal of Foundations of Computer Science | 2014
Jürgen Dassow; Florin Manea; Robert Mercaş; Mike Müller
u
Journal of Computer and System Sciences | 2015
Florin Manea; Mike Müller; Dirk Nowotka
and
international conference on unconventional computation | 2012
Cristian Grozea; Florin Manea; Mike Müller; Dirk Nowotka
v
Theoretical Computer Science | 2015
Tero Harju; Mike Müller
. It is shown that for each integer