Parity games, separations, and the modal μ-calculus

Parity games, separations, and the modal μ-calculus von Dittmann,  Christoph
The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in computer science. The model-checking problem of the modal μ-calculus is polynomial time equivalent to solving parity games, a 2-player game on labeled directed graphs. We present the first FPT algorithms (fixed-parameter tractable) for the model-checking problem of the modal μ-calculus on restricted classes of graphs, specifically on classes of bounded Kelly-width or bounded DAG-width. In this process we also prove a general decomposition theorem for the modal μ-calculus and define a useful notion of type for this logic. Then, assuming a class of parity games has a polynomial time algorithm solving it, we consider the problem of extending this algorithm to larger classes of parity games. In particular, we show that joining games, pasting games, or adding single vertices preserves polynomial-time solvability. It follows that parity games can be solved in polynomial time if their underlying undirected graph is a tournament, a complete bipartite graph, or a block graph. In the last chapter we present the first non-trivial formal proof about parity games. We explain a formal proof of positional determinacy of parity games in the proof assistant Isabelle/HOL.
Aktualisiert: 2017-03-09
> findR *

Hier gilt’s der Kunst

Hier gilt’s der Kunst von Dittmann,  Christoph, Ehlert,  Jan, Stuke,  Franz R
Brandenburg, Detlef, geboren 1956 in Kassel; studierte in Kiel Philosophie, Literaturwissenschaft, Germanistik, Musikwissenschaft und Kunstgeschichte; von 1987 bis 1988 Wissenschaftlicher Assistent am Literaturwissenschaftli-chen Seminar der Christian-Albrechts-Universität; ab 1988 Kulturredakteur der Fränkischen Landeszeitung in Ansbach, ab 1990 der Kieler Nachrichten; daneben Autor für verschiedene Fachpublikationen; seit 1996 Chefredakteur der Theaterfachzeitschrift „Die Deutsche Bühne“. Keim, Stefan, geboren 1967; freier Kulturjournalist und Schauspieler; arbei-tet regelmäßig für die Hörfunksender WDR 3, WDR 5, Deutschlandradio Kultur, die Zeitungen „Die Welt“, „Frankfurter Rundschau“, „Westfalenpost“ sowie die Zeitschrift „Die Deutsche Bühne“. Koch, Gerhard R., geboren 1939 in Bonn; aufgewachsen in Frankfurt/Main; Klavierspiel (heute noch); Studium in Frankfurt: Germanistik, Geschichte, Musikwissenschaft, Philosophie, Soziologie; ab 1960 Musikkritik, hauptsächlich für die FAZ, deren Musikredakteur 1976-2003; seitdem weiter als freier Autor tätig; Kritikerpreis des „Steirischen Herbsts“, Johann-Heinrich-Merck-Preis für literarische Kritik und Essay der Deutschen Akademie für Sprache und Dichtung, Darmstadt; Goethe-Plakette der Stadt Frankfurt. Obiera, Pedro, geboren 1951 in Duisburg; Studium der Schulmusik und Musikwissenschaft; freier Musikjournalist u.a. für die „Neue Ruhr Zeitung“ und die „Neue Osnabrücker Zeitung“; Juror in verschiedenen Hochschulwettbewerben. Reininghaus, Frieder, Kulturkorrespondent und Publizist für „Deutschlandfunk/DeutschlandRadio“, „WDR“ und „Südwest(rund)funk“, mehrere Tages-zeitungen und den Rheinischen Merkur sowie zahlreiche Fachorgane; studierte Musik, Musik- und Theaterwissenschaft, Germanistik und Soziologie in Stuttgart (dort 1968-1971 Vorsitzender des Allgemeinen Studentenaus-schusses), sowie Tübingen, Berlin und Köln; 1972 Wissenschaftlicher Assi-stent in Berlin; 1976-1983 Redakteur der Zeitschrift „Spuren/Kunst“ und Gesellschaft und Komponist. Stuke, Franz R., Prof. Dr., Lehrstuhl für Mediengeschichte und Kommuni-kationstheorie; 1991-2002 Prof. für Medienpädagogik, Wirkungsforschung und Medienpraxis an der Ruhr-Universität Bochum; vorher Studium Pädago-gik PH Bielefeld und Volontariat Freie Presse Bielefeld; Lehrer in Telgte; Studium Publizistik WWU Münster (Prakke), mit Promotion zum Thema „Schulfernsehen“; Referent Landesbildstelle Münster; Leiter der Abteilung „Medienproduktion“ der Fernuniversität. Vratz, Christoph, geboren 1972 in Mönchengladbach; studierte in Wupper-tal und Paris Germanistik und Romanistik; Promovierte 2000 über die sprachliche Vermittlung von Musik in literarischen Texten; lebt als freier Autor in Köln und arbeitet u.a. für verschiedene Rundfunkanstalten sowie für „Opernwelt“ und „Fono Forum“; seit 2003 Mitglied in der Jury des Preises Deutscher Schallplattenkritik. Willmes, Gregor, geboren 1966 in Wanne-Eickel; studierte in Bochum Musikwissenschaft, Philosophie und Kunstgeschichte; seit 1989 Autor für Tageszeitungen und Fachmagazine über Musik; außerdem Autor von Programmhefttexten, Booklet-Texten und Buchaufsätze; Lehrbeauftragter der Hochschule für Musik Detmold (Abteilung Dortmund) für Klaviermusikge-schichte/Literaturkunde; Volontariat bei der Westdeutschen Allgemeinen Zeitung; seit 1997 Redakteur bei „Fono Forum“; seit November 2003 Chef-redakteur der Musikzeitschrift; seit 2000 Klavierjurymitglied des Preises der deutschen Schallplattenkritik. Die Herausgeber: Dittmann, Christoph, studierte Publizistik und Kommunikationswissenschaft, Musikwissenschaft und Politikwissenschaft an der Ruhr-Universität Bochum; danach zwei Jahre Wissenschaftlicher Mitarbeiter am dortigen Institut für Medienwissenschaft; Redaktionsleiter der Online-Musiktheaterzeitschrift Opernnetz.de; seit 2006 freier Kulturjournalist. Ehlert, Jan, Ausbildung zum C-Kirchenmusiker der Nordelbischen ev.-luth. Kirche in Hamburg; studierte Film- und Fernsehwissenschaft sowie Publizistik und Kommunikationswissenschaft an der Ruhr-Universität Bochum; seit 2004 freier Kulturjournalist für Opernnetz.de, die Westdeutsche Allgemeine Zeitung und Cafebabel.com
Aktualisiert: 2020-06-12
> findR *
MEHR ANZEIGEN

Bücher von Dittmann, Christoph

Sie suchen ein Buch oder Publikation vonDittmann, Christoph ? Bei Buch findr finden Sie alle Bücher Dittmann, Christoph. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher von Dittmann, Christoph im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch von Dittmann, Christoph .

Dittmann, Christoph - Große Auswahl an Publikationen bei Buch findr

Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher von Dittmann, Christoph die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:

Unser Repertoire umfasst Bücher von

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Neben Büchern von Dittmann, Christoph und Büchern aus verschiedenen Kategorien finden Sie schnell und einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.