@inproceedings{2985, author = {{Ackermann, Marcel R and Blömer, Johannes and Scholz, Christoph}}, title = {{{Hardness and Non-Approximability of Bregman Clustering Problems.}}}, year = {{2011}}, } @inbook{2986, author = {{Blömer, Johannes}}, booktitle = {{Algorithms Unplugged}}, isbn = {{9783642153273}}, pages = {{159--168}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{How to Share a Secret}}}, doi = {{10.1007/978-3-642-15328-0_17}}, year = {{2011}}, } @article{3052, author = {{Gries, Thomas and Gravemeyer, Stefan and Xue, Jinjun}}, journal = {{Urban Studies}}, number = {{7}}, pages = {{1457--1475}}, title = {{{Income Determination and Income Discrimination in Shenzhen}}}, doi = {{10.1177/0042098010375317}}, volume = {{48}}, year = {{2011}}, } @article{3053, author = {{Gries, Thomas and Kraft, Manfred and Meierrieks, Daniel}}, journal = {{Applied Economics}}, number = {{30}}, pages = {{4729 -- 4739}}, title = {{{Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean}}}, doi = {{10.1080/00036846.2010.498352}}, volume = {{43}}, year = {{2011}}, } @article{3054, author = {{Gries, Thomas and Krieger, Tim and Meierrieks, Daniel}}, journal = {{Defence and Peace Economics}}, number = {{5}}, pages = {{493 -- 508}}, title = {{{Causal Linkages Between Domestic Terrorism and Economic Growth}}}, doi = {{10.1080/10242694.2010.532943}}, volume = {{22}}, year = {{2011}}, } @article{3058, author = {{Gries, Thomas and Kraft, Manfred and Piek, Christina}}, journal = {{The Annals of Regional Science}}, number = {{3}}, pages = {{707--732}}, title = {{{Interregional Migration, Self-selection and the Returns to Education in Brazil}}}, doi = {{10.1007/s00168-009-0344-1}}, volume = {{46}}, year = {{2011}}, } @inproceedings{3137, author = {{Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike}}, booktitle = {{Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings}}, pages = {{647----666}}, title = {{{Short Signatures from Weaker Assumptions}}}, doi = {{10.1007/978-3-642-25385-0_35}}, year = {{2011}}, } @inproceedings{3138, author = {{Jager, Tibor and Somorovsky, Juraj}}, booktitle = {{Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011}}, pages = {{413----422}}, title = {{{How to break XML encryption}}}, doi = {{10.1145/2046707.2046756}}, year = {{2011}}, } @article{3183, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{69----80}}, title = {{{Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study}}}, doi = {{10.1016/j.entcs.2011.11.019}}, year = {{2011}}, } @article{3184, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, journal = {{{ACM} Trans. Program. Lang. Syst.}}, number = {{1}}, pages = {{4:1----4:43}}, title = {{{Mechanically verified proof obligations for linearizability}}}, doi = {{10.1145/1889997.1890001}}, year = {{2011}}, } @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}}, }