@book{ZendlerSteipe2003, author = {Zendler, Andreas and Steipe, Boris}, title = {Integrationstechnologien f{\"u}r die life science-informatik (State-of-the-art-report)}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 2}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {38 S.}, year = {2003}, language = {de} } @book{ZendlerSchmidtKrueger2003, author = {Zendler, Andreas and Schmidt, Silke and Kr{\"u}ger, Klaus}, title = {Komponentenorientierte Softwareentwicklungstechniken}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {55 S.}, year = {2003}, language = {de} } @misc{Ohme2003, type = {Master Thesis}, author = {Ohme, Sebastian}, title = {Konzeption von Dokumentenservern f{\"u}r Digitale Bibliotheken im Hinblick auf Langzeitarchivierung und Retrieval}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-5880}, school = {Universit{\"a}t Potsdam}, year = {2003}, abstract = {Entwickelt wird ein Dokument Management System zur elektronischen, Client-Server-basierten Publikation und Langzeitarchivierung von Hochschulschriften f{\"u}r die Universit{\"a}tsbibliothek Potsdam. Der zu konzipierende Dokumentenserver muss den bibliothekarischen Anforderungen im Hinblick auf die Sicherung von Authentizit{\"a}t und Integrit{\"a}t des Servers und der einzelnen Textdokumente entsprechen. Eine Analyse der Eignung verbreiteter Dateiformate zur dauerhaften Speicherung unter Ber{\"u}cksichtigung von Verf{\"u}gbarkeit, Strukturierbarkeit, Konvertierbarkeit und Austauschbarkeit sowie Recherchierbarkeit erbringt eine langfristig anzustrebende Pr{\"a}ferenz f{\"u}r XML als Archivierungs- und Rechercheformat sowie PDF und/oder HTML als Pr{\"a}sentationsformate. Die Formalerfassung erfolgt {\"u}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{\"a}higen URN (Persistent Identifier) gesichert werden. Bestehende Archivierungssysteme werden untersucht und auf Vereinbarkeit mit den lokalen Bed{\"u}rfnissen gepr{\"u}ft. Ein Workflow f{\"u}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{\"o}glicht performantes Retrieval und ist als Dataprovider mit einer OAI-Schnittstelle f{\"u}r den weltweiten, standardisierten Datenaustausch ausgestattet. Das System kann in wissenschaftlichen Informationseinrichtungen als Internet- oder Intranet-Repositorium eingesetzt werden. (Fremdreferat)}, subject = {Elektronisches Publizieren}, language = {de} } @book{WuKarriKuznetsovetal.2003, author = {Wu, K. and Karri, R. and Kuznetsov, Grigory and G{\"o}ssel, Michael}, title = {Low Cost Concurrent Error Detection for the Advanced Encryption Standart}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 8}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {10 S.}, year = {2003}, language = {en} } @article{DelgrandeGharibMerceretal.2003, author = {Delgrande, James Patrick and Gharib, Mona and Mercer, Robert E. and Risch, V. and Schaub, Torsten}, title = {Lukaszewicz-style answer set programming : a preliminary report}, issn = {1613-0073}, year = {2003}, language = {en} } @book{Dietze2003, author = {Dietze, Stefan}, title = {Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 7}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {36 S.}, year = {2003}, language = {de} } @article{DelgrandeSchaub2003, author = {Delgrande, James Patrick and Schaub, Torsten}, title = {On the relation between Reiter{\"i}s default logic and its (major) variants}, isbn = {3-540- 409494-5}, year = {2003}, language = {en} } @article{BesnardMercerSchaub2003, author = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten}, title = {Optimality theory throught default logic}, isbn = {3-540-20059-2}, year = {2003}, language = {en} } @article{BesnardSchaubTompitsetal.2003, author = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, title = {Paraconsistent reasoning via quantified boolean formulas : Part II: Circumscribing inconsistent theories}, isbn = {3-540- 409494-5}, year = {2003}, language = {en} } @article{DelgrandeSchaub2003, author = {Delgrande, James Patrick and Schaub, Torsten}, title = {Reasoning credulously and skeptically within a single extension}, year = {2003}, language = {en} } @article{Linke2003, author = {Linke, Thomas}, title = {Suitable graphs for answer set programming}, issn = {1613-0073}, year = {2003}, language = {en} } @article{FloeterNicolasSchaubetal.2003, author = {Fl{\"o}ter, Andr{\´e} and Nicolas, Jacques and Schaub, Torsten and Selbig, Joachim}, title = {Threshold extraction in metabolite concentration data}, year = {2003}, language = {en} } @article{Linke2003, author = {Linke, Thomas}, title = {Using nested logic programs for answer set programming}, issn = {1613-0073}, year = {2003}, language = {en} } @phdthesis{Frank2003, author = {Frank, Keller}, title = {{\"U}ber die Rolle von Architekturbeschreibungen im Software-Entwicklungsprozess}, pages = {X, 160 S. : graph. Darst.}, year = {2003}, language = {de} }