56507
2023
2023
deu
299
13
conferenceobject
Universitätsverlag Potsdam
Potsdam
1
2023-11-09
2023-11-09
--
Hochschuldidaktik Informatik HDI 2021
Die Fachtagungen HDI (Hochschuldidaktik Informatik) beschäftigen sich mit den unterschiedlichen Aspekten informatischer Bildung im Hochschulbereich. Neben den allgemeinen Themen wie verschiedenen Lehr- und Lernformen, dem Einsatz von Informatiksystemen in der Hochschullehre oder Fragen der Gewinnung von geeigneten Studierenden, deren Kompetenzerwerb oder auch der Betreuung der Studierenden widmet sich die HDI immer auch einem Schwerpunktthema.
Im Jahr 2021 war dies die Berücksichtigung von Diversität in der Lehre. Diskutiert wurden beispielsweise die Einbeziehung von besonderen fachlichen und überfachlichen Kompetenzen Studierender, der Unterstützung von Durchlässigkeit aus nichtakademischen Berufen, aber auch die Gestaltung inklusiver Lehr- und Lernszenarios, Aspekte des Lebenslangen Lernens oder sich an die Diversität von Studierenden adaptierte oder adaptierende Lehrsysteme.
Dieser Band enthält ausgewählte Beiträge der 9. Fachtagung 2021, die in besonderer Weise die Konferenz und die dort diskutierten Themen repräsentieren.
Commentarii informaticae didacticae
9. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik 15.–16. September 2021 in Dortmund
10.25932/publishup-56507
urn:nbn:de:kobv:517-opus4-565070
1868-0844
2191-1940
978-3-86956-548-4
online registration
publish
SR 910, SR 917
In Printform erschienen im <a href="https://www.ub.uni-potsdam.de/de/publizieren/universitaetsverlag">Universitätsverlag Potsdam</a>:<br/><br/>Hochschuldidaktik Informatik (HDI) 2021 : 9. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik 15. - 16. September 2021 in Dortmund / Jörg Desel, Simone Opel, Juliane Siegeris, Claude Draude, Gerhard Weber, Timon Schell, Andreas Schwill, Carsten Thorbrügge, Len Ole Schäfer, Cajus Marian Netzer, Dietrich Gerstenberger, Felix Winkelnkemper, Carsten Schulte, Axel Böttcher, Veronika Thurner, Tanja Häfner, Sarah Ottinger, Gregor Große-Bölting, Lukas Scheppach, David Baberowski, Helena Barbas, Esther Bender, Nadine Bergner, Leif Bonorden, Fabian Hamann, Uwe Hoppe, Thiemo Leonhardt, Andreas Mühling, Susanne Rentsch, Daniel Sitzmann, Marcus Soll, Jonas Stemme, Karsten Weicker. - Potsdam : Universitätsverlag Potsdam, 2023. - 299 S.<br/>(Commentarii informaticae didacticae (CID) ; 13)<br/>ISBN 978-3-86956-548-4 <br/>ISSN (print) 1868-0844<br/>--> <a href="https://shop.verlag.uni-potsdam.de/shop/hochschuldidaktik-informatik-hdi-2021/">bestellen</a>
CC-BY - Namensnennung 4.0 International
Jörg Desel
Simone Opel
Juliane Siegeris
Claude Draude
Gerhard Weber
Timon Schell
Andreas Schwill
Carsten Thorbrügge
Len Ole Schäfer
Cajus Marian Netzer
Dietrich Gerstenberger
Felix Winkelnkemper
Carsten Schulte
Axel Böttcher
Veronika Thurner
Tanja Häfner
Sarah Ottinger
Gregor Große-Bölting
Lukas Scheppach
Andreas Mühling
David Baberowski
Thiemo Leonhardt
Susanne Rentsch
Nadine Bergner
Leif Bonorden
Jonas Stemme
Uwe Hoppe
Karsten Weicker
Esther Bender
Helena Barbas
Fabian Hamann
Marcus Soll
Daniel Sitzmann
Commentarii informaticae didacticae (CID)
13
deu
uncontrolled
Hochschuldidaktik
deu
uncontrolled
Informatikdidaktik
deu
uncontrolled
HDI
deu
uncontrolled
Hochschullehre
deu
uncontrolled
digitale Hochschullehre
deu
uncontrolled
Diversität
deu
uncontrolled
Heterogenität
deu
uncontrolled
Lebenslanges Lernen
deu
uncontrolled
Informatikstudium
deu
uncontrolled
Didaktische Konzepte
deu
uncontrolled
Assessment
Datenverarbeitung; Informatik
Bildung und Erziehung
open_access
Commentarii informaticae didacticae (CID)
Extern
Institut für Informatik und Computational Science
Referiert
Universitätsverlag Potsdam
Gold Open-Access
Universität Potsdam
Universitätsverlag Potsdam
https://publishup.uni-potsdam.de/files/56507/cid13.pdf
57433
2022
2022
deu
331
340
conferenceobject
Eum
Macerata
1
--
--
--
Contextualizing Jewish American Literature
"Minor minorities" and multiculturalism : Italian American and Jewish American literature
978-88-6056-777-2
978-88-6056-778-9
10.13138/iaam_60567789
2974-5225
online registration
publish
Proceedings of a conference held in Athens
April 10-11, 2017
CC-BY-NC-ND - Namensnennung, nicht kommerziell, keine Bearbeitungen 4.0 International
Ulrike Schneider
Religion
Geschichte und Geografie
Extern
Institut für Jüdische Studien und Religionswissenschaft
57406
2022
2022
deu
XIII, 672
conferenceobject
De Gruyter
Berlin
1
2022-11-21
2022-11-21
--
Fontanes Medien
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ärrnerarbeit; er schrieb Kritiken über das Theater, die bildende Kunst und die Literatur – und auch seine Romane wie seine Reisebü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ä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ür die er sein Leben lang schrieb, und auf vielfältige Weise geprägt von der visuellen Kultur seiner Zeit wird Theodor Fontane als gleichermaßen journalistisch versierter wie ästhetisch sensibler Grenzgänger erkennbar.
978-3-11-073330-3
10.1515/9783110733235
978-3-11-073810-0
978-3-11-073323-5
@bookZPR.178, author = Peer Trilcke, title = Fontanes Medien, pages = 1 – 672, keywords = Fontane, Gesellschaft, Medialisierung, Presse, year = 2022, publisher = De Gruyter, address = Berlin, isbn = 978-3-8394-6525-7, doi = 10.14361/9783839465257, licences = 22, collections = 17670, 17157
md5:5ac2a31e3e940bcbe625c720f2f8280a
2023-01-09T15:57:57+00:00
/tmp/phpkObak8
bibtex
63bc3985d052b7.36936711
<a href="https://doi.org/10.25932/publishup-57407">Zweitveröffentlichung in der Schriftenreihe Zweitveröffentlichungen der Universität Potsdam : Philosophische Reihe ; 178</a>
Land Brandenburg
CC-BY - Namensnennung 4.0 International
Peer Trilcke
Rolf Parr
Iwan-Michelangelo D'Aprile
Hans-Christof Kraus
Clarissa Blomqvist
Petra S. McGillen
Carmen Aus der Au
Alexander Robert Phillips
Debora Helmer
Rüdiger Singer
Rüdiger Görner
Roland Berbig
Dirk Rose
Kerstin Wilhelms
Marcus Krause
Christine Hehle
Daniela Gretz
Heike Gfrereis
Nicola Lepp
Franziska Morlok
Gideon Haut
Thomas Brechenmacher
Isabelle Stauffer
John B. Lyon
Vera Bachmann
Michael Ewert
Nikolas Immer
Ulrike Vedder
Hubertus Fischer
Sabina Becker
Christoph Wegmann
Klaus-Peter Möller
Ulrike Schneider
Alexander Waszynski
Michael Wedel
David Brehm
Georg Wolpert
deu
uncontrolled
Fontane, Theodor
deu
uncontrolled
Gesellschaft
deu
uncontrolled
Medialisierung
deu
uncontrolled
Presse
Germanische Sprachen; Deutsch
Institut für Germanistik
Extern
Referiert
Theodor-Fontane-Archiv
Gold Open-Access
Publikationsfonds für Open-Access-Monografien des Landes Brandenburg
7032
2015
2015
eng
438
conferenceobject
Universitätsverlag Potsdam
Potsdam
1
2015-10-12
--
--
KEYCIT 2014
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.
key competencies in informatics and ICT
7216
urn:nbn:de:kobv:517-opus4-70325
978-3-86956-292-6
SR 910
<hr/> In Printform erschienen im <a href="http://info.ub.uni-potsdam.de/verlag.htm">Universitätsverlag Potsdam</a>:<br/><br/> KEYCIT 2014 : key competencies in informatics and ICT / Torsten Brinda, Nicholas Reynolds, Ralf Romeike, Andreas Schwill (Hrsg.). – Potsdam: Universitätsverlag Potsdam, 2015. – 438 S. : Ill., graph. Darst.<br/> (Commentarii informaticae didacticae ; 7)<br/> ISSN (print) 1868-0844<br/> ISSN (online) 2191-1940<br/> ISBN 978-3-86956-292-6<br/> --> <a href="http://info.ub.uni-potsdam.de/cgi-bin/publika/view.pl?id=864">bestellen</a> <hr/>
Paul Curzon
Ivan Kalas
Sigrid Schubert
Niclas Schaper
Jan Barnes
Steve Kennewell
Kathrin Bröker
Uwe Kastens
Johannes Magenheim
Valentina Dagiene
Gabriele Stupuriene
Jason Brent Ellis
Carla Reis Abreu-Ellis
Andreas Grillenberger
Ralf Romeike
Halvdan Haugsbakken
Anthony Jones
Cathy Lewin
Sarah McNicol
Wolfgang Nelles
Jonas Neugebauer
Laura Ohrndorf
Niclas Schaper
Sigrid Schubert
Simone Opel
Matthias Kramer
Michael Trommen
Florian Pottbäcker
Youssef Ilaghef
David Passig
David Tzuriel
Ganit Eshel Kedmi
Toshinori Saito
Mary Webb
Michael Weigend
Rosa Bottino
Augusto Chioccariello
Rhonda Christensen
Gerald Knezek
Anthony Maina Gioko
Enos Kiforo Angondi
Rosemary Waga
Laura Ohrndorf
Rachel Or-Bach
Christina Preston
Sarah Younie
Mareen Przybylla
Ralf Romeike
Nicholas Reynolds
Andrew Swainston
Faye Bendrups
Maciej M. Sysło
Anna Beata Kwiatkowska
Holger Zieris
Herbert Gerstberger
Wolfgang Müller
Steffen Büchner
Simone Opel
Thomas Schiller
Christian Wegner
Raphael Zender
Ulrike Lucke
Ira Diethelm
Jörn Syrbe
Kwok-Wing Lai
Niki Davis
Birgit Eickelmann
Ola Erstad
Petra Fisser
David Gibson
Ferial Khaddage
Gerald Knezek
Peter Micheuz
Carlos Delgado Kloos
Commentarii informaticae didacticae (CID)
7
deu
uncontrolled
Schlüsselkompetenzen
deu
uncontrolled
Informatik
deu
uncontrolled
Bildung
deu
uncontrolled
ICT
deu
uncontrolled
Informatikdidaktik
eng
uncontrolled
Key Competencies
eng
uncontrolled
Informatics
eng
uncontrolled
education
eng
uncontrolled
ICT
eng
uncontrolled
Computer Science Education
Datenverarbeitung; Informatik
open_access
Commentarii informaticae didacticae (CID)
Institut für Informatik und Computational Science
Extern
Universitätsverlag Potsdam
Universität Potsdam
https://publishup.uni-potsdam.de/files/7032/cid07.pdf
7011
2014
deu
296
conferenceobject
Universitätsverlag Potsdam
Potsdam
Institut für Rechtsvergleichung der Juristischen Fakultät der Universität Szeged
1
2014-12-23
--
--
Internationale Konferenz zum zehnjährigen Bestehen des Instituts für Rechtsvergleichung der Universität Szeged
International conference for the 10th anniversary of the Institute of Comparative Law of the University of Szeged
Conférence internationale au 10ème anniversaire de l‘Institut de droit comparé de l‘Université de Szeged
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äsentiert. Der Essay von Zoltán Péteri blickt auf die Disziplin aus der Perspektive der Wissenschaftsgeschichte. Katalin Kelemen und Balázs Fekete gehen in ihrem Aufsatz der Frage nach, welchen Weg die Versuche der Klassifikation der Rechtssysteme von Osteuropa in der späten Phase der Umbrü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ätzen von Szilvia Bató, Magdolna Gedeon und Béla Szabó P. sowie auch in den Aufsätzen von Péter Mezei und Tünde Szűcs. Attila Badó analysiert die Rechtsvergleichung aus der Sicht des Rechts, der Soziologie und der Politikwissenschaft anhand von Untersuchungen über das Sanktionsystem der Richter in den USA. Diese politikwissenschaftliche Seite wird auch in den Aufsätzen über die aktuellen Fragen der europäischen Integration von Carine Guemar und Laureline Congnard betont. Eine Reihe von Aufsätzen behandeln die konventionelle normative Komparatistik auf dem Gebiet des Verfassungsrechts (Jordane Arlettaz und Péter Kruzslicz), Gesellschaftsrechts (Kitti Bakos-Kovács), Urheberrechts (Dóra Hajdú) und Steuerrechts (Judit Jacsó). Daneben bilden eine weitere Gruppe die Aufsätze von János Bóka und Erzsébet Csatló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ürdigung der bisherigen Arbeit des Instituts für Rechtsvergleichung, sondern zeigen gleichzeitig neue Ziele auf. Die wichtigsten Grundsätze bleiben aber fest verankert auch in einem sich stets verä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 Übertragung und Weiterentwicklung der ungarischen wie globalen Rechtskultur leiten.
urn:nbn:de:kobv:517-opus-72039
7203
978-3-86956-308-4
PC 4720
<hr/> In Printform erschienen im <a href="http://info.ub.uni-potsdam.de/verlag.htm">Universitätsverlag Potsdam</a>:<br/><br/> Internationale Konferenz zum zehnjährigen Bestehen des Instituts für Rechtsvergleichung der Universität Szeged = International conference for the 10th anniversary of the Institute of Comparative Law of the University of Szeged = Conférence internationale au 10ème anniversaire de l‘Institut de droit comparé de l‘Université de Szeged / Attila Badó ; Detlev W. Belling ; Jáno Bóka ; Péter Mezei (Hrsg.). – Potsdam, Universitätsverlag Potsdam, 2014. – 296 S. : Ill., graph. Darst.<br/> (Acta Iuridica Universitatis Potsdamiensis ; 1)<br/> ISSN (print) 2199-9686<br/> ISSN (online) 2199-9694<br/> ISBN 978-3-86956-308-4<br/> --> <a href="http://info.ub.uni-potsdam.de/cgi-bin/publika/view.pl?id=832">bestellen</a> <hr/>
CC-BY - Namensnennung 4.0 International
Jordane Arlettaz
Attila Badó
Kitti Bakos-Kovács
Szilvia Bató
János Bóka
Laureline Congnard
Erzsébet Csatlós
Magdolna Gedeon
Carine Guemar
Dóra Hajdú
Judit Jacsó
Katalin Kelemen
Balázs Fekete
Péter Kruzslicz
Péter Mezei
Tünde Szűcs
Péteri Zoltán
Béla P. Szabó
Acta Iuridica Universitatis Potsdamiensis
1
deu
uncontrolled
Rechtsvergleichung
deu
uncontrolled
Rechtsgeschichte
deu
uncontrolled
Verfassungsrecht
deu
uncontrolled
Gesellschaftrecht
deu
uncontrolled
Urheberrecht
eng
uncontrolled
comparative law
eng
uncontrolled
legal history
eng
uncontrolled
constitutional law
eng
uncontrolled
company law
eng
uncontrolled
copyright law
Recht
open_access
Bürgerliches Recht
Extern
Universitätsverlag Potsdam
Acta Iuridica Universitatis Potsdamiensis
Universität Potsdam
https://publishup.uni-potsdam.de/files/7011/aiup01.epub
https://publishup.uni-potsdam.de/files/7011/aiup01.pdf
6587
2013
deu
XX, 152
conferenceobject
Universitätsverlag Potsdam
Potsdam
Universität Potsdam, Juristische Fakultät
1
2013-10-15
--
--
Verfassungsgerichtsbarkeit in der Russischen Föderation und in der Bundesrepublik Deutschland : Rundtischgespräch an der Moskauer Staatlichen Juristischen Kutafin-Universität am 9. und 10. Oktober 2012
Der Tagungsband enthält die Referate und Diskussionsbeiträge des in Moskau an der Staatlichen Juristischen Kutafin-Universität am 9. und 10. Oktober 2012 durchgeführten Rundtischgespräches zur Verfassungsgerichtsbarkeit. Behandelt werden ausgewählte rechtshistorische und -politische Fragen sowie aktuelle rechtliche Probleme der Verfassungsgerichtsbarkeit in der Russischen Fö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öderation und in den Ländern sowie Verfassungsgericht und Gesetzgebung. Zudem werden Spezialfragen der Verfassungsgerichtsbarkeit erörtert, z.B. die Institution des Bevollmächtigten Vertreters des Präsidenten im Verfassungsgericht in Russland, der Eilrechtsschutz durch das BVerfG und der Rechtsschutz bei überlangen Verfahren vor dem BVerfG in Deutschland.
urn:nbn:de:kobv:517-opus-67861
6786
Schulze, Carola (Hrsg.) , Fadeev, Wladimir I. (Hrsg.)
<hr/>In Printform erschienen im <a href="http://info.ub.uni-potsdam.de/verlag.htm">Universitätsverlag Potsdam</a>:<br/><br/> Verfassungsgerichtsbarkeit in der Russischen Föderation und in der Bundesrepublik Deutschland : Rundtischgespräch an der Moskauer Staatlichen Juristischen Kutafin-Universität am 9. und 10. Oktober 2012 / Wladimir I. Fadeev ; Carola Schulze (Hrsg.). – Potsdam : Universitätsverlag Potsdam, 2013. – XX, 152 S.<br/>ISBN 978-3-86956-267-4<br/>--> <a href="http://info.ub.uni-potsdam.de/cgi-bin/publika/view.pl?id=782">bestellen</a><hr/>
PC 4750 ; MF 8200
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Nikolaij T. Wedernikov
Anatolij J. Sliva
Boris S. Ebseev
Michail A. Mitjukov
Vera K. Bobrowa
Ekaterina Yustus
Rüdiger Postier
Carola Schulze
Karsten Hoof
Lars Steinhorst
Boris A. Straschun
Svetlana W. Narutto
Nadezda A. Michaleva
Wladimir I. Fadeev
Maria V. Warlen
deu
uncontrolled
Verfassungsgerichtsbarkeit
deu
uncontrolled
Verfassungsgericht
deu
uncontrolled
Status und Aufgaben des Verfassungsgerichts
deu
uncontrolled
verfassungsgerichtliche Kontrolle
Recht
open_access
Gesamtheft
Öffentliches Recht
Extern
Universitätsverlag Potsdam
Universität Potsdam
https://publishup.uni-potsdam.de/files/6587/proceedings_verfassungsgerichtsbarkeit.pdf
6187
2013
eng
162
conferenceobject
Universitätsverlag Potsdam
Potsdam
1
2013-02-15
--
--
Informatics in schools : local proceedings of the 6th International Conference ISSEP 2013 ; selected papers ; Oldenburg, Germany, February 26–March 2, 2013
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.
urn:nbn:de:kobv:517-opus-63688
6368
978-3-86956-222-3
<hr/>In Printform erschienen im <a href="http://info.ub.uni-potsdam.de/verlag.htm">Universitätsverlag Potsdam</a>:<br/><br/> Informatics in schools : local proceedings of the 6th International Conference ISSEP 2013 ; selected papers ; Oldenburg, Germany, February 26–March 2, 2013 / Ira Diethelm ; Jannik Arndt ; Malte Dünnebier ; Jörn Syrbe (Eds.). - Potsdam : Universitätsverlag Potsdam, 2013. - 162 S. : Ill., graph. Darst.<br/>(Commentarii informaticae didacticae ; 6)<br/>ISSN (print) 1868-0844<br/>ISSN (online) 2191-1940<br/>ISBN 978-3-86956-222-3<br/>--> <a href="http://info.ub.uni-potsdam.de/cgi-bin/publika/view.pl?id=742">bestellen</a><hr/>
SR 910
Yayoi Hofuku
Shinya Cho
Tomohiro Nishida
Susumu Kanemune
Barbara Linck
Seungyon Kim
Seongbin Park
Jiří Vaníček
Monika Gujberová
Peter Tomcsányi
Valentina Dagiene
Tatjana Jevsikova
Carsten Schulte
Sue Sentance
Neena Thota
Yasemin Gülbahar
Mustafa İlkhan
Selcan Kilis
Okan Arslan
Yoshiaki Nakano
Katsunobu Izutsu
Daniel Lessner
Christophe Reffay
Mahdi Miled
Pascal Ortiz
Loïc Février
Nataša Grgurina
Martin Weise
Carlo Bellettini
Violetta Lonati
Dario Malchiodi
Mattia Monga
Anna Morpurgo
Mauro Torelli
Lukas Planteu
Bernhard Standl
Wilfried Grossmann
Erich Neuwirth
Jan Benacka
Noa Ragonis
Steve Hodges
Carol Berry
Peter Kusterer
Commentarii informaticae didacticae (CID)
6
eng
uncontrolled
ISSEP
eng
uncontrolled
Informatics Education
Datenverarbeitung; Informatik
open_access
Commentarii informaticae didacticae (CID)
Extern
Universitätsverlag Potsdam
Universität Potsdam
https://publishup.uni-potsdam.de/files/6187/cid06.pdf
3971
2010
eng
conferenceobject
Gesellschaft für Logische Programmierung e.V.
0
2010-03-04
--
--
A tool for generating partition schedules of multiprocessor systems
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.
urn:nbn:de:kobv:517-opus-41556
4155
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 167 - 176
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Hans-Joachim Goltz
Norbert Pieth
Datenverarbeitung; Informatik
open_access
Practice of Logic Programming
Extern
Universität Potsdam
https://publishup.uni-potsdam.de/files/3971/wlp09_S167_176.pdf
3970
2010
eng
conferenceobject
Gesellschaft für Logische Programmierung e.V.
0
2010-03-04
--
--
Persistent constraints in constraint handling rules
In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.
urn:nbn:de:kobv:517-opus-41547
4154
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 155 - 166
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Hariolf Betz
Frank Raiser
Thom Frühwirth
Datenverarbeitung; Informatik
open_access
Constraint Handling Rules
Extern
Universität Potsdam
https://publishup.uni-potsdam.de/files/3970/wlp09_S155_166.pdf
3969
2010
eng
conferenceobject
Gesellschaft für Logische Programmierung e.V.
0
2010-03-04
--
--
Transforming imperative algorithms to constraint handling rules
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.
urn:nbn:de:kobv:517-opus-41533
4153
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 139 - 153
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Slim Abdennadher
Haythem Ismail
Frederick Khoury
Datenverarbeitung; Informatik
open_access
Constraint Handling Rules
Extern
Universität Potsdam
https://publishup.uni-potsdam.de/files/3969/wlp09_S139_153.pdf