@phdthesis{27663, author = {{Hendriks , Sven}}, title = {{{Experimentelle Untersuchungen zur Schaumextrusion mit Treibmittelgemischen und Analyse der Wirkzusammhänge mit dimensionslosen Kennzahlen}}}, year = {{2017}}, } @phdthesis{27664, author = {{Tahir, Muhammad}}, title = {{{Development of Novel Blends based on Rubber and in-situ Synthesized Polyurethane-urea}}}, year = {{2017}}, } @phdthesis{27665, author = {{Mörl, Michaela}}, title = {{{Steigerung der Zähigkeit von isotaktischem Polypropylen durch Kontrolle der Morphologie mittels 1,3,5-Benzoltrisamiden}}}, year = {{2017}}, } @phdthesis{27666, author = {{Budde , Christopher}}, title = {{{Evaluierung neuer Fügetechnik für Organoblech-Hybridverbindungen }}}, year = {{2017}}, } @phdthesis{27667, author = {{Goebel , Linda}}, title = {{{Beitrag zur Eigenschaftsverbesserung von Polyhydroxybutyrat (PHB)}}}, year = {{2017}}, } @phdthesis{27668, author = {{Abliz , Dilmurat}}, title = {{{Functionalyzation of fiber composites with Nanoperticle-Modified resin systems }}}, year = {{2017}}, } @phdthesis{27669, author = {{Böhm, Nils}}, title = {{{Beiträge zur Compoundierung von Wood-Plastic-Composites (WPC) }}}, year = {{2017}}, } @phdthesis{27670, author = {{Brockhaus, Sebastian}}, title = {{{Theoretische und experimentelle Untersuchungen zum Temperatur- und Durchsatzverhalten von Kautschukextrudern}}}, year = {{2017}}, } @phdthesis{27671, author = {{Jacobkersting, Bianca}}, title = {{{Weiterentwicklung Netzwerktheorie basierender Werkzeugauslegung }}}, year = {{2017}}, } @article{27739, author = {{Cheng, Guo and Xue, Hongmei and Luo, Jiao and Jia, Hong and Zhang, Lishi and Dai, Junbiao and Buyken, Anette}}, issn = {{2045-2322}}, journal = {{Scientific Reports}}, title = {{{Relevance of the dietary glycemic index, glycemic load and genetic predisposition for the glucose homeostasis of Chinese adults without diabetes}}}, doi = {{10.1038/s41598-017-00453-9}}, year = {{2017}}, } @article{27745, author = {{Roßbach, Sarah and Diederichs, Tanja and Nöthlings, Ute and Buyken, Anette and Alexy, Ute}}, issn = {{0742-0528}}, journal = {{Chronobiology International}}, pages = {{336--347}}, title = {{{Relevance of chronotype for eating patterns in adolescents}}}, doi = {{10.1080/07420528.2017.1406493}}, year = {{2017}}, } @article{27754, author = {{Harris, Carla and Buyken, Anette and Koletzko, Sibylle and von Berg, Andrea and Berdel, Dietrich and Schikowski, Tamara and Koletzko, Berthold and Heinrich, Joachim and Standl, Marie}}, issn = {{2072-6643}}, journal = {{Nutrients}}, title = {{{Dietary Fatty Acids and Changes in Blood Lipids during Adolescence: The Role of Substituting Nutrient Intakes}}}, doi = {{10.3390/nu9020127}}, year = {{2017}}, } @article{27755, author = {{Kizirian, Nathalie V and Goletzke, Janina and Brodie, Shannon and Atkinson, Fiona S and Markovic, Tania P and Ross, Glynis P and Buyken, Anette and Brand-Miller, Jennie P}}, issn = {{2052-4897}}, journal = {{BMJ Open Diabetes Research & Care}}, title = {{{Lower glycemic load meals reduce diurnal glycemic oscillations in women with risk factors for gestational diabetes}}}, doi = {{10.1136/bmjdrc-2016-000351}}, year = {{2017}}, } @article{27771, abstract = {{Abstract Background Children with migration background are at particular risk for overweight. We assessed the effects of a primary school-based initiative targeted at enhancing physical activity and dietary education among children with a high proportion of migration background. Methods Four 3rd and 4th grade classes (n=70 children, 77% with migration background) participated in a 10-months intervention comprising 2 additional exercise lessons weekly and 10 nutrition lessons per school year. 6 school classes (n=125 children, 65% with migration background) served as control. Before and after the intervention, an assessment of physical fitness and motor skills and questionnaires on dietary behavior and knowledge were conducted. In a subgroup (n=37), after 6 months of the intervention, daily physical activity was assessed by accelerometer-based monitoring. Differences in changes between the groups were assessed using linear regression analyses. Results Changes between the 2 time points for fitness and motor skill tests (differences in standard deviation scores) were larger in the intervention than in the control group for the total mean test value (β=0.38, p<0.001), driven by higher improvements in 5 of the 8 test items, i.e., obstacle race (speed) (β=0.22, p=0.049), standing long jump (strength) (β=0.35, p<0.001), sit-ups (strength) (β=0.33, p=0.002), stand and reach (mobility) (β=0.22, p=0.042), and 6 min run (endurance) (β=0.40, p<0.001), independently of confounders. Changes in dietary knowledge and consumption frequencies did not differ between groups. Conclusions Promoting guided physical activity in a primary school setting with a high proportion of children with migration background positively affected parameters of fitness and motor skills.}}, author = {{Weber, Katharina and Spörkel, Olaf and Mertens, Melina and Freese, Alem and Strassburger, Klaus and Kemper, Boris and Bachmann, Clemens and Diehlmann, Knut and Stemper, Theodor and Buyken, Anette and Ketelhut, Kerstin and Müssig, Karsten}}, issn = {{0947-7349}}, journal = {{Experimental and Clinical Endocrinology & Diabetes}}, pages = {{554--562}}, title = {{{Positive Effects of Promoting Physical Activity and Balanced Diets in a Primary School Setting with a High Proportion of Migrant School Children}}}, doi = {{10.1055/s-0043-101918}}, year = {{2017}}, } @inbook{27796, author = {{Drossel, Kerstin and Eickelmann, Birgit}}, booktitle = {{Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing}}, editor = {{Tatnall, Arthur and Webb, Mary}}, issn = {{1868-4238}}, pages = {{114--124}}, publisher = {{Springer International Publishing}}, title = {{{The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy}}}, doi = {{10.1007/978-3-319-74310-3_14}}, year = {{2017}}, } @inproceedings{112, abstract = {{We study a model of selfish resource allocation that seeks to incorporate dependencies among resources as they exist in in modern networked environments. Our model is inspired by utility functions with constant elasticity of substitution (CES) which is a well-studied model in economics. We consider congestion games with different aggregation functions. In particular, we study $L_p$ norms and analyze the existence and complexity of (approximate) pure Nash equilibria. Additionally, we give an almost tight characterization based on monotonicity properties to describe the set of aggregation functions that guarantee the existence of pure Nash equilibria.}}, author = {{Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}}, booktitle = {{Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC)}}, pages = {{222----233}}, title = {{{Congestion Games with Complementarities}}}, doi = {{10.1007/978-3-319-57586-5_19}}, year = {{2017}}, } @inproceedings{113, abstract = {{We study the computation of approximate pure Nash equilibria in Shapley value (SV) weighted congestion games, introduced in [19]. This class of games considers weighted congestion games in which Shapley values are used as an alternative (to proportional shares) for distributing the total cost of each resource among its users. We focus on the interesting subclass of such games with polynomial resource cost functions and present an algorithm that computes approximate pure Nash equilibria with a polynomial number of strategy updates. Since computing a single strategy update is hard, we apply sampling techniques which allow us to achieve polynomial running time. The algorithm builds on the algorithmic ideas of [7], however, to the best of our knowledge, this is the first algorithmic result on computation of approximate equilibria using other than proportional shares as player costs in this setting. We present a novel relation that approximates the Shapley value of a player by her proportional share and vice versa. As side results, we upper bound the approximate price of anarchy of such games and significantly improve the best known factor for computing approximate pure Nash equilibria in weighted congestion games of [7].}}, author = {{Feldotto, Matthias and Gairing, Martin and Kotsialou, Grammateia and Skopalik, Alexander}}, booktitle = {{Proceedings of the 13th International Conference on Web and Internet Economics (WINE)}}, title = {{{Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games}}}, doi = {{10.1007/978-3-319-71924-5_14}}, year = {{2017}}, } @inproceedings{114, abstract = {{Proof witnesses are proof artifacts showing correctness of programs wrt. safety properties. The recent past has seen a rising interest in witnesses as (a) proofs in a proof-carrying-code context, (b) certificates for the correct functioning of verification tools, or simply (c) exchange formats for (partial) verification results. As witnesses in all theses scenarios need to be stored and processed, witnesses are required to be as small as possible. However, software verification tools – the prime suppliers of witnesses – do not necessarily construct small witnesses. In this paper, we present a formal account of proof witnesses. We introduce the concept of weakenings, reducing the complexity of proof witnesses while preserving the ability of witnessing safety. We develop aweakening technique for a specific class of program analyses, and prove it to be sound. Finally, we experimentally demonstrate our weakening technique to indeed achieve a size reduction of proof witnesses.}}, author = {{Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{NASA Formal Methods: 9th International Symposium}}, editor = {{Barrett, Clark and Davies, Misty and Kahsai, Temesghen}}, pages = {{389--403}}, title = {{{Compact Proof Witnesses}}}, doi = {{10.1007/978-3-319-57288-8_28}}, year = {{2017}}, } @inproceedings{115, abstract = {{Whenever customers have to decide between different instances of the same product, they are interested in buying the best product. In contrast, companies are interested in reducing the construction effort (and usually as a consequence thereof, the quality) to gain profit. The described setting is widely known as opposed preferences in quality of the product and also applies to the context of service-oriented computing. In general, service-oriented computing emphasizes the construction of large software systems out of existing services, where services are small and self-contained pieces of software that adhere to a specified interface. Several implementations of the same interface are considered as several instances of the same service. Thereby, customers are interested in buying the best service implementation for their service composition wrt. to metrics, such as costs, energy, memory consumption, or execution time. One way to ensure the service quality is to employ certificates, which can come in different kinds: Technical certificates proving correctness can be automatically constructed by the service provider and again be automatically checked by the user. Digital certificates allow proof of the integrity of a product. Other certificates might be rolled out if service providers follow a good software construction principle, which is checked in annual audits. Whereas all of these certificates are handled differently in service markets, what they have in common is that they influence the buying decisions of customers. In this paper, we review state-of-the-art developments in certification with respect to service-oriented computing. We not only discuss how certificates are constructed and handled in service-oriented computing but also review the effects of certificates on the market from an economic perspective.}}, author = {{Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}}, booktitle = {{The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}}, editor = {{Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz}}, pages = {{7--12}}, title = {{{Certification Matters for Service Markets}}}, year = {{2017}}, } @inproceedings{1156, abstract = {{In this paper, we present an IoT architecture which handles stream sensor data of air pollution. Particle pollution is known as a serious threat to human health. Along with developments in the use of wireless sensors and the IoT, we propose an architecture that flexibly measures and processes stream data collected in real-time by movable and low-cost IoT sensors. Thus, it enables a wide-spread network of wireless sensors that can follow changes in human behavior. Apart from stating reasons for the need of such a development and its requirements, we provide a conceptual design as well as a technological design of such an architecture. The technological design consists of Kaa and Apache Storm which can collect air pollution information in real-time and solve various problems to process data such as missing data and synchronization. This enables us to add a simulation in which we provide issues that might come up when having our architecture in use. Together with these issues, we state r easons for choosing specific modules among candidates. Our architecture combines wireless sensors with the Kaa IoT framework, an Apache Kafka pipeline and an Apache Storm Data Stream Management System among others. We even provide open-government data sets that are freely available.}}, author = {{Kersting, Joschka and Geierhos, Michaela and Jung, Hanmin and Kim, Taehong}}, booktitle = {{Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security}}, editor = {{Ramachandran, Muthu and Méndez Muñoz, Víctor and Kantere, Verena and Wills, Gary and Walters, Robert and Chang, Victor}}, isbn = {{978-989-758-245-5}}, keywords = {{Wireless Sensor Network, Internet of Things, Stream Data, Air Pollution, DSMS, Real-time Data Processing}}, location = {{Porto, Portugal}}, pages = {{117--124}}, publisher = {{SCITEPRESS}}, title = {{{Internet of Things Architecture for Handling Stream Air Pollution Data}}}, doi = {{10.5220/0006354801170124}}, year = {{2017}}, }