Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)Zum Shop

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

AbstraktionsoperatorFlussereignisstrukturImplementierungInformatikKonfigurationsstrukturKorrektheitskriteriumSpracheVerifikation
Die Virtualität (Forschungsarbeit)Zum Shop

Die Virtualität

Philosophische Grundlagen der logischen Relativität

BOETHIANA – Forschungsergebnisse zur Philosophie

Dieses Buch wendet sich an Leser, die an Grundlagen-Problemen der modernen Wissenschaft interessiert sind, und insbesondere an Philosophen, Mathematiker, Naturwissenschaftler und Informatiker. Der Leitfaden, um den sich die Abhandlungen dieser Monographie gruppieren, ist der Versuch, den natürlichen…

AIArtificial IntelligenceGeschichtswissenschaftKIKünstliche IntelligenzKünstlicher IntellektLogische RelativitätModellierbarkeitNatürlicher IntellektNatürliche SpracheVirtualitätVirtual Reality
Temporal Modeling in Relational Database-Systems (Forschungsarbeit)Zum Shop

Temporal Modeling in Relational Database-Systems

Studien zur Datenbankforschung

Die Fähigkeit der Modellierung von Zeitaspekten der Realwelt in Datenbanken ist seit längerer Zeit bereits als eine in vielen Anwendungen wichtige Eigenschaft eines Datenmodells erkannt worden. Zu einer solchen Modellierung gehört in jedem Falle auch eine entsprechende Anfragesprache, mit der man die in einer…

BenutzerDATALOGDatenbankDatenbanksprachenInformatikModellierung von ZeitaspektenRelational Database SystemsSprachkonzepteZeit
Transferlernen im situativ-kommunikativen Deutschunterricht (Forschungsarbeit)Zum Shop

Transferlernen im situativ-kommunikativen Deutschunterricht

EUB. Erziehung – Unterricht – Bildung

Diese Untersuchung befasst sich mit Fragen der Planung und Gestaltung von Lehr- und Lernprozessen im Muttersprachunterricht der Sekundarstufen I und II. Es werden ausgewählte Aspekte von Möglichkeiten und Grenzen der Optimierung des sprachlichen Lehrens und Lernens unter Berücksichtigung der kommunikativen…

DeutschunterrichtDidaktikKommunikationKommunikationsbefähigungLinguistisches StufenmodellMuttersprachePädagogikSekundarstufe ISekundarstufe IITheoriebildungTransferlernen
Programmieren und Induktion (Forschungsarbeit)Zum Shop

Programmieren und Induktion

Untersuchungen zur kognitiven Modellierung des Algorithmen-Entwurfs

Forschungsergebnisse der Programmentwicklung

Immer mehr Schüler und Studenten sind heute mit den Grundlagen der Computerprogrammierung vertraut. Noch ist kaum erforscht, wie das Erlernen von Programmiersprachen sich auf Problemlösefähigkeiten auswirkt, und auf welche Weise Programmierer von einer Problemstellung zu einem Algorithmus gelangen. [...]

AlgorithmenDidaktikInduktionInformatikInformatik-DidaktikModell ALIProblemlösungProgrammierProgrammiersprachen
Psychologisch-pädagogische Beiträge (Forschungsarbeit)Zum Shop

Psychologisch-pädagogische Beiträge

Forschungsergebnisse und Diskussionen zu aktuellen Themen

EUB. Erziehung – Unterricht – Bildung

Kapitel I.

Werdegang einer Institution

Nosbüsch, J. - Zur Geschichte der Lehrerbildung in Rheinland-Pfalz

Kapitel II.

Sprache und Mitteilung

Geißner, H. - Vom stimmlichen Ausdruck

Andre, K. - Aggression in der Sprache [...]

AggressionBürotechnologieElementarisierungKindheit und JugendLese-Rechtschreib-SchwächeLRSPädagogikPsychologisch-pädagogische ForschungRehabilitationSpracheTherapie
Ein planungsorientiertes Betriebssystemmodell (Forschungsarbeit)Zum Shop

Ein planungsorientiertes Betriebssystemmodell

Forschungsergebnisse zur Informatik

Der kostenintensivste Teil bei früher eingesetzten Computern war die jeweils benötigte Rechenzeit. Daher wurde bei der Entwicklung von Programmsystemen jeder Art auf alles verzichtet, was nur den Rechenzeitbedarf erhöhte und nicht zur gewünschten Funktionalität beitrug. Dieser Vorgabe fiel natürlich zuerst der…

AufwärtskompatibilitätBedienungskomfortBenutzerBenutzerschnittstelleBetriebssystemInformatikKommandospracheProgrammsystemRechenzeit
Gliederungssignale oder Sprechersignale (Forschungsarbeit)Zum Shop

Gliederungssignale oder Sprechersignale

Eine Untersuchung am Beispiel des gesprochenen Spanisch von San Miguel de Tucum

PHILOLOGIA – Sprachwissenschaftliche Forschungsergebnisse

Unter Gliederungssignalen versteht man spezifisch sprechsprachliche Mittel, die unterschiedlichen Wortarten angehören und ihre lexikalische Bedeutung ganz oder zum großen Teil aufgegeben haben. In Verbindung mit prosodischen Faktoren nehmen sie die Aufgabe wahr, Redebeiträge formal oder inhaltlich zu strukturieren…

Alltagsgesprächediasystematischgesprochenes SpanischGliederungsfunktionGliederungssignaleHesitationphänomeneSan Miguel de TucumánSprachwissenschaftSprechersignale
Internationale geldpolitische Konflikte und Kooperation: Eine theoretische Analyse (Forschungsarbeit)Zum Shop

Internationale geldpolitische Konflikte und Kooperation: Eine theoretische Analyse

Schriftenreihe volkswirtschaftliche Forschungsergebnisse

Die zunehmende Interdependenz der Industriestaaten begründet die intensive Diskussion geldpolitischer Konflikte und Kooperation der Zentralbanken. Unter Verwendung spiel- und oligopoltheoretischer Ansätze wird geprüft, ob Kooperation vorteilhaft ist, ob internationale Absprachen durchsetzbar sind, und wo Grenzen…

Asymmetrische VolkswirtschaftenGeltpolitische KonflikteIndustriestaatenInterdependenzInternationale AbspracheKooperationKooperationshemmnisseVolkswirtschaftslehreZentralbanken