Refine
Has Fulltext
- yes (971) (remove)
Year of publication
Document Type
- Monograph/Edited Volume (971) (remove)
Language
Keywords
- Deutschland (17)
- Germany (11)
- Hasso-Plattner-Institut (10)
- Brandenburg (9)
- E-Learning (9)
- Hasso Plattner Institute (9)
- Polen (9)
- cloud computing (9)
- Cloud Computing (8)
- Forschungskolleg (8)
Institute
- Wirtschaftswissenschaften (182)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (117)
- Extern (96)
- Sozialwissenschaften (80)
- Institut für Umweltwissenschaften und Geographie (58)
- Kommunalwissenschaftliches Institut (57)
- WeltTrends e.V. Potsdam (54)
- Hasso-Plattner-Institut für Digital Engineering GmbH (40)
- MenschenRechtsZentrum (37)
- Historisches Institut (27)
August Klughardt
(2002)
Abstract: August Klughardt (1847-1902) Komponist, Dirigent und Pianist Neben Köthen, Dresden, Posen, Lübeck und Weimar sind Dessau und auch Neustrelitz Klughardts wichtigste Lebensstationen. Durch sein kompositorisches Schaffen wie auch durch sein Wirken in den beiden letztgenannten Städten, erlangte er einen über Deutschland hinaus wirkenden Bekanntheitsgrad. Im Wirken Klughardts im Großherzogtum Mecklenburg-Strelitz und im Herzogtum Anhalt vereinen sich der Drang, Neues und qualitativ Hochwertiges zu schaffen und der Anspruch, musikalische Traditionen zu bewahren. Mit der vorliegenden Publikation werden erstmals in größerem Umfange Tagebuchnotizen und persönliche Korrespondenz des Musikers aus den Jahren 1873-1882 veröffentlicht, die einen Einblick nicht nur in das Musik- und Theaterwesen der beiden Residenzstädte Dessau und Neustrelitz geben und gleichzeitig ein Panorama der führenden musikalischen Orte und Köpfe aus der Sicht eines mecklenburgischen Hofkapellmeisters entwerfen. Deutlich heraus tritt dabei seine Beziehung zu den Höfen in Neustrelitz und Dessau. Die Veröffentlichung der im Tagebuch enthaltenen Beschreibung der ersten Bayreuther Festspiele 1876 von Klughardts Hand und eines vorangegangenen Briefwechsels mit Richard Wagner setzt einen zusätzlichen thematischen Schwerpunkt.
Welche mobilen internetfähigen Geräte Studierende der Universität Potsdam nutzen und in welchem Rahmen dies geschieht, soll die hiermit vorgelegte Untersuchung aufzeigen.
Im Sommersemester 2014 hat die AG eLEARNiNG der Universität Potsdam unter 290 Studierenden unterschiedlicher Fachrichtungen eine Umfrage zum Umgang mobilen, internetfähigen Endgeräten durchgeführt, um das E-Learning-Angebot den Bedürfnissen der Studierenden entsprechend anpassen und weiterentwickeln zu können. Um einen Vergleich zwischen verschiedenen Studiengängen und -standorten ziehen zu können, wurde die Befragung mit Studierenden in Veranstaltungen mit konträren Parametern (Studienfach, Semesterzahl, Universitätsstandort) durchgeführt.
Die vorliegende Veröffentlichung gibt die Ergebnisse einer Befragung von 1247 Studierenden der Universität Potsdam zu deren Mediennutzungsgewohnheiten wieder. Von besonderem Interesse war die Nutzung digitaler Medien im Kontext des Studiums. Die Untersuchung basiert auf einer Reihe gleichartiger Forschungsarbeiten des Karlsruher Instituts für Technologie (KIT), die an mehreren deutschen Hochschulen durchgeführt wurde.
The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation.
In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction.
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management.
Babelsberg/RML
(2015)
New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design.
Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.
Vorwort: Immer mehr Bürgerinnen und Bürger nutzen die vielfältigen Möglichkeiten der neuen elektronischen Medien. Dabei erfreut sich insbesondere das Internet einer zunehmenden Beliebtheit und steigender Nutzerzahlen. Damit verbunden steigt auch die Zahl der Webauftritte und Internetangebote. Doch einem Teil der Internet-Community bleibt der Zugang zu vielen dieser Angebote versagt. Dies sind vor allem Menschen mit Behinderungen, aber auch Nutzer, deren verwendete Hard- und Software zur Darstellung der angebotenen Inhalte seitens der Anbieter nicht unterstützt werden. Im Wesentlichen geht es um zwei Arten von „Barrieren“ bei der Nutzung von Informationstechnik: Zum einen um technische Barrieren bei der Darstellung und zum anderen um kognitive Barrieren bezüglich des Verstehens der dargestellten Inhalte. Die Schaffung barrierefreier Informationstechnik ist deshalb ein wichtiges Kriterium bei der Ausgestaltung öffentlicher Internetauftritte und -angebote. Hierzu gibt es eine Reihe rechtlicher Regelungen, unter anderem im Behindertengleichstellungsgesetz (BGG) oder der Barrierefreien Informationstechnikverordnung (BITV), deren Umsetzung in den einzelnen Bundesländern sehr unterschiedlich geregelt ist. Auch wenn die Kommunen in manchen Bundesländern – so auch in Brandenburg – von den gesetzlichen Regelungen ausgenommen sind, ist eine Realisierung barrierefreier Internetauftritte von Kommunen wünschenswert, um allen Bürgern einen gleichwertigen Zugang zu kommunalen Interangeboten zu ermöglichen. Um vor allem die kommunale Praxis bei der Erstellung barrierefreier Internetangebote zu unterstützen, hat das Kommunalwissenschaftliche Institut (KWI) der Universität Potsdam im Dezember 2004 einen Workshop unter dem Titel „Barrierefreie Internetauftritte – Aspekte der Umsetzung des Behindertengleichstellungsgesetzes in elektronischen Medien“ veranstaltet. Ziel war es, umfassende Informationen zum Thema „Barrierefreiheit“ zu vermitteln sowie Hinweise und Lösungsmöglichkeiten für die Realisierung barrierefreier Internetauftritte zu geben. Im Mittelpunkt standen dabei folgende Fragen: Was können und sollen kommunale Internetauftritte leisten? Was bedeutet Barrierefreiheit bezüglich „elektronischer Medien“ und welche Auswirkungen ergeben sich daraus für die Gestaltung von Internetauftritten? Welche gesetzlichen Regelungen gibt es und welche Geltungsbereiche haben sie im Einzelnen? Welche technischen Lösungen kommen für die Erstellung barrierefreier Internetseiten in Betracht? Das vorliegende Arbeitsheft ist Teil der Dokumentation der Ergebnisse des Workshops. Die einzelnen Beiträge fassen die Vorträge der Referenten zusammen.
Die altägyptische Siedlung Bubastis (heute Tell Basta), die im südlichen Teil des östlichen Nildetltas gelegen ist, erlangte bereits im Alten Reich große Bedeutung und entwicklelte sich unter den Königen der 22. Dynastie, welche in dieser Stadt residierten und den Tempel der Stadtgöttin Bastet umfassend ausbauten, zur einflussreichsten Stadt des ägyptischen Deltas. Noch zu Herodots Zeiten war Bubastis für seinen großen Tempel und das alljäjhrlich zu Ehren der Göttin stattfindende Fest weithin berühmt. Die archäologische Erforschung von Tell Basta, die inzwischen mehr als ein Jahrhundert andauert, brachte zahlreiche Bauwerke hervor, die sowohl unter Fachleuten als auch interessierten Laien und Touristen auf großes Interesse stoßen. Allerdings gibt es zum Teil große Schwierigkeiten, an entsprechende Grabungsberichte zu gelangen, die recht verstreut publiziert sind. Der hier vorgelegte Band soll diesem Desiderat entgegenwirken, indem die Berichte und Publikationen über Tell Basta bis zum Jahre 1908 als Nachdruck vorgelegt und somit einem größeren Leserkreis zugänglich gemacht werden.