TY  - JOUR
A1  - Linke, Thomas
T1  - Using nested logic programs for answer set programming
Y1  - 2003
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
ER  - 
TY  - BOOK
A1  - Meyer, Harald
A1  - Kulisch, Marian
T1  - Ein experimenteller Vergleich objekt-orientierter und funktionaler Analysetechniken
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 6
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - THES
A1  - Ohme, Sebastian
T1  - Konzeption von Dokumentenservern für Digitale Bibliotheken im Hinblick auf Langzeitarchivierung und Retrieval
N2  - Entwickelt wird ein Dokument Management System zur elektronischen, Client-Server-basierten Publikation und Langzeitarchivierung von Hochschulschriften für die Universitätsbibliothek Potsdam. Der zu konzipierende Dokumentenserver muss den bibliothekarischen Anforderungen im Hinblick auf die Sicherung von Authentizität und Integrität des Servers und der einzelnen Textdokumente entsprechen. Eine Analyse der Eignung verbreiteter Dateiformate zur dauerhaften Speicherung unter Berücksichtigung von Verfügbarkeit, Strukturierbarkeit, Konvertierbarkeit und Austauschbarkeit sowie Recherchierbarkeit erbringt eine langfristig anzustrebende Präferenz für XML als Archivierungs- und Rechercheformat sowie PDF und/oder HTML als Präsentationsformate. Die Formalerfassung erfolgt über die Anreicherung des Dokumentes mit Metadaten nach dem DC qualified Standard, die in einer Datenbank strukturiert abgelegt sind. Der dauerhafte Zugang zur Publikation kann durch Verwendung einer zitierfähigen URN (Persistent Identifier) gesichert werden. Bestehende Archivierungssysteme werden untersucht und auf Vereinbarkeit mit den lokalen Bedürfnissen geprüft.  Ein Workflow für die Anlieferung von Dokument und beschreibenden Metadaten durch den Autor und die weitere Bearbeitung durch die Bibliothek wird erarbeitet und die technische Umsetzung mittels Perl, HTML, XML und einer MS Access Datenbank beschrieben. Der Dokumentenserver ermöglicht performantes Retrieval und ist als Dataprovider mit einer OAI-Schnittstelle für den weltweiten, standardisierten Datenaustausch ausgestattet. Das System kann in wissenschaftlichen Informationseinrichtungen als Internet- oder Intranet-Repositorium eingesetzt werden. (Fremdreferat)
KW  - Elektronisches Publizieren
KW  - Langzeitarchivierung
KW  - Digitalisierung
KW  - Dateiformat
KW  - Information Retrieval
KW  - Dokument-Management-System
KW  - OAI-PMH
KW  - Dublin Core
KW  - Publikationsserver
KW  - Access Datenbank
KW  - Perl Formularskript
KW  - Digitale Bibliothek
Y1  - 2003
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-5880
ER  - 
TY  - THES
A1  - Otscheretnij, Vitalij
T1  - Entwurf von fehlertoleranten kompinatorischen Schaltungen
Y1  - 2003
ER  - 
TY  - THES
A1  - Reinke, Thomas
T1  - Architekturbasierte Konstruktion von Multiagentensystemen
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
T1  - Antwortmengenprogrammierung
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Wang, Kewen
T1  - A semantic framework for prefernce handling in answer set programming
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Schneidenbach, Lars
A1  - Schnor, Bettina
A1  - Petri, Stefan
T1  - Architecture and Implementation of the Socket Interface on Top of GAMMA
Y1  - 2003
SN  - 0-7695-2037-5
ER  - 
TY  - BOOK
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - A new self-checking sum-bit duplicated carry-select adder
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 5
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Wu, K.
A1  - Karri, R.
A1  - Kuznetsov, Grigory
A1  - Gössel, Michael
T1  - Low Cost Concurrent Error Detection for the Advanced Encryption Standart
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 8
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Zendler, Andreas
A1  - Schmidt, Silke
A1  - Krüger, Klaus
T1  - Komponentenorientierte Softwareentwicklungstechniken
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Zendler, Andreas
A1  - Steipe, Boris
T1  - Integrationstechnologien für die life science-informatik (State-of-the-art-report)
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 2
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Schwill, Andreas
T1  - Grundfragen multimedialer Lehre : Tagungsband des 1. Workshops GML2003 10. - 11. März 2003 an der Universität Potsdam
Y1  - 2003
SN  - 3-8330-0761-3
PB  - Univ. Lehrstuhl für Didaktik der Informatik
CY  - Potsdam
ER  -