---
_id: '54807'
abstract:
- lang: eng
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 \U0001D4AA(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."
author:
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
- first_name: David Jan
full_name: Liedtke, David Jan
id: '55557'
last_name: Liedtke
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
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. 3rd Symposium on Algorithmic Foundations of Dynamic
Networks (SAND 2024). Vol 292. Leibniz International Proceedings in Informatics
(LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:15:1–15:20.
doi:10.4230/LIPIcs.SAND.2024.15'
apa: 'Hinnenthal, K., Liedtke, D. J., & Scheideler, C. (2024). Efficient Shape
Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate
Structures. In A. Casteigts & F. Kuhn (Eds.), 3rd Symposium on Algorithmic
Foundations of Dynamic Networks (SAND 2024) (Vol. 292, p. 15:1–15:20). Schloss
Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAND.2024.15'
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={10.4230/LIPIcs.SAND.2024.15},
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)} }'
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 3rd Symposium on Algorithmic Foundations of Dynamic
Networks (SAND 2024), 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. https://doi.org/10.4230/LIPIcs.SAND.2024.15.'
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 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024),
2024, vol. 292, p. 15:1–15:20, doi: 10.4230/LIPIcs.SAND.2024.15.'
mla: 'Hinnenthal, Kristian, et al. “Efficient Shape Formation by 3D Hybrid Programmable
Matter: An Algorithm for Low Diameter Intermediate Structures.” 3rd Symposium
on Algorithmic Foundations of Dynamic Networks (SAND 2024), edited by Arnaud
Casteigts and Fabian Kuhn, vol. 292, Schloss Dagstuhl – Leibniz-Zentrum für Informatik,
2024, p. 15:1–15:20, doi:10.4230/LIPIcs.SAND.2024.15.'
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.'
date_created: 2024-06-18T07:45:34Z
date_updated: 2024-07-18T09:32:49Z
department:
- _id: '79'
doi: 10.4230/LIPIcs.SAND.2024.15
editor:
- first_name: Arnaud
full_name: Casteigts, Arnaud
last_name: Casteigts
- first_name: Fabian
full_name: Kuhn, Fabian
last_name: Kuhn
intvolume: ' 292'
keyword:
- Programmable Matter
- Shape Formation
- 3D Model
- Finite Automaton
language:
- iso: eng
page: 15:1–15:20
place: Dagstuhl, Germany
publication: 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)
publication_identifier:
isbn:
- 978-3-95977-315-7
issn:
- 1868-8969
publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: 'Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for
Low Diameter Intermediate Structures'
type: conference
user_id: '55557'
volume: 292
year: '2024'
...
---
_id: '10779'
author:
- first_name: Zakarya
full_name: Guettatfi, Zakarya
last_name: Guettatfi
- first_name: Omar
full_name: Kermia, Omar
last_name: Kermia
- first_name: Abdelhakim
full_name: Khouas, Abdelhakim
last_name: Khouas
citation:
ama: 'Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks
scheduling and allocation. In: 25th International Conference on Field Programmable
Logic and Applications (FPL). Imperial College; 2015. doi:10.1109/FPL.2015.7293994'
apa: Guettatfi, Z., Kermia, O., & Khouas, A. (2015). Over effective hard real-time
hardware tasks scheduling and allocation. In 25th International Conference
on Field Programmable Logic and Applications (FPL). Imperial College. https://doi.org/10.1109/FPL.2015.7293994
bibtex: '@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard
real-time hardware tasks scheduling and allocation}, DOI={10.1109/FPL.2015.7293994},
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} }'
chicago: Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective
Hard Real-Time Hardware Tasks Scheduling and Allocation.” In 25th International
Conference on Field Programmable Logic and Applications (FPL). Imperial College,
2015. https://doi.org/10.1109/FPL.2015.7293994.
ieee: Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware
tasks scheduling and allocation,” in 25th International Conference on Field
Programmable Logic and Applications (FPL), 2015.
mla: Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling
and Allocation.” 25th International Conference on Field Programmable Logic
and Applications (FPL), Imperial College, 2015, doi:10.1109/FPL.2015.7293994.
short: 'Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on
Field Programmable Logic and Applications (FPL), Imperial College, 2015.'
date_created: 2019-07-10T12:11:36Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
doi: 10.1109/FPL.2015.7293994
extern: '1'
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
language:
- iso: eng
publication: 25th International Conference on Field Programmable Logic and Applications
(FPL)
publication_identifier:
issn:
- 1946-147X
publisher: Imperial College
status: public
title: Over effective hard real-time hardware tasks scheduling and allocation
type: conference
user_id: '398'
year: '2015'
...
---
_id: '11806'
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.
author:
- first_name: Marius
full_name: Hennecke, Marius
last_name: Hennecke
- first_name: Thomas
full_name: Ploetz, Thomas
last_name: Ploetz
- first_name: Gernot A.
full_name: Fink, Gernot A.
last_name: Fink
- first_name: Joerg
full_name: Schmalenstroeer, Joerg
id: '460'
last_name: Schmalenstroeer
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Hennecke M, Ploetz T, Fink GA, Schmalenstroeer J, Haeb-Umbach R. A hierarchical
approach to unsupervised shape calibration of microphone array networks. In: IEEE/SP
15th Workshop on Statistical Signal Processing (SSP 2009). ; 2009:257-260.
doi:10.1109/SSP.2009.5278589'
apa: Hennecke, M., Ploetz, T., Fink, G. A., Schmalenstroeer, J., & Haeb-Umbach,
R. (2009). A hierarchical approach to unsupervised shape calibration of microphone
array networks. IEEE/SP 15th Workshop on Statistical Signal Processing (SSP
2009), 257–260. https://doi.org/10.1109/SSP.2009.5278589
bibtex: '@inproceedings{Hennecke_Ploetz_Fink_Schmalenstroeer_Haeb-Umbach_2009, title={A
hierarchical approach to unsupervised shape calibration of microphone array networks},
DOI={10.1109/SSP.2009.5278589},
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} }'
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 IEEE/SP 15th Workshop on Statistical Signal
Processing (SSP 2009), 257–60, 2009. https://doi.org/10.1109/SSP.2009.5278589.
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 IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009),
2009, pp. 257–260, doi: 10.1109/SSP.2009.5278589.'
mla: Hennecke, Marius, et al. “A Hierarchical Approach to Unsupervised Shape Calibration
of Microphone Array Networks.” IEEE/SP 15th Workshop on Statistical Signal
Processing (SSP 2009), 2009, pp. 257–60, doi:10.1109/SSP.2009.5278589.
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.'
date_created: 2019-07-12T05:28:37Z
date_updated: 2023-10-26T08:09:22Z
department:
- _id: '54'
doi: 10.1109/SSP.2009.5278589
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
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2009/HePlFiScHa09.pdf
oa: '1'
page: 257-260
publication: IEEE/SP 15th Workshop on Statistical Signal Processing (SSP 2009)
quality_controlled: '1'
status: public
title: A hierarchical approach to unsupervised shape calibration of microphone array
networks
type: conference
user_id: '460'
year: '2009'
...
---
_id: '9570'
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."
author:
- first_name: Thomas
full_name: Müller, Thomas
last_name: Müller
- first_name: Florian
full_name: Schiedeck, Florian
last_name: Schiedeck
- first_name: Tobias
full_name: Hemsel, Tobias
id: '210'
last_name: Hemsel
citation:
ama: 'Müller T, Schiedeck F, Hemsel T. Verlässlichkeitorientierte Technologiebewertung
innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen. In: 2.
Tagung Des DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer
Systeme: Absicherung Der Systemzuverlässigkeit, Koblenz. ; 2008.'
apa: 'Müller, T., Schiedeck, F., & Hemsel, T. (2008). Verlässlichkeitorientierte
Technologiebewertung innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen.
In 2. Tagung des DVM -- Arbeitskreis Zuverlässigkeit mechatronischer und adaptronischer
Systeme: Absicherung der Systemzuverlässigkeit, Koblenz.'
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} }'
chicago: 'Müller, Thomas, Florian Schiedeck, and Tobias Hemsel. “Verlässlichkeitorientierte
Technologiebewertung Innovativer Aktortechnologien Am Beispiel von Formgedächtnislegierungen.”
In 2. Tagung Des DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer
Systeme: Absicherung Der Systemzuverlässigkeit, Koblenz, 2008.'
ieee: 'T. Müller, F. Schiedeck, and T. Hemsel, “Verlässlichkeitorientierte Technologiebewertung
innovativer Aktortechnologien am Beispiel von Formgedächtnislegierungen,” 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.” 2. Tagung Des
DVM -- Arbeitskreis Zuverlässigkeit Mechatronischer Und Adaptronischer Systeme:
Absicherung Der Systemzuverlässigkeit, Koblenz, 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.'
date_created: 2019-04-29T11:57:41Z
date_updated: 2022-01-06T07:04:16Z
department:
- _id: '151'
keyword:
- 'EN: Dependability'
- Reliability
- Evaluation of Technology
- Actuators
- 'Shape Memory Alloys DE: Verl{\'
language:
- iso: eng
publication: '2. Tagung des DVM -- Arbeitskreis Zuverlässigkeit mechatronischer und
adaptronischer Systeme: Absicherung der Systemzuverlässigkeit, Koblenz'
status: public
title: Verlässlichkeitorientierte Technologiebewertung innovativer Aktortechnologien
am Beispiel von Formgedächtnislegierungen
type: conference
user_id: '55222'
year: '2008'
...
---
_id: '6065'
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 '
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Ulrich
full_name: Ansorge, Ulrich
last_name: Ansorge
citation:
ama: 'Scharlau I, Ansorge U. Direct parameter specification of an attention shift:
Evidence from perceptual latency priming. Vision Research. 2003;43(12):1351-1363.'
apa: 'Scharlau, I., & Ansorge, U. (2003). Direct parameter specification of
an attention shift: Evidence from perceptual latency priming. Vision Research,
43(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} }'
chicago: 'Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification
of an Attention Shift: Evidence from Perceptual Latency Priming.” Vision Research
43, no. 12 (2003): 1351–63.'
ieee: 'I. Scharlau and U. Ansorge, “Direct parameter specification of an attention
shift: Evidence from perceptual latency priming.,” Vision Research, vol.
43, no. 12, pp. 1351–1363, 2003.'
mla: 'Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification of an
Attention Shift: Evidence from Perceptual Latency Priming.” Vision Research,
vol. 43, no. 12, 2003, pp. 1351–63.'
short: I. Scharlau, U. Ansorge, Vision Research 43 (2003) 1351–1363.
date_created: 2018-12-10T07:01:37Z
date_updated: 2022-06-07T00:26:34Z
department:
- _id: '424'
extern: '1'
intvolume: ' 43'
issue: '12'
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
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauAnsorge2003VisResDPS.pdf
oa: '1'
page: 1351 - 1363
publication: Vision Research
publication_identifier:
issn:
- 0042-6989
publication_status: published
status: public
title: 'Direct parameter specification of an attention shift: Evidence from perceptual
latency priming.'
type: journal_article
user_id: '42165'
volume: 43
year: '2003'
...