Partialbruchzerlegung rationaler Functionen eines algebraischen Gebildes zweier Ver�nderlichen

Echtzeit-Implementierung eines algebraischen Ableitungsschätzverfahrens (Realtime Implementation of an Algebraic Derivative Estimation Scheme)

In der vorliegenden Arbeit wird die Echtzeitimplementierung eines algebraischen Verfahrens zur Schätzung von Zeitableitungen gemessener Signale vorgestellt. Ausgehend von einer Taylorreihendarstellung des betrachteten Signals werden mit Methoden der Operatorenrechnung Berechnungsvorschriften für Zeitableitungen beliebiger Ordnung hergeleitet. Diese können effizient in Echtzeit ausgewertet werde...

TrackNDrums - ein virtuelles Schlagzeug auf der Basis eines 3D-Tracking-Systems unter Verwendung zweier Wiimotes

Diese Arbeit beschäftigt sich mit der Theorie und Implementierung einer C# Bibliothek zur Realisierung eines 3D-Trackingsystems. Neben der Kamerakalibrierung und Triangulation wird auch auf die eingesetzte Hardware eingegangen, welche sich lediglich aus zwei Wiimotes und einigen wenigen LEDs zusammensetzt. Abschließend wird die Funktionsweise anhand eines virtuellen Schlagzeugs demonstriert und...

Theorie der Abel’schen Functionen

Zur Kontextanalyse einer algebraischen Programmiersprache

Automatische Fehlersuche in algebraischen Spezifikationen

sig List { -list basis cplx: one Nat, -list functions and predicates -#1 specification: list app: List -> lone List, lastcons: Elem -> lone List, r_isin: set Elem, -reversed arguments -#2 specification: list-dup adjoin: Elem -> lone List, rmdup: lone List, disjoin: set List, -#3 specification: list-last last: lone Elem, butlast: lone List, r_butlastn: Nat -> lone List, -reversed arguments rev: ...