Der Entwurf von Steuerungen und die Trajektorienplanung für lineare Systeme mit örtlich verteilten Parametern und konzentrierten Stelleingriffen können in gewissen Fällen auf der Basis von Potenzreihendarstellungen erfolgen. Es wird eine Methode vorgestellt, mit der diese Reihendarstellungen systematisch auch für solche partiellen Differentialgleichungen hergeleitet werden können, deren Koeffiz...

Material for the course Lineare Logik mit Anwendungen, Technische Hochschule Darmstadt, Sommersemester 1996. Revised for the course Linear Logic at Carnegie Mellon University, Spring 1998, Fall 2001. Material for this course is available at http://www.cs.cmu.edu/~fp/courses/linear.html. Please send comments to [email protected] This material is in rough draft form and is likely to contain errors. F...

Zusammenfassung Wir schlagen ein neues verlustfreies Kompressionsverfahren vor, das unterschiedliche Pradiktoren verwendet, welche f ur die lokale Struktur der jeweiligen Bildregion besonders geeignet sind. Zwischen diesen Pradiktoren wird blockweise umgeschaltet. Damit auch in der Umgebung einer Kante eine gute Pradiktion erzielt werden kann, lassen wir auch nicht-lineare Pradiktoren zu, ...

Optimierungsprobleme lassen sich mit domänenspezi®schen Sprachen beschreiben, aus denen dann z. B. Gemischt-Ganzzahlige Lineare Programme (MILP) erstellt werden können. Bei der Auswertung dieser durch entsprechende Löser erhält man jedoch nur unspezi®sche Fehlermeldungen. Um die Anwendbarkeit der domänenspezi®schen Sprache zu fördern, soll durch entsprechende Analysen die Lösbarkeit des Problem...

Gemischte lineare Modelle eigenen sich häufig gut zur Beschreibung von Zusammenhängen mit mehreren Einflussfaktoren. Ihr Einsatz zum Monitoring in der Milchkuhhaltung setzt allerdings voraus, dass sie ohne Prüfung jedes einzelnen Modells durch einen Menschen automatisch erstellt werden können. Die Analyse der Auswirkungen von Gruppenwechseln auf die Milchleistung von Kühen wird als Beispiel ein...