Michael Marz

Learn More
We construct fully abstract realisability models of PCF. In particular, we prove a variant of the Longley–Phoa Conjecture by showing that the realisability model over an un-typed –calculus with arithmetic is fully abstract for PCF. Further we consider the extension of our results to a general sequential functional programming language SFPL giving rise to(More)
Im Rahmen vonSensorfusion-Ansätzen zurOn-the-go-Analytik vonpflanzenverfügba-renM akronährstoffen, stellt dieser Werkstattbericht eine explorativeA rbeitv or,w elched ie Eig-nung sowiedie methodisch-technischenG rundlagen derBodenanalytikf ür dieBestimmung derin dieser Arbeit betrachtetenM akronährstoffe Phosphor,K aliumu nd Magnesium mittels(More)
Ausgehend vom kleinräumig erhobenen pH-Werten als Variable, sollen geeignete Methoden und Modelle des Data-Mining eruiert, angewandt und ggf. (weiter-)entwickelt werden, um die Makronährstoffe Phosphor und Kalium zu schätzen. Im Fokus dieses Beitrages stehen die Eingrenzung numerischer Modelle und Inputparameter, welche für weitere Schritte die(More)
Graduate student at Bernstein Center for Computational Neuroscience (BCCN) Göt-tingen and Graduate student in the PhD program for Theoretical and Computational Neuroscience. Dissertation: " Goal-oriented control of self-organizing behavior in autonomous robots ". Recieved doctor rerum naturalium with 'summa cum laude' (highest praise). Topic: EMG data(More)
  • 1