139. Konservative Behandlung von endoskopischen Magenperforationen

Behandlung von chronischem Tinnitus mit roboterunterstützter TMS

In der Bevölkerung leiden 1− 2% stark unter chronischem Tinnitus. Konventielle Behandlungsmethoden wie Medikamente bewirken bei dieser kognitiven Erkrankung nur geringe Besserung. Mit Hilfe von repetitiver transkranieller Magnetstimualtion (rTMS) kann der Tinnitus in der Stärke der Wahrnehmung reduziert und ein Wiederauftreten verzögert werden. Mit Hilfe des roboterunterstützten TMS-Systems sol...

HOLCF: eine konservative Erweiterung von HOL um LCF

t t x t x t x nicht frei in den lebenden Annahmen In Isabelle wird daraus V t t V x term Trueprop t x term t x Trueprop x t x x t x bzw in Kurzschreibweise V x term t x term t x x t x x t x Um auszudr ucken da in den Termen t und t evtl freie Variablen vorkommen werden in Isabelle Variablen vom Funktionstyp verwendet und diese im Anwendungskontext t x bzw t x geschrieben Die expliziten Typisier...

Behandlung unbekannter Änderungen in automatisierten Produktionsprozessen anhand von Wissensmodellen

Die folgende Problemstellung beschreibt die sich aus der Produktionsautomatisierung ergebende Fragestellung, wie nicht dokumentierte und somit unbekannte evolutionäre Änderungen anhand des Systemverhaltens modellbasiert erkannt, analysiert und adaptiert werden können.

Ein Fallbasiertes Lernsystem für die Behandlung von Lebertumoren

Praktische Behandlung von Nullwerten - Realisierung im Molekül-Atom-Datenmodell

Der folgende Beitrag gibt einen Überblick über den Umgang mit Nullwerten im Molekül-Atom-Datenmodell (MAD-Modell) und dessen Implementierung PRIMA. Zunächst beschreiben wir einige der Lösungen, die im Relationenmodell für die Behandlung von Nullwerten vorgeschlagen wurden, und stellen dann den Umgang mit Nullwerten im MAD-Modell vor, wie wir ihn in PRIMA realisiert haben. Ziel ist es, den Benut...