[{"user_id":"24135","citation":{"short":"C. Plessl, E. Wilde, IX (2001) 88–93.","mla":"Plessl, Christian, and Erik Wilde. “Server-Side-Techniken Im Web – Ein Überblick.” <i>IX</i>, Heise Verlag, 2001, pp. 88–93.","bibtex":"@article{Plessl_Wilde_2001, title={Server-Side-Techniken im Web – ein Überblick}, journal={iX}, publisher={Heise Verlag}, author={Plessl, Christian and Wilde, Erik}, year={2001}, pages={88–93} }","chicago":"Plessl, Christian, and Erik Wilde. “Server-Side-Techniken Im Web – Ein Überblick.” <i>IX</i>, 2001, 88–93.","ieee":"C. Plessl and E. Wilde, “Server-Side-Techniken im Web – ein Überblick,” <i>iX</i>, pp. 88–93, 2001.","ama":"Plessl C, Wilde E. Server-Side-Techniken im Web – ein Überblick. <i>iX</i>. 2001:88-93.","apa":"Plessl, C., &#38; Wilde, E. (2001). Server-Side-Techniken im Web – ein Überblick. <i>IX</i>, 88–93."},"department":[{"_id":"518"}],"author":[{"last_name":"Plessl","id":"16153","full_name":"Plessl, Christian","first_name":"Christian","orcid":"0000-0001-5728-9982"},{"last_name":"Wilde","full_name":"Wilde, Erik","first_name":"Erik"}],"title":"Server-Side-Techniken im Web – ein Überblick","page":"88-93","_id":"2429","date_updated":"2022-01-06T06:56:17Z","publisher":"Heise Verlag","date_created":"2018-04-17T15:43:29Z","publication":"iX","status":"public","year":"2001","type":"journal_article"},{"publisher":"Computer Engineering and Networks Lab, ETH Zurich, Switzerland","date_created":"2018-04-17T15:47:26Z","status":"public","year":"2001","type":"mastersthesis","_id":"2430","date_updated":"2022-01-06T06:56:17Z","author":[{"first_name":"Christian","full_name":"Plessl, Christian","id":"16153","last_name":"Plessl","orcid":"0000-0001-5728-9982"}],"title":"Reconfigurable Accelerators for Minimum Covering","abstract":[{"lang":"eng","text":"In this report the design and implementation of an instance-specific accelerator for solving minimum covering problems will be presented. After an introduction to configurable computing in general, the minimum covering problem is defined and a branch and bound algorithm to solve it in software is presented. The remainder of the report shows how this branch and bound algorithm can be adopted to hardware. Specifically it is stressed how the various sophisticated strategies for deducing conditions for variables used by software solvers can be adopted to hardware and how a system which uses 3-valued logic to solve this problem can be designed. In addition to these considerations focusing on the architecture of the system, some important details of the actual implementation are given. A prototype has been implemented for showing the feasibility of the concept and for gaining information about speed and size of the hardware implementation. Cycle-accurate simulations for a set of benchmark problems have been done for determining the performance of the accelerator. The speed of the resulting accelerators has been compared to the time a reference software solver (espresso) needs and the resulting speedups have been calculated. I have shown that a raw speedup of several orders of maginitude can be achieved for many problems; for some problems no speedup is achieved yet. After a discussion of the results, ideas for future work are presented."}],"user_id":"24135","citation":{"mla":"Plessl, Christian. <i>Reconfigurable Accelerators for Minimum Covering</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.","bibtex":"@book{Plessl_2001, title={Reconfigurable Accelerators for Minimum Covering}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland}, author={Plessl, Christian}, year={2001} }","short":"C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.","apa":"Plessl, C. (2001). <i>Reconfigurable Accelerators for Minimum Covering</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland.","ama":"Plessl C. <i>Reconfigurable Accelerators for Minimum Covering</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2001.","chicago":"Plessl, Christian. <i>Reconfigurable Accelerators for Minimum Covering</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.","ieee":"C. Plessl, <i>Reconfigurable Accelerators for Minimum Covering</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001."},"department":[{"_id":"518"}]},{"type":"conference","year":"2001","status":"public","date_created":"2018-04-17T15:51:39Z","publication":"Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III","date_updated":"2022-01-06T06:56:17Z","page":"135-146","_id":"2432","volume":4525,"intvolume":"      4525","abstract":[{"text":"In this paper, we present the analysis of applications from the domain of handheld and wearable computing. This analysis is the first step to derive and evaluate design parameters for dynamically reconfigurable processors. We discuss the selection of representative benchmarks for handhelds and wearables and group the applications into multimedia, communications, and cryptography programs. We simulate the applications on a cycle-accurate processor simulator and gather statistical data such as instruction mix, cache hit rates and memory requirements for an embedded processor model. A breakdown of the executed cycles into different functions identifies the most compute-intensive code sections - the kernels. Then, we analyze the applications and discuss parameters that strongly influence the design of dynamically reconfigurable processors. Finally, we outline the construction of a parameterizable simulation model for a reconfigurable unit that is attached to a processor core.","lang":"eng"}],"doi":"10.1117/12.434376","title":"Reconfigurable Processors for Handhelds and Wearables: Application Analysis","author":[{"last_name":"Enzler","first_name":"Rolf","full_name":"Enzler, Rolf"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"},{"orcid":"0000-0001-5728-9982","last_name":"Plessl","id":"16153","first_name":"Christian","full_name":"Plessl, Christian"},{"last_name":"Thiele","first_name":"Lothar","full_name":"Thiele, Lothar"},{"full_name":"Tröster, Gerhard","first_name":"Gerhard","last_name":"Tröster"}],"department":[{"_id":"518"},{"_id":"78"}],"citation":{"mla":"Enzler, Rolf, et al. “Reconfigurable Processors for Handhelds and Wearables: Application Analysis.” <i>Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III</i>, vol. 4525, 2001, pp. 135–46, doi:<a href=\"https://doi.org/10.1117/12.434376\">10.1117/12.434376</a>.","bibtex":"@inproceedings{Enzler_Platzner_Plessl_Thiele_Tröster_2001, series={Proc. SPIE}, title={Reconfigurable Processors for Handhelds and Wearables: Application Analysis}, volume={4525}, DOI={<a href=\"https://doi.org/10.1117/12.434376\">10.1117/12.434376</a>}, booktitle={Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III}, author={Enzler, Rolf and Platzner, Marco and Plessl, Christian and Thiele, Lothar and Tröster, Gerhard}, year={2001}, pages={135–146}, collection={Proc. SPIE} }","short":"R. Enzler, M. Platzner, C. Plessl, L. Thiele, G. Tröster, in: Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III, 2001, pp. 135–146.","ama":"Enzler R, Platzner M, Plessl C, Thiele L, Tröster G. Reconfigurable Processors for Handhelds and Wearables: Application Analysis. In: <i>Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III</i>. Vol 4525. Proc. SPIE. ; 2001:135-146. doi:<a href=\"https://doi.org/10.1117/12.434376\">10.1117/12.434376</a>","apa":"Enzler, R., Platzner, M., Plessl, C., Thiele, L., &#38; Tröster, G. (2001). Reconfigurable Processors for Handhelds and Wearables: Application Analysis. In <i>Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III</i> (Vol. 4525, pp. 135–146). <a href=\"https://doi.org/10.1117/12.434376\">https://doi.org/10.1117/12.434376</a>","chicago":"Enzler, Rolf, Marco Platzner, Christian Plessl, Lothar Thiele, and Gerhard Tröster. “Reconfigurable Processors for Handhelds and Wearables: Application Analysis.” In <i>Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III</i>, 4525:135–46. Proc. SPIE, 2001. <a href=\"https://doi.org/10.1117/12.434376\">https://doi.org/10.1117/12.434376</a>.","ieee":"R. Enzler, M. Platzner, C. Plessl, L. Thiele, and G. Tröster, “Reconfigurable Processors for Handhelds and Wearables: Application Analysis,” in <i>Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III</i>, 2001, vol. 4525, pp. 135–146."},"series_title":"Proc. SPIE","keyword":["benchmark"],"user_id":"24135"},{"_id":"3244","page":"155--234","issue":"3","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:12:39Z","publication":"Acta Inf.","status":"public","type":"journal_article","year":"2001","user_id":"29719","citation":{"mla":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” <i>Acta Inf.</i>, no. 3, 2001, pp. 155--234, doi:<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>.","bibtex":"@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }","short":"A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.","ama":"Rensink A, Wehrheim H. Process algebra with action dependencies. <i>Acta Inf</i>. 2001;(3):155--234. doi:<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>","apa":"Rensink, A., &#38; Wehrheim, H. (2001). Process algebra with action dependencies. <i>Acta Inf.</i>, (3), 155--234. <a href=\"https://doi.org/10.1007/s002360100070\">https://doi.org/10.1007/s002360100070</a>","chicago":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” <i>Acta Inf.</i>, no. 3 (2001): 155--234. <a href=\"https://doi.org/10.1007/s002360100070\">https://doi.org/10.1007/s002360100070</a>.","ieee":"A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” <i>Acta Inf.</i>, no. 3, pp. 155--234, 2001."},"department":[{"_id":"77"}],"author":[{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"Process algebra with action dependencies","doi":"10.1007/s002360100070"},{"department":[{"_id":"77"}],"citation":{"short":"D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.","mla":"Bartetzko, Detlef, et al. “Jass - Java with Assertions.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2001, pp. 103--117, doi:<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>.","bibtex":"@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }","chicago":"Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim. “Jass - Java with Assertions.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2001): 103--117. <a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">https://doi.org/10.1016/S1571-0661(04)00247-6</a>.","ieee":"D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 103--117, 2001.","apa":"Bartetzko, D., Fischer, C., Möller, M., &#38; Wehrheim, H. (2001). Jass - Java with Assertions. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 103--117. <a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">https://doi.org/10.1016/S1571-0661(04)00247-6</a>","ama":"Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions. <i>Electr Notes Theor Comput Sci</i>. 2001;(2):103--117. doi:<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>"},"user_id":"29719","doi":"10.1016/S1571-0661(04)00247-6","title":"Jass - Java with Assertions","author":[{"last_name":"Bartetzko","full_name":"Bartetzko, Detlef","first_name":"Detlef"},{"first_name":"Clemens","full_name":"Fischer, Clemens","last_name":"Fischer"},{"last_name":"Möller","first_name":"Michael","full_name":"Möller, Michael"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"issue":"2","date_updated":"2022-01-06T06:59:07Z","page":"103--117","_id":"3245","year":"2001","type":"journal_article","status":"public","date_created":"2018-06-14T07:14:07Z","publication":"Electr. Notes Theor. Comput. Sci."},{"editor":[{"first_name":"Heinrich","full_name":"Hu{\\ss}mann, Heinrich","last_name":"Hu{\\ss}mann"}],"author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"last_name":"Olderog","first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"A {CSP} View on {UML-RT} Structure Diagrams","doi":"10.1007/3-540-45314-8_8","user_id":"29719","series_title":"Lecture Notes in Computer Science","citation":{"ieee":"C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure Diagrams,” in <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, 2001, pp. 91--108.","chicago":"Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View on {UML-RT} Structure Diagrams.” In <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, edited by Heinrich Hu{\\ss}mann, 91--108. Lecture Notes in Computer Science, 2001. <a href=\"https://doi.org/10.1007/3-540-45314-8_8\">https://doi.org/10.1007/3-540-45314-8_8</a>.","apa":"Fischer, C., Olderog, E.-R., &#38; Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. In H. Hu{\\ss}mann (Ed.), <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i> (pp. 91--108). <a href=\"https://doi.org/10.1007/3-540-45314-8_8\">https://doi.org/10.1007/3-540-45314-8_8</a>","ama":"Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\\ss}mann H, ed. <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>. Lecture Notes in Computer Science. ; 2001:91--108. doi:<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>","short":"C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.","bibtex":"@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>}, booktitle={Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }","mla":"Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, edited by Heinrich Hu{\\ss}mann, 2001, pp. 91--108, doi:<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>."},"department":[{"_id":"77"}],"publication":"Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings","date_created":"2018-06-14T07:15:07Z","status":"public","type":"conference","year":"2001","page":"91--108","_id":"3246","date_updated":"2022-01-06T06:59:07Z"},{"user_id":"14955","citation":{"ieee":"F. Meyer auf der Heide and C. Scheideler, “Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols,” <i>Combinatorica</i>, vol. 21, no. 1, pp. 95--138, 2001.","chicago":"Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols.” <i>Combinatorica</i> 21, no. 1 (2001): 95--138. <a href=\"https://doi.org/10.1007/s004930170007\">https://doi.org/10.1007/s004930170007</a>.","apa":"Meyer auf der Heide, F., &#38; Scheideler, C. (2001). Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols. <i>Combinatorica</i>, <i>21</i>(1), 95--138. <a href=\"https://doi.org/10.1007/s004930170007\">https://doi.org/10.1007/s004930170007</a>","ama":"Meyer auf der Heide F, Scheideler C. Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols. <i>Combinatorica</i>. 2001;21(1):95--138. doi:<a href=\"https://doi.org/10.1007/s004930170007\">10.1007/s004930170007</a>","short":"F. Meyer auf der Heide, C. Scheideler, Combinatorica 21 (2001) 95--138.","bibtex":"@article{Meyer auf der Heide_Scheideler_2001, title={Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols}, volume={21}, DOI={<a href=\"https://doi.org/10.1007/s004930170007\">10.1007/s004930170007</a>}, number={1}, journal={Combinatorica}, author={Meyer auf der Heide, Friedhelm and Scheideler, Christian}, year={2001}, pages={95--138} }","mla":"Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols.” <i>Combinatorica</i>, vol. 21, no. 1, 2001, pp. 95--138, doi:<a href=\"https://doi.org/10.1007/s004930170007\">10.1007/s004930170007</a>."},"department":[{"_id":"79"},{"_id":"63"}],"author":[{"first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide"},{"first_name":"Christian","full_name":"Scheideler, Christian","last_name":"Scheideler","id":"20792"}],"title":"Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols","doi":"10.1007/s004930170007","intvolume":"        21","volume":21,"page":"95--138","_id":"2139","issue":"1","date_updated":"2022-01-06T06:54:57Z","date_created":"2018-04-03T05:47:20Z","publication":"Combinatorica","status":"public","language":[{"iso":"eng"}],"year":"2001","type":"journal_article"},{"author":[{"last_name":"Awerbuch","first_name":"Baruch","full_name":"Awerbuch, Baruch"},{"full_name":"Berenbrink, Petra","first_name":"Petra","last_name":"Berenbrink"},{"full_name":"Brinkmann, André","first_name":"André","last_name":"Brinkmann"},{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"file":[{"creator":"florida","file_name":"FOCS-01.pdf","file_size":151156,"content_type":"application/pdf","access_level":"open_access","file_id":"2302","date_created":"2018-04-12T08:59:00Z","relation":"main_file","date_updated":"2018-04-12T08:59:00Z"}],"title":"Simple Routing Strategies for Adversarial Systems","urn":"21406","has_accepted_license":"1","oa":"1","user_id":"15504","citation":{"ama":"Awerbuch B, Berenbrink P, Brinkmann A, Scheideler C. Simple Routing Strategies for Adversarial Systems. In: <i>FOCS</i>. IEEE Computer Society; 2001:158--167.","apa":"Awerbuch, B., Berenbrink, P., Brinkmann, A., &#38; Scheideler, C. (2001). Simple Routing Strategies for Adversarial Systems. In <i>FOCS</i> (pp. 158--167). IEEE Computer Society.","ieee":"B. Awerbuch, P. Berenbrink, A. Brinkmann, and C. Scheideler, “Simple Routing Strategies for Adversarial Systems,” in <i>FOCS</i>, 2001, pp. 158--167.","chicago":"Awerbuch, Baruch, Petra Berenbrink, André Brinkmann, and Christian Scheideler. “Simple Routing Strategies for Adversarial Systems.” In <i>FOCS</i>, 158--167. IEEE Computer Society, 2001.","bibtex":"@inproceedings{Awerbuch_Berenbrink_Brinkmann_Scheideler_2001, title={Simple Routing Strategies for Adversarial Systems}, booktitle={FOCS}, publisher={IEEE Computer Society}, author={Awerbuch, Baruch and Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2001}, pages={158--167} }","mla":"Awerbuch, Baruch, et al. “Simple Routing Strategies for Adversarial Systems.” <i>FOCS</i>, IEEE Computer Society, 2001, pp. 158--167.","short":"B. Awerbuch, P. Berenbrink, A. Brinkmann, C. Scheideler, in: FOCS, IEEE Computer Society, 2001, pp. 158--167."},"department":[{"_id":"79"}],"publisher":"IEEE Computer Society","date_created":"2018-04-03T05:48:28Z","publication":"FOCS","ddc":["040"],"status":"public","type":"conference","year":"2001","_id":"2140","file_date_updated":"2018-04-12T08:59:00Z","page":"158--167","date_updated":"2022-01-06T06:54:59Z"},{"_id":"2141","file_date_updated":"2018-04-12T08:39:01Z","date_updated":"2022-01-06T06:54:59Z","date_created":"2018-04-03T05:49:21Z","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"year":"2001","status":"public","citation":{"short":"P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDP, IEEE Computer Society, 2001, pp. 227--234.","mla":"Berenbrink, Petra, et al. “SIMLAB-A Simulation Environment for Storage Area Networks.” <i>PDP</i>, IEEE Computer Society, 2001, pp. 227--234.","bibtex":"@inproceedings{Berenbrink_Brinkmann_Scheideler_2001, title={SIMLAB-A Simulation Environment for Storage Area Networks}, booktitle={PDP}, publisher={IEEE Computer Society}, author={Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2001}, pages={227--234} }","chicago":"Berenbrink, Petra, André Brinkmann, and Christian Scheideler. “SIMLAB-A Simulation Environment for Storage Area Networks.” In <i>PDP</i>, 227--234. IEEE Computer Society, 2001.","ieee":"P. Berenbrink, A. Brinkmann, and C. Scheideler, “SIMLAB-A Simulation Environment for Storage Area Networks,” in <i>PDP</i>, 2001, pp. 227--234.","apa":"Berenbrink, P., Brinkmann, A., &#38; Scheideler, C. (2001). SIMLAB-A Simulation Environment for Storage Area Networks. In <i>PDP</i> (pp. 227--234). IEEE Computer Society.","ama":"Berenbrink P, Brinkmann A, Scheideler C. SIMLAB-A Simulation Environment for Storage Area Networks. In: <i>PDP</i>. IEEE Computer Society; 2001:227--234."},"department":[{"_id":"79"},{"_id":"63"}],"urn":"21415","author":[{"last_name":"Berenbrink","first_name":"Petra","full_name":"Berenbrink, Petra"},{"last_name":"Brinkmann","full_name":"Brinkmann, André","first_name":"André"},{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"page":"227--234","ddc":["040"],"publication":"PDP","type":"conference","oa":"1","user_id":"14955","title":"SIMLAB-A Simulation Environment for Storage Area Networks","file":[{"date_updated":"2018-04-12T08:39:01Z","relation":"main_file","date_created":"2018-04-12T08:39:01Z","access_level":"open_access","content_type":"application/pdf","file_id":"2298","file_name":"PDP-00.pdf","file_size":85778,"creator":"florida"}],"has_accepted_license":"1"},{"status":"public","year":"2001","type":"conference","date_created":"2018-04-03T05:50:16Z","ddc":["040"],"publication":"SPAA","date_updated":"2022-01-06T06:54:59Z","page":"38--47","_id":"2142","file_date_updated":"2018-04-12T08:58:07Z","has_accepted_license":"1","file":[{"relation":"main_file","date_updated":"2018-04-12T08:58:07Z","file_name":"SPAA-01.pdf","file_size":335171,"creator":"florida","date_created":"2018-04-12T08:58:07Z","content_type":"application/pdf","access_level":"open_access","file_id":"2301"}],"author":[{"full_name":"Kolman, Petr","first_name":"Petr","last_name":"Kolman"},{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"urn":"21421","title":"Simple on-line algorithms for the maximum disjoint paths problem","department":[{"_id":"79"}],"oa":"1","user_id":"15504","citation":{"ama":"Kolman P, Scheideler C. Simple on-line algorithms for the maximum disjoint paths problem. In: <i>SPAA</i>. ; 2001:38--47.","apa":"Kolman, P., &#38; Scheideler, C. (2001). Simple on-line algorithms for the maximum disjoint paths problem. In <i>SPAA</i> (pp. 38--47).","ieee":"P. Kolman and C. Scheideler, “Simple on-line algorithms for the maximum disjoint paths problem,” in <i>SPAA</i>, 2001, pp. 38--47.","chicago":"Kolman, Petr, and Christian Scheideler. “Simple On-Line Algorithms for the Maximum Disjoint Paths Problem.” In <i>SPAA</i>, 38--47, 2001.","bibtex":"@inproceedings{Kolman_Scheideler_2001, title={Simple on-line algorithms for the maximum disjoint paths problem}, booktitle={SPAA}, author={Kolman, Petr and Scheideler, Christian}, year={2001}, pages={38--47} }","mla":"Kolman, Petr, and Christian Scheideler. “Simple On-Line Algorithms for the Maximum Disjoint Paths Problem.” <i>SPAA</i>, 2001, pp. 38--47.","short":"P. Kolman, C. Scheideler, in: SPAA, 2001, pp. 38--47."}},{"citation":{"ama":"Czumaj A, Sohler C. Testing Hypergraph Coloring. <i>Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)</i>. 2001:493-505. doi:<a href=\"https://doi.org/10.1007/3-540-48224-5_41\">10.1007/3-540-48224-5_41</a>","apa":"Czumaj, A., &#38; Sohler, C. (2001). Testing Hypergraph Coloring. <i>Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)</i>, 493–505. <a href=\"https://doi.org/10.1007/3-540-48224-5_41\">https://doi.org/10.1007/3-540-48224-5_41</a>","ieee":"A. Czumaj and C. Sohler, “Testing Hypergraph Coloring,” <i>Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)</i>, pp. 493–505, 2001.","chicago":"Czumaj, Artur, and Christian Sohler. “Testing Hypergraph Coloring.” <i>Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)</i>, 2001, 493–505. <a href=\"https://doi.org/10.1007/3-540-48224-5_41\">https://doi.org/10.1007/3-540-48224-5_41</a>.","bibtex":"@article{Czumaj_Sohler_2001, title={Testing Hypergraph Coloring}, DOI={<a href=\"https://doi.org/10.1007/3-540-48224-5_41\">10.1007/3-540-48224-5_41</a>}, journal={Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)}, author={Czumaj, Artur and Sohler, Christian}, year={2001}, pages={493–505} }","mla":"Czumaj, Artur, and Christian Sohler. “Testing Hypergraph Coloring.” <i>Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)</i>, 2001, pp. 493–505, doi:<a href=\"https://doi.org/10.1007/3-540-48224-5_41\">10.1007/3-540-48224-5_41</a>.","short":"A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505."},"publication_status":"published","user_id":"15415","department":[{"_id":"63"}],"title":"Testing Hypergraph Coloring","author":[{"first_name":"Artur","full_name":"Czumaj, Artur","last_name":"Czumaj"},{"last_name":"Sohler","first_name":"Christian","full_name":"Sohler, Christian"}],"doi":"10.1007/3-540-48224-5_41","_id":"18749","page":"493-505","date_updated":"2022-01-06T06:53:51Z","date_created":"2020-09-01T10:48:38Z","publication":"Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743"],"isbn":["9783540422877","9783540482246"]},"type":"journal_article","year":"2001","status":"public"},{"citation":{"short":"C. Sohler, A. Czumaj, in: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–872.","bibtex":"@inproceedings{Sohler_Czumaj_2001, title={Soft Kinetic Data Structures}, booktitle={Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms}, author={Sohler, Christian and Czumaj, Artur}, year={2001}, pages={865–872} }","mla":"Sohler, Christian, and Artur Czumaj. “Soft Kinetic Data Structures.” <i>Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms</i>, 2001, pp. 865–72.","ieee":"C. Sohler and A. Czumaj, “Soft Kinetic Data Structures,” in <i>Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms</i>, 2001, pp. 865–872.","chicago":"Sohler, Christian, and Artur Czumaj. “Soft Kinetic Data Structures.” In <i>Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms</i>, 865–72, 2001.","ama":"Sohler C, Czumaj A. Soft Kinetic Data Structures. In: <i>Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms</i>. ; 2001:865-872.","apa":"Sohler, C., &#38; Czumaj, A. (2001). Soft Kinetic Data Structures. In <i>Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms</i> (pp. 865–872)."},"user_id":"15415","department":[{"_id":"63"}],"title":"Soft Kinetic Data Structures","author":[{"first_name":"Christian","full_name":"Sohler, Christian","last_name":"Sohler"},{"first_name":"Artur","full_name":"Czumaj, Artur","last_name":"Czumaj"}],"page":"865-872","_id":"18750","date_updated":"2022-01-06T06:53:51Z","date_created":"2020-09-01T10:56:39Z","publication":"Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms","language":[{"iso":"eng"}],"type":"conference","year":"2001","status":"public"},{"author":[{"last_name":"Sohler","full_name":"Sohler, Christian","first_name":"Christian"},{"last_name":"Czumaj","first_name":"Artur","full_name":"Czumaj, Artur"}],"title":"Property Testing with Geometric Queries","doi":"10.1007/3-540-44676-1_22","abstract":[{"lang":"eng","text":"This paper investigates geometric problems in the context of property testing algorithms. Property testing is an emerging area in computer science in which one is aiming at verifying whether a given object has a predetermined property or is “far” from any object having the property. Although there has been some research previously done in testing geometric properties, prior works have been mostly dealing with the study of combinatorial notion of the distance defining whether an object is “far” or it is “close”; very little research has been done for geometric notion of distance measures, that is, distance measures that are based on the geometry underlying input objects.\r\n\r\nThe main objective of this work is to develop sound models to study geometric problems in the context of property testing. Comparing to the previous work in property testing, there are two novel aspects developed in this paper: geometric measures of being close to an object having the predetermined property, and the use of geometric data structures as basic primitives to design the testers. We believe that the second aspect is of special importance in the context of property testing and that the use of specialized data structures as basic primitives in the testers can be applied to other important problems in this area.\r\n\r\nWe shall discuss a number of models that in our opinion fit best geometric problems and apply them to study geometric properties for three very fundamental and representative problems in the area: testing convex position, testing map labeling, and testing clusterability."}],"user_id":"15415","citation":{"apa":"Sohler, C., &#38; Czumaj, A. (2001). Property Testing with Geometric Queries. <i>Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)</i>, 266–277. <a href=\"https://doi.org/10.1007/3-540-44676-1_22\">https://doi.org/10.1007/3-540-44676-1_22</a>","ama":"Sohler C, Czumaj A. Property Testing with Geometric Queries. <i>Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)</i>. 2001:266-277. doi:<a href=\"https://doi.org/10.1007/3-540-44676-1_22\">10.1007/3-540-44676-1_22</a>","chicago":"Sohler, Christian, and Artur Czumaj. “Property Testing with Geometric Queries.” <i>Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)</i>, 2001, 266–77. <a href=\"https://doi.org/10.1007/3-540-44676-1_22\">https://doi.org/10.1007/3-540-44676-1_22</a>.","ieee":"C. Sohler and A. Czumaj, “Property Testing with Geometric Queries,” <i>Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)</i>, pp. 266–277, 2001.","mla":"Sohler, Christian, and Artur Czumaj. “Property Testing with Geometric Queries.” <i>Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)</i>, 2001, pp. 266–77, doi:<a href=\"https://doi.org/10.1007/3-540-44676-1_22\">10.1007/3-540-44676-1_22</a>.","bibtex":"@article{Sohler_Czumaj_2001, title={Property Testing with Geometric Queries}, DOI={<a href=\"https://doi.org/10.1007/3-540-44676-1_22\">10.1007/3-540-44676-1_22</a>}, journal={Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)}, author={Sohler, Christian and Czumaj, Artur}, year={2001}, pages={266–277} }","short":"C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277."},"department":[{"_id":"63"}],"date_created":"2020-09-02T12:24:25Z","publication":"Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)","status":"public","language":[{"iso":"eng"}],"type":"journal_article","year":"2001","page":"266-277","_id":"18857","date_updated":"2022-01-06T06:53:53Z"},{"author":[{"full_name":"Lukovszki, Tamás","first_name":"Tamás","last_name":"Lukovszki"},{"full_name":"Maheshwari, Anil","first_name":"Anil","last_name":"Maheshwari"},{"full_name":"Zeh, Norbert","first_name":"Norbert","last_name":"Zeh"}],"title":"I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems","doi":"10.1007/3-540-45294-x_21","user_id":"15415","publication_status":"published","citation":{"bibtex":"@inproceedings{Lukovszki_Maheshwari_Zeh_2001, title={I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems}, DOI={<a href=\"https://doi.org/10.1007/3-540-45294-x_21\">10.1007/3-540-45294-x_21</a>}, booktitle={Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS}, author={Lukovszki, Tamás and Maheshwari, Anil and Zeh, Norbert}, year={2001} }","mla":"Lukovszki, Tamás, et al. “I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.” <i>Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS</i>, 2001, doi:<a href=\"https://doi.org/10.1007/3-540-45294-x_21\">10.1007/3-540-45294-x_21</a>.","short":"T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.","apa":"Lukovszki, T., Maheshwari, A., &#38; Zeh, N. (2001). I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems. In <i>Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS</i>. <a href=\"https://doi.org/10.1007/3-540-45294-x_21\">https://doi.org/10.1007/3-540-45294-x_21</a>","ama":"Lukovszki T, Maheshwari A, Zeh N. I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems. In: <i>Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS</i>. ; 2001. doi:<a href=\"https://doi.org/10.1007/3-540-45294-x_21\">10.1007/3-540-45294-x_21</a>","ieee":"T. Lukovszki, A. Maheshwari, and N. Zeh, “I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems,” in <i>Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS</i>, 2001.","chicago":"Lukovszki, Tamás, Anil Maheshwari, and Norbert Zeh. “I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.” In <i>Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS</i>, 2001. <a href=\"https://doi.org/10.1007/3-540-45294-x_21\">https://doi.org/10.1007/3-540-45294-x_21</a>."},"department":[{"_id":"63"}],"publication":"Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS","date_created":"2020-09-03T13:26:01Z","status":"public","publication_identifier":{"issn":["0302-9743"],"isbn":["9783540430025","9783540452942"]},"year":"2001","type":"conference","language":[{"iso":"eng"}],"_id":"18964","date_updated":"2022-01-06T06:53:55Z"},{"status":"public","publication_identifier":{"issn":["0163-5824"]},"year":"2001","type":"journal_article","language":[{"iso":"eng"}],"publication":"ACM SIGSAM Bulletin","date_created":"2021-09-03T09:08:27Z","date_updated":"2022-01-06T06:55:58Z","_id":"23731","page":"16-18","doi":"10.1145/504331.504333","abstract":[{"lang":"eng","text":"<jats:p>\r\n            On 22 May 2000, the factorization of a pseudorandom polynomial of degree 1 048 543 over the binary field Z\r\n            <jats:sub>2</jats:sub>\r\n            was completed on a 4-processor Linux PC, using roughly 100 CPU-hours. The basic approach is a combination of the factorization software BIPOLAR and a parallel version of Cantor's multiplication algorithm. The PUB-library (Paderborn University BSP library) is used for the implementation of the parallel communication.\r\n          </jats:p>"}],"author":[{"first_name":"Olaf","full_name":"Bonorden, Olaf","last_name":"Bonorden"},{"last_name":"von zur Gathen","full_name":"von zur Gathen, Joachim","first_name":"Joachim"},{"last_name":"Gerhard","full_name":"Gerhard, Jürgen","first_name":"Jürgen"},{"full_name":"Müller, Olaf","first_name":"Olaf","last_name":"Müller"}],"title":"Factoring a binary polynomial of degree over one million","department":[{"_id":"63"}],"user_id":"15415","publication_status":"published","citation":{"short":"O. Bonorden, J. von zur Gathen, J. Gerhard, O. Müller, ACM SIGSAM Bulletin (2001) 16–18.","bibtex":"@article{Bonorden_von zur Gathen_Gerhard_Müller_2001, title={Factoring a binary polynomial of degree over one million}, DOI={<a href=\"https://doi.org/10.1145/504331.504333\">10.1145/504331.504333</a>}, journal={ACM SIGSAM Bulletin}, author={Bonorden, Olaf and von zur Gathen, Joachim and Gerhard, Jürgen and Müller, Olaf}, year={2001}, pages={16–18} }","mla":"Bonorden, Olaf, et al. “Factoring a Binary Polynomial of Degree over One Million.” <i>ACM SIGSAM Bulletin</i>, 2001, pp. 16–18, doi:<a href=\"https://doi.org/10.1145/504331.504333\">10.1145/504331.504333</a>.","ieee":"O. Bonorden, J. von zur Gathen, J. Gerhard, and O. Müller, “Factoring a binary polynomial of degree over one million,” <i>ACM SIGSAM Bulletin</i>, pp. 16–18, 2001.","chicago":"Bonorden, Olaf, Joachim von zur Gathen, Jürgen Gerhard, and Olaf Müller. “Factoring a Binary Polynomial of Degree over One Million.” <i>ACM SIGSAM Bulletin</i>, 2001, 16–18. <a href=\"https://doi.org/10.1145/504331.504333\">https://doi.org/10.1145/504331.504333</a>.","ama":"Bonorden O, von zur Gathen J, Gerhard J, Müller O. Factoring a binary polynomial of degree over one million. <i>ACM SIGSAM Bulletin</i>. 2001:16-18. doi:<a href=\"https://doi.org/10.1145/504331.504333\">10.1145/504331.504333</a>","apa":"Bonorden, O., von zur Gathen, J., Gerhard, J., &#38; Müller, O. (2001). Factoring a binary polynomial of degree over one million. <i>ACM SIGSAM Bulletin</i>, 16–18. <a href=\"https://doi.org/10.1145/504331.504333\">https://doi.org/10.1145/504331.504333</a>"}},{"status":"public","year":"2001","publication_identifier":{"isbn":["9783540421979","9783540453352"],"issn":["0302-9743"]},"language":[{"iso":"eng"}],"date_created":"2020-08-24T10:14:06Z","date_updated":"2022-01-06T06:53:26Z","_id":"18152","intvolume":"      2064","place":"Berlin, Heidelberg","author":[{"last_name":"Ziegler","first_name":"Martin","full_name":"Ziegler, Martin"},{"last_name":"Brattka","full_name":"Brattka, Vasco","first_name":"Vasco"}],"department":[{"_id":"63"}],"publication_status":"published","citation":{"apa":"Ziegler, M., &#38; Brattka, V. (2001). A Computable Spectral Theorem. In <i>Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)</i> (Vol. 2064, pp. 378–388). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-45335-0_23\">https://doi.org/10.1007/3-540-45335-0_23</a>","ama":"Ziegler M, Brattka V. A Computable Spectral Theorem. In: <i>Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)</i>. Vol 2064. Berlin, Heidelberg; 2001:378-388. doi:<a href=\"https://doi.org/10.1007/3-540-45335-0_23\">10.1007/3-540-45335-0_23</a>","chicago":"Ziegler, Martin, and Vasco Brattka. “A Computable Spectral Theorem.” In <i>Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)</i>, 2064:378–88. Berlin, Heidelberg, 2001. <a href=\"https://doi.org/10.1007/3-540-45335-0_23\">https://doi.org/10.1007/3-540-45335-0_23</a>.","ieee":"M. Ziegler and V. Brattka, “A Computable Spectral Theorem,” in <i>Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)</i>, 2001, vol. 2064, pp. 378–388.","mla":"Ziegler, Martin, and Vasco Brattka. “A Computable Spectral Theorem.” <i>Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)</i>, vol. 2064, 2001, pp. 378–88, doi:<a href=\"https://doi.org/10.1007/3-540-45335-0_23\">10.1007/3-540-45335-0_23</a>.","bibtex":"@inproceedings{Ziegler_Brattka_2001, place={Berlin, Heidelberg}, title={A Computable Spectral Theorem}, volume={2064}, DOI={<a href=\"https://doi.org/10.1007/3-540-45335-0_23\">10.1007/3-540-45335-0_23</a>}, booktitle={Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)}, author={Ziegler, Martin and Brattka, Vasco}, year={2001}, pages={378–388} }","short":"M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388."},"type":"conference","publication":"Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA'2000)","volume":2064,"page":"378-388","abstract":[{"text":"Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them suffer from instabilities when applied to degenerate matrices, i.e., those having multiple eigenvalues. We investigate the spectral representation's effectivity properties on the sound formal basis of computable analysis. It turns out that in general the eigenvectors cannot be computed from a given matrix. If however the size of the matrix' spectrum (=number of different eigenvalues) is known in advance, it can be diagonalized effectively. Thus, in principle the spectral decomposition can be computed under remarkably weak non-degeneracy conditions.","lang":"eng"}],"doi":"10.1007/3-540-45335-0_23","title":"A Computable Spectral Theorem","user_id":"15415"},{"abstract":[{"text":"What is the maximum number of edges of the d-dimensional hypercube, denoted by S(d,k), that can be sliced by k many hyperplanes? This question on combinatorial properties of Euclidean geometry arising from linear separability considerations in the theory of Perceptrons has become an issue on its own. We use computational and combinatorial methods to obtain new bounds on S(d,k), s<=8. These strengthen earlier results on hypercube cut numbers.","lang":"eng"}],"author":[{"full_name":"Ziegler, Martin","first_name":"Martin","last_name":"Ziegler"},{"first_name":"M. Reza","full_name":"Emamy-Khansari, M. Reza","last_name":"Emamy-Khansari"}],"title":"New Bounds for Hypercube Slicing Numbers","department":[{"_id":"63"}],"user_id":"15415","citation":{"short":"M. Ziegler, M.R. Emamy-Khansari, in: Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, pp. 155–164.","bibtex":"@inproceedings{Ziegler_Emamy-Khansari_2001, title={New Bounds for Hypercube Slicing Numbers}, volume={AA}, booktitle={Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)}, author={Ziegler, Martin and Emamy-Khansari, M. Reza}, year={2001}, pages={155–164} }","mla":"Ziegler, Martin, and M. Reza Emamy-Khansari. “New Bounds for Hypercube Slicing Numbers.” <i>Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)</i>, vol. AA, 2001, pp. 155–64.","ieee":"M. Ziegler and M. R. Emamy-Khansari, “New Bounds for Hypercube Slicing Numbers,” in <i>Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)</i>, 2001, vol. AA, pp. 155–164.","chicago":"Ziegler, Martin, and M. Reza Emamy-Khansari. “New Bounds for Hypercube Slicing Numbers.” In <i>Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)</i>, AA:155–64, 2001.","apa":"Ziegler, M., &#38; Emamy-Khansari, M. R. (2001). New Bounds for Hypercube Slicing Numbers. In <i>Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)</i> (Vol. AA, pp. 155–164).","ama":"Ziegler M, Emamy-Khansari MR. New Bounds for Hypercube Slicing Numbers. In: <i>Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)</i>. Vol AA. ; 2001:155-164."},"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2001","date_created":"2020-08-24T11:29:08Z","publication":"Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG'2001)","date_updated":"2022-01-06T06:53:26Z","volume":"AA","_id":"18166","page":"155-164"},{"abstract":[{"text":"We consider the classical LINEAR OPTIMIZATION Problem, but in the Turing rather than the RealRAM model. Asking for mere computability of a function's maximum over some closed domain, we show that the common presumptions 'full-dimensional' and `bounded' in fact cannot be omitted: The sound framework of Recursive Analysis enables us to rigorously prove this folkloristic observation! On the other hand, convexity of this domain may be weakened to connectedness, and even NON-linear functions turn out to be effectively optimizable.","lang":"eng"}],"author":[{"full_name":"Brattka, Vasco","first_name":"Vasco","last_name":"Brattka"},{"full_name":"Ziegler, Martin","first_name":"Martin","last_name":"Ziegler"}],"title":"Turing Computability of (Non-)Linear Optimization","department":[{"_id":"63"}],"user_id":"15415","citation":{"ama":"Brattka V, Ziegler M. Turing Computability of (Non-)Linear Optimization. In: <i>Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)</i>. ; 2001:181-184.","apa":"Brattka, V., &#38; Ziegler, M. (2001). Turing Computability of (Non-)Linear Optimization. In <i>Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)</i> (pp. 181–184).","chicago":"Brattka, Vasco, and Martin Ziegler. “Turing Computability of (Non-)Linear Optimization.” In <i>Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)</i>, 181–84, 2001.","ieee":"V. Brattka and M. Ziegler, “Turing Computability of (Non-)Linear Optimization,” in <i>Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)</i>, 2001, pp. 181–184.","mla":"Brattka, Vasco, and Martin Ziegler. “Turing Computability of (Non-)Linear Optimization.” <i>Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)</i>, 2001, pp. 181–84.","bibtex":"@inproceedings{Brattka_Ziegler_2001, title={Turing Computability of (Non-)Linear Optimization}, booktitle={Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)}, author={Brattka, Vasco and Ziegler, Martin}, year={2001}, pages={181–184} }","short":"V. Brattka, M. Ziegler, in: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184."},"status":"public","type":"conference","year":"2001","language":[{"iso":"eng"}],"publication":"Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG'01)","date_created":"2020-08-24T11:33:12Z","date_updated":"2022-01-06T06:53:26Z","_id":"18168","page":"181-184"},{"page":"275 - 278","ddc":["000"],"publication":"Proc. of 3. GI-Informatiktage 2001","type":"conference","user_id":"15415","title":"Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph","file":[{"success":1,"date_updated":"2020-08-26T13:08:08Z","relation":"main_file","date_created":"2020-08-26T13:08:08Z","content_type":"application/pdf","access_level":"closed","file_id":"18371","file_size":146136,"file_name":"hni-id-1450.pdf","creator":"koala"}],"abstract":[{"lang":"eng","text":"We present a new approximate occlusion-culling algorithm that in contrast to other algorithms, manages the objects of the scene in a 3D-sectorgraph. For generating a frame, as far as possible only the visible objects are rendered that can be found quickly by an edge of the graph. The algorithm allows a real-time navigation with over 20 frames per second in complex scenes consisting of over 10 millions of polygons. Moreover, approximation errors are very low."}],"has_accepted_license":"1","file_date_updated":"2020-08-26T13:08:08Z","_id":"18370","date_updated":"2022-01-06T06:53:30Z","date_created":"2020-08-26T13:08:24Z","year":"2001","language":[{"iso":"eng"}],"status":"public","citation":{"apa":"Klein, J., &#38; Fischer, M. (2001). Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph. In <i>Proc. of 3. GI-Informatiktage 2001</i> (pp. 275–278). Bad Schussenried.","ama":"Klein J, Fischer M. Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph. In: <i>Proc. of 3. GI-Informatiktage 2001</i>. Bad Schussenried; 2001:275-278.","chicago":"Klein, Jan, and Matthias Fischer. “Occlusion Culling for Virtual Environments Based on the 3D-Sectorgraph.” In <i>Proc. of 3. GI-Informatiktage 2001</i>, 275–78. Bad Schussenried, 2001.","ieee":"J. Klein and M. Fischer, “Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph,” in <i>Proc. of 3. GI-Informatiktage 2001</i>, 2001, pp. 275–278.","mla":"Klein, Jan, and Matthias Fischer. “Occlusion Culling for Virtual Environments Based on the 3D-Sectorgraph.” <i>Proc. of 3. GI-Informatiktage 2001</i>, 2001, pp. 275–78.","bibtex":"@inproceedings{Klein_Fischer_2001, place={Bad Schussenried}, title={Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph}, booktitle={Proc. of 3. GI-Informatiktage 2001}, author={Klein, Jan and Fischer, Matthias}, year={2001}, pages={275–278} }","short":"J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278."},"department":[{"_id":"63"}],"author":[{"last_name":"Klein","first_name":"Jan","full_name":"Klein, Jan"},{"last_name":"Fischer","id":"146","full_name":"Fischer, Matthias","first_name":"Matthias"}],"place":"Bad Schussenried"},{"editor":[{"full_name":"Mehner, Katharina","first_name":"Katharina","last_name":"Mehner"},{"last_name":"Mezini","full_name":"Mezini, M.","first_name":"M."},{"full_name":"Pulvermüller, Elke","first_name":"Elke","last_name":"Pulvermüller"},{"last_name":"Speck","full_name":"Speck, Andreas","first_name":"Andreas"}],"title":"Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)","user_id":"52534","citation":{"mla":"Mehner, Katharina, et al., editors. <i>Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>. Vol. tr-ri-01-223, University of Paderborn, 2001.","bibtex":"@book{Mehner_Mezini_Pulvermüller_Speck_2001, series={Forschungsbericht}, title={Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)}, volume={tr-ri-01-223}, publisher={University of Paderborn}, year={2001}, collection={Forschungsbericht} }","short":"K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.","apa":"Mehner, K., Mezini, M., Pulvermüller, E., &#38; Speck, A. (Eds.). (2001). <i>Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i> (Vol. tr-ri-01-223). University of Paderborn.","ama":"Mehner K, Mezini M, Pulvermüller E, Speck A, eds. <i>Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>. Vol tr-ri-01-223. University of Paderborn; 2001.","chicago":"Mehner, Katharina, M. Mezini, Elke Pulvermüller, and Andreas Speck, eds. <i>Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>. Vol. tr-ri-01-223. Forschungsbericht. University of Paderborn, 2001.","ieee":"K. Mehner, M. Mezini, E. Pulvermüller, and A. Speck, Eds., <i>Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>, vol. tr-ri-01-223. University of Paderborn, 2001."},"series_title":"Forschungsbericht","department":[{"_id":"66"}],"publisher":"University of Paderborn","date_created":"2019-02-19T19:08:50Z","status":"public","language":[{"iso":"eng"}],"year":"2001","type":"conference_editor","volume":"tr-ri-01-223","_id":"7787","date_updated":"2022-01-06T07:03:46Z"}]