[{"title":"Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures","doi":"10.4230/LIPIcs.SAND.2024.15","date_updated":"2024-07-18T09:32:49Z","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","author":[{"id":"32229","full_name":"Hinnenthal, Kristian","last_name":"Hinnenthal","first_name":"Kristian"},{"first_name":"David Jan","last_name":"Liedtke","id":"55557","full_name":"Liedtke, David Jan"},{"first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian","id":"20792"}],"date_created":"2024-06-18T07:45:34Z","volume":292,"place":"Dagstuhl, Germany","year":"2024","citation":{"short":"K. Hinnenthal, D.J. Liedtke, C. Scheideler, in: A. Casteigts, F. Kuhn (Eds.), 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024, p. 15:1–15:20.","bibtex":"@inproceedings{Hinnenthal_Liedtke_Scheideler_2024, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures}, volume={292}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.SAND.2024.15\">10.4230/LIPIcs.SAND.2024.15</a>}, booktitle={3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Hinnenthal, Kristian and Liedtke, David Jan and Scheideler, Christian}, editor={Casteigts, Arnaud and Kuhn, Fabian}, year={2024}, pages={15:1–15:20}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }","mla":"Hinnenthal, Kristian, et al. “Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures.” <i>3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)</i>, edited by Arnaud Casteigts and Fabian Kuhn, vol. 292, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 15:1–15:20, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SAND.2024.15\">10.4230/LIPIcs.SAND.2024.15</a>.","apa":"Hinnenthal, K., Liedtke, D. J., &#38; Scheideler, C. (2024). Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures. In A. Casteigts &#38; F. Kuhn (Eds.), <i>3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)</i> (Vol. 292, p. 15:1–15:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SAND.2024.15\">https://doi.org/10.4230/LIPIcs.SAND.2024.15</a>","ieee":"K. Hinnenthal, D. J. Liedtke, and C. Scheideler, “Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures,” in <i>3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)</i>, 2024, vol. 292, p. 15:1–15:20, doi: <a href=\"https://doi.org/10.4230/LIPIcs.SAND.2024.15\">10.4230/LIPIcs.SAND.2024.15</a>.","chicago":"Hinnenthal, Kristian, David Jan Liedtke, and Christian Scheideler. “Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures.” In <i>3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)</i>, edited by Arnaud Casteigts and Fabian Kuhn, 292:15:1–15:20. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024. <a href=\"https://doi.org/10.4230/LIPIcs.SAND.2024.15\">https://doi.org/10.4230/LIPIcs.SAND.2024.15</a>.","ama":"Hinnenthal K, Liedtke DJ, Scheideler C. Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures. In: Casteigts A, Kuhn F, eds. <i>3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)</i>. Vol 292. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:15:1–15:20. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SAND.2024.15\">10.4230/LIPIcs.SAND.2024.15</a>"},"intvolume":"       292","page":"15:1–15:20","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-315-7"]},"keyword":["Programmable Matter","Shape Formation","3D Model","Finite Automaton"],"language":[{"iso":"eng"}],"_id":"54807","series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","user_id":"55557","department":[{"_id":"79"}],"abstract":[{"text":"This paper considers the shape formation problem within the 3D hybrid model, where a single agent with a strictly limited viewing range and the computational capacity of a deterministic finite automaton manipulates passive tiles through pick-up, movement, and placement actions. The goal is to reconfigure a set of tiles into a specific shape termed an icicle. The icicle, identified as a dense, hole-free structure, is strategically chosen to function as an intermediate shape for more intricate shape formation tasks. It is designed for easy exploration by a finite state agent, enabling the identification of tiles that can be lifted without breaking connectivity. Compared to the line shape, the icicle presents distinct advantages, including a reduced diameter and the presence of multiple removable tiles. We propose an algorithm that transforms an arbitrary initially connected tile structure into an icicle in 𝒪(n³) steps, matching the runtime of the line formation algorithm from prior work. Our theoretical contribution is accompanied by an extensive experimental analysis, indicating that our algorithm decreases the diameter of tile structures on average.","lang":"eng"}],"editor":[{"full_name":"Casteigts, Arnaud","last_name":"Casteigts","first_name":"Arnaud"},{"last_name":"Kuhn","full_name":"Kuhn, Fabian","first_name":"Fabian"}],"status":"public","type":"conference","publication":"3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)"},{"doi":"10.1109/FPL.2015.7293994","title":"Over effective hard real-time hardware tasks scheduling and allocation","date_created":"2019-07-10T12:11:36Z","author":[{"last_name":"Guettatfi","full_name":"Guettatfi, Zakarya","first_name":"Zakarya"},{"first_name":"Omar","last_name":"Kermia","full_name":"Kermia, Omar"},{"full_name":"Khouas, Abdelhakim","last_name":"Khouas","first_name":"Abdelhakim"}],"date_updated":"2022-01-06T06:50:50Z","publisher":"Imperial College","citation":{"apa":"Guettatfi, Z., Kermia, O., &#38; Khouas, A. (2015). Over effective hard real-time hardware tasks scheduling and allocation. In <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College. <a href=\"https://doi.org/10.1109/FPL.2015.7293994\">https://doi.org/10.1109/FPL.2015.7293994</a>","short":"Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015.","bibtex":"@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard real-time hardware tasks scheduling and allocation}, DOI={<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>}, booktitle={25th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim}, year={2015} }","mla":"Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>, Imperial College, 2015, doi:<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>.","ama":"Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks scheduling and allocation. In: <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College; 2015. doi:<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>","ieee":"Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>, 2015.","chicago":"Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” In <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College, 2015. <a href=\"https://doi.org/10.1109/FPL.2015.7293994\">https://doi.org/10.1109/FPL.2015.7293994</a>."},"year":"2015","publication_identifier":{"issn":["1946-147X"]},"extern":"1","language":[{"iso":"eng"}],"keyword":["embedded systems","field programmable gate arrays","operating systems (computers)","scheduling","μC/OS-II","FPGAs","OS foundation","SafeRTOS","Xenomai","chip utilization ration","complex time constraints","embedded systems","hard real-time hardware task allocation","hard real-time hardware task scheduling","hardware-software real-time operating systems","partially reconfigurable field-programmable gate arrays","resource constraints","safety-critical RTOS","Field programmable gate arrays","Hardware","Job shop scheduling","Real-time systems","Shape","Software"],"department":[{"_id":"78"}],"user_id":"398","_id":"10779","status":"public","publication":"25th International Conference on Field Programmable Logic and Applications (FPL)","type":"conference"},{"department":[{"_id":"54"}],"user_id":"460","_id":"11806","language":[{"iso":"eng"}],"keyword":["acoustic sensing tasks","array geometry","calibration","coherence analysis","hierarchical procedure","local shape calibration","microphone array networks","microphone arrays","network calibration method","sensor arrays","SRP-PHAT","unsupervised shape calibration"],"publication":"IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Microphone arrays represent the basis for many challenging acoustic sensing tasks. The accuracy of techniques like beamforming directly depends on a precise knowledge of the relative positions of the sensors used. Unfortunately, for certain use cases manually measuring the geometry of an array is not feasible due to practical constraints. In this paper we present an approach to unsupervised shape calibration of microphone array networks. We developed a hierarchical procedure that first performs local shape calibration based on coherence analysis and then employs SRP-PHAT in a network calibration method. Practical experiments demonstrate the effectiveness of our approach especially for highly reverberant acoustic environments."}],"date_created":"2019-07-12T05:28:37Z","author":[{"first_name":"Marius","last_name":"Hennecke","full_name":"Hennecke, Marius"},{"first_name":"Thomas","full_name":"Ploetz, Thomas","last_name":"Ploetz"},{"full_name":"Fink, Gernot A.","last_name":"Fink","first_name":"Gernot A."},{"first_name":"Joerg","last_name":"Schmalenstroeer","full_name":"Schmalenstroeer, Joerg","id":"460"},{"id":"242","full_name":"Haeb-Umbach, Reinhold","last_name":"Haeb-Umbach","first_name":"Reinhold"}],"oa":"1","date_updated":"2023-10-26T08:09:22Z","doi":"10.1109/SSP.2009.5278589","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2009/HePlFiScHa09.pdf","open_access":"1"}],"title":"A hierarchical approach to unsupervised shape calibration of microphone array networks","quality_controlled":"1","page":"257-260","citation":{"ieee":"M. Hennecke, T. Ploetz, G. A. Fink, J. Schmalenstroeer, and R. Haeb-Umbach, “A hierarchical approach to unsupervised shape calibration of microphone array networks,” in <i>IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)</i>, 2009, pp. 257–260, doi: <a href=\"https://doi.org/10.1109/SSP.2009.5278589\">10.1109/SSP.2009.5278589</a>.","chicago":"Hennecke, Marius, Thomas Ploetz, Gernot A. Fink, Joerg Schmalenstroeer, and Reinhold Haeb-Umbach. “A Hierarchical Approach to Unsupervised Shape Calibration of Microphone Array Networks.” In <i>IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)</i>, 257–60, 2009. <a href=\"https://doi.org/10.1109/SSP.2009.5278589\">https://doi.org/10.1109/SSP.2009.5278589</a>.","ama":"Hennecke M, Ploetz T, Fink GA, Schmalenstroeer J, Haeb-Umbach R. A hierarchical approach to unsupervised shape calibration of microphone array networks. In: <i>IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)</i>. ; 2009:257-260. doi:<a href=\"https://doi.org/10.1109/SSP.2009.5278589\">10.1109/SSP.2009.5278589</a>","mla":"Hennecke, Marius, et al. “A Hierarchical Approach to Unsupervised Shape Calibration of Microphone Array Networks.” <i>IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)</i>, 2009, pp. 257–60, doi:<a href=\"https://doi.org/10.1109/SSP.2009.5278589\">10.1109/SSP.2009.5278589</a>.","short":"M. Hennecke, T. Ploetz, G.A. Fink, J. Schmalenstroeer, R. Haeb-Umbach, in: IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009), 2009, pp. 257–260.","bibtex":"@inproceedings{Hennecke_Ploetz_Fink_Schmalenstroeer_Haeb-Umbach_2009, title={A hierarchical approach to unsupervised shape calibration of microphone array networks}, DOI={<a href=\"https://doi.org/10.1109/SSP.2009.5278589\">10.1109/SSP.2009.5278589</a>}, booktitle={IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)}, author={Hennecke, Marius and Ploetz, Thomas and Fink, Gernot A. and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2009}, pages={257–260} }","apa":"Hennecke, M., Ploetz, T., Fink, G. A., Schmalenstroeer, J., &#38; Haeb-Umbach, R. (2009). A hierarchical approach to unsupervised shape calibration of microphone array networks. <i>IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)</i>, 257–260. <a href=\"https://doi.org/10.1109/SSP.2009.5278589\">https://doi.org/10.1109/SSP.2009.5278589</a>"},"year":"2009"},{"status":"public","abstract":[{"lang":"eng","text":"EN: Although the use of new actuator technologies is quite enthusiastic, the realization of innovative systems based on these principles fails because of doubts in dependability. Until now, new working principles for actuators have not been systematically investigated in the means of dependability. Therefore we developed a proceeding for a dependability-oriented evaluation of technologies. This is shown in the case of shape memory alloy actuators. \r\nDE: Die Realisierung von Systemen mittels innovativer Aktortechnologien scheitert oftmals an der Skepsis gegenüber der Verlässlichkeit (Vertrauen in die zuverlässige und sichere Funktionalität der Technologie). Diese liegt darin begründet, dass neue Aktortechnologien bzw. die Integration von innovativen physikalischen Wirkprinzipen innerhalb neuer Aktorkonzepte bisher noch nicht systematisch im Kontext der Verlässlichkeit untersucht werden. Daher haben wir ein Vorgehen zur verlässlichkeitsorientierten Technologiebewertung entwickelt. Neben der detaillierten Darstellung des Vorgehensmodells wird es exemplarisch anhand von Formgedächtnislegierungen zur Entwicklung innovativer Antriebslösungen angewendet."}],"publication":"2. Tagung des DVM -- Arbeitskreis Zuverlässigkeit mechatronischer und adaptronischer Systeme: Absicherung der Systemzuverlässigkeit, Koblenz","type":"conference","language":[{"iso":"eng"}],"keyword":["EN: Dependability","Reliability","Evaluation of Technology","Actuators","Shape Memory Alloys DE: Verl{\\"],"department":[{"_id":"151"}],"user_id":"55222","_id":"9570","citation":{"ama":"Müller T, Schiedeck F, Hemsel T. Verlässlichkeitorientierte Technologiebewertung innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen. In: <i>2. Tagung Des DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer Systeme: Absicherung Der Systemzuverlässigkeit, Koblenz</i>. ; 2008.","ieee":"T. Müller, F. Schiedeck, and T. Hemsel, “Verlässlichkeitorientierte Technologiebewertung innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen,” in <i>2. Tagung des DVM -- Arbeitskreis Zuverlässigkeit mechatronischer und adaptronischer Systeme: Absicherung der Systemzuverlässigkeit, Koblenz</i>, 2008.","chicago":"Müller, Thomas, Florian Schiedeck, and Tobias Hemsel. “Verlässlichkeitorientierte Technologiebewertung Innovativer Aktortechnologien Am Beispiel von Formgedächtnislegierungen.” In <i>2. Tagung Des DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer Systeme: Absicherung Der Systemzuverlässigkeit, Koblenz</i>, 2008.","bibtex":"@inproceedings{Müller_Schiedeck_Hemsel_2008, title={Verlässlichkeitorientierte Technologiebewertung innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen}, booktitle={2. Tagung des DVM -- Arbeitskreis Zuverlässigkeit mechatronischer und adaptronischer Systeme: Absicherung der Systemzuverlässigkeit, Koblenz}, author={Müller, Thomas and Schiedeck, Florian and Hemsel, Tobias}, year={2008} }","short":"T. Müller, F. Schiedeck, T. Hemsel, in: 2. Tagung Des DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer Systeme: Absicherung Der Systemzuverlässigkeit, Koblenz, 2008.","mla":"Müller, Thomas, et al. “Verlässlichkeitorientierte Technologiebewertung Innovativer Aktortechnologien Am Beispiel von Formgedächtnislegierungen.” <i>2. Tagung Des DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer Systeme: Absicherung Der Systemzuverlässigkeit, Koblenz</i>, 2008.","apa":"Müller, T., Schiedeck, F., &#38; Hemsel, T. (2008). Verlässlichkeitorientierte Technologiebewertung innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen. In <i>2. Tagung des DVM -- Arbeitskreis Zuverlässigkeit mechatronischer und adaptronischer Systeme: Absicherung der Systemzuverlässigkeit, Koblenz</i>."},"year":"2008","title":"Verlässlichkeitorientierte Technologiebewertung innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen","author":[{"last_name":"Müller","full_name":"Müller, Thomas","first_name":"Thomas"},{"first_name":"Florian","last_name":"Schiedeck","full_name":"Schiedeck, Florian"},{"first_name":"Tobias","id":"210","full_name":"Hemsel, Tobias","last_name":"Hemsel"}],"date_created":"2019-04-29T11:57:41Z","date_updated":"2022-01-06T07:04:16Z"},{"_id":"6065","user_id":"42165","department":[{"_id":"424"}],"keyword":["direct parameter specification","DPS","attention shift","latency priming","sensorimotor control","stimuli","task-relevant features","visual targets","color","shape","latency effects","Adult","Attention","Discrimination (Psychology)","Female","Humans","Judgment","Male","Perceptual Masking","Reaction Time","Visual Perception","Attention","Perceptual Motor Processes","Response Latency","Stimulus Onset","Visual Stimulation","Form and Shape Perception","Sensory Adaptation"],"extern":"1","language":[{"iso":"eng"}],"type":"journal_article","publication":"Vision Research","abstract":[{"lang":"eng","text":"In the direct parameter specification (DPS) mode of sensorimotor control, response parameters can be specified by stimuli that are not consciously perceived [Psychological Research/Psychologische Forschung 52 (1990) 207]. DPS is contingent on the current intentions. The invisible stimuli can be processed for the purposes of sensorimotor control only if they match the actual intentions, for example, share task-relevant features. The present experiments explore whether attentional capture by masked abrupt-onset stimuli is mediated via DPS. Participants judged which of two visual targets appeared first. Masked primes preceded one of the targets. The primes were either similar to the targets or not, in shape, or in color. Target-like (task-relevant), but not distractor-like (task-irrelevant), primes facilitated perceptual latencies of targets trailing at their positions. Thus, the latency effects resulted from DPS of an attention shift, rather than from bottom-up capture or from top-down "}],"status":"public","date_updated":"2022-06-07T00:26:34Z","oa":"1","author":[{"full_name":"Scharlau, Ingrid","id":"451","orcid":"0000-0003-2364-9489","last_name":"Scharlau","first_name":"Ingrid"},{"first_name":"Ulrich","last_name":"Ansorge","full_name":"Ansorge, Ulrich"}],"date_created":"2018-12-10T07:01:37Z","volume":43,"title":"Direct parameter specification of an attention shift: Evidence from perceptual latency priming.","main_file_link":[{"open_access":"1","url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauAnsorge2003VisResDPS.pdf"}],"publication_status":"published","publication_identifier":{"issn":["0042-6989"]},"issue":"12","year":"2003","citation":{"apa":"Scharlau, I., &#38; Ansorge, U. (2003). Direct parameter specification of an attention shift: Evidence from perceptual latency priming. <i>Vision Research</i>, <i>43</i>(12), 1351–1363.","bibtex":"@article{Scharlau_Ansorge_2003, title={Direct parameter specification of an attention shift: Evidence from perceptual latency priming.}, volume={43}, number={12}, journal={Vision Research}, author={Scharlau, Ingrid and Ansorge, Ulrich}, year={2003}, pages={1351–1363} }","mla":"Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification of an Attention Shift: Evidence from Perceptual Latency Priming.” <i>Vision Research</i>, vol. 43, no. 12, 2003, pp. 1351–63.","short":"I. Scharlau, U. Ansorge, Vision Research 43 (2003) 1351–1363.","chicago":"Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification of an Attention Shift: Evidence from Perceptual Latency Priming.” <i>Vision Research</i> 43, no. 12 (2003): 1351–63.","ieee":"I. Scharlau and U. Ansorge, “Direct parameter specification of an attention shift: Evidence from perceptual latency priming.,” <i>Vision Research</i>, vol. 43, no. 12, pp. 1351–1363, 2003.","ama":"Scharlau I, Ansorge U. Direct parameter specification of an attention shift: Evidence from perceptual latency priming. <i>Vision Research</i>. 2003;43(12):1351-1363."},"page":"1351 - 1363","intvolume":"        43"}]