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)
  • 1