In zijn proefschrift past Winter principes uit de coalgebra toe in de automatentheorie, een theoretisch raamwerk om de werking van automaten te beschrijven. Winter beschrijft bekende klassen uit de automatentheorie, zoals de reguliere en de contextvrije talen (en generalisaties hiervan) beschreven in de vorm van (discrete) differentiaalvergelijkingen. Hierbij wordt de connectie tussen de klassieke automatentheorie, ontwikkeld vanaf de jaren ’50 en ’60, en de moderne coalgebraïsche benadering, verder opgehelderd.
Het Centrum Wiskunde & Informatica (CWI) geldt als de bakermat van de universele coalgebra. In een gezaghebbende paper uit 2000, die inmiddels meer dan 1000 keer is geciteerd, introduceert prof. dr. Jan Rutten dit onderwerp, waar inmiddels verschillende groepen wereldwijd aan werken.
Megaohmmeters op batterijen. Het aanbod werkplaatsuitrusting van TME omvat onder meer professionele apparaten van Fluke.…
De HCX oliepeilglazen van Elesa+Ganter bieden een geavanceerde oplossing voor industrieel onderhoud en productie. Deze…
Een kleinschalig en compact apparaat, Fuze, gebouwd door de Amerikaanse startup Zap Energy heeft plasma…
Al 15 jaar is het Festo Bionic Learning Network gefascineerd door vliegen. Het team heeft…
Kwantummechanische verschijnselen zoals radioactief verval, of algemener: ‘tunnelen’, vertonen intrigerende wiskundige patronen. Twee onderzoekers aan…
Een nieuwe ultragevoelige glasvezelsensor kan deeltjes met een diameter tot 50 nanometer detecteren. In de…