@article{Linke2003, author = {Linke, Thomas}, title = {Using nested logic programs 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 H. and Selbig, Joachim}, title = {Threshold extraction in metabolite concentration data}, year = {2003}, language = {en} } @article{Linke2003, author = {Linke, Thomas}, title = {Suitable graphs for answer set programming}, issn = {1613-0073}, year = {2003}, language = {en} } @article{DelgrandeSchaub2003, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Reasoning credulously and skeptically within a single extension}, year = {2003}, language = {en} } @article{BesnardSchaubTompitsetal.2003, author = {Besnard, Philippe and Schaub, Torsten H. 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{BesnardMercerSchaub2003, author = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten H.}, title = {Optimality theory throught default logic}, isbn = {3-540-20059-2}, year = {2003}, language = {en} } @article{DelgrandeSchaub2003, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {On the relation between Reiter{\"i}s default logic and its (major) variants}, isbn = {3-540- 409494-5}, year = {2003}, language = {en} } @article{DelgrandeGharibMerceretal.2003, author = {Delgrande, James Patrick and Gharib, Mona and Mercer, Robert E. and Risch, V. and Schaub, Torsten H.}, title = {Lukaszewicz-style answer set programming : a preliminary report}, issn = {1613-0073}, year = {2003}, language = {en} } @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{FeiderSchnorDramlitsch2003, author = {Feider, Henryk and Schnor, Bettina and Dramlitsch, Thomas}, title = {Gridmake : the missing link for compilation in the Grid}, year = {2003}, abstract = {In order to take full advantage of Grid environments, applications need to be able to run on various heterogeneous platforms. Distributed runs across several clusters or supercomputers for example, require matching binaries at each site. Thus, at some stage, each Grid enabled application needs to be recompiled for every platform. Up to now, creating matching binaries on different platforms was a manual, sequential, slow, and very error-prone process. Developers had to log into each machine, transfer source code, check consistency and recompile if necessary. This cumbersome procedure is surely one reason for the (still existing) lack of production Grid computing. Gridmake, a tool to automate and speed up this procedure is presented in this paper.}, language = {en} }