Objective(s): Resveratrol (RSV) is a naturally occurring plant polyphenol with cardioprotective, neuroprotective, immunoregulatory, and anticancer properties and is biologically effective against various diseases. This study aimed to investigate the chemopreventive effect of different doses of RSV against hepatocellular carcinoma (HCC) induced by  diethylnitrosamine (D...

Innerhalb der Bildungsinstitution Museum entstehen durch den Einsatz von Informationsund Kommunikationstechnologien (IuK) neue Möglichkeiten der Informationsvermittlung. Im Blended Museum wird versucht, virtuelle und reale Präsentationsformen miteinander zu vermischen. Dies ermöglicht hybride Vermittlungsstrategien, die neue und vor allem vielfältigere Besuchererfahrungen erlauben, als dies mit...

Die Gesellschaft für Logische Programmierung e.V. [1], die deutschsprachige Abteilung (für Deutschland, Österreich und die Schweiz) der Association of Logic Programming [2], organisiert seit vielen Jahren den Workshop on (Constraint) Logic Programming (WLP). Auf dem alljährlich stattfindenden WLP treffen sich Wissenschaftler aus den Gebieten der logischen Programmierung, der Constraint-Programm...

Der Erfolg eines Softwaresystems wird durch die Zufriedenheit der Benutzer bestimmt. Zufriedene Benutzer steigern die Verkaufszahlen, erhöhen das Image des Herstellers und beeinflussen den Preis. Die Zufriedenheit wird maßgeblich durch Funktionstüchtigkeit & Serviceleistung seitens des Herstellers oder den Spaßfaktor beeinflusst (Doerr et. al., 2007). Welche Features ein Produkt erfolgreich mac...

Zur Sicherstellung der bestmöglichen medizinischen Versorgung von Herzinfarktpatienten ist ein reibungsloses Zusammenspiel zwischen Rettungsdienst und Krankenhaus erforderlich. Zu diesem Zweck wurde Anfang 2008 die Cardio Angel Initiative gegründet. Ihr Ziel ist es eine Behandlungsstrategie für die regionale Herzinfarktversorgung zu entwickeln und diese nachhaltig zu implementieren. Dabei spiel...

Beim „Wer“ geht es um die Qualifikation, die Erfahrung aber auch um die Motivation des Schätzers. Das „Was“ ist in diesem Umfeld zunächst der Produktbzw. Systemumfang und weiterhin die Entwicklungsdauer bis hin zum Entwicklungsaufwand bzw. den -kosten. Beim „Womit“ geht es um die Schätzmethoden selbst. Zu den allgemeinen Schätzmethoden gehören beispielsweise ([Biffl 2000], [Boehm 2000], [Bundsc...

Dieser Artikel berichtet von unseren Erfahrungen in einem behördlichen Softwareentwicklungsprojekt. Durch den Einsatz moderner Technologien zur Wissensrepräsentation zum einen und dem Ausnutzen existierender Funktionalitäten von Standardsoftware andererseits ist es gelungen, bereits die Spezifikation der Kernfunktionalität sehr implementierungsnah zu gestalten und somit die Lücke zwischen den v...

In dieser Arbeit werden neue Erkenntnisse zur Modellierung und zur Spezifikation von Systemen mit diskreten Zustandsräumen vorgestellt. Ein automatisches Verfahren erlaubt es, unter Berücksichtigung verschiedener Systemeigenschaften, unerwünschte Zustände während der Modellierungsphase zu erkennen und auszuschließen. Das Verfahren besteht aus einer Kombination der Überwachersynthese und der μ-K...