43,186 research outputs found
Die Zusammenarbeit zwischen Marketing und Vertrieb - eine vernachlässigte Schnittstelle
Die Schnittstelle zwischen Marketing und Vertrieb ist in vielen Unternehmen überaus konfliktbeladen. Das vorliegende Management-Know-how Papier berichtet über die bisher größte empirische Studie zu diesem Thema. Die branchenübergreifenden Ergebnisse zeigen: Unternehmen, die die Schnittstelle zwischen Marketing und Vertrieb im Griff haben, sind erfolgreicher. Der Beitrag untersucht, was die Unternehmen besser machen, die die Schnittstelle im Griff haben. 15 Erfolgsfaktoren
für das Schnittstellenmanagement werden vorgestellt. Daneben zeigt die Studie auf, welche Typen der Aufgabenteilung zwischen Marketing und Vertrieb es gibt
Die C# Schnittstelle der Referenzattributgrammatik-gesteuerten Graphersetzungsbibliothek RACR: Übersicht, Anwendung und Implementierung: Entwicklerhandbuch
Dieser Bericht präsentiert RACR-NET, eine Schnittstelle der Referenzattributgrammatik-gesteuerten Graphersetzungsbibliothek RACR für C#.
RACR-NET ermöglicht die Nutzung der deklarativen, dynamischen Sprachspezifikations-, Instanziierungs- und Auswertungsmeachanismen der RACR Scheme-Bibliothek in der objektorientierten Programmierung. Dies umfasst insbesondere die automatische inkrementelle Auswertung attributbasierter semantischer Analysen und somit das automatische Cachen parametrisierter Funktionsmethoden. Graphersetzungen entsprechen hierbei Zustandsänderungen von Objektinstanzen und der Invalidierung abgeleiteter Berechnungen.
Schwerpunkt dieses Berichts ist die objektorientierte Programmierschnittstelle von RACR-NET, dessen praktische Anwendung und Implementierung. Der Bericht ist ein Referenzhandbuch für RACR-NET Anwender und Entwickler.:1. Einleitung
1.1. Aufgabenstellung
1.2. Struktur der Arbeit
2. Konzeptionelle und technische Voraussetzungen
2.1. Überblick der RAG-gesteuerten Graphersetzung
2.2. Scheme
2.3. Die RACR Scheme-Bibliothek
2.4. Das .NET-Framework und die Common Language Infrastructure
2.5. IronScheme
3. RACR-NET Implementierung: Prozedurale Schnittstelle
3.1. Scheme in C#
3.2. RACR in C#
3.3. Anforderungsanalyse
3.4. Implementierung der prozeduralen Schnittstelle
4. RACR-NET Implementierung: Objektorientierte Schnittstelle
4.1. Überblick über die objektorientierte Schnittstelle
4.2. Anwendungsbeispiel
4.3. Herausforderungen bei der Implementierung
4.4. Implementierung
5. Evaluation
5.1. Testen der Schnittstelle
5.2. Performance-Messungen und -Vergleiche
6. Zusammenfassung und Ausblick
6.1. Eine objektorientierte Bibliothek für RAG-gesteuerte Graphersetzung
6.2. Zukünftige Arbeiten
A. Literaturverzeichnis
B. MIT Lizen
Die Schnittstelle zwischen Riss und Sprung : vom herausgerissenen Manuskript zum Hypertext-Link
Ich möchte im Folgenden versuchen, den Begriff der Schnittstelle mit dem Begriff der Hypertextualität zu koppeln. Meine Zielrichtung wird dabei eine medien- und literaturgeschichtliche zugleich sein. Das heisst: ich möchte im Horizont heutiger, elektronischer Hypertextualität die Frage aufwerfen, in welcher Form die literarischen Quasi-Hypertexte von einst das Problem der Schnittstelle thematisiert und verkörpert haben
Schnittstelle Notaufnahme: Interdisziplinäre Perspektiven
Zusammenfassung: Die Notaufnahme des Basler Universitätsspitals wird interdisziplinär als "Notfallstation" geführt. Das dort praktizierte "Basler Modell" wird schlaglichtartig beleuchtet. Ethische Fragestellungen, insbesondere die Frage nach dem Sistieren einer Behandlung, sollten frühzeitig und interdisziplinär besprochen werden. Da das Ziel der Versorgung in der präklinischen Phase zumeist der möglichst rasche Transport in ein geeignetes Zielkrankenhaus ist, bietet sich oft erst im Reanimationsraum der Notfallstation erstmals die Chance, diese Fragen überhaupt auszusprechen. Hier können entscheidungsrelevante Zusatzinformationen berücksichtigt werden wie etwa der mutmaßliche Wille des Patienten, aber auch die Prognose. Die unterschiedlichen Standards der präklinischen und der klinischen Phase können an der Schnittstelle Notfallstation zu Konflikten führen. Hier ist die Kommunikation des Teamleaders mit dem Rettungsteam, aber auch mit den Kollegen der anderen Disziplinen von entscheidender Bedeutun
Selbstvermessung – Schnittstelle zwischen Lifestyle und Medizin
Selbstvermessung – Schnittstelle zwischen Lifestyle und Medizin
Intelligente Uhren und Fitness-Tracker verfolgen unsere Aktivitäten. Könnte in Zukunft nicht auch unsere Blutdruckmessung in Echtzeit an die Arztpraxis übermittelt werden? Die neuen Technologien sollen unsere Lebensqualität und Gesundheit verbessern, das Leben optimieren.
Prof. Dr. Heidrun Becker und Ursula Meidert von der Zürcher Hochschule für angewandte Wissenschaften (ZHAW) berichten aus der von der TA-SWISS initiierten Studie «Quantified Self – Schnittstelle zwischen Lifestyle und Medizin». Sie werden erläutern, wo wir heute mit der «Vermessung des Ichs» stehen, und welche Chancen, Risiken und Trends es gibt
An Improved Interface for Interactive Proofs in Separation Logic
Seit Software entwickelt wird, stellt sich die Frage, ob diese korrekt ist, d.h. ob sie
das tut, was sie tun soll. Gegeben eine formale Spezifikation der Anforderungen, ist
eine Aufgabe der Softwareverifikation also zu beweisen, ob eine Implementierung diese
Spezifikation erfüllt. Diese Aufgabe kann schwierig zu lösen sein, wenn die verwendete
Programmiersprache Befehle mit globalem Effekt erlaubt, sodass diese andere Befehle
in unabhängigen Teilen des Programms beeinflussen können, zum Beispiel durch einen
gemeinsam genutzten Heap-Speicher. Separation-Logic löst dieses Problem, indem es
Aussagen um einen separierenden Operator erweitert, wodurch es möglich ist, Teile
eines Programms als unabhängig vom Rest des Programms anzusehen. Ein Werkzeug,
das Beweise zur Softwareverifikation unterstützt, sind interaktive Theorembeweiser.
Allerdings benötigen Separation-Logic-Beweise in interaktiven Theorembeweisern,
besonders mit nicht-linearem Typsystem, viel manuellen Aufwand zur Verwaltung
der benötigten Datenstrukturen. Dies kann vermieden werden, indem dem Nutzer
eine Schnittstelle zur Verfügung gestellt wird, die Beweise auf der typischen, höheren
Abstraktionsebene ermöglicht. Diese Arbeit beschreibt eine neue Schnittstelle für
Separation-Logic-Beweise in dem interaktiven Theorembeweiser Lean 4, basierend
auf dem Iris-Projekt, und die Verbesserungen an dieser Schnittstelle
Simulation von biogeochemischen Prozessen in 3-D auf GPUs
Ziel der Arbeit war es, eine bereits bestehende Software zur Simulation von marinen Ökosystemmodellen auf Hochleistungsrechnern für die Berechnung auf Grafikkartenprozessoren (GPUs) anzupassen. Hier sollte zunächst eine Grafikkarte genutzt werden. Die verwendete Software wurde an unserem Lehrstuhl in der Programmiersprache C entwickelt und basiert auf einer numerischen Bibliothek (PETSc). Ihre Besonderheit ist, dass sie traditionell in FORTRAN geschriebene biogeochemische Modelle über eine dafür definierte Schnittstelle an die globale Ozeanzirkulation ankoppeln kann. In dieser Arbeit wurde zum ersten Mal die gesamte Software auf eine GPU transferiert. Dazu mussten die Software und die darin verwendete Bibliothek angepasst werden, sowie die FORTRAN-Modelle für die GPU-Hardware übersetzt werden. Dabei sollten die ursprünglichen Eigenschaften erhalten bleiben, insbesondere die FORTRAN- Schnittstelle
- …