Publications at the Faculty of Computer Science and Automation since 2015

Results: 1924
Created on: Sat, 27 Apr 2024 23:11:18 +0200 in 0.0970 sec


Esmaeilzadeh Kiabani, Negin; Kazemi, Reza; Hadipour, Abed L.; Khomami, Sanaz; Kalloch, Benjamin; Hlawitschka, Mario
Targeting the insula with transcranial direct current stimulation: a simulation study. - In: Psychiatry research, ISSN 1872-7506, Bd. 335 (2023), 111718

Insula is considered an important region of the brain in the generation and maintenance of a wide range of psychiatric symptoms, possibly due to being key in fundamental functions such as interoception and cognition in general. Investigating the possibility of targeting this area using non-invasive brain stimulation techniques can open new possibilities to probe the normal and abnormal functioning of the brain and potentially new treatment protocols to alleviate symptoms of different psychiatric disorders. In the current study, COMETS2, a MATLAB based toolbox was used to simulate the magnitude of the current density and electric field in the brain caused by different transcranial direct current stimulation (tDCS) protocols to find an optimum montage to target the insula and its 6 subregions for three different current intensities, namely 2, 3, and 4 mA. Frontal and occipital regions were found to be optimal candidate regions. The results of the current study showed that it is viable to reach the insula and its individual subregions using tDCS.



https://doi.org/10.1016/j.pscychresns.2023.111718
Stephan, Benedict; Köhler, Mona; Müller, Steffen; Zhang, Yan; Groß, Horst-Michael; Notni, Gunther
OHO: a multi-modal, multi-purpose dataset for human-robot object hand-over. - In: Sensors, ISSN 1424-8220, Bd. 23 (2023), 18, 7807, S. 1-13

In the context of collaborative robotics, handing over hand-held objects to a robot is a safety-critical task. Therefore, a robust distinction between human hands and presented objects in image data is essential to avoid contact with robotic grippers. To be able to develop machine learning methods for solving this problem, we created the OHO (Object Hand-Over) dataset of tools and other everyday objects being held by human hands. Our dataset consists of color, depth, and thermal images with the addition of pose and shape information about the objects in a real-world scenario. Although the focus of this paper is on instance segmentation, our dataset also enables training for different tasks such as 3D pose estimation or shape estimation of objects. For the instance segmentation task, we present a pipeline for automated label generation in point clouds, as well as image data. Through baseline experiments, we show that these labels are suitable for training an instance segmentation to distinguish hands from objects on a per-pixel basis. Moreover, we present qualitative results for applying our trained model in a real-world application.



https://doi.org/10.3390/s23187807
Coleri, Sinem; Altintas, Onur; Kargl, Frank; Higuchi, Takamasa; Segata, Michele; Klingler, Florian
2023 IEEE Vehicular Networking Conference (VNC) : 26-28 April 2023, Istanbul, Turkey. - [Piscataway, NJ] : IEEE, 2023. - 1 Online-Ressource ISBN 979-8-3503-3549-1
Literaturangaben

https://ieeexplore.ieee.org/servlet/opac?punumber=10136303
Posielek, Tobias; Reger, Johann
Spacecraft attitude estimation based on temperature measurements in cuboid configuration. - In: Control engineering practice, ISSN 1873-6939, Bd. 140 (2023), 105659

In any spacecraft mission it is vital to have knowledge about the attitude. In this context, multiple ways can be employed to estimate the current attitude of the spacecraft. As temperature sensors are cheap and lightweight they appear to be a viable alternative. A method is investigated to estimate the attitude of a spacecraft based on twelve temperature sensors in a cuboid configuration. The method relies on a proposed mathematical model governing the temperature and attitude dynamics and employs non-linear observer design. Further, it is investigated if the attitude estimation is still possible if some of the sensors are malfunctioning. The proposed algorithms are validated using real mission data.



https://doi.org/10.1016/j.conengprac.2023.105659
Chamaani, Somayyeh; Sachs, Jürgen; Prokhorova, Alexandra; Smeenk, Carsten; Wegner, Tim Erich; Helbig, Marko
Microwave angiography by ultra-wideband sounding: a preliminary investigation. - In: Diagnostics, ISSN 2075-4418, Bd. 13 (2023), 18, 2950, S. 1-17

Angiography is a very informative method for physicians such as cardiologists, neurologists and neuroscientists. The current modalities experience some shortages, e.g., ultrasound is very operator dependent. The computerized tomography (CT) and magnetic resonance (MR) angiography are very expensive and near infrared spectroscopy cannot capture the deep arteries. Microwave technology has the potential to address some of these issues while compromising between operator dependency, cost, speed, penetration depth and resolution. This paper studies the feasibility of microwave signals for monitoring of arteries. To this aim, a homogenous phantom mimicking body tissue is built. Four elastic tubes simulate arteries and a mechanical system creates pulsations in these arteries. A multiple input multiple output (MIMO) array of ultra-wideband (UWB) transmitters and receivers illuminates the phantom and captures the reflected signals over the desired observation time period. Since we are only interested in the imaging of dynamic parts, i.e., arteries, the static clutters can be suppressed easily by background subtraction method. To obtain a fast image of arteries, which are pulsating with the heartbeat rate, we calculate the Fourier transform of each channel of the MIMO system over the observation time and apply delay and sum (DAS) beamforming method on the heartbeat rate aligned spectral component. The results show that the lateral and longitudinal images and motion mode (M-mode) time series of different points of phantom have the potential to be used for diagnosis.



https://doi.org/10.3390/diagnostics13182950
Lasch, Robert; Legler, Thomas; May, Norman; Scheirle, Bernhard; Sattler, Kai-Uwe
Cooperative memory management for table and temporary data. - In: 1st Workshop on Simplicity in Management of Data, (2023), 2, insges. 5 S.

The traditional paradigm for managing memory in database management systems (DBMS) treats memory used for caching table data and memory for temporary data as separate entities. This leads to inefficient utilization of the available memory capacity for mixed workloads. With memory being a significant factor in the costs of operating a DBMS, utilizing memory as efficiently as possible is highly desirable. As an alternative to the traditional paradigm, we propose managing the entire available memory in a cooperative manner to achieve better memory utilization and consequently higher cost-effectiveness for DBMSs. Initial experimental evaluation of cooperative memory management using a prototype implementation shows promising results and leads to several interesting further research directions.



https://doi.org/10.1145/3596225.3596230
Korte, Jana; Voß, Samuel; Janiga, Gábor; Beuing, Oliver; Behme, Daniel; Saalfeld, Sylvia; Berg, Philipp
Is accurate lumen segmentation more important than outlet boundary condition in image-based blood flow simulations for intracranial aneurysms?. - In: Cardiovascular engineering and technology, ISSN 1869-4098, Bd. 14 (2023), 5, S. 617-630

Purpose: Image-based blood flow simulations are increasingly used to investigate the hemodynamics in intracranial aneurysms (IAs). However, a strong variability in segmentation approaches as well as the absence of individualized boundary conditions (BCs) influence the quality of these simulation results leading to imprecision and decreased reliability. This study aims to analyze these influences on relevant hemodynamic parameters within IAs. Methods: As a follow-up study of an international multiple aneurysms challenge, the segmentation results of five IAs differing in size and location were investigated. Specifically, five possible outlet BCs were considered in each of the IAs. These are comprised of the zero-pressure condition (BC1), a flow distribution based on Murray’s law with the exponents n = 2 (BC2) and n = 3 (BC3) as well as two advanced flow-splitting models considering the real vessels by including circular cross sections (BC4) or anatomical cross sections (BC5), respectively. In total, 120 time-dependent blood flow simulations were analyzed qualitatively and quantitatively, focusing on five representative intra-aneurysmal flow and five shear parameters such as vorticity and wall shear stress. Results: The outlet BC variation revealed substantial differences. Higher shear stresses (up to Δ9.69 Pa), intrasaccular velocities (up to Δ0.15 m/s) and vorticities (up to Δ629.22 1/s) were detected when advanced flow-splitting was applied compared to the widely used zero-pressure BC. The tendency of outlets BCs to over- or underestimate hemodynamic parameters is consistent across different segmentations of a single aneurysm model. Segmentation-induced variability reaches Δ19.58 Pa, Δ0.42 m/s and Δ957.27 1/s, respectively. Excluding low fidelity segmentations, however, (a) reduces the deviation drastically (>43%) and (b) leads to a lower impact of the outlet BC on hemodynamic predictions. Conclusion: With a more realistic lumen segmentation, the influence of the BC on the resulting hemodynamics is decreased. A realistic lumen segmentation can be ensured, e.g., by using high-resolved 2D images. Furthermore, the selection of an advanced outflow-splitting model is advised and the use of a zero-pressure BC and BC based on Murray’s law with exponent n = 3 should be avoided.



https://doi.org/10.1007/s13239-023-00675-1
Berkholz, Christoph; Vinall-Smeeth, Harry
A dichotomy for succinct representations of homomorphisms. - In: 50th International Colloquium on Automata, Languages, and Programming, (2023), S. 113:1-113:19

The task of computing homomorphisms between two finite relational structures A and B is a well-studied question with numerous applications. Since the set Hom(A, B) of all homomorphisms may be very large having a method of representing it in a succinct way, especially one which enables us to perform efficient enumeration and counting, could be extremely useful. One simple yet powerful way of doing so is to decompose Hom(A, B) using union and Cartesian product. Such data structures, called d-representations, have been introduced by Olteanu and Závodný [Olteanu and Závodný, 2015] in the context of database theory. Their results also imply that if the treewidth of the left-hand side structure A is bounded, then a d-representation of polynomial size can be found in polynomial time. We show that for structures of bounded arity this is optimal: if the treewidth is unbounded then there are instances where the size of any d-representation is superpolynomial. Along the way we develop tools for proving lower bounds on the size of d-representations, in particular we define a notion of reduction suitable for this context and prove an almost tight lower bound on the size of d-representations of all k-cliques in a graph.



https://doi.org/10.4230/LIPIcs.ICALP.2023.113
Jochmann, Thomas; Seibel, Marc S.; Jochmann, Elisabeth; Khan, Sheraz; Hämäläinen, Matti; Haueisen, Jens
Sex-related patterns in the electroencephalogram and their relevance in machine learning classifiers. - In: Human brain mapping, ISSN 1097-0193, Bd. 44 (2023), 14, S. 4848-4858

Deep learning is increasingly being proposed for detecting neurological and psychiatric diseases from electroencephalogram (EEG) data but the method is prone to inadvertently incorporate biases from training data and exploit illegitimate patterns. The recent demonstration that deep learning can detect the sex from EEG implies potential sex-related biases in deep learning-based disease detectors for the many diseases with unequal prevalence between males and females. In this work, we present the male- and female-typical patterns used by a convolutional neural network that detects the sex from clinical EEG (81% accuracy in a separate test set with 142 patients). We considered neural sources, anatomical differences, and non-neural artifacts as sources of differences in the EEG curves. Using EEGs from 1140 patients, we found electrocardiac artifacts to be leaking into the supposedly brain activity-based classifiers. Nevertheless, the sex remained detectable after rejecting heart-related and other artifacts. In the cleaned data, EEG topographies were critical to detect the sex, but waveforms and frequencies were not. None of the traditional frequency bands was particularly important for sex detection. We were able to determine the sex even from EEGs with shuffled time points and therewith completely destroyed waveforms. Researchers should consider neural and non-neural sources as potential origins of sex differences in their data, they should maintain best practices of artifact rejection, even when datasets are large, and they should test their classifiers for sex biases.



https://doi.org/10.1002/hbm.26417
Honecker, Maria Christine; Gernandt, Hannes; Wulff, Kai; Trunk, Carsten; Reger, Johann
Feedback rectifiable pairs and stabilization of switched linear systems. - Ilmenau : Technische Universität Ilmenau, Institut für Mathematik, 2023. - 1 Online-Ressource (12 Seiten). - (Preprint ; M23,07)

We address the feedback design problem for switched linear systems. In particular we aim to design a switched state-feedback such that the resulting closed-loop switched system is in upper triangular form. To this effect we formulate and analyse the feedback rectification problem for pairs of matrices. We present necessary and sufficient conditions for the feedback rectifiability of pairs for two subsystems and give a constructive procedure to design stabilizing state-feedback for a class of switched systems. Several examples illustrate the characteristics of the problem considered and the application of the proposed constructive procedure.



https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2023200194