pspace.org

Legal notice / Impressum

This website is subject to German law. Please notice that the information is written on an image. If you cannot read it, please contact nikolai AŦ wyderka ÐOŦ de.

Diese Webseite unterliegt deutschem Recht. Bitte beachten Sie, dass die Informationen auf einem Bild stehen. Sollten Sie es nicht lesen können, kontaktieren Sie bitte nikolai AŦ wyderka ÐOŦ de.

Last Updated on Tuesday, 15 September 2009 21:41

Most recent entries

Fun with Sturm chains

22/01/2012 | 3_of_8 I recently did a seminar on decision procedures, and my talk was on Tarski's decision procedure for first-order real arithmetic. Basically, the problem is that you have a formula with real variables ...
More...

Distributed Hash Tables (DHT) in Peer to Peer Networks (German)

17/12/2011 | inherited Two years ago, I had to write a paper like thing at school on any subject, so we (me and a classmate) chose Distributed Hash tables in Peer to Peer Networks. Long story short, they are used to accel...
More...

The Untyped Lambda Calculus

19/08/2011 | 3_of_8 I just remembered a talk I did on Alonzo Church's Untyped Lambda Calculus earlier this year. (they call it a "Proseminar") The Lambda Calculus is a very simple but turing-complete functional model ...
More...

Protocols of Physics Lab Course at University of Göttingen (German)

01/08/2011 | inherited Here's a list of our physics lab course protocols (http://www.praktikum.physik.uni-goettingen.de), which we started at summer semester 2011 in Göttingen. The list is incomplete, as not all of the p...
More...

3D fieldlines

12/05/2011 | inherited For a physics project at university, I had to calculate and plot fieldlines in three dimensions. I wrote a little tool to do the math and show them with OpenGL. I will publish it soon, until then, hav...
More...