Titlebook: Angewandte Mathematik, insbesondere Informatik; Beispiele erfolgreic Patrick Horster Book 1999 Friedr. Vieweg & Sohn Verlagsgesellschaft mb

TOXIC

Selbstbestimmte technische Durchsetzung informationeller Zusicherungen,h ein Geflecht umfaßt aufeinander abgestimmte informationelle Rechte, gemeinschaftlich anerkannte oder rechtlich abgesicherte Regeln und technische Maßnahmen zu ihrer möglichst selbstbestimmten Durchsetzung. Als wichtige Beispiele werden die Wahrung der informationellen Selbstbestimmung, die IT-Sich

Alcove

,Über das Zeichnen von Graphen,teln. Der geeignete Entwurf solcher Zeichnungen ist jedoch schon bei kleinen Graphen eine schwierige und zeitraubende Arbeit, die nach Automatisierung geradezu ruft. Wir leiten daher eine Formalisierung des Problems her und stellen anhand von Anwendungen aus der Soziologie und dem Verkehrswesen Mögl

异端邪说2

Von der Schwierigkeit, sichere Kryptosysteme zu entwerfen,zeitalter werden dabei nicht nur Briefe, Bestellungen, Auftragsbestätigungen, Rechnungen und Mahnungen elektronisch erstellt, gespeichert und über weltweite Netze übertragen. Selbst komplette Geschäftsvorgänge werden elektronisch abgewickelt, dabei sind Electronic Banking, Electronic Commerce und mo

吸气

Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation,tigung dieser Zusatzinformation entwickeln wir eine algebraische Darstellung von Fixpunkt- und Reduktionssemantik und beweisen ihre Äquivalenz. Wir stellen ferner eine deterministische Auswertungsstrategie vor, welche die bekannten call-by-name und call-by-value Strategien verallgemeinert.

crucial

,Deutschlandweite Verbindungsauskunft im öffentlichen Personenverkehr Verteilte Wegesuche in Graphenn diesem Beitrag werden algorithmische Aspekte einer dezentralen Lösung diskutiert, wo jeder Verkehrsanbieter die Hoheit über sein Datenangebot behält. Um schnellste Verbindungen auf Basis mehrerer individueller Auskunftsysteme zu suchen, werden aggregierte Graphenstrukturen betrachtet, die eine eff

ALLEY

Wissensbasierte Bilddeutung in der Medizin am Beispiel des CYCLOPS-Systems,ände „aussehen“, d. h. man muß beschreiben können, wie sich die Objekte bildhaft darstellen. Derartige Beschreibungen sind oft, vor allem in der Medizin, nicht exakt, weil man stets nur Eigenschaften von Klassen solcher Objekte beschreibt. Man bedient sich dabei der sogenannten höherwertigen Struktu

TEM

,Adaption kontinuierlicher Integraltransformationen für diskrete Algorithmen der Bildregistrierung,n grundlegendes Problem [Bro92, Els93]. Zur datenbasierten a-posteriori Registrierung von Rotationen, Skalierungen und Translationen (RST-Abbildungen) sind lineare Integraltransformationen geeignet, da sie die gesamte Pixelebene transformieren, ohne abstrakte Merkmale zu benutzen. Darüber hinaus wir

鸵鸟

,Verteilte Verbindungssuche im öffentlichen Personenverkehr Graphentheoretische Modelle und Algorithystem abrufbar sind. Derzeit entstehen Kopplungen solcher Systeme zu übergreifenden Auskunftsystemen, die die unterschiedlichen Teilsysteme und Datenbestände in einer . geeignet kombinieren..Diese Arbeit behandelt die verteilte Verbindungssuche aus graphentheoretischer Sicht. Im ersten Teil wird unt

装饰

Creatinine-Test

,Datenparallelität in Logischen Programmen auf der Grundlage einer erweiterten Dekomposition,t wurde und der Grandlage einer Dissertation war [Kli93]. Das Verfahren erlaubt die Erzeugung sog. skelettaler Bäume für initiale Ziele, die zur Beschreibung paralleler Teilaufgaben herangezogen werden. Die Parallelisierang bezieht sich auf Oder-, Und-und Daten- Parallelität. Ferner können den Bäume