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)
Auf den Anfang kommt es an
(2007)
Enge Kooperationsformen basieren auf Vertrauen und dementsprechend wurde seine zentrale Rolle für die Funktionsfähigkeit von Netzwerken in den letzten Jahren auch zunehmend anerkannt. Diese Bedeutung von Vertrauen wird in grenzüberschreitenden Netzwerken noch potenziert, da neben den mangelnden formalen Sanktionsmöglichkeiten und der Ungleichzeitigkeit des Tauschs die Unsicherheiten resultierend aus der Berührung unterschiedlicher Wirtschafts-, Kultur und Rechtsräume zunehmen, während gleichzeitig die Funktionsfähigkeit verschiedener Institutionen zur Reduzierung dieser Unsicherheiten abnimmt. Trotz dieser anerkannten Rolle, die Vertrauen in grenzüberschreitenden Kooperationen spielt, wird dem Aufbau von Vertrauen in grenzüberschreitenden Netzwerken und den Möglichkeiten einer gezielten Vertrauensförderung in der Literatur bisher nur wenig Beachtung geschenkt. Um diese Fragen näher zu untersuchen, wurde eine empirische Studie zwischen den deutschen, polnischen und tschechischen Akteuren des von der Europäischen Union geförderten Projektes Enlarge-Net durchgeführt. Die Ergebnisse dieser Studie zeigen, dass gemeinsame Erfahrungen und wiederholte Interaktion, direkte Kommunikation, institutionellen Rahmenbedingungen, soziale, kulturelle und räumliche Distanzen zwischen den Akteuren und Dritten Parteien einen entscheidenden Einfluss auf den Vertrauensaufbau zwischen den Akteuren eines grenzüberschreitenden Netzwerkes haben. Um den Prozess des Vertrauensaufbaus zu fördern, sollte ein Vertrauensmanagement eingeführt werden, das unter anderem auf die Schaffung formaler und informeller Austauschplattformen abzielt, die Qualität der Kommunikation verbessert und Regeln der Kooperation institutionalisiert. Doch bleibt zu beachten, dass es sich bei dem Aufbau von Vertrauen um einen langsamen und sich sukzessive verstärkenden Prozess handelt, der extrem empfindlich gegenüber Störungen ist, die den gesamten Prozess mit einem Schlag zum Erliegen bringen können.
Inhalt: Theoretische Begründung einer Besteuerung von Alterseinkünften Kritische Überprüfung einiger Argumente Die Reformvorschläge und das Simulationsmodell Die Simulationsergebnisse Kritische Bewertung der Ergebnisse Mit einem Kommentar von Hans-Peter Weikard: Rentenbesteuerung und Korrespondenzprinzip: 1. Wie selbstverständlich ist das Korrespondenzprinzip? 2. Die zeitliche Dimension des Korrespondenzprinzips 3. Eine unzulässige Interpretation 4. Fazit
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.
Inhalt: Habachi, Labib: Tell Basta Chapter 1: Introductory: Bubatis and its monuments Chapter II: The temple of Pepi I [I]: Description Chapter III: The temple of Pepi [III]: Finds and importance Chapter IV: General notes on the great temple [I]: Mihos temple and entrance hall Chapter V: General notes on the great temple [II]: Festival hall and hypostyle hall Chapter VI: General notes on the great temple [III]: The temple of Nektanebos (Nekht-har-hebi) Chapter VII: Work outside the temples Chapter VIII: Blocks transferred to Bubastis Chapter IX: Blocks removed from Bubastis Farid, Shafik: Preliminary report on the excavations of the antiquities department at Tell Basta
Die Automatisierung von Geschäftsprozessen unterstützt Unternehmen, die Ausführung ihrer Prozesse effizienter zu gestalten. In existierenden Business Process Management Systemen, werden die Instanzen eines Prozesses völlig unabhängig voneinander ausgeführt. Jedoch kann das Synchronisieren von Instanzen mit ähnlichen Charakteristiken wie z.B. den gleichen Daten zu reduzierten Ausführungskosten führen. Zum Beispiel, wenn ein Onlinehändler zwei Bestellungen vom selben Kunden mit der gleichen Lieferanschrift erhält, können diese zusammen verpackt und versendet werden, um Versandkosten zu sparen. In diesem Papier verwenden wir Konzepte aus dem Datenbankbereich und führen Datensichten für Geschäftsprozesse ein, um Instanzen zu identifizieren, welche synchronisiert werden können. Auf Grundlage der Datensichten führen wir das Konzept der Batch-Regionen ein. Eine Batch-Region ermöglicht eine kontext-bewusste Instanzen-Synchronisierung über mehrere verbundene Aktivitäten. Das eingeführte Konzept wird mit einer Fallstudie evaluiert, bei der ein Kostenvergleich zwischen der normalen Prozessausführung und der Batchverarbeitung durchgeführt wird.
Im Rahmen dieser Studie soll ermittelt werden, welche Bedeutung sowohl quantitative, als auch qualitative Kriterien für die Beurteilung von Risiken in den Akteursgruppen Manager, Verwaltungsangehörige, Experten und Laien einnehmen. Bei der Beurteilung von Umweltrisiken spielen neben quantitativen Beurteilungskriterien (z.B. der Schadenswahrscheinlichkeit) auch qualitative Kriterien (z.B. die ausgelösten Emotionen) eine zentrale Rolle, wie insbesondere die Ergebnisse der psychometrischen Risikoforschung zeigen.
Soziologische Polizeiforschung hebt zumeist folgende Aspekte der Polizei hervor: Ihre Zuständigkeit für öffentliche Sicherheit, ihr Einsatz von Gewalt im Namen eines staatlichen Gewaltmonopols, die Tätigkeit des Polizisten als Beruf. Häufig wird auch die Verwurzelung des Polizeiwesens in okzidentalen Kulturen hervorgehoben. In dieser kulturvergleichenden Studie werden diese Punkte anhand historischer und nicht-deutscher Polizeien untersucht. 1. Sicherheit: Wie in Gesellschaften, in denen es eine Öffentlichkeit im polizeigesetzlichen Sinne gar nicht gibt Sicherheit und Ordnung garantiert werden, interessiert Franziska Harnisch und Anja Bruhn, die sich mit dem Phänomen der Blutrache auseinandergesetzt haben. 2. Staatlichkeit: Die Beobachtung, dass die moderne Polizei an die Existenz einer differenzierten Staatlichkeit gebunden ist, ermuntert zu weiterführenden der Frage, wie die Polizei in verschiedenen nationalen Rechtskontexten eingerichtet ist. Während Mathias Graßmann die Polizei der Bundesrepublik Deutschland analysiert, betrachtet Björn Schülzke die Lage in den USA. Wie eine über staatliche Grenzen hinaus agierende Polizeibehörde funktionieren kann, hat Frederick Sixtus anhand der Beispiele von Europol und Interpol untersucht. 3. Gewalt: Die soziologische Literatur interessiert sich besonders für die Verkörperung des Gewaltmonopols in der Polizei. Inwieweit dieses Interesse berechtigt ist und wie sehr polizeiliche Arbeit tatsächlich mit der Ausübung von Gewalt zu tun hat, ist für alle Beiträge in diesem Buch richtungsweisend, insbesondere aber für den von Christiane Mochan über Gewalt und Polizei. Inwieweit diese Gewalt auch als staatlicher Terror ausgeübt werden kann, ist eine leitende Frage des Kapitels über die Opritschnina von Julia Fatianova. 4. Gehalt: Vieles spricht dafür, von Polizei dann zu sprechen, wenn ihre Mitarbeiter ein regelmäßiges Einkommen beziehen. Viele Vertreter von Vorformen der Polizei lebten hingegen von anlassbezogenen Prämien. Die Liktoren im Alten Rom mit ihrem regelmäßigen Einkommen durchkreuzen allerdings die These, dass es ein Phänomen der Moderne sei, Polizisten regelmäßig zu entlohnen. Deswegen interessiert sich Tanja Zischke in ihrem Beitrag für diese antike Frühform der Polizei. 5. Okzident: Häufig geht die polizeisoziologische Forschung stillschweigend davon aus, dass die Polizei ein Phänomen der okzidentalen Moderne sei. Max Weber z.B. unterstellt orientalischen Gesellschaften, nichts mit der Polizei vergleichbares hervorgebracht zu haben. Vor diesem Hintergrund geht Jonas Grutzpalk der Frage nach, wie eine originär orientalische Polizei, nämlich die saudi-arabische Mutawa, entstehen konnte. Wie die nach okzidentalen Vorbildern eingerichtete Polizei in Kambodscha arbeitet und in der Bevölkerung angenommen wird, analysiert Saskia Ellenbeck. Ziel dieses Buches ist, durch den Vergleich der hier erfassten Polizeikulturen mehr über die Polizei als solche zu erfahren. Diese Sammlung soll die Polizeisoziologie auf dem Feld der kulturvergleichenden Forschung bereichern.
Der anfangs geschlossene weichselkaltzeitliche Eiskörper gliederte sich durch in der allgemeinen Rückschmelzphase gebildetes Relief zunehmend in (lokale) Gletscherströme, Gletscherloben und Gletscherzungen, insbesondere durch Eisvorstöße. Gletschervorstöße unterbrachen immer wieder die Deglaziationsphase.br> Aus diesem Grunde sind hier die meisten bogen- oder halbmondförmigen oder gewinkelten schmalen Rückengrundrisse mit Gletschzungenbecken verbunden. Diese Oberlächenformen werden 6-7 Eisrandlagen zugeordnet. Wie sicher ist jedoch der bisher beschriebene Verlauf der weichselkaltzeitlichen Maximalrandlage des Brandenburger Stadiums in diesem Gebiet? Einige Befunde (Relief, Sand, Kiese, Steine, Lehme) weisen auf eine mögliche Existenz einer äußersten Eisrandlage in der Urstromtalniederung noch vor der Brandenburger Haupteisrandlage hin. Die marginalen Oberflächenformen des Gebietes beschreibt der Autor durch Lage, Position, Relief, Gesteine, Lagerungsweisen und Deformationen (Strukturbilder). Auch periglaziale Trockentäler sind für die Rekonstruktion von Art und Lagerung der Gesteine geeignet. Die sichere und umfassende Kenntnis von Glazialstrukturen hat Bedeutung für die Lösung von Fragen der Lagerstätten, Hydrologie und Ökologie. Erforscht wurden typische lokale Glazialformen: Endmoränen, akkumulative Endmoränen, Stauch(end)moränen (die meisten gestauchten Rücken bestehen aus rolligen Sedimenten), überfahrene Endmoränen, Kombinations- bzw. zusammengesetzte Endmoränen (gestauchten Sockeln sind ungestauchte Sedimente aufgesetzt und angelagert), Sander, Grundmoränen mit gepressten Sedimenten unter dünnen weichselkaltzeitlichen Tillen, Gletscherzungenbecken, Drumlins, subglaziale Rinnen, Kames, Kamesfelder und Talsandniederungen mit alten Elbläufen. Diskutiert wird auch die glaziale und holozäne Genese der Unteren Havel und der Elbe zwischen Burg und Havelberg. Am Ende der Arbeit demonstriert eine Überblickskarte die möglichen weichselkaltzeitlichen Eisrandlagen zwischen Elbe und Nuthe (Potsdam). Folgende Probleme werden behandelt: 1. Gliedert sich das weichselkaltzeitliche Inlandeis in Eisströme, Eisloben sowie Eiszungen, und wie ist deren morphologisch-strukturelle Prägekraft im Elbhavelwinkel? 2. Endmoränentypen: Satzendmoränen - Ablationsendmoränen, kombinierte Endmoränen 3. Vorstellung regionaltypischer glazialgenetischer Oberflächenformen: End- und Grundmoränen sowie Kames - einschließlich Relief, Sedimentart, Lagerungsweise / Struktur 4. Vergleich glazialer Oberflächenformen von Elbhavelwinkel mit Grund- und Endmoränen des Potsdamer Raumes 5. Da Eisrandlagenverläufe auch Hinweise auf Lagerungsweisen oberflächennaher, verdeckter Schichten geben sollten, die für die Lösung praktischer geologischer und hydrologischer Fragestellungen relevant sind, müssen Rekonstruktionsversuche von Eisrandlagen u.a. geomorphologische und besonders strukturelle sowie lithologische Befunde berücksichtigen. 6. Gibt es eine äußerste Randlage noch vor der Brandenburger Haupteisrandlage? 7. Wie vollzogen sich Glazial- und Holozänentwicklung von Elbe und unterer Havel im äußersten jungglazialen Gebiet? 8. Verallgemeinernde Zusammenfassung zur strukturell-lithologischen und morphogenetischen Ausstattung der Eisrandlagen des Elbhavelwinkels
Dieser Band knüpft an die repräsentative Dokumentation des Fortbildungsprojektes Belcantare Brandenburg. Jedes Kind kann singen! für musikunterrichtende Grundschullehrkräfte im Land Brandenburg und seine begleitendende Evaluationsforschung an. Inhaltlicher Schwerpunkt dieses Bandes ist die Vorstellung der explorativen Evaluationsstudie mit ihren sensiblen Konzepten, Fragenstellungen, ihrem triangulierenden Forschungsdesign und ausgewählten Forschungsergebnissen aus den Staffeln 1 und 2.
Die fachdidaktischen, musikpsychologischen und methodischen Kontexte der Evaluationsforschung werden durch Fachartikel entsprechender Autoren in diesem Band transparent und bereichern ihn im besonderen Maße. Die Mitwirkung von Studierenden am Forschungsprozess erforderte Anwendungsleitfäden zur methodischen Handhabung verschiedener Erhebungsinstrumente und Auswertungsmethoden zu entwickeln, denen hier der Raum zur Veröffentlichung gegeben wurde.