Shortfilms, Part III

Shortfilms, Part III Here is the second part "Shortfilms, Part II". I've collected quite a few YouTube videos in my "watch later" list. Most of them were short movies which I wanted to share. Here you are! Azarkant The Raven The Archiver Hybrids SEED REWIND Not a short movie ... but interesting nevertheless :-) A Darwinian Future OMEGA Paradox One Rat Short The Chase Devils, Angels & Dating True Skin The Silent City The Escape Sam Giant Robot...

Play Audio

Play Audio Our senses have a limited capability to distinguish signals. This might not be surpristing. However, we also have a limited capability to tell in which order signals arrived at our sensory organs. As I learned this, I wanted to check it. I wrote a little JavaScript / HTML5 page where you can check it. You can adjust the time in which two sounds are played. The clicking noise is played on the left and the...

The Impact of strong AIs

The Impact of strong AIs An artificial intelligence (AI) is a computer program which acts - according to its developers - intelligent. That could be anything. Typical examples are route finding algorithms, chess programs, ego shooter computer opponents and classifiers. The last category of AIs (classifiers) is huge and includes programs which try to find out what you were writing (see my bachelor's thesis), try to figure out who is on an image (face recognition) or what was spoken (automatic...

Universal Rating System

Universal Rating System A key feature of Amazon is its rating system. Rating systems are relatively straight-forward to build, but they need much data and get better with more data. I think Amazon builds a monopoly that way. However, I also think we could build an Universal Rating System (URS). Just as important as pure rating are reviews. What would an URS need? Directly neccessary are Identification of people: The same person should not be able to write...

Nyquist–Shannon sampling theorem

Nyquist–Shannon sampling theorem The Nyquist–Shannon sampling theorem states that you have to sample more than twice the highest frequency. If you sample less often, you will get aliasing. The following videos show what aliasing is:

Formale Systeme Klausur

Formale Systeme Klausur Dieser Artikel beschäftigt sich mit der Vorlesung „Formale Systeme“ am KIT. Er dient als Prüfungsvorbereitung. Ich habe die Vorlesungen bei Herrn Prof. Dr. Beckert im Wintersemester 2014/2015 gehört. Der Artikel wird bis zur Klausur noch mehrfach bearbeitet werden. Behandelter Stoff Aussagenlogik Erfüllbarkeit, Unerfüllbarkeit, Allgemeingültigkeit Normalformen: KNF, DNF, KKNF BDDs, Shannon Graphen Davis-Putnam-Verfahren Übungsblätter Übungsblatt Inhalt ÜB 1: Aussagenlogik Erfüllbarkeit, Unerfüllbarkeit, Allgemeingültigkeit, Tautologie, KNF, DNF, Interpolanten ÜB 2: Aussagenlogik KKNF, BDD, Shannon Graphen ÜB 3: Aussagenlogik,...

Gradient Descent, the Delta Rule and Backpropagation

Gradient Descent, the Delta Rule and Backpropagation If you learn about machine learning you will stumble over three terms that are related: Gradient descent, the Delta rule and backpropagation Gradient descent is a way to find a minimum in a high-dimensional space. You go in direction of the steepest descent. The delta rule is an update rule for single layer perceptrons. It makes use of gradient descent. Backpropagation is a special form of gradient descent, where a rule can be formulated which...