Menü Überspringen
Kontakt
Presse
Deutsch
English
Not track
Datenverarbeitung
Suche
Anmelden
DIPF aktuell
Forschung
Infrastrukturen
Institut
Zurück
Kontakt
Presse
Deutsch
English
Not track
Datenverarbeitung
Suche
Startseite
>
Forschung
>
Publikationen
>
Publikationendatenbank
Ergebnis der Suche in der DIPF Publikationendatenbank
Ihre Abfrage:
(Schlagwörter: "Informatik")
zur erweiterten Suche
Suchbegriff
Nur Open Access
Suchen
Markierungen aufheben
Alle Treffer markieren
Export
25
Inhalte gefunden
Alle Details anzeigen
Girls' Day 2008: Zukunft für Mädchen
Hirschmann, Doris
Verschiedenartige Dokumente
| 2008
8359 Endnote
Autor*innen:
Hirschmann, Doris
Titel:
Girls' Day 2008: Zukunft für Mädchen
Erscheinungsvermerk:
Frankfurt am Main 2008
URL:
http://www.bildungsserver.de/zeigen.html?seite=4173
Dokumenttyp:
5. Arbeits- und Diskussionspapiere; Online Dossiers (DBS)
Sprache:
Deutsch
Schlagwörter:
Mädchen; Berufswahl; Studienwahl; Naturwissenschaft; Technik; Informatik; Internet; Quellensammlung; Deutschland
Abstract:
Seit 2001 findet jedes Jahr am 4. Donnerstag im April der Girls` Day statt. Der bundesweite "Mädchen-Zukunftstag" ermöglicht Schülerinnen ab der Klasse 5 Einblicke in Technik, IT, Naturwissenschaften und Handwerk. Teilnehmerinnen bewerten technisch-naturwissenschaftliche Berufe zunehmend positiver und erachten sie als deutlich abwechslungsreicher als noch vor fünf Jahren: Dies bestätigt eine Langzeitstudie zum Aktionstag. Das Dossier des Deutschen Bildungsservers versammelt aktuelle Informationen zu Möglichkeiten und Anlaufstellen einer Beteiligung. (DIPF/Autor)
DIPF-Abteilung:
Informationszentrum Bildung
ULME III - Untersuchungen von Leistungen, Motivation und Einstellungen der Schülerinnen und Schüler […]
Lehmann, Rainer H.; Seeber, Susan (Hrsg.)
Sammelband
| Hamburg: HIBB | 2007
7281 Endnote
Herausgeber*innen:
Lehmann, Rainer H.; Seeber, Susan
Titel:
ULME III - Untersuchungen von Leistungen, Motivation und Einstellungen der Schülerinnen und Schüler in den Abschlussklassen der Berufsschulen
Erscheinungsvermerk:
Hamburg: HIBB, 2007
Dokumenttyp:
2. Herausgeberschaft; Sammelband (keine besondere Kategorie)
Sprache:
Deutsch
Schlagwörter:
Berufsausbildung; Auszubildender; Schülerleistung; Leistungsmessung; Fachkompetenz; Beruf; Empirische Untersuchung; Testmethodik; Fragebogen; Englisch; Sprachkompetenz; Motivation; Berufsfeld; Verwaltungsberufe; Kaufmännische Berufe; Handwerkliche Berufe; Medizinischer Fachangestellter; Informatiker; Hotel- und Gaststättengewerbe; Qualifikation; Test; Testmethodik; D-Hamburg; Deutschland
Abstract:
Die "Untersuchung von Leistungen, Motivation und Einstellungen der Schülerinnen und Schüler in den Abschlussklassen der Berufsschulen" ( ULME III) ist Bestandteil einer umfassenden, komplex strukturierten Längsschnittstudie im beruflichen Schulwesen Hamburgs, die im Auftrag der Behörde für Bildung und Sport der Freien und Hansestadt Hamburg durchgeführt wurde. ULME III gibt Auskunft über den Leistungsstand von Jugendlichen am Ende der beruflichen Ausbildung in 17 ausgewählten Ausbildungsberufen im Bereich übergreifender allgemeiner Grundqualifikationen, metakognitiver Strategien und berufsspezifischer Fachqualifikationen (DIPF/Autor).
DIPF-Abteilung:
Steuerung und Finanzierung des Bildungswesens
Concurrent turing machines
Farwer, Berndt; Kudlek, Manfred; Rölke, Heiko
Zeitschriftenbeitrag
| In: Fundamenta Informaticae | 2007
7314 Endnote
Autor*innen:
Farwer, Berndt; Kudlek, Manfred; Rölke, Heiko
Titel:
Concurrent turing machines
In:
Fundamenta Informaticae, 79 (2007) 3/4, S. 303-317
Dokumenttyp:
3a. Beiträge in begutachteten Zeitschriften; Aufsatz (keine besondere Kategorie)
Sprache:
Englisch
Schlagwörter:
Informatik; Modell; Automation; Petri-Netz
Abstract (english):
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class of (constant) k-head Turing machines. Space, time, and head complexity classes are introduced and discussed for some examples. These also show the differences of various acceptance conditions that are defined for CTMs. We specify a simulation algorithm showing that CTMs are not more powerful than sequential Turing machines with respect to the class of accepted languages regardless of the acceptance condition. A plug-in for the Renew tool allows the execution of CTMs. Similar extensions are envisaged for other machine models. (DIPF/Author)
DIPF-Abteilung:
Informationszentrum Bildung
Dynamic transition refinement
Köhler, Michael; Rölke, Heiko
Zeitschriftenbeitrag
| In: Electronic Notes in Theoretical Computer Science | 2007
7316 Endnote
Autor*innen:
Köhler, Michael; Rölke, Heiko
Titel:
Dynamic transition refinement
In:
Electronic Notes in Theoretical Computer Science, 175 (2007) 2, S. 119-134
URL:
http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4NYD491-8-1&_cdi=13109&_user=10&_orig=browse&_coverDate=06%2F21%2F2007&_sk=998249997&view=c&wchp=dGLbVtb-zSkzk&md5=f41b12806ef766740e63f12a2188c188&ie=/sdarticle.pdf
Dokumenttyp:
3a. Beiträge in begutachteten Zeitschriften; Aufsatz (keine besondere Kategorie)
Sprache:
Englisch
Schlagwörter:
Informatik; Modell; Struktur; Netzarchitektur; Petri-Netz; Internet
Abstract (english):
Refinement of Petri nets is well suited for the hierarchical design of system models. It is used to represent a model at different levels of abstraction. Usually, refinement is a static concept. For some inherent dynamic domains as for example the modeling of web services, we need a more flexible form of refinement, e.g. to bind web services at run-time. Run-time binding allows fora flexible orchestration of services. The requirement of dynamic refinement at run-time is quite strong. Since we would like to redefine the system structure by itself, transition refinement cannot be implemented by a model transformation. Instead, an approach is needed which allows for dynamic net structures that can evolve as an effect of transitions firing.In previous work we introduced nets-within-nets as a formalism for the dynamic refinement of tokens. Here we consider an extension of nets-within- nets that uses special net tokens describing the refinement structure of transitions. Using this formalism it is possible to update refinements, introduce alternative refinements, etc. We present some formal properties of the extended formalism and introduce an example implementation for the tool Renew. (DIPF/Author)
DIPF-Abteilung:
Informationszentrum Bildung
Web service orchestration with super-dual object nets
Köhler, Michael; Rölke, Heiko
Sammelbandbeitrag
| Aus: Kleijn, Jetty; Yakolev, Alex (Eds.): Petri nets and other models of concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, proceedings | Berlin: Springer | 2007
7315 Endnote
Autor*innen:
Köhler, Michael; Rölke, Heiko
Titel:
Web service orchestration with super-dual object nets
Aus:
Kleijn, Jetty; Yakolev, Alex (Eds.): Petri nets and other models of concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, proceedings, Berlin: Springer, 2007 (Theoretical Computer Science and General Issues, 4546), S. 263-280
Dokumenttyp:
4. Beiträge in Sammelwerken; Tagungsband/Konferenzbeitrag/Proceedings
Sprache:
Englisch
Schlagwörter:
Informatik; Modell; Struktur; Netzarchitektur; Petri-Netz; Internet
Abstract (english):
Refinement of Petri nets is well suited for the hierarchical design of system models. It is used to represent a model at different levels of abstraction.Usually, refinement is a static concept. For some inherent dynamic domains as for example the modelling of web services, we need a more flexible form of refinement, e.g. to bind web services at run-time. Run-time binding allows for a flexible orchestration of services. The requirement of dynamic refinement at run-time is quite strong. Since we would like to redefine the system structure by itself, transition refinement cannot be implemented by a model transformation. Instead, an approach is needed which allows for dynamic net structures that can evolve as an effect of transitions firing. In previous work we introduced nets-within-nets as a formalism for the dynamic refinement of tokens. Here we consider an extension of nets-within-nets that uses special net tokens describing the refinement structure of transitions. Using this formalism it is possible to update refinements, introduce alternative refinements, etc. We present some formal properties of the extended formalism and introduce an example implementation for the tool Renew. (DIPF/Au)
DIPF-Abteilung:
Informationszentrum Bildung
Markierungen aufheben
Alle Treffer markieren
Export
<
1
2
3
(aktuell)
Alle anzeigen
(25)