Michael | Michaelpedia Galactica

Strongly Connected Components in Declarative Models

Posted on November 17, 2011 (May 18, 2018)

Yesterday, I wrote about the colored automaton implementation in Declare including mentioning that it is now possible to export such automata directly from within the Designer. Today, I’ve optimized the output, so it now is possible to reduce the printout by exploiting strongly connected components. The first change is that strongly connected components are grouped together […]

German Siri is NOT German

Posted on November 16, 2011 (May 18, 2018)

Siri is mostly useless except for setting alarms… I tested the German version and must conclude: German Siri is not German. […]

Colored Automata in Declare

Posted on November 16, 2011 (May 18, 2018)

I just finished the implementation of colored automata in Declare. The formal foundation is described in [bibtex order=asc file=conferences.bib key=colored-automata] The idea is that normally we construct an automaton accepting only all valid executions. Assume we look at the model: The model says that “if you are bored, you should go to a concert” (the […]

Sometimes…

Posted on November 16, 2011 (May 18, 2018)

Sometimes you just have to go with your heart… Hence this code: Yes, evidently, today is going to be a “Michael posts snippets of code that amuse him”-day. Think of it as open source and celebrate by hitting people in your office (unless your first name is Dirk). MichaelTime person of the year 2006, Nobel […]

Refactoring – Stay Quick and Beautiful

Posted on November 16, 2011 (May 18, 2018)

Sometimes you have to refactor something. It may seem like it works, but the code is horrible-looking and inefficient. Consider for example this gem: No documentation, missing @Override annotation, quadratic blow-up of something that should be linear, unmotivated cloning of an immutable class, over-shadowing of field variables, leading to a clumsy syntax, and a code-structure […]

The Burning Cottage: An Approach to Solving the Mash/Meat-Equilibrium

Posted on November 15, 2011 (May 18, 2018)

TL;DR: I made cottage pie and put bacon on top. Then I wrote a long-winded description of it.

This solves the so-called mash/meat-equilibrium, which is a variant of the Nash equilibrium, just more delicious. The mash/meat-equilibrium states that

The mash should at all times by covered by meat on all sides in order to achieve a global optimum of the deliciousness.
[…]