Titlebook: Informatik und Mathematik; Manfred Broy Book 1991 Springer-Verlag Berlin Heidelberg 1991 Algebra.Algorithmen.Entwicklung.Entwurf.Informati

Exterior

漫步

Innere-Punkt-Verfahren zur Lösung quadratischer Optimierungsprobleme und ihre Komplexitätnere .. der Menge . derzul7#x00E4;ssigen Lösungen nichtleer und beschränkt und die Funktionen .. ∈ .. konvex seien. Insbesondere betrachten wir den Fall, daß alle .. affin (lineare Programme) oder konvex und quadratisch (.) sind.

迅速成长

Latency

Eine schnell konvergierende Block-Iteration für die Konstruktion des Form-erhaltenden Spline-Interponoton steigend oder konvex ist. Bei der Interpolation mit kubischen Splinefunktionen ist diese Form-Erhaltung möglich im Falle positiver oder monoton steigender Daten. Allerdings ist diese Konstruktion teurer als ohne diese Nebenbedingungen und die Lösung ist nur iterativ zu erhalten. In diesem Refe

Hirsutism

Graphen, Sprachen, Automaten Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachteten werden von einem allgemeinen Standpunkt aus betrachtet und in Beziehung zur Spezifikation verteilter, nicht notwendig sequentieller Systeme gebracht. Auch auf eine in diesen Zusammenhang gehörige Verallgemeinerung der Petrinetze wird hingewiesen.

纯朴

Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISPDr. Dr.h.c. Friedrich L. Bauer anläßlich seinen 65sten Geburtstages, daß er im Rahmen meiner Diplomarbeit, Dissertation etc. einen großen Teil meiner (damals jugendlichen) Neugier in wissenschaftliche Bahnen gelenkt hat; bei Herrn Prof. Dr. Hans Langmaack anläßlich seines 55sten Geburtstages, daß er

deceive

Strukturerkennung mit Graphgrammatikenon Programmiersprachen, inkrementelle Übersetzung, Musterverarbeitung, Bilderkennung, Benutzerschnittstellen oder Chemie. Da Strukturen in der Regel nicht linear sind, bieten sich Graphgrammatiken zur Modellierung häufiger in natürlicher Weise an als lineare Grammatiken. Auch Parallelität läßt sich

混沌

Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatikenuns auch unseres Kollegen J.R. Büchi zu erinnern. Er wurde im gleichen Jahr 1924 wie Herr Bauer geboren und starb leider schon 1984. Zuletzt war er Professor am Computer Science Department der Purdue University in Lafayette, Indiana, USA. 1961/62 hatte Herr Bauer ihn als Gastprofessor an die Univers

sclera

Computer-Schach — Was ist es wert?gramme möglicherweise an Wert, für den Informatiker versprechen die Erfolge bestimmter Methoden (z. B. der Such-Strategien, Beschränkung der betrachteten Zugfolgen, „Pattern Recognition”) Anwendungs-Möglichkeiten auf andere ähnlich komplexe Probleme.

Nonporous

Anfänge des „elektronischen Rechnens“n bis dahin gebräuchlichen elektromechanischen oder mechanischen Rechenhilfsmitteln ausdrücklich hervorheben. Heute ist es selbstverständlich, daß Digitalrechner aus elektronischen Schaltelementen aufgebaut sind Darauf besonders hinzuweisen, ist überflüssig. Wenn, dann müßte man heute wohl von „mikroelektronischem“ Rechnen sprechen.