TY  - CHAP
A1  - Gebser, Martin
A1  - Hinrichs, Henrik
A1  - Schaub, Torsten H.
A1  - Thiele, Sven
T1  - xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
N2  - We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41466
ER  - 
TY  - BOOK
A1  - Vogel, Tobias
T1  - Web service generation and data quality web services
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - JOUR
A1  - Jahnke, Isa
A1  - Haertel, Tobias
A1  - Mattik, Volker
A1  - Lettow, Karsten
T1  - Was ist eine kreative Leistung Studierender?
BT  - Erfahrungen eines kreativitätsförderlichen Lehrbeispiels
JF  - Commentarii informaticae didacticae : (CID)
N2  - Was ist eine kreative Leistung von Studierenden? Dies ist die Ausgangsfrage, wenn Lehre kreativitätsförderlicher als bislang gestaltet werden soll. In diesem Beitrag wird ein Modell zur Förderung von Kreativität in der Hochschullehre vorgestellt und mit einem Beispiel verdeutlicht. Es wird die veränderte Konzeption der Vorlesung Informatik & Gesellschaft illustriert: Studierende hatten die Aufgabe, eine „e-Infrastruktur für die Universität NeuDoBoDu“ zu entwickeln. Hierzu werden die Ergebnisse der Evaluation und Erfahrungen erläutert.
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64386
SN  - 1868-0844
SN  - 2191-1940
IS  - 4
SP  - 87
EP  - 92
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Berges, Marc
A1  - Hubwieser, Peter
T1  - Vorkurse in objektorientierter Programmierung
JF  - Commentarii informaticae didacticae : (CID)
N2  - Die Studienanfänger der Informatik haben in Deutschland sehr unterschiedliche Grundkenntnisse in der Programmierung. Dies führt immer wieder zu Schwierigkeiten in der Ausrichtung der Einführungsveranstaltungen. An der TU München wird seit dem Wintersemester 2008/2009 nun eine neue Art von Vorkursen angeboten. In nur 2,5 Tagen erstellen die Teilnehmer ein kleines objektorientiertes Programm. Dabei arbeiten sie weitestgehend alleine, unterstützt von einem studentischen Tutor. In dieser Arbeit sollen nun das Konzept der sogenannten „Vorprojekte“ sowie erste Forschungsansätze vorgestellt werden
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64299
SN  - 1868-0844
SN  - 2191-1940
IS  - 4
SP  - 13
EP  - 22
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - THES
A1  - Bohnet, Johannes
T1  - Visualization of Execution Traces and its Application to Software Maintenance
Y1  - 2010
CY  - Potsdam
ER  - 
TY  - THES
A1  - Schöbel, Michael
T1  - Verarbeitung von Ereignisströmen im Betriebssystemkern
Y1  - 2010
SN  - 978-3-869555-601-7
PB  - Cuvillier
CY  - Göttingen
ER  - 
TY  - JOUR
A1  - Csuhaj-Varjú, Erzsébet
A1  - Dassow, Juergen
A1  - Vaszil, György
T1  - Variants of competence-based derivations in CD grammar systems
N2  - In this paper we introduce and study some new cooperation protocols for cooperating distributed (CD) grammar systems. These derivation modes depend on the number of different nonterminals present in the sentential form obtained when a component finished a derivation phase. This measure describes the competence of the grammar on the string (the competence is high if the number of the different nonterminals is small). It is also a measure of the efficiency of the grammar on the given string (a component is more efficient than another one if it is able to decrease the number of nonterminals in the string to a greater extent). We prove that if the underlying derivation mode is the t-mode derivation, then some variants of these systems determine the class of random context ET0L languages. If these CD grammar systems use the k step limited derivations as underlying derivation mode, then they are able to generate any recursively enumerable language.
Y1  - 2010
UR  - http://www.worldscinet.com/ijfcs/ijfcs.shtml
U6  - https://doi.org/10.1142/S0129054110007428
SN  - 0129-0541
ER  - 
TY  - THES
A1  - Noll, Michael G.
T1  - Understanding and leveraging the social web for information retrieval
Y1  - 2010
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Trümper, Jonas
T1  - Towards visualization of complex, service-based software systems
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - JOUR
A1  - Hildebrandt, Dieter
T1  - Towards service-oriented, standards-based, image-based provisioning, interaction with and styling of geovirtual 3D environments
Y1  - 2010
SN  - 978-3-86956-036-6
ER  -