Production of monodispersed magnetic polymeric microspheres in a microfluidic chip and 3D simulation. - In: Microfluidics and nanofluidics, ISSN 1613-4990, Bd. 20 (2016), 1, 6, S. 1-14
https://doi.org/10.1007/s10404-015-1693-
Model-based QoS evaluation and validation for embedded wireless sensor networks. - In: IEEE systems journal, ISSN 1937-9234, Bd. 10 (2016), 2, S. 592-603
Wireless communication technologies have the potential to significantly reduce cabling cost, cut down on weight, and simplify the overall structure of industrial embedded systems. Potential risks and costs of a technological switch from wired interconnections toward a wireless solution are difficult to estimate, however. Model-based system engineering can help to reduce risk and cost and to increase the quality of the resulting system. However, standard network simulation software has to be adapted to the particular requirements of embedded wireless sensor networks such as system operational modes and phases, comprehensive means of configuration, and performance analysis; and models are not easy to validate in detail. This paper presents a highly scalable model for industrial embedded wireless networks to validate different system configurations and applies it to a system setup designed for avionic environments, using a software architectural framework for domain-specific simulation-based tools. The presented model is detailed enough to cover the significant behavior for quality of service requirements, including delays, throughput, reliability, energy consumption, and node lifetime. An additional important contribution is the direct connection between design tool and test bed or prototype system, allowing a seamless configuration of a hardware setup and an integration of measured behavior for a fine-grained validation of model and prototype. The application to a real-life system setup shows the benefits of the integrated approach.
http://dx.doi.org/10.1109/JSYST.2014.2359690
Optimal pressure regulation in water distribution systems based on an extended model for pressure reducing valves. - In: Water resources management, ISSN 1573-1650, Bd. 30 (2016), 3, S. 1239-1254
http://dx.doi.org/10.1007/s11269-016-1223-z
Bitwise dimensional co-clustering for analytical workloads. - In: The VLDB journal, ISSN 0949-877X, Bd. 25 (2016), 3, S. 291-316
http://dx.doi.org/10.1007/s00778-015-0417-y
The model-theoretic complexity of automatic linear orders. - Ilmenau : Universitätsverlag Ilmenau, 2016. - 1 Online-Ressource (xiii, 228 Seiten)
Technische Universität Ilmenau, Dissertation 2015
Automatische Strukturen sind auf dem Forschungsgebiet "Logik in der Informatik" seit etwa 15 Jahren ein viel beachtetes Thema. Eine Struktur ist automatisch, wenn ihre Trägermenge, ihre Relationen und ihre Funktionen allesamt durch endliche Automaten auf Wörtern oder Bäumen erkennbar sind. Insbesondere sind derartige Strukturen endlich darstellbar. Die Hauptmotivation zur Untersuchung automatischer Strukturen liegt in der uniformen Entscheidbarkeit ihrer prädikatenlogischen Theorien erster Stufe. In dieser Dissertation untersuchen wir die modelltheoretische Komplexität automatischer linearer Ordnungen bezüglich der zwei Komplexitätsmaße Kondensationsrang und Ramsey-Grad. Der Kondensationsrang einer linearen Ordnung misst ihre Abweichung von der Eigenschaft der Dichtheit durch eine Ordinalzahl. Unsere Hauptergebnisse in diesem Zusammenhang leiten für verschiedene Begriffe von Automatizität optimale obere Schranken für die Kondensationsränge automatischer linearer Ordnungen her. Dabei liegt der Fokus vor allem auf Teilklassen automatischer Strukturen, die die zugrundeliegenden Trägermengen anhand sprachtheoretischer Eigenschaften einschränken. Des Weiteren zeigen wir, dass die Trennlinie zwischen wort- und baumautomatischen verteilten linearen Ordnungen auch vermittels des Kondensationsranges gezogen werden kann. Eine Anwendung dieses Ergebnisses ermöglicht uns eine teilweise Lösung des Isomorphieproblems für baumautomatische Ordinalzahlen. Der Ramsey-Grad einer Ordinalzahl misst ihre modelltheoretische Komplexität mithilfe von Partitionsrelationen aus der kombinatorischen Mengenlehre. Wir untersuchen dieses Konzept sowohl aus rein mengentheoretischer Sicht als auch im Kontext automatischer Strukturen. Im mengentheoretischen Fall zeigen wir, dass alle Ordinalzahlen unterhalb von omega^omega einen endlichen Ramsey-Grad besitzen und geben einen Bereich von Ordinalzahlen oberhalb von omega^omega an, deren Ramsey-Grade unendlich sind. Die Ergebnisse im automatischen Fall sind sehr ähnlich, mit Ausnahme der Tatsache, dass die Ramsey-Grade aller Ordinalzahlen oberhalb von omega^omega unendlich sind. Zu guter Letzt schließen wir diese Dissertation mit dem Beweis einer baumautomatischen Version des Satzes von Ramsey ab.
http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2015000505
Calibration standard of body tissue with magnetic nanocomposites for MRI and X-ray imaging. - In: Journal of magnetism and magnetic materials, ISSN 1873-4766, Bd. 405 (2016), S. 78-87
http://dx.doi.org/10.1016/j.jmmm.2015.12.030
Ag:TiN-coated polyurethane for dry biopotential electrodes: from polymer plasma interface activation to the first EEG measurements. - In: Plasma processes and polymers, ISSN 1612-8869, Bd. 13 (2016), 3, S. 341-354
http://dx.doi.org/10.1002/ppap.201500063
Intentional formation of a protein corona on nanoparticles: serum concentration affects protein corona mass, surface charge, and nanoparticle-cell interaction. - In: International journal of biochemistry & cell biology, ISSN 1878-5875, Bd. 75 (2016), S. 196-202
http://dx.doi.org/10.1016/j.biocel.2015.11.005
Optimal partitioning for dual-pivot quicksort. - In: ACM transactions on algorithms, ISSN 1549-6333, Bd. 12 (2016), 2, Article No. 18, insges. 36 S.
A preliminary version of this work appeared in the Proceedings of the 40th International Colloquium on Automata, Languages, and Programming (ICALP), Part 1, 33-44, 2013
https://doi.org/10.1145/2743020
Size-dependent magnetic properties of iron oxide nanoparticles. - In: Journal of physics and chemistry of solids, Bd. 88 (2016), S. 24-30
http://dx.doi.org/10.1016/j.jpcs.2015.09.008