@inproceedings{TrilckeParrD'Aprileetal.2022, author = {Trilcke, Peer and Parr, Rolf and D'Aprile, Iwan-Michelangelo and Kraus, Hans-Christof and Blomqvist, Clarissa and McGillen, Petra S. and Aus der Au, Carmen and Phillips, Alexander Robert and Helmer, Debora and Singer, R{\"u}diger and G{\"o}rner, R{\"u}diger and Berbig, Roland and Rose, Dirk and Wilhelms, Kerstin and Krause, Marcus and Hehle, Christine and Gretz, Daniela and Gfrereis, Heike and Lepp, Nicola and Morlok, Franziska and Haut, Gideon and Brechenmacher, Thomas and Stauffer, Isabelle and Lyon, John B. and Bachmann, Vera and Ewert, Michael and Immer, Nikolas and Vedder, Ulrike and Fischer, Hubertus and Becker, Sabina and Wegmann, Christoph and M{\"o}ller, Klaus-Peter and Schneider, Ulrike and Waszynski, Alexander and Wedel, Michael and Brehm, David and Wolpert, Georg}, title = {Fontanes Medien}, editor = {Trilcke, Peer}, publisher = {De Gruyter}, address = {Berlin}, isbn = {978-3-11-073330-3}, doi = {10.1515/9783110733235}, pages = {XIII, 672}, year = {2022}, abstract = {Theodor Fontane war, im durchaus modernen Sinne, ein Medienarbeiter: Als Presse-Agent in London lernte er die innovativste Presselandschaft seiner Zeit kennen; als Redakteur in Berlin leistete er journalistische K{\"a}rrnerarbeit; er schrieb Kritiken {\"u}ber das Theater, die bildende Kunst und die Literatur - und auch seine Romane wie seine Reiseb{\"u}cher sind stets Medienprodukte, als Serien in in Zeitungen und Zeitschriften platziert, bevor sie auf dem Buchmarkt erschienen. Der vorliegende Band dokumentiert die Ergebnisse eines internationalen Kongresses, veranstaltet 2019 vom Theodor-Fontane-Archiv in Potsdam. Die ebenso rasante wie umfassende Medialisierung und Vernetzung der Gesellschaft im Laufe des 19. Jahrhunderts wird dabei als produktive Voraussetzung der schriftstellerischen T{\"a}tigkeit Fontanes begriffen. Eingebettet in ein weit verzweigtes Netz der Korrespondenz und der postalischen Textzirkulation, vertraut mit den Routinen und Publika der periodischen Massenpresse, f{\"u}r die er sein Leben lang schrieb, und auf vielf{\"a}ltige Weise gepr{\"a}gt von der visuellen Kultur seiner Zeit wird Theodor Fontane als gleichermaßen journalistisch versierter wie {\"a}sthetisch sensibler Grenzg{\"a}nger erkennbar.}, language = {de} } @inproceedings{CurzonKalasSchubertetal.2015, author = {Curzon, Paul and Kalas, Ivan and Schubert, Sigrid and Schaper, Niclas and Barnes, Jan and Kennewell, Steve and Br{\"o}ker, Kathrin and Kastens, Uwe and Magenheim, Johannes and Dagiene, Valentina and Stupuriene, Gabriele and Ellis, Jason Brent and Abreu-Ellis, Carla Reis and Grillenberger, Andreas and Romeike, Ralf and Haugsbakken, Halvdan and Jones, Anthony and Lewin, Cathy and McNicol, Sarah and Nelles, Wolfgang and Neugebauer, Jonas and Ohrndorf, Laura and Schaper, Niclas and Schubert, Sigrid and Opel, Simone and Kramer, Matthias and Trommen, Michael and Pottb{\"a}cker, Florian and Ilaghef, Youssef and Passig, David and Tzuriel, David and Kedmi, Ganit Eshel and Saito, Toshinori and Webb, Mary and Weigend, Michael and Bottino, Rosa and Chioccariello, Augusto and Christensen, Rhonda and Knezek, Gerald and Gioko, Anthony Maina and Angondi, Enos Kiforo and Waga, Rosemary and Ohrndorf, Laura and Or-Bach, Rachel and Preston, Christina and Younie, Sarah and Przybylla, Mareen and Romeike, Ralf and Reynolds, Nicholas and Swainston, Andrew and Bendrups, Faye and Sysło, Maciej M. and Kwiatkowska, Anna Beata and Zieris, Holger and Gerstberger, Herbert and M{\"u}ller, Wolfgang and B{\"u}chner, Steffen and Opel, Simone and Schiller, Thomas and Wegner, Christian and Zender, Raphael and Lucke, Ulrike and Diethelm, Ira and Syrbe, J{\"o}rn and Lai, Kwok-Wing and Davis, Niki and Eickelmann, Birgit and Erstad, Ola and Fisser, Petra and Gibson, David and Khaddage, Ferial and Knezek, Gerald and Micheuz, Peter and Kloos, Carlos Delgado}, title = {KEYCIT 2014}, editor = {Brinda, Torsten and Reynolds, Nicholas and Romeike, Ralf and Schwill, Andreas}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-292-6}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-70325}, pages = {438}, year = {2015}, abstract = {In our rapidly changing world it is increasingly important not only to be an expert in a chosen field of study but also to be able to respond to developments, master new approaches to solving problems, and fulfil changing requirements in the modern world and in the job market. In response to these needs key competencies in understanding, developing and using new digital technologies are being brought into focus in school and university programmes. The IFIP TC3 conference "KEYCIT - Key Competences in Informatics and ICT (KEYCIT 2014)" was held at the University of Potsdam in Germany from July 1st to 4th, 2014 and addressed the combination of key competencies, Informatics and ICT in detail. The conference was organized into strands focusing on secondary education, university education and teacher education (organized by IFIP WGs 3.1 and 3.3) and provided a forum to present and to discuss research, case studies, positions, and national perspectives in this field.}, language = {en} } @inproceedings{ArlettazBadoBakosKovacsetal.2014, author = {Arlettaz, Jordane and Bad{\´o}, Attila and Bakos-Kov{\´a}cs, Kitti and Bat{\´o}, Szilvia and B{\´o}ka, J{\´a}nos and Congnard, Laureline and Csatl{\´o}s, Erzs{\´e}bet and Gedeon, Magdolna and Guemar, Carine and Hajd{\´u}, D{\´o}ra and Jacs{\´o}, Judit and Kelemen, Katalin and Fekete, Bal{\´a}zs and Kruzslicz, P{\´e}ter and Mezei, P{\´e}ter and Szűcs, T{\"u}nde and Zolt{\´a}n, P{\´e}teri and Szab{\´o}, B{\´e}la P.}, title = {Internationale Konferenz zum zehnj{\"a}hrigen Bestehen des Instituts f{\"u}r Rechtsvergleichung der Universit{\"a}t Szeged}, editor = {Bad{\´o}, Attila and Belling, Detlev W. and B{\´o}ka, J{\´a}nos and Mezei, P{\´e}ter}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-308-4}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72039}, pages = {296}, year = {2014}, abstract = {Die Konferenz „International Conference for the 10th Anniversary of the Institute of Comparative Law" hat am 24. Mai 2013 in Szeged stattgefunden. Im Rahmen der viersprachigen Konferenz haben mehr als dreißig Teilnehmer ihre Forschungsergebnisse pr{\"a}sentiert. Der Essay von Zolt{\´a}n P{\´e}teri blickt auf die Disziplin aus der Perspektive der Wissenschaftsgeschichte. Katalin Kelemen und Bal{\´a}zs Fekete gehen in ihrem Aufsatz der Frage nach, welchen Weg die Versuche der Klassifikation der Rechtssysteme von Osteuropa in der sp{\"a}ten Phase der Umbr{\"u}che der 1980/90er Jahren genommen haben. Die historische Betrachtungsweise mit Bezug auf Rechtsgeschichte und Rechtsvergleichung spiegelt sich auch in anderen Essays wider, vor allem in den Aufs{\"a}tzen von Szilvia Bat{\´o}, Magdolna Gedeon und B{\´e}la Szab{\´o} P. sowie auch in den Aufs{\"a}tzen von P{\´e}ter Mezei und T{\"u}nde Szűcs. Attila Bad{\´o} analysiert die Rechtsvergleichung aus der Sicht des Rechts, der Soziologie und der Politikwissenschaft anhand von Untersuchungen {\"u}ber das Sanktionsystem der Richter in den USA. Diese politikwissenschaftliche Seite wird auch in den Aufs{\"a}tzen {\"u}ber die aktuellen Fragen der europ{\"a}ischen Integration von Carine Guemar und Laureline Congnard betont. Eine Reihe von Aufs{\"a}tzen behandeln die konventionelle normative Komparatistik auf dem Gebiet des Verfassungsrechts (Jordane Arlettaz und P{\´e}ter Kruzslicz), Gesellschaftsrechts (Kitti Bakos-Kov{\´a}cs), Urheberrechts (D{\´o}ra Hajd{\´u}) und Steuerrechts (Judit Jacs{\´o}). Daneben bilden eine weitere Gruppe die Aufs{\"a}tze von J{\´a}nos B{\´o}ka und Erzs{\´e}bet Csatl{\´o}s, die die Verwendung der vergleichenden Methode in der Praxis der Rechtsprechung untersuchen. Die Rechtsvergleichung ist eine sich dynamisch entwickelnde Disziplin. Die Konferenz und dieser Band dienen nicht nur der W{\"u}rdigung der bisherigen Arbeit des Instituts f{\"u}r Rechtsvergleichung, sondern zeigen gleichzeitig neue Ziele auf. Die wichtigsten Grunds{\"a}tze bleiben aber fest verankert auch in einem sich stets ver{\"a}ndernden rechtlichen und geistigen Umfeld. Das Motto des Instituts lautet „instruere et docere omnes qui edoceri desiderant" - „alle lehren, die lernen wollen." Auch in den folgenden Jahrzehnten werden uns der Wille des Lernens und Lehrens, die Freiheit der Forschung sowie die {\"U}bertragung und Weiterentwicklung der ungarischen wie globalen Rechtskultur leiten.}, language = {de} } @inproceedings{HofukuChoNishidaetal.2013, author = {Hofuku, Yayoi and Cho, Shinya and Nishida, Tomohiro and Kanemune, Susumu and Linck, Barbara and Kim, Seungyon and Park, Seongbin and Van{\´i}ček, Jiř{\´i} and Gujberov{\´a}, Monika and Tomcs{\´a}nyi, Peter and Dagiene, Valentina and Jevsikova, Tatjana and Schulte, Carsten and Sentance, Sue and Thota, Neena and G{\"u}lbahar, Yasemin and İlkhan, Mustafa and Kilis, Selcan and Arslan, Okan and Nakano, Yoshiaki and Izutsu, Katsunobu and Lessner, Daniel and Reffay, Christophe and Miled, Mahdi and Ortiz, Pascal and F{\´e}vrier, Lo{\"i}c and Grgurina, Nataša and Weise, Martin and Bellettini, Carlo and Lonati, Violetta and Malchiodi, Dario and Monga, Mattia and Morpurgo, Anna and Torelli, Mauro and Planteu, Lukas and Standl, Bernhard and Grossmann, Wilfried and Neuwirth, Erich and Benacka, Jan and Ragonis, Noa and Hodges, Steve and Berry, Carol and Kusterer, Peter}, title = {Informatics in schools : local proceedings of the 6th International Conference ISSEP 2013 ; selected papers ; Oldenburg, Germany, February 26-March 2, 2013}, editor = {Diethelm, Ira and Arndt, Jannik and D{\"u}nnebier, Malte and Syrbe, J{\"o}rn}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-222-3}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-63688}, pages = {162}, year = {2013}, abstract = {The International Conference on Informatics in Schools: Situation, Evolution and Perspectives - ISSEP - is a forum for researchers and practitioners in the area of Informatics education, both in primary and secondary schools. It provides an opportunity for educators to reflect upon the goals and objectives of this subject, its curricula and various teaching/learning paradigms and topics, possible connections to everyday life and various ways of establishing Informatics Education in schools. This conference also cares about teaching/learning materials, various forms of assessment, traditional and innovative educational research designs, Informatics' contribution to the preparation of children for the 21st century, motivating competitions, projects and activities supporting informatics education in school.}, language = {en} } @inproceedings{WedernikovSlivaEbseevetal.2013, author = {Wedernikov, Nikolaij T. and Sliva, Anatolij J. and Ebseev, Boris S. and Mitjukov, Mitjukov, Michail Alekseevič and Bobrowa, Vera K. and Yustus, Ekaterina and Postier, R{\"u}diger and Schulze, Carola and Hoof, Karsten and Steinhorst, Lars and Straschun, Boris A. and Narutto, Svetlana Vasil'evna and Michaleva, Nadezda A. and Fadeev, Vladimir Ivanovič and Warlen, Maria V.}, title = {Verfassungsgerichtsbarkeit in der Russischen F{\"o}deration und in der Bundesrepublik Deutschland}, editor = {Schulze, Carola and Fadeev, Vladimir Ivanovič}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, organization = {Universit{\"a}t Potsdam, Juristische Fakult{\"a}t}, isbn = {978-3-86956-267-4}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-67861}, pages = {XX, 152}, year = {2013}, abstract = {Der Tagungsband enth{\"a}lt die Referate und Diskussionsbeitr{\"a}ge des in Moskau an der Staatlichen Juristischen Kutafin-Universit{\"a}t am 9. und 10. Oktober 2012 durchgef{\"u}hrten Rundtischgespr{\"a}ches zur Verfassungsgerichtsbarkeit. Behandelt werden ausgew{\"a}hlte rechtshistorische und -politische Fragen sowie aktuelle rechtliche Probleme der Verfassungsgerichtsbarkeit in der Russischen F{\"o}deration und der Bundesrepublik Deutschland sowohl aus der Sicht der Rechtspraxis als auch der Wissenschaft: insbesondere die Entwicklung der Verfassungsgerichtsbarkeit in Geschichte und Gegenwart, Status, Rechtsnatur und Aufgaben des Verfassungsgerichts in den Subjekten der F{\"o}deration und in den L{\"a}ndern sowie Verfassungsgericht und Gesetzgebung. Zudem werden Spezialfragen der Verfassungsgerichtsbarkeit er{\"o}rtert, z.B. die Institution des Bevollm{\"a}chtigten Vertreters des Pr{\"a}sidenten im Verfassungsgericht in Russland, der Eilrechtsschutz durch das BVerfG und der Rechtsschutz bei {\"u}berlangen Verfahren vor dem BVerfG in Deutschland.}, language = {de} } @inproceedings{BandaGallagher2010, author = {Banda, Gourinath and Gallagher, John P.}, title = {Constraint-based abstraction of a model checker for infinite state systems}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41516}, year = {2010}, abstract = {Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.}, language = {en} } @inproceedings{GoltzPieth2010, author = {Goltz, Hans-Joachim and Pieth, Norbert}, title = {A tool for generating partition schedules of multiprocessor systems}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41556}, year = {2010}, abstract = {A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.}, language = {en} } @inproceedings{Schrijvers2010, author = {Schrijvers, Tom}, title = {Overview of the monadic constraint programming framework}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41411}, year = {2010}, abstract = {A constraint programming system combines two essential components: a constraint solver and a search engine. The constraint solver reasons about satisfiability of conjunctions of constraints, and the search engine controls the search for solutions by iteratively exploring a disjunctive search tree defined by the constraint program. The Monadic Constraint Programming framework gives a monadic definition of constraint programming where the solver is defined as a monad threaded through the monadic search tree. Search and search strategies can then be defined as firstclass objects that can themselves be built or extended by composable search transformers. Search transformers give a powerful and unifying approach to viewing search in constraint programming, and the resulting constraint programming system is first class and extremely flexible.}, language = {en} } @inproceedings{HerreHummel2010, author = {Herre, Heinrich and Hummel, Axel}, title = {Stationary generated models of generalized logic programs}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41501}, year = {2010}, abstract = {The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion is proposed that selects the 'intended' partial models of generalized logic programs which is a conservative extension of the stationary semantics for normal logic programs of [Prz91]. The presented preference criterion defines a partial model of a generalized logic program as intended if it is generated by a stationary chain. It turns out that the stationary generated models coincide with the stationary models on the class of normal logic programs. The general wellfounded semantics of such a program is defined as the set-theoretical intersection of its stationary generated models. For normal logic programs the general wellfounded semantics equals the wellfounded semantics.}, language = {en} } @inproceedings{AbdennadherIsmailKhoury2010, author = {Abdennadher, Slim and Ismail, Haythem and Khoury, Frederick}, title = {Transforming imperative algorithms to constraint handling rules}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41533}, year = {2010}, abstract = {Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.}, language = {en} }