@inproceedings{3185, author = {{Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}}, booktitle = {{37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}}, pages = {{83----90}}, title = {{{ReL: {A} Generic Refactoring Language for Specification and Execution}}}, doi = {{10.1109/SEAA.2011.22}}, year = {{2011}}, } @inproceedings{3186, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}}, editor = {{J. Butler, Michael and Schulte, Wolfram}}, pages = {{323----337}}, title = {{{Verifying Linearisability with Potential Linearisation Points}}}, doi = {{10.1007/978-3-642-21437-0_25}}, year = {{2011}}, } @inproceedings{3187, author = {{Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}}, booktitle = {{Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}}, editor = {{da Silva Sim{\~{a}}o, Adenilso and Morgan, Carroll}}, pages = {{92----107}}, title = {{{Sound and Complete Abstract Graph Transformation}}}, doi = {{10.1007/978-3-642-25032-3_7}}, year = {{2011}}, } @inproceedings{3188, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}}, booktitle = {{Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}}, editor = {{Derrick, John and A. Boiten, Eerke and Reeves, Steve}}, pages = {{139----154}}, title = {{{A {CSP} Account of Event-B Refinement}}}, doi = {{10.4204/EPTCS.55.9}}, year = {{2011}}, } @inproceedings{26981, author = {{Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}}, booktitle = {{Technische Zuverlässigkeit –TTZ}}, title = {{{Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}}}, year = {{2011}}, } @phdthesis{26982, author = {{Krol, Rafal}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293}}, title = {{{Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)}}}, volume = {{Band 293}}, year = {{2011}}, } @article{27010, author = {{Diethelm, Katharina and Remer, Thomas and Jilani, Hannah and Kunz, Clemens and Buyken, Anette}}, issn = {{0261-5614}}, journal = {{Clinical Nutrition}}, pages = {{640--646}}, title = {{{Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood}}}, doi = {{10.1016/j.clnu.2011.05.004}}, year = {{2011}}, } @article{27011, abstract = {{There are no published data regarding the overall dietary glycaemic index (GI) and glycaemic load (GL) of Australian children and adolescents. We therefore aim to describe the dietary GI and GL of participants of the 2007 Australian National Children's Nutrition and Physical Activity Survey (2007ANCNPAS), and to identify the main foods contributing to their GL. Children, aged 2–16 years, who provided two 24 h recalls in the 2007ANCNPAS were included. A final dataset of 4184 participants was analysed. GI of each food item was assigned using a previously published method. GL was calculated, and food groups contributing to the GL were described by age group and sex. The weighted mean dietary GI and GL of the participants were 54 (sd 5) and 136 (sd 44), respectively. Among the nutrients examined, Ca had the highest inverse relationship with GI (P < 0·001), while percentage energy from starch was most positively associated with GI. The association between fibre density and GI was modest, and percentage energy from sugar had an inverse relationship with GI. Daily dietary GL contributed by energy-dense and/or nutrient-poor (EDNP) items in subjects aged 14–16 years was more than doubled that of subjects aged 2–3 years. To conclude, Australian children and adolescents were having a high-GI dietary pattern characterised by high-starchy food intake and low Ca intake. A significant proportion of their dietary GL was from EDNP foods. Efforts to reduce dietary GI and GL in children and adolescents should focus on energy-dense starchy foods.}}, author = {{Chun Yu Louie, Jimmy and Buyken, Anette and Heyer, Kristina and Flood, Victoria M.}}, issn = {{0007-1145}}, journal = {{British Journal of Nutrition}}, pages = {{1273--1282}}, title = {{{Dietary glycaemic index and glycaemic load among Australian children and adolescents}}}, doi = {{10.1017/s0007114511001577}}, year = {{2011}}, } @article{27068, abstract = {{AbstractObjectiveHighly processed foods such as convenience foods usually have a high salt content and therefore might indirectly act as adipogenic due to an increasing consumption of sugar-containing beverages (SCB). We examined the association between dietary salt and body weight status.DesignWe used data on urinary Na excretion as an indicator of dietary salt and BMI standard deviation score (BMI-SDS) and percentage body fat (%BF) of children and adolescents participating in the DONALD (Dortmund Nutritional and Anthropometric Longitudinally Designed) Study.SettingDortmund, Germany.SubjectsChildren and adolescents (n 364) who had at least two 24 h urine samples and two dietary records in the observational period between 2003 and 2009 were considered in our data analysis.ResultsRepeated-measures regression models revealed that urinary Na was positively associated with BMI-SDS (+0·202 SDS/g Na excretion at baseline; P < 0·001) and %BF (+1·303 %BF/g Na excretion at baseline; P < 0·01) at baseline in boys and girls. These associations remained significant after adjustment for SCB consumption and total energy intake. Furthermore, there was a positive trend between baseline Na excretion and the individual change in %BF in the study period (+0·364 increase in %BF/g Na excretion at baseline), which was confirmed after inclusion of SCB consumption or total energy intake. There was no significant association between the change in Na excretion and the concurrent change of either BMI-SDS or %BF in any model.ConclusionsOur results suggest that a high intake of processed salty foods could have a negative impact on body weight status in children and adolescents independently from their consumption of SCB.}}, author = {{Libuda, Lars and Kersting, Mathilde and Alexy, Ute}}, issn = {{1368-9800}}, journal = {{Public Health Nutrition}}, pages = {{433--441}}, title = {{{Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents}}}, doi = {{10.1017/s1368980011002138}}, year = {{2011}}, } @article{27069, author = {{Alexy, Ute and Cheng, Guo and Libuda, Lars and Hilbig, Annett and Kersting, Mathilde}}, issn = {{0261-5614}}, journal = {{Clinical Nutrition}}, pages = {{78--84}}, title = {{{24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study}}}, doi = {{10.1016/j.clnu.2011.08.014}}, year = {{2011}}, } @article{27076, author = {{Muckelbauer, R. and Libuda, Lars and Clausen, K. and Kersting, M.}}, issn = {{1436-9990}}, journal = {{Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz}}, pages = {{339--348}}, title = {{{Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule}}}, doi = {{10.1007/s00103-010-1224-7}}, year = {{2011}}, } @techreport{2734, author = {{Gries, Thomas and Redlin, Margarete}}, pages = {{24}}, publisher = {{Paderborn University, CIE Center for International Economics}}, title = {{{Trade Openness and Economic Growth: A Panel Causality Analysis}}}, volume = {{2011-06}}, year = {{2011}}, } @article{27466, author = {{Bohl, Benjamin and Kepper, Johannes and Röwenstrunk, Daniel}}, journal = {{DIE TONKUNST}}, number = {{3}}, pages = {{270--276}}, title = {{{Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts}}}, volume = {{5}}, year = {{2011}}, } @inbook{27589, author = {{Muckelbauer, R. and Libuda, Lars and Kersting, M.}}, booktitle = {{Developing Children´s Food Products.}}, isbn = {{978-1-84569-431-9 }}, publisher = {{Woodhead Publishing Limited }}, title = {{{Fluids and children’s health. }}}, year = {{2011}}, } @inproceedings{27622, author = {{Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian and Jung, Helge}}, pages = {{263--273}}, publisher = {{Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen}}, title = {{{Multi-touch, tangible and pen-based interaction in incident planning}}}, year = {{2011}}, } @inproceedings{27623, abstract = {{Kollaboratives Lernen kann im Großen und Ganzen durch verteilte, unterbrochene kooperative Prozesse charakterisiert werden, da die Interaktion mit anderen Lernern und Lehrenden zu verschiedenen Zeiten an verschiedenen Orten stattfindet. Um die zeitlich und räumlich verteilten Lernaktivitäten zu integrieren, muss ein virtueller Lernraum bereitgestellt werden der einerseits als Arena kooperativer Interaktionen dient und andererseits gleichzeitig ein verteiltes externes Gedächtnis durch persistente Lernobjekte bietet. Das Konzept des ko-aktiven Lernens umfasst eine Vielzahl von technischen Konzepten und Funktionen, die kollaboratives Lernen in unterschiedlichsten Lernarrangements unterstützen. }}, author = {{Keil, Reinhard and Selke, Harald}}, booktitle = {{Proc. of Int. Conf. on Improving University Teaching}}, pages = {{191--202}}, title = {{{Virtual Learning Spaces for Co-Active Learning}}}, year = {{2011}}, } @inproceedings{27624, author = {{Paelke, Volker and Nebe, Karsten and Klompmaker, Florian and Jung, Helge}}, title = {{{Multi-Touch Interaction for Disaster Management.}}}}, year = {{2011}}, } @inproceedings{27625, author = {{Keil, Reinhard}}, editor = {{Breiter, A and Wind, M}}, pages = {{165--184}}, publisher = {{Lit Verlag, M {\" u} nster}}, title = {{{Hypothesis- guided technology design as the basis of contextual computer science}}}, year = {{2011}}, } @inproceedings{27626, author = {{Klompmaker, Florian and Nebe, Karsten and Jung, H}}, title = {{{Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns}}}, year = {{2011}}, } @inproceedings{27627, author = {{Klompmaker, Florian and Nebe, Karsten and Busch, Clemens and Willemsen, Detlev}}, booktitle = {{Proceedings of the International Conference on Health Informatics}}, title = {{{User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application}}}, year = {{2011}}, }