Der folgende Beitrag soll zeigen, wie Entwicklungen unter der Bezeichnung Ubiquitous Computing bzw. Ambient Intelligence sich hinsichtlich der Werteordnung liberaler Rechtsstaaten darstellen. In diesem Zusammenhang wird einerseits das gegenseitige Bedingungsverhältnis von Privatheit und Freiheit aufgezeigt. Andererseits wird die Rolle der Medienkommunikation für gesellschaftliches Orientierungs...

Betrachtet werden zahlentheoretische Systeme erster Stufe mit w-Regel und natOrlichen Schlu~regeln im Sinne von Gentzen. Es wird ein primitiv rekursiver Operator N angegeben, der jede Herleitung in eine Normalform (unter EinschluB permutativer Konversionen) 9berf[hrt. Dieser Operator N bearbeitet Herleitungsb~ume "vonder Wurzel zu den Spitzen" und bestimmt for jeden Knoten a der Normalform expl...

Der Nachrichtenverkehr innerhalb von vielen Unternehmen wird zu einem großen Teil über Mailinglisten abgewickelt. Um die Vertraulichkeit sensibler Daten zu gewährleisten, ist es notwendig, die Nachrichten zu verschlüsseln. Ziel dieses Papiers ist es, existierende Konzepte für sichere E-MailVerteiler zu diskutieren und unter Verwendung von zeitgemäßen Technologien umzusetzen. Ein wichtiger Punkt...

Polymer-Elektrolyt-Membran-Brennstoffzellen (PEMBZ) sind in der Lage, die chemische Energie von Wasserstoff direkt in elektrische Energie unter Nutzung des Luftsauerstoffs zu wandeln. Für den Betrieb von PEMBZ-Systemen existieren verschiedene Möglichkeiten der Zufuhr und Nutzung des eingesetzten Wasserstoffs. Eine Möglichkeit ist der Rezirkulationsbetrieb. Hierbei wird der nicht verbrauchte Was...

Vom 15. bis 17. Juli 1993 fand im Rechenzentrumder Universität Lüneburg ein Workshop über "Computer als Medium" statt. Veranstalter waren die Fachgruppe "Computer als Medium" der Gesellschaft für Informatik und das Labor Kunst und Wissenschaft an der Universität Lüneburg. Der Workshop ist der dritte in einer Reihe von Veranstaltungen, über die an dieser Stelle bereits berichtet wurde. Das Thema...

Die für die Informatik typischen Modelle können dem Anfangsunterricht in dem Schulfach Informatik eine Struktur geben, die zu einem vollständigeren Bild der Wissenschaft Informatik bei den Schülern führt. Die Leitlinie "Informatische Modellbildung" erweist sich für einen Informatikunterricht zur Enkulturation des allgemeinen Modellierens von Modellen als geeignet und legitimiert den Informatiku...

Im Rahmen einer breit angelegten Untersuchungsreihe über Antigenstrukturen an Tumorzelloberflächen behandelten wir unter anderem Zajdela-Asciteshepatomzellen in vitro mit geringen Konzentrationen an Trypsin und Pronase und prüften das Angehen der Tumoren nach Wiederverimpfung dieser Zellen an Ratten im Vergleich zu nicht enzymierten Kontrollzellen. Veranlassung für die Publikation dieser Teiler...

Die Entwicklung von Methoden zum Konfigurationsmanagement wird als einer der zentralen Erfolgsfaktoren im Software Engineering angesehen (vgl. [Estu00], S. 1). Die Integration entsprechender Verfahren in den Entwicklungsprozess ermöglichte die Erstellung umfangreicher, komplexer Systeme unter Einhaltung der erforderlichen Qualitätsstandards. Die Qualität eines Softwareprodukts wird jedoch nicht...

Das BMBF hat 1997 einen Wettbewerb ausgeschrieben, an dem sich 250 Konsortien beteiligt haben. Das Projekt VFH ist unter die ersten 15 gekommen und hat 100 TDM erhalten, um einen detaillierten Projektantrag stellen zu können. Das Projekt VFH hat dann 1998 als Erstes der fünf zu fördernden Projekte einen Zuschlag bekommen und 43 MioDM erhalten. Dieser Bericht beschreibt in Kurzform das Projekt, ...

Wir präsentieren den LiverSurgeryTrainer, ein fallbasiertes Trainingssystem zur Vermittlung des klinischen Vorgehens bei der computergestützten Planung von Eingriffen an der Leber. Der Schwerpunkt liegt auf dem Training der Interaktion mit 3D-Modellen der Patientenanatomie und den Interaktionstechniken zur Planung eines operativen Eingriffs. Es können die Definition von Resektionsflächen zur Tu...