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...

On-line Handwriting Recognition of Mathematical Symbols

On-line Handwriting Recognition of Mathematical Symbols On-line handwriting recognition systems get the information how a symbol is written. In contrast, OCR only gets the pixel map. I've created a system that can be used to work with handwriting recognition systems in my bachelor's thesis. write-math.com The website write-math.com was used to collect data. The source is at github.com/MartinThoma/write-math. HWRT toolkit The hwrt toolkit was created to work with on-line handwritten symbols. The toolkit is documented at pythonhosted.org/hwrt. The raw data can...

3D Printing

3D Printing 3D printing is a hot topic for quite a while now. 3D printers have become cheap enough so that many ordinary people can have 3D printers for their personal use. In this article, I would like to point out some very nice applications of 3D printing. Medicine 3D printing has basically two application in medicine: Very customized non-organic parts or organic printing. Printing a human Kidney "Magic Arms" prosthetic 3D printing gives man new face...

interACT

interACT interACT is an exchange program for students. I'm a student from KIT (Germany) and I went to CMU in Pittsburgh (US). The information in the following article will be most useful for students who also come from KIT and want to go to CMU. Participating universities An interACT exchange is available between the following universities: United States: CMU, Pittsburgh and Mountain View USC (Los Angeles) Germany: KIT (Karlsruhe) China: HKUST (Hong Kong) Japan Waseda University...