The ability to differentiate genetically modified mouse embryonic stem (ES) cells into functional macrophages provides a potentially attractive resource to study host-pathogen interactions without the need for animal experimentation. This is particularly useful in instances where the gene of interest is essential and a knockout mouse is not available. Here we differentiated mouse ES cells into ...

It is shown that a central extension of a Lie groupoid by an Abelian Lie group A has a principal A-bundle structure and the extended Lie groupoid is classified by an Euler esclass. Then we prove that for a symplectic α-connected, αβtransversal or α-simply connected groupoid, there exists at most one central S-extension, the Euler es-class of which corresponds to the Poisson cohomology class of ...

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...

Ausgehend von der Mechanisierung der Fertigungsindustrie ab dem 19. Jahrhundert verbreitete sich das Konzept eines definierten und aufgezeichnetenModells für einen Prozess (ein ‚Vorgehensmodell‘) und dessen (mehr oder minder) automatische Abarbeitung durch einen Prozess-Interpretierer auf immer weitere Anwendungsgebiete. Der Interpretierer kann ein Mensch, ein mechanisches Gerät (z.B. Jacquard-...

Zusammenfassung Mit dem derzeitigen demografischen Wandel nimmt auch die Bedeutung der häuslichen Gesundheitspflege stark zu. Professionelle Pflegedienste unterliegen dabei einer gesetzlichen Dokumentationspflicht. Die Dokumentation von Pflegeaktivitäten ist eine sehr zeitaufwendige Tätigkeit und nimmt bis zu 40% der täglichen Arbeitszeit in Anspruch. Durch automatische Dokumentation ist es mög...

Das dynamische Mindesthaltbarkeitsdatum stellt neue Herausforderungen an logistische Prozesse und deren IT-Unterstützung. Es wird gezeigt, dass die Ereignisverarbeitung in Echtzeit eine wertvolle Unterstützung in Logistik-IT-Systemen darstellt. Eine Softwarearchitektur zur Überwachung von Logistikprozessen wird vorgestellt und im Anwendungsfall Dynamisches Mindesthaltbarkeitsdatum angewandt.

Die fortlaufende Überwachung von Transaktionen auf Geldwäscheverdacht ist Finanzinstituten in Deutschland und anderen Ländern vorgeschrieben. Smurfing ist eine Form der Geldwäsche, bei der durch den Transfer vieler kleiner Geldbeträge auf unterschiedlichen Wegen mit der Hilfe von Strohmännern ein hoher Geldbetrag unauffällig transferiert werden soll. In dieser Arbeit betrachten wir das Smurfing...

Das Internet und insbesondere soziale Medien werden bekanntermaßen nicht nur zu vermeintlich guten Zwecken genutzt. So findet die Rekrutierung neuer Mitglieder und die Verbreitung von Ideologien des Terrorismus ebenfalls über dieses Medium statt. Aber auch die Terrorismusbekämpfung bedient sich gleicher Werkzeuge. Die Art und Weise dieser Gegenmaßnahmen sowie die Vorgehensweisen sollen in diese...

Äußerst optimistischen Prognosen anerkannter Marktforschungsunternehmen zum Trotz entwickelt sich die Sprachtechnologiebranche in Deutschland nur schleppend. Obwohl die technologische Reife sogenannter „natürlichsprachlicher Systeme“ 1 eine breite Markterschließung ermöglichen sollte, investieren die Unternehmen kaum. Kann der Markt keinen Nutzen durch den Einsatz natürlichsprachlicher Systeme ...

In dem Beitrag werden Projektplanungsprobleme mit mehreren autonomen Entscheidungsträgern betrachtet. Es wird davon ausgegangen, dass die Aktivitäten eines hinsichtlich der Struktur bereits determinierten Projektes mit Ressourcenbeschränkungen durch eine Menge von Akteuren durchgeführt werden. Die Akteure verfolgen eigene Interessen hinsichtlich der zeitlichen Lage der ihnen zugeordneten Aktivi...