Seminar Timed Automata

Größe: px
Ab Seite anzeigen:

Download "Seminar Timed Automata"

Transkript

1 Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008

2 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit zeitkritischer Systeme Diese hängt nicht nur von den Berechnungsergebnissen solcher Systeme ab, sondern auch vom Zeitpunkt, zu dem sie verfügbar sind.

3 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit zeitkritischer Systeme Diese hängt nicht nur von den Berechnungsergebnissen solcher Systeme ab, sondern auch vom Zeitpunkt, zu dem sie verfügbar sind. Ziele des Seminars Selbständiges Einarbeiten in ein wissenschaftliches Thema Literaturrecherche Darstellen des Inhalts in einer wissenschaftlichen Ausarbeitung Verständliches Präsentieren der Ergebnisse

4 Einführung Termine Themen Anforderungen Ausarbeitung Ausarbeitung selbständiges Verfassen einer ca. 20-seitigen Ausarbeitung vollständiges Literaturverzeichnis korrektes Zitieren Zielgruppe: die (anderen) Seminarteilnehmer Plagiarismus: Die nicht gekennzeichnete Übernahme fremder Inhalte führt zum sofortigen Ausschluss. Schriftgröße 12pt, übliche Seitenränder Sprache Deutsch oder Englisch Korrekte Sprache wird vorausgesetzt: 10 Fehler pro Seite = Abbruch der Korrektur Ausarbeitungen als PDF auf Webseite (Passwort-geschützt)

5 Einführung Termine Themen Anforderungen Vortrag Vortrag 45-minütiger Vortrag Zielgruppengerechte Präsentation der Inhalte Übersichtliche Folien: 15 Textzeilen sinnvoller Einsatz von Farben Vortrag in Deutsch oder Englisch

6 Termine Einführung Termine Themen Vorträge Vorschlag: zwei Vorträge jeweils dienstags 16 Uhr, Beginn

7 Termine Einführung Termine Themen Vorträge Vorschlag: zwei Vorträge jeweils dienstags 16 Uhr, Beginn Deadlines Folgende Termine sind einzuhalten: sofort: Besorgen der Literatur in WWW oder Bibliothek bis sechs Wochen vor Vortrag: Gliederung vorlegen bis vier Wochen vor Vortrag: vorläufige Fassung der Ausarbeitung bis drei Wochen vor Vortrag: endgültige Fassung der Ausarbeitung bis zwei Wochen vor Vortrag: vorläufige Fassung der Folien bis eine Woche vor Vortrag: endgültige Fassung der Folien

8 Einführung Termine Themen Themenvergabe Themenliste: jede(r) nur ein Blatt Bitte Themenpräferenzen ankreuzen (1./2./3.) Wir versuchen eine gute Zuweisung zu finden Keine Garantie für absolutes Optimum Themenzuordnung und Lieteratur auf Webseite nächste Woche

9 Einführung Termine Themen Grobe Klassifikation der Themen TA-Grundlagen Semantik, Entscheidungsprobleme, diskrete Abstraktionen

10 Einführung Termine Themen Grobe Klassifikation der Themen Logik und Model Checking Wie beschreibe ich Eigenschaften von Realzeit-Systemen? Wie überprüfe ich, ob mein TA diese Eigenschaften hat? Komplexität Implementierungsaspekte

11 Einführung Termine Themen Grobe Klassifikation der Themen Was kann ich sonst noch mit TA tun?...und welche Problem tauchen dabei auf? Scheduling Controller-Synthese

12 Einführung Termine Themen Grobe Klassifikation der Themen Erweiterungen des TA-Konzeptes Wahrscheinlichkeiten Stochastisch Zeiten Dynamische Eigenschaften Kosten

13 Themenliste Einführung Termine Themen History Lesson. David Dills first approach towards timed automata (1989). Timed automata. The classical Alur/Dill paper. Decision problems. What s decidable/undecidable? Timed CTL. A logic for timed systems. Time-abstracting bisimulations. Discrete abstractions and model checking. Complexity. Is model checking of timed automata effectively possible? Parametric model checking. For which values does a property hold? Timed regular expressions. An alternative way to specifiy timed words.

14 Themenliste Einführung Termine Themen Efficient zone automaton computation. How to improve your discrete abstraction? Hybrid automata. Generalising clocks. Hybrid automata verification: PHAVER. A tool to verify hybrid systems Timed testing. Conformance testing with timed automata. MoDeST. A language to specify timed systems.

15 Themenliste Einführung Termine Themen Solving scheduling problems. Using counter-examples as schedules. (2 topics) How much does it cost? Priced timed automata. (2 topics) Adding probability Probabilistic timed automata. Robustness. From the ideal world to the real world. (2 topics) Clock Difference Diagrams. Efficient state space storage for zone automata.

Seminar Programmierung und Reaktive Systeme

Seminar Programmierung und Reaktive Systeme Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity Kick-Off Meeting 03.04.2013 1 Eingebettete Systeme Computersysteme (Software

Mehr

Glaube an die Existenz von Regeln für Vergleiche und Kenntnis der Regeln

Glaube an die Existenz von Regeln für Vergleiche und Kenntnis der Regeln Glaube an die Existenz von Regeln für Vergleiche und Kenntnis der Regeln Regeln ja Regeln nein Kenntnis Regeln ja Kenntnis Regeln nein 0 % 10 % 20 % 30 % 40 % 50 % 60 % 70 % 80 % 90 % Glauben Sie, dass

Mehr

Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.

Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!. 040304 Übung 9a Analysis, Abschnitt 4, Folie 8 Die Wahrscheinlichkeit, dass bei n - maliger Durchführung eines Zufallexperiments ein Ereignis A ( mit Wahrscheinlichkeit p p ( A ) ) für eine beliebige Anzahl

Mehr

Webseiten sind keine Gemälde. Webstandards für ein besseres Web. Webstandards für ein besseres Web

Webseiten sind keine Gemälde. Webstandards für ein besseres Web. Webstandards für ein besseres Web Webseiten sind keine Gemälde Webkrauts Die Initiative für die Webkrauts ging von einem Blogeintrag im August 2005 aus. Nach dem Aufruf fanden sich innerhalb von etwa drei Tagen über 60 Interessierte zusammen.

Mehr

Deutsches Rotes Kreuz. Kopfschmerztagebuch von:

Deutsches Rotes Kreuz. Kopfschmerztagebuch von: Deutsches Rotes Kreuz Kopfschmerztagebuch Kopfschmerztagebuch von: Hallo, heute hast Du von uns dieses Kopfschmerztagebuch bekommen. Mit dem Ausfüllen des Tagebuches kannst Du mehr über Deine Kopfschmerzen

Mehr

BSV Ludwigsburg Erstellung einer neuen Internetseite

BSV Ludwigsburg Erstellung einer neuen Internetseite BSV Ludwigsburg Erstellung einer neuen Internetseite Änderungshistorie Version Datum Bearbeiter Änderung 0.1 02.06.2012 A. Lorenz Neuanlage Seite 1/9 1 Inhaltsverzeichnis: 1 Inhaltsverzeichnis:... 2 2

Mehr

Die richtigen Partner finden, Ressourcen finden und zusammenführen

Die richtigen Partner finden, Ressourcen finden und zusammenführen Kongress Kinder.Stiften.Zukunft Workshop Willst Du mit mir gehen? Die richtigen Partner finden, Ressourcen finden und zusammenführen Dr. Christof Eichert Unsere Ziele: Ein gemeinsames Verständnis für die

Mehr

Widerrufsbelehrung der Free-Linked GmbH. Stand: Juni 2014

Widerrufsbelehrung der Free-Linked GmbH. Stand: Juni 2014 Widerrufsbelehrung der Stand: Juni 2014 www.free-linked.de www.buddy-watcher.de Inhaltsverzeichnis Widerrufsbelehrung Verträge für die Lieferung von Waren... 3 Muster-Widerrufsformular... 5 2 Widerrufsbelehrung

Mehr

ChangeManagement. Vom IT-Spezialisten zum Führungsexperten

ChangeManagement. Vom IT-Spezialisten zum Führungsexperten ChangeManagement Bestimmen Sie Ihren individuellen Status quo und erweitern Sie zielgerichtet Ihr Führungs-Know-How Alle in diesem Dokument aufgeführten Waren- und Produktbezeichnungen sind Warenzeichen

Mehr

IT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für Ihre Entscheidung

IT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für Ihre Entscheidung IT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für Ihre Entscheidung IT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für ihre Entscheidung Entdecken Sie was IT Sicherheit im Unternehmen bedeutet IT Sicherheit

Mehr

BERECHNUNG DER FRIST ZUR STELLUNGNAHME DES BETRIEBSRATES BEI KÜNDIGUNG

BERECHNUNG DER FRIST ZUR STELLUNGNAHME DES BETRIEBSRATES BEI KÜNDIGUNG Frist berechnen BERECHNUNG DER FRIST ZUR STELLUNGNAHME DES BETRIEBSRATES BEI KÜNDIGUNG Sie erwägen die Kündigung eines Mitarbeiters und Ihr Unternehmen hat einen Betriebsrat? Dann müssen Sie die Kündigung

Mehr

Statuten in leichter Sprache

Statuten in leichter Sprache Statuten in leichter Sprache Zweck vom Verein Artikel 1: Zivil-Gesetz-Buch Es gibt einen Verein der selbstbestimmung.ch heisst. Der Verein ist so aufgebaut, wie es im Zivil-Gesetz-Buch steht. Im Zivil-Gesetz-Buch

Mehr

Anhang. 3. Was denken Sie: An wen richtet sich das Lernprogramm für Psycholinguistik? zu nicht nicht zu

Anhang. 3. Was denken Sie: An wen richtet sich das Lernprogramm für Psycholinguistik? zu nicht nicht zu Anhang Bitte füllen Sie den Fragebogen vollständig, ehrlich und genau aus! Es gibt keine falschen Antworten! Ihre Angaben sind anonym und werden absolut vertraulich behandelt. Sie werden nur zu Forschungs-

Mehr

Auswertung zu "Projektmanagement B, SS08"

Auswertung zu Projektmanagement B, SS08 Auswertung zu "Projektmanagement B, SS08" Liebe Dozentin, lieber Dozent, anbei erhalten Sie die Ergebnisse der Evaluation Ihres Seminars. Zu dieser Veranstaltung wurden 30 Bewertungen (bei 30 TeilnehmerInnen)

Mehr

Trends im Online-Shopping

Trends im Online-Shopping Trends im Online-Shopping Achim Berg, BITKOM-Vizepräsident Berlin, 8. Mai 2014 Fast jeder Internetnutzer kauft im Internet ein Haben Sie in den vergangenen 12 Monaten im Internet etwas gekauft? 2012 2014

Mehr

HTML5. Wie funktioniert HTML5? Tags: Attribute:

HTML5. Wie funktioniert HTML5? Tags: Attribute: HTML5 HTML bedeutet Hypertext Markup Language und liegt aktuell in der fünften Fassung, also HTML5 vor. HTML5 ist eine Auszeichnungssprache mit der Webseiten geschrieben werden. In HTML5 wird festgelegt,

Mehr

Was meinen die Leute eigentlich mit: Grexit?

Was meinen die Leute eigentlich mit: Grexit? Was meinen die Leute eigentlich mit: Grexit? Grexit sind eigentlich 2 Wörter. 1. Griechenland 2. Exit Exit ist ein englisches Wort. Es bedeutet: Ausgang. Aber was haben diese 2 Sachen mit-einander zu tun?

Mehr

Checkliste Hausarbeit

Checkliste Hausarbeit Checkliste Hausarbeit Die erste Hausarbeit sorgt häufig für Panikattacken. Wie soll man so viele Seiten füllen? Wie muss die Hausarbeit aussehen und wie zitiert man überhaupt richtig? Wir zeigen euch Schritt

Mehr

Kostenlose Probearbeit

Kostenlose Probearbeit n FRAGEN AN DIE BEWERBUNGSEXPERTIN Kostenlose Probearbeit Mir wurde in einem Antwortschreiben auf meine Bewerbung die Möglichkeit der kostenlosen Probearbeit angeboten. Sollte man sich darauf einlassen?

Mehr

R ist freie Software und kann von der Website. www.r-project.org

R ist freie Software und kann von der Website. www.r-project.org R R ist freie Software und kann von der Website heruntergeladen werden. www.r-project.org Nach dem Herunterladen und der Installation von R kann man R durch Doppelklicken auf das R-Symbol starten. R wird

Mehr

40x wissensch. Lehrerin / wissensch. Lehrer. 2. Mit dem Thema digitales Whiteboard als Unterrichtsmittel habe ich mich bereits beschäftigt.

40x wissensch. Lehrerin / wissensch. Lehrer. 2. Mit dem Thema digitales Whiteboard als Unterrichtsmittel habe ich mich bereits beschäftigt. Evaluationsergebnisse Nutzung der digitalen Whiteboards 1. Ich unterrichte als 40x wissensch. Lehrerin / wissensch. Lehrer. Mit dem Thema digitales Whiteboard als Unterrichtsmittel habe ich mich bereits

Mehr

TESTEN SIE IHR KÖNNEN UND GEWINNEN SIE!

TESTEN SIE IHR KÖNNEN UND GEWINNEN SIE! 9 TESTEN SIE IHR KÖNNEN UND GEWINNEN SIE! An den SeniorNETclub 50+ Währinger Str. 57/7 1090 Wien Und zwar gleich in doppelter Hinsicht:!"Beantworten Sie die folgenden Fragen und vertiefen Sie damit Ihr

Mehr

Requirements Engineering WS 11/12

Requirements Engineering WS 11/12 Requirements Engineering WS 11/12 10. Übung am 03.02.2012 Agenda Besprechung Übungsblatt 10 (bis ca. 13:00) Fragen zur Altklausur Aufgabe 1 Auch van Lamsweerde hat, wie in Abbildung 1 skizziert, eine Taxonomie

Mehr

White Paper - Umsatzsteuervoranmeldung Österreich ab 01/2012

White Paper - Umsatzsteuervoranmeldung Österreich ab 01/2012 White Paper - Umsatzsteuervoranmeldung Österreich ab 01/2012 Copyright 2012 Seite 2 Inhaltsverzeichnis 1. Umsatzsteuervoranmeldung (UVA) Österreich ab 01/2012...3 1.1. Einleitung...3 1.2. Voraussetzung...4

Mehr

Lineargleichungssysteme: Additions-/ Subtraktionsverfahren

Lineargleichungssysteme: Additions-/ Subtraktionsverfahren Lineargleichungssysteme: Additions-/ Subtraktionsverfahren W. Kippels 22. Februar 2014 Inhaltsverzeichnis 1 Einleitung 2 2 Lineargleichungssysteme zweiten Grades 2 3 Lineargleichungssysteme höheren als

Mehr

ONLINE-AKADEMIE. "Diplomierter NLP Anwender für Schule und Unterricht" Ziele

ONLINE-AKADEMIE. Diplomierter NLP Anwender für Schule und Unterricht Ziele ONLINE-AKADEMIE Ziele Wenn man von Menschen hört, die etwas Großartiges in ihrem Leben geleistet haben, erfahren wir oft, dass diese ihr Ziel über Jahre verfolgt haben oder diesen Wunsch schon bereits

Mehr

Basis (=100%) zusätzlichen Schulabschluss an. Befragungszeitraum: 29.11.-10.12.2011

Basis (=100%) zusätzlichen Schulabschluss an. Befragungszeitraum: 29.11.-10.12.2011 Tabelle 1: Interesse an höherem Schulabschluss Streben Sie nach Beendigung der Schule, die Sie momentan besuchen, noch einen weiteren oder höheren Schulabschluss an? Seite 1 Selektion: Schüler die nicht

Mehr

Produktionsplanung und steuerung (SS 2011)

Produktionsplanung und steuerung (SS 2011) Produktionsplanung und steuerung (SS 2011) Teil 1 Sie arbeiten seit 6 Monaten als Wirtschaftsingenieur in einem mittelständischen Unternehmen in Mittelhessen. Das Unternehmen Möbel-Meier liefert die Büroaustattung

Mehr

Was bedeutet Inklusion für Geschwisterkinder? Ein Meinungsbild. Irene von Drigalski Geschäftsführerin Novartis Stiftung FamilienBande.

Was bedeutet Inklusion für Geschwisterkinder? Ein Meinungsbild. Irene von Drigalski Geschäftsführerin Novartis Stiftung FamilienBande. Was bedeutet Inklusion für Geschwisterkinder? unterstützt von Ein Meinungsbild - Irene von Drigalski Geschäftsführerin Novartis Stiftung FamilienBande Haben Sie Kontakt zu Geschwistern schwer chronisch

Mehr

erstmalig erwähnt 1048 Bedarfsabfrage 09/2015 GEMEINDE BIBURG Bedarfserhebung

erstmalig erwähnt 1048 Bedarfsabfrage 09/2015 GEMEINDE BIBURG Bedarfserhebung GEMEINDE BIBURG Bedarfserhebung für eine kindgerechte Bildung, Erziehung und Betreuung nach Art. 7 BayKiBiG in der Gemeinde Biburg Seite 1 von 11 Elternbefragung zur Bedarfserhebung KITA (Kinderkrippe

Mehr

Wärmebildkamera. Arbeitszeit: 15 Minuten

Wärmebildkamera. Arbeitszeit: 15 Minuten Wärmebildkamera Arbeitszeit: 15 Minuten Ob Menschen, Tiere oder Gegenstände: Sie alle senden unsichtbare Wärmestrahlen aus. Mit sogenannten Wärmebildkameras können diese sichtbar gemacht werden. Dadurch

Mehr

Südberliner Gemeinde-Bibelschule (SBGBS) September 2008

Südberliner Gemeinde-Bibelschule (SBGBS) September 2008 Südberliner Gemeinde-Bibelschule (SBGBS) September 2008 SBGBS Südberliner Thema: Zeitmanagement I (Einführung) Autor: Ansgar N. Przesang Fassung: September 2008 2 SBGBS Südberliner Thema: Zeitmanagement

Mehr

Entwicklung des Dentalmarktes in 2010 und Papier versus Plastik.

Entwicklung des Dentalmarktes in 2010 und Papier versus Plastik. Sehr geehrter Teilnehmer, hier lesen Sie die Ergebnisse aus unserer Umfrage: Entwicklung des Dentalmarktes in 2010 und Papier versus Plastik. Für die zahlreiche Teilnahme an dieser Umfrage bedanken wir

Mehr

Elternzeit Was ist das?

Elternzeit Was ist das? Elternzeit Was ist das? Wenn Eltern sich nach der Geburt ihres Kindes ausschließlich um ihr Kind kümmern möchten, können sie bei ihrem Arbeitgeber Elternzeit beantragen. Während der Elternzeit ruht das

Mehr

Xesar. Die vielfältige Sicherheitslösung

Xesar. Die vielfältige Sicherheitslösung Xesar Die vielfältige Sicherheitslösung Xesar Die professionelle Lösung für Ihr Unternehmen Xesar Sicher und flexibel Xesar ist das vielseitige elektronische Schließsystem aus dem Hause EVVA. Komplexe

Mehr

2.1 Präsentieren wozu eigentlich?

2.1 Präsentieren wozu eigentlich? 2.1 Präsentieren wozu eigentlich? Gute Ideen verkaufen sich in den seltensten Fällen von allein. Es ist heute mehr denn je notwendig, sich und seine Leistungen, Produkte etc. gut zu präsentieren, d. h.

Mehr

Hinzufügen elektronischer Zugangsdaten zu einer Gesellschaft (VU)

Hinzufügen elektronischer Zugangsdaten zu einer Gesellschaft (VU) Hinzufügen elektronischer Zugangsdaten zu einer Gesellschaft (VU) 1. Klick auf Mein MVP 2. Auswahl eines MVP-USER im Folgefenster und Button Bearbeiten 3. Auswahl des Reiter Gesellschaften a. Falls VU

Mehr

Aussage: Das Seminar ist hilfreich für meine berufliche Entwicklung

Aussage: Das Seminar ist hilfreich für meine berufliche Entwicklung Nachhaltigkeitsüberprüfung der Breuel & Partner Gruppendynamikseminare In der Zeit von Januar bis Februar 2009 führten wir im Rahmen einer wissenschaftlichen Arbeit eine Evaluation unserer Gruppendynamikseminare

Mehr

Produktvorstellung: CMS System / dynamische Webseiten. 1. Vorwort

Produktvorstellung: CMS System / dynamische Webseiten. 1. Vorwort ALEX IT-Service Ihr IT Servicepartner»ALEX-IT Service«16341 Panketal an unsere Kundschaft Ihr Zeichen, Ihre Nachricht Unser Zeichen Telefon, Name Datum CMS 13.01.2010 Produktvorstellung: CMS System / dynamische

Mehr

Die Online-Meetings bei den Anonymen Alkoholikern. zum Thema. Online - Meetings. Eine neue Form der Selbsthilfe?

Die Online-Meetings bei den Anonymen Alkoholikern. zum Thema. Online - Meetings. Eine neue Form der Selbsthilfe? Die Online-Meetings bei den Anonymen Alkoholikern zum Thema Online - Meetings Eine neue Form der Selbsthilfe? Informationsverhalten von jungen Menschen (Quelle: FAZ.NET vom 2.7.2010). Erfahrungen können

Mehr

Testinstruktion BVB-09

Testinstruktion BVB-09 Testinstruktion Bitte stellen Sie sich den Zeitpunkt direkt vor Beginn der Therapie vor. Überlegen Sie, was Sie zu diesem Zeitpunkt machten und wie Sie sich fühlten. Überblicken Sie bitte nunmehr immer

Mehr

Kreativ visualisieren

Kreativ visualisieren Kreativ visualisieren Haben Sie schon einmal etwas von sogenannten»sich selbst erfüllenden Prophezeiungen«gehört? Damit ist gemeint, dass ein Ereignis mit hoher Wahrscheinlichkeit eintritt, wenn wir uns

Mehr

Hinweise für das Schreiben einer Bachelor-Arbeit im Fachbereich Wirtschaftspsychologie

Hinweise für das Schreiben einer Bachelor-Arbeit im Fachbereich Wirtschaftspsychologie Universität Duisburg-Essen Fakultät für Ingenieurwissenschaften Informatik und angewandte Kognitionswissenschaft Wirtschaftspsychologie Hinweise für das Schreiben einer Bachelor-Arbeit im Fachbereich Wirtschaftspsychologie

Mehr

SelbstHandelnder Vortrag zu ausgewählten Methoden der systemischen Beratung

SelbstHandelnder Vortrag zu ausgewählten Methoden der systemischen Beratung Mechthild Beeke 18.09.2015 http://sozial-pr.net/ SelbstHandelnder Vortrag zu ausgewählten Methoden der systemischen Beratung Folie 1 Sie und ich 1. Wir kennen uns 2. Sie haben im Internet gestöbert 3.

Mehr

Vertrauen in Medien und politische Kommunikation die Meinung der Bürger

Vertrauen in Medien und politische Kommunikation die Meinung der Bürger Vortrag Vertrauen in Medien und politische Kommunikation die Meinung der Bürger Christian Spahr, Leiter Medienprogramm Südosteuropa Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen, herzlich

Mehr

SHG INVEST DAS SOLLTEN SIE UNBEDINGT. lesen, bevor Sie selbst verkaufen...

SHG INVEST DAS SOLLTEN SIE UNBEDINGT. lesen, bevor Sie selbst verkaufen... DAS SOLLTEN SIE UNBEDINGT lesen, bevor Sie selbst verkaufen... Bevor Sie mit uns über Ihre Immobilie reden, sprechen wir mit Ihnen über unser diskretes Verkaufsmarketing. Wir sind der Meinung, dass Sie

Mehr

Ethik im Netz. Hate Speech. Auftraggeber: Landesanstalt für Medien Nordrhein-Westfalen (LfM)

Ethik im Netz. Hate Speech. Auftraggeber: Landesanstalt für Medien Nordrhein-Westfalen (LfM) Hate Speech Auftraggeber: Landesanstalt für Medien Nordrhein-Westfalen (LfM) Berlin, 2. Juni 6 Untersuchungsdesign Zielgruppe: Stichprobengröße: Deutschsprachige private Internetnutzer ab 4 Jahren in Deutschland

Mehr

Papierverbrauch im Jahr 2000

Papierverbrauch im Jahr 2000 Hier findest du Forschertipps. Du kannst sie allein oder in der kleinen Gruppe mit anderen Kindern bearbeiten! Gestaltet ein leeres Blatt, schreibt Berichte oder entwerft ein Plakat. Sprecht euch in der

Mehr

FAQs. Kassenbuch 2012. Stand: 24.03.2014. E i n l e i t u n. 1. Einrichtung eines Autostart-Objekts unter Mac OS X. 2. Support. 3.

FAQs. Kassenbuch 2012. Stand: 24.03.2014. E i n l e i t u n. 1. Einrichtung eines Autostart-Objekts unter Mac OS X. 2. Support. 3. FAQs Kassenbuch 2012 Stand: 24.03.2014 E i n l e i t u n g 1. Einrichtung eines Autostart-Objekts unter Mac OS X 2. Support 3. Anmerkung 2 Inhalt Inhalt 1. Wie erkenne ich, ob das bisherige Kassenbuch

Mehr

Aufgabenstellung für den Prüfling

Aufgabenstellung für den Prüfling für den Prüfling Präsentation im Fach: Prüfer/in: Prüfling: mögliche Quellen / Literatur Abgabe Ablaufplan Spätestens 1 Woche vor dem Prüfungstermin, also am... Der Ablaufplan ist entsprechend der Absprache

Mehr

Wie schreibe ich eine

Wie schreibe ich eine Wie schreibe ich eine Abschlussarbeit? b Dr. Simon Kaluza Bundesanstalt für Arbeitsschutz t und darbeitsmedizin i Dortmund 1 Dr. Simon Kaluza 1996 Abitur 1996 2002 Studium der Sicherheitstechnik 1998 1999

Mehr

Inhalt 1 Vorbereitungen... 3

Inhalt 1 Vorbereitungen... 3 Inhalt 1 Vorbereitungen... 3 1.1 Neues Dokument... 3 1.2 Formatvorlagen... 3 2 Facharbeit schreiben... 4 3 Inhaltsverzeichnis... 4 4 Seitennummern... 5 4.1 Seitenzahl einfügen... 5 4.2 Erste Seite Anders...

Mehr

Musterlösungen zur Linearen Algebra II Blatt 5

Musterlösungen zur Linearen Algebra II Blatt 5 Musterlösungen zur Linearen Algebra II Blatt 5 Aufgabe. Man betrachte die Matrix A := über dem Körper R und über dem Körper F und bestimme jeweils die Jordan- Normalform. Beweis. Das charakteristische

Mehr

1 Einleitung. Lernziele. automatische Antworten bei Abwesenheit senden. Einstellungen für automatische Antworten Lerndauer. 4 Minuten.

1 Einleitung. Lernziele. automatische Antworten bei Abwesenheit senden. Einstellungen für automatische Antworten Lerndauer. 4 Minuten. 1 Einleitung Lernziele automatische Antworten bei Abwesenheit senden Einstellungen für automatische Antworten Lerndauer 4 Minuten Seite 1 von 18 2 Antworten bei Abwesenheit senden» Outlook kann während

Mehr

Mehr Transparenz für optimalen Durchblick. Mit dem TÜV Rheinland Prüfzeichen.

Mehr Transparenz für optimalen Durchblick. Mit dem TÜV Rheinland Prüfzeichen. Mehr Transparenz für optimalen Durchblick. Mit dem TÜV Rheinland Prüfzeichen. Immer schon ein gutes Zeichen. Das TÜV Rheinland Prüfzeichen. Es steht für Sicherheit und Qualität. Bei Herstellern, Handel

Mehr

Anwendungsbeispiele Sign Live! Secure Mail Gateway

Anwendungsbeispiele Sign Live! Secure Mail Gateway Anwendungsbeispiele Sign Live! Secure Mail Gateway Kritik, Kommentare & Korrekturen Wir sind ständig bemüht, unsere Dokumentation zu optimieren und Ihren Bedürfnissen anzupassen. Ihre Anregungen sind uns

Mehr

Merkblatt. Häufige Fragen hinsichtlich der Anforderungen für Hersteller bzw. Inverkehrbringer von Lebensmittelbedarfsgegenständen aus Keramik

Merkblatt. Häufige Fragen hinsichtlich der Anforderungen für Hersteller bzw. Inverkehrbringer von Lebensmittelbedarfsgegenständen aus Keramik Merkblatt Häufige Fragen hinsichtlich der Anforderungen für Hersteller bzw. Inverkehrbringer von Lebensmittelbedarfsgegenständen aus Keramik Was sind Lebensmittelbedarfsgegenstände? Lebensmittelbedarfsgegenstände

Mehr

1. Semester GESCHAFFT

1. Semester GESCHAFFT 1. Semester GESCHAFFT 22.04.15 mentoring.wi@g- duesseldorf.de 1 Inhaltsverzeichnis Noteneinsicht im OSSC Excel- Noten- Liste 3. Semester Regel Studienverlaufsplan Anstehende Prüfungen 22.04.15 mentoring.wi@g-

Mehr

1. Was ihr in dieser Anleitung

1. Was ihr in dieser Anleitung Leseprobe 1. Was ihr in dieser Anleitung erfahren könnt 2 Liebe Musiker, in diesem PDF erhaltet ihr eine Anleitung, wie ihr eure Musik online kostenlos per Werbevideo bewerben könnt, ohne dabei Geld für

Mehr

Leichte-Sprache-Bilder

Leichte-Sprache-Bilder Leichte-Sprache-Bilder Reinhild Kassing Information - So geht es 1. Bilder gucken 2. anmelden für Probe-Bilder 3. Bilder bestellen 4. Rechnung bezahlen 5. Bilder runterladen 6. neue Bilder vorschlagen

Mehr

Gründe für fehlende Vorsorgemaßnahmen gegen Krankheit

Gründe für fehlende Vorsorgemaßnahmen gegen Krankheit Gründe für fehlende Vorsorgemaßnahmen gegen Krankheit politische Lage verlassen sich auf Familie persönliche, finanzielle Lage meinen, sich Vorsorge leisten zu können meinen, sie seien zu alt nicht mit

Mehr

Texten für Gründer. Die Kraft der Sprache optimal für den Gründungs-Prozess nutzen

Texten für Gründer. Die Kraft der Sprache optimal für den Gründungs-Prozess nutzen Texten für Gründer Die Kraft der Sprache optimal für den Gründungs-Prozess nutzen Wofür Gründer Texte brauchen: Vorbereitung Business-Pläne Präsentationen Anträge... Aufbau Websites Broschüren Pitches

Mehr

Sanitär. Heizung. Flaschnerei.

Sanitär. Heizung. Flaschnerei. Sanitär. Heizung. Flaschnerei. Nicht mehr aber auch kein bisschen weniger. www.scheffel-haustechnik.de Zuverlässigkeit und Qualität. Für Ihre Projekte. Qualitäts- Materialien zu fairen Preisen. Rund um

Mehr

Grundkenntnisse am PC Das Internet

Grundkenntnisse am PC Das Internet Grundkenntnisse am PC Das Internet EDV-Services Johannes Steinkuhle IT-Coaching, Projekte, Qualitätsmanagement Bielefelder Straße 47 33104 Paderborn Telefon: 05254/13140 Fax:05254/8254 111 www.steinkuhle-edv.de

Mehr

L10N-Manager 3. Netzwerktreffen der Hochschulübersetzer/i nnen Mannheim 10. Mai 2016

L10N-Manager 3. Netzwerktreffen der Hochschulübersetzer/i nnen Mannheim 10. Mai 2016 L10N-Manager 3. Netzwerktreffen der Hochschulübersetzer/i nnen Mannheim 10. Mai 2016 Referentin: Dr. Kelly Neudorfer Universität Hohenheim Was wir jetzt besprechen werden ist eine Frage, mit denen viele

Mehr

Lizenzierung von SharePoint Server 2013

Lizenzierung von SharePoint Server 2013 Lizenzierung von SharePoint Server 2013 Das Lizenzmodell von SharePoint Server 2013 besteht aus zwei Komponenten: Serverlizenzen zur Lizenzierung der Serversoftware und CALs zur Lizenzierung der Zugriffe

Mehr

Infoblatt Streichorchester Life on Stage 2016

Infoblatt Streichorchester Life on Stage 2016 Infoblatt Streichorchester Life on Stage 2016 Infos zum Streichorchester Als Teil vom Streichorchester (ca. 8-10 Streicher) begleitest du etwa die Hälfte der Musicalsongs auf deinem Instrument (Geigen,

Mehr

Wir machen neue Politik für Baden-Württemberg

Wir machen neue Politik für Baden-Württemberg Wir machen neue Politik für Baden-Württemberg Am 27. März 2011 haben die Menschen in Baden-Württemberg gewählt. Sie wollten eine andere Politik als vorher. Die Menschen haben die GRÜNEN und die SPD in

Mehr

Anmelden und Vorträge einreichen auf der JBFOne-Website Inhalt

Anmelden und Vorträge einreichen auf der JBFOne-Website Inhalt Inhalt 1. Schritt: Anmelden 2 Anmelden mit Daten von 2014... 3 Neu anmelden... 3 Maske 1: Persönliche Angaben... 3 Maske 2: Angaben über Ihr Unternehmen... 3 Maske 3: Teilnahme und Rechnungsangaben...

Mehr

Ressourceneinsatzplanung in der Fertigung

Ressourceneinsatzplanung in der Fertigung Fakultät Informatik, Institut für Angewandte Informatik, Professur Modellierung und Simulation Ressourceneinsatzplanung in der Fertigung Dr. Christoph Laroque Sommersemester 2012 Dresden, Was war Die im

Mehr

Warum Sie jetzt kein Onlinemarketing brauchen! Ab wann ist Onlinemarketing. So finden Sie heraus, wann Ihre Website bereit ist optimiert zu werden

Warum Sie jetzt kein Onlinemarketing brauchen! Ab wann ist Onlinemarketing. So finden Sie heraus, wann Ihre Website bereit ist optimiert zu werden CoachingBrief 02/2016 Warum Sie jetzt kein Onlinemarketing brauchen! Eine Frage gleich zu Anfang: Wie viele Mails haben Sie in dieser Woche erhalten, in denen behauptet wurde: Inhalt Ihre Webseite sei

Mehr

Tipps für die praktische Durchführung von Referaten Prof. Dr. Ellen Aschermann

Tipps für die praktische Durchführung von Referaten Prof. Dr. Ellen Aschermann UNIVERSITÄT ZU KÖLN Erziehungswissenschaftliche Fakultät Institut für Psychologie Tipps für die praktische Durchführung von Referaten Prof. Dr. Ellen Aschermann Ablauf eines Referates Einleitung Gliederung

Mehr

Durch die virtuelle Optimierung von Werkzeugen am Computer lässt sich die reale Produktivität von Servopressen erhöhen

Durch die virtuelle Optimierung von Werkzeugen am Computer lässt sich die reale Produktivität von Servopressen erhöhen PRESSEINFORMATION Simulation erhöht Ausbringung Durch die virtuelle Optimierung von Werkzeugen am Computer lässt sich die reale Produktivität von Servopressen erhöhen Göppingen, 04.09.2012 Pressen von

Mehr

Grundbegriffe der Informatik

Grundbegriffe der Informatik Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/25 Was kann man mit endlichen

Mehr

Projektmanagement. Thema. Name der bzw. des Vortragenden. Vorname Nachname E-Mail@stud.fh-heilbronn.de Sommersemester 2004

Projektmanagement. Thema. Name der bzw. des Vortragenden. Vorname Nachname E-Mail@stud.fh-heilbronn.de Sommersemester 2004 Thema Name der bzw. des Vortragenden 1 Dauer Dauer 25 30 Minuten Auf keinen Fall überziehen!!! 2 3 Minuten pro Folie Also maximal 10 15 Folien Vorher üben und die Zeit stoppen! Nicht zu lange mit der Einleitung

Mehr

Wichtige Info szum Lehrabschluss!

Wichtige Info szum Lehrabschluss! Wichtige Info szum Lehrabschluss! Sie stehen kurz vor Ihrer Lehrabschlussprüfung zum/zur Zahntechniker/in. Hierzu haben Sie bereits ausführliche Informationen zum Ablauf der Prüfung erhalten. Darüber hinaus

Mehr

mehrmals mehrmals mehrmals alle seltener nie mindestens **) in der im Monat im Jahr 1 bis 2 alle 1 bis 2 Woche Jahre Jahre % % % % % % %

mehrmals mehrmals mehrmals alle seltener nie mindestens **) in der im Monat im Jahr 1 bis 2 alle 1 bis 2 Woche Jahre Jahre % % % % % % % Nicht überraschend, aber auch nicht gravierend, sind die altersspezifischen Unterschiede hinsichtlich der Häufigkeit des Apothekenbesuchs: 24 Prozent suchen mindestens mehrmals im Monat eine Apotheke auf,

Mehr

Repräsentative Umfrage zur Beratungsqualität im deutschen Einzelhandel (Auszug)

Repräsentative Umfrage zur Beratungsqualität im deutschen Einzelhandel (Auszug) Porsche Consulting Exzellent handeln Repräsentative Umfrage zur Beratungsqualität im deutschen Einzelhandel (Auszug) Oktober 2013 Inhalt Randdaten der Studie Untersuchungsziel der Studie Ergebnisse der

Mehr

Grundsätze für die Überprüfung der besonderen Sachkunde von Sachverständigen

Grundsätze für die Überprüfung der besonderen Sachkunde von Sachverständigen Hrsg. Institut für Sachverständigenwesen e.v. Seite 1/5 Grundsätze für die Überprüfung der besonderen Sachkunde von Sachverständigen Grundsätze.doc Erstmals: 01/2000 Stand: 01/2000 Rev.: 0 Hrsg. Institut

Mehr

Bedienungsanleitung: Onlineverifizierung von qualifiziert signierten PDF-Dateien

Bedienungsanleitung: Onlineverifizierung von qualifiziert signierten PDF-Dateien Sie haben von der VR DISKONTBANK GmbH ein signiertes PDF-Dokument (i.d.r. eine Zentralregulierungsliste mit dem Status einer offiziellen Rechnung) erhalten und möchten nun die Signatur verifizieren, um

Mehr

Profiler s Academy. Geistiges Menthol, das Sinn und Sinne weckt! 1 standfestigkeit. Unerschütterlichkeit in schwierigen Situationen

Profiler s Academy. Geistiges Menthol, das Sinn und Sinne weckt! 1 standfestigkeit. Unerschütterlichkeit in schwierigen Situationen Profiler s Academy! Unerschütterlichkeit in schwierigen Situationen Erkenne Deine Lebensgrundhaltung Jeder von uns hat noch ehe wir erwachsen sind eine Lebensgrundhaltung beschlossen. Wie ein Mosaik hat

Mehr

Anleitung für die Hausverwaltung

Anleitung für die Hausverwaltung www.gruppenhaus.ch Version vom 15. September 2006 Autor Kontakt Gruppenhaus.ch GmbH support@gruppenhaus.ch Inhalt 1 Allgemeines... 2 1.1 Login... 2 1.2 Wenn Sie nicht mehr weiter wissen... 2 2 Belegungsplan...

Mehr

Gruppenrichtlinien und Softwareverteilung

Gruppenrichtlinien und Softwareverteilung Gruppenrichtlinien und Softwareverteilung Ergänzungen zur Musterlösung Bitte lesen Sie zuerst die gesamte Anleitung durch! Vorbemerkung: Die Begriffe OU (Organizational Unit) und Raum werden in der folgenden

Mehr

Bestes familienfreundliches Employer Branding

Bestes familienfreundliches Employer Branding Bestes familienfreundliches Employer Branding Sonderpreis 2016 zum Staatspreis Unternehmen für Familien 1. TEILNEHMENDER BETRIEB Firmenname Bitte geben Sie den Namen sowie Ihre Firmendaten vollständig

Mehr

Tutorium zur Mikroökonomie II WS 02/03 Universität Mannheim Tri Vi Dang. Aufgabenblatt 3 (KW 44) (30.10.02)

Tutorium zur Mikroökonomie II WS 02/03 Universität Mannheim Tri Vi Dang. Aufgabenblatt 3 (KW 44) (30.10.02) Tutorium zur Mikroökonomie II WS 02/03 Universität Mannheim Tri Vi Dang Aufgabenblatt 3 (KW 44) (30.10.02) Aufgabe 1: Preisdiskriminierung dritten Grades (20 Punkte) Ein innovativer Uni-Absolvent plant,

Mehr

Erfahrungsaustausch und Rückblick Cross Mentoring 2004. Dr. Karl Straßer Mag. Kathrin Kühtreiber

Erfahrungsaustausch und Rückblick Cross Mentoring 2004. Dr. Karl Straßer Mag. Kathrin Kühtreiber Erfahrungsaustausch und Rückblick Cross Mentoring 2004 Dr. Karl Straßer Mag. Kathrin Kühtreiber Zitat Wenn du etwas haben willst, was du noch nie gehabt hast, muss du etwas tun, was du noch nie getan hast.

Mehr

Studienplatzbeschaffung

Studienplatzbeschaffung Studienplatzbeschaffung - Einklagen www.asta.haw-hamburg.de Hintergrund Alle Unis und Hochschulen unterliegen dem Kapazitätsausschöpfungsgebot Sie müssen alle ihnen zur Verfügung stehenden Plätze vergeben!

Mehr

Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA

Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA abgekürzt dient der systematischen Untersuchung von Komponenten

Mehr

FRAGEBOGEN Webseite. Ihre Daten helfen uns und Ihnen bei der Erfüllung unseres Auftrages. Bitte nehmen Sie sich etwas

FRAGEBOGEN Webseite. Ihre Daten helfen uns und Ihnen bei der Erfüllung unseres Auftrages. Bitte nehmen Sie sich etwas 1 Ihre Daten helfen uns und Ihnen bei der Erfüllung unseres Auftrages. Bitte nehmen Sie sich etwas Zeit und beantworten Sie so viele Fragen, wie möglich. Dabei gibt es kein richtig oder falsch. Je detaillierter

Mehr

Zitieren leicht gemacht // Die amerikanische sowie die deutsche Art der Zitation

Zitieren leicht gemacht // Die amerikanische sowie die deutsche Art der Zitation Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Zitieren leicht gemacht // Die amerikanische sowie die deutsche Art der Zitation Mike Siedersleben, 20. April 2010 Agenda Tutorium Was

Mehr

petra polk Halbjahres-Online Coaching-Programm Februar bis Juli 2016 Foto pupes1 - Fotolia

petra polk Halbjahres-Online Coaching-Programm Februar bis Juli 2016 Foto pupes1 - Fotolia Halbjahres-Online Coaching-Programm Februar bis Juli 2016 Foto pupes1 - Fotolia 2016 bietet Netzwerkexpertin Petra Polk 6 Frauen die Möglichkeit, sie auf ihrem Erfolgs- und Karriereweg zu begleiten. Wenn

Mehr

Zeit lässt sich nicht wie Geld für schlechte Zeiten zur Seite legen. Die Zeit vergeht egal, ob genutzt oder ungenutzt.

Zeit lässt sich nicht wie Geld für schlechte Zeiten zur Seite legen. Die Zeit vergeht egal, ob genutzt oder ungenutzt. Zeitmanagement Allgemeine Einleitung Wie oft haben Sie schon gehört Ich habe leider keine Zeit? Und wie oft haben Sie diesen Satz schon selbst gesagt? Wahrscheinlich nahezu jeden Tag. Dabei stimmt der

Mehr

Mechatroniker Betrieblicher Auftrag. Antrag für die betriebliche Auftragsarbeit

Mechatroniker Betrieblicher Auftrag. Antrag für die betriebliche Auftragsarbeit Antrag für die betriebliche Auftragsarbeit Der Antrag muss vollständig ausgefüllt werden! Gliederung. Antragsdaten / Erklärung Prüfungsteilnehmer(in) 2. Auftragsbeschreibung 2. Titel des betrieblichen

Mehr

Leitbilder. Versuch eines Kurzprotokolls vom 29. 10. 2009 (KR)

Leitbilder. Versuch eines Kurzprotokolls vom 29. 10. 2009 (KR) Leitbilder Versuch eines Kurzprotokolls vom 29. 10. 2009 (KR) Gedankliche Präzisierung Leitbilder Unterleitbilder? Zusammengefasste Leitbilder? Ausgehend von der grundgesetzlichen Informationsfreiheit?

Mehr

DAVID: und David vom Deutschlandlabor. Wir beantworten Fragen zu Deutschland und den Deutschen.

DAVID: und David vom Deutschlandlabor. Wir beantworten Fragen zu Deutschland und den Deutschen. Manuskript Wie wohnen die Deutschen eigentlich? Nina und David wollen herausfinden, ob es die typisch deutsche Wohnung gibt. Und sie versuchen außerdem, eine Wohnung zu finden. Nicht ganz einfach in der

Mehr

Fragebogen für Hauptamtliche im Konfi 3. Falls derzeit kein Konfi 3 läuft, bitte Zahlen des vorherigen Jahrgangs eintragen.

Fragebogen für Hauptamtliche im Konfi 3. Falls derzeit kein Konfi 3 läuft, bitte Zahlen des vorherigen Jahrgangs eintragen. Konfi 3 Fragebogen für Hauptamtliche im Konfi 3 Falls derzeit kein Konfi 3 läuft, bitte Zahlen des vorherigen Jahrgangs eintragen. RAHMENBEDINGUNGEN ZU KONFI 3 IN IHRER GEMEINDE Seit welchem Jahr läuft

Mehr

Portfolio zur Analyse der Personalqualität

Portfolio zur Analyse der Personalqualität > Der Zweck und Ihr Nutzen Das Personal-Portfolio ist ein Instrument, das bei der langfristig-strategischen Beurteilung Ihres Mitarbeiterpotentials unterstützt. In einer zweidimensionalen Matrix werden

Mehr

Antrag auf Bewilligung einer Schülerbeförderung (gemäß 36 der Verordnung über die sonderpädagogische Förderung Sonderpädagogikverordnung SopädVO)

Antrag auf Bewilligung einer Schülerbeförderung (gemäß 36 der Verordnung über die sonderpädagogische Förderung Sonderpädagogikverordnung SopädVO) Bezirksamt Mitte von Berlin Abteilung Jugend, Schule, Sport und Facility Management Schul- und Sportamt Bearbeiterin SchuSpo 1 101/ 1 112 Frau Huber/ Frau Kühn Telefon: (030) 9018 26031/ 26018 Fax: (030)

Mehr

Betriebswirtschaftliches Beratungstool für Steuerberater Ziele, Inhalte und Struktur

Betriebswirtschaftliches Beratungstool für Steuerberater Ziele, Inhalte und Struktur Betriebswirtschaftliches Beratungstool für Steuerberater Ziele, Inhalte und Struktur Prof. Dr. Oliver Kruse Im Rahmen der Initiative: Projektträger: Überblick 1. Welche Ziele verfolgt das betriebswirtschaftliche

Mehr

AW: AW: AW: AW: Kooperationsanfrage anwalt.de

AW: AW: AW: AW: Kooperationsanfrage anwalt.de Seite 1 von 5 AW: AW: AW: AW: Kooperationsanfrage anwalt.de Di 13.08.2013 08:31 An:'Rene Meier' ; ich freue mich, dass alles noch so gut funktioniert hat. Die Logointegration

Mehr