Publications at the Faculty of Computer Science and Automation since 2015

Results: 1927
Created on: Thu, 02 May 2024 23:12:33 +0200 in 0.1314 sec


Kuang, Hongyu; Nie, Jia; Hu, Hao; Rempel, Patrick; Lü, Jian; Egyed, Alexander; Mäder, Patrick
Analyzing closeness of code dependencies for improving IR-based traceability recovery. - In: SANER 2017, ISBN 978-1-5090-5501-2, (2017), S. 68-78

https://doi.org/10.1109/SANER.2017.7884610
Lepper, Markus; Trancón y Widemann, Baltasar
MetricSplit - automated notation of rhythms, adequate to a metric structure : technical report. - Ilmenau : Universitätsbibliothek, 2017. - 1 Online-Ressource (48 Seiten)

In der traditionellen "Westeuropäischen Standard-(Musik-)Notation" ("Common Western Notation", CWN) kann jeder als Folge von Dauernwerten gegebene musikalische Rhythmus mittels der grundlegenden Mittel der Dauernbeschreibung (Notensymbole, Verlängerungspunkte, Proportionalklammern, Haltebögen) auf unendlich viele Weisen dargestellt werden. Ein musikalisches Metrum ist eine hierarchische Gliederung der Dauer eines Taktes in Unterintervalle. Ein Metrum schränkt die Anzahl der möglichen Notationen deutlich ein auf die ihm adäquaten. Dies bedeutet: ergonomisch zweckmäßig für leichte Erfassbarkeit der ryhthmischen Gestalt als solcher und ihrer Stellung relativ in der Hierarchie des Metrums. Im Falle automatisch generierter Dauernfolgen, z.B. durch algorithmische Komposition oder computergestützte Analyse, erhebt sich das Problem der automatischen Berechnung solch adäquater Darstellungen. Dies erledigt der Algorithmus metricSplit, der in dieser Schrift spezifiziert wird. Als vollständige Funktion über alle möglichen Eingaben ist er ohne veröffentlichte Vorläufer. Die zu seiner Konstruktion und Beschreibung notwendigen Formalisierungen sollen auch beitragen zur allgemeinen Diskussion über Rollen und Eigenschaften von mathematischen Modellen in ästhetischen Kontexten.



http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017200259
Lazutkin, Evgeny; Li, Pu
Verbesserter Ansatz des kombinierten Mehrfachschießverfahrens mit Kollokation zur dynamischen Optimierung und Anwendung auf autonomes Fahren. - In: 51. Regelungstechnisches Kolloquium in Boppard, (2017), S. 63-64

Pedrosa, Paulo; Fiedler, Patrique; Schinaia, Lorenzo; Vasconcelos, Beatriz; Martins, Ana C.; Amaral, Maria H.; Comanie, Silvia; Haueisen, Jens; Fonseca, Carlos
Alginate-based hydrogels as an alternative to electrolytic gels for rapid EEG monitoring and easy cleaning procedures. - In: Sensors and actuators, ISSN 0925-4005, Bd. 247 (2017), S. 273-283

http://dx.doi.org/10.1016/j.snb.2017.02.164
Zetzsche, Georg; Kuske, Dietrich; Lohrey, Markus
On Boolean closed full trios and rational Kripke frames. - In: Theory of computing systems, ISSN 1433-0490, Bd. 60 (2017), 3, S. 438-472

We study what languages can be constructed from a non-regular language L using Boolean operations and (synchronous) rational transductions. If all rational transductions are allowed, one can construct the whole arithmetical hierarchy relative to L. In the case of synchronous rational transductions, we present non-regular languages that allow constructing languages arbitrarily high in the arithmetical hierarchy and we present non-regular languages that allow constructing only recursive languages. - A consequence of the results is that aside from the regular languages, no full trio generated by a single language is closed under complementation. Another consequence is that there is a fixed rational Kripke frame such that assigning an arbitrary non-regular language to some variable allows the definition of any language from the arithmetical hierarchy in the corresponding Kripke structure using multimodal logic.



https://doi.org/10.1007/s00224-016-9694-0
Mulyadi, Indira H.; Haueisen, Jens; Supriyanto, Eko
Practical aspects in surface biopotential electrode placement for smart clothing: a simulation study. - In: AIP conference proceedings, ISSN 1551-7616, Bd. 1817 (2017), 040008, insges. 7 S.

http://dx.doi.org/10.1063/1.4976793
Zimmermann, Frank;
Ereignisdetektion und Stimmungsdetektion im Echtzeitdatenstrom von sozialen Netzwerken. - Ilmenau : Universitätsbibliothek, 2017. - 1 Online-Ressource (135 Blätter, 8.47 MB)
Technische Universität Ilmenau, Dissertation 2017

In der vorliegenden Arbeit wurde gezeigt, dass mit Hilfe der neu entwickelten Algorithmen aus einem Echtzeitdatenstrom von georeferenzierten Kurzmitteilungen, eines sozialen Netzwerkes, neue Ereignisse und deren Ort detektiert werden können. So kann die Frage: "Was geschieht gerade?" durch die Analyse von Daten der sozialen Netzwerke, mit Hilfe der in dieser Arbeit entwickelten Algorithmen, beantwortet werden. Diese Algorithmen sind so entworfen, dass sie verschiedene Arten von Ereignissen detektieren können. Dabei reicht die Spanne der erkannten Ereignisse von Sportereignissen, Kongressen, kulturellen Events und signifikanten Wetterereignissen bis hin zu Katastrophen. Dass der Ansatz der Ereignisdetektionsalgorithmen sich auch auf andere Problemfelder anwenden lässt, wurde mit einer zusätzlichen Stimmungsdetektion gezeigt. Dazu wurde eine sprachunabhängige Stimmungsdetektion konzipiert, die die Bewertung der Terme auf Grundlage von Emoticons vornimmt. Somit konnte eine sprachunabhängige Ereignis- und Stimmungsdetektion implementiert werden, die ohne aufwendige Vorverarbeitung der Daten auskommt.



http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017000047
Richter, Johannes; Streitferdt, Detlef; Rozova, Elena
On the development of intelligent optical inspections. - In: IEEE CCWC - 2017, ISBN 978-1-5090-4228-9, (2017), insges. 6 S.

https://doi.org/10.1109/CCWC.2017.7868455
Seeland, Marco; Rzanny, Michael Carsten; Alaqraa, Nedal; Wäldchen, Jana; Mäder, Patrick
Plant species classification using flower images - a comparative study of local feature representations. - In: PLOS ONE, ISSN 1932-6203, Bd. 12 (2017), 2, e0170629, insges. 29 S.

http://dx.doi.org/10.1371/journal.pone.0170629
Haverkort, Boudewijn R.; Zimmermann, Armin
Smart industry: how ICT will change the game!. - In: IEEE Internet computing online, ISSN 1941-0131, Bd. 21 (2017), 1, S. 8-10
Guest editors' introduction

https://doi.org/10.1109/MIC.2017.22