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.