TY - GEN A1 - Iashchenko, Iryna A1 - Schüttig, Wiebke A1 - Bammert, Philip A1 - Spallek, Jacob A1 - Rattay, Petra A1 - Schneider, Sven A1 - Moor, Irene A1 - Pischke, Claudia R. A1 - Sundmacher, Leonie T1 - Die Rolle der regionalen Gesundheitspolitik für die sozioökonomische Ungleichheit in der Inanspruchnahme der Gesundheitsleistungen T2 - Gesundheitswesen N2 - Einleitung Die J1 ist eine Vorsorgeuntersuchung, die für Kinder zwischen 12 und 14 Jahren empfohlen ist. Im Gegensatz zu den etablierten U1- bis U9-Untersuchungen für jüngere Kinder mit Teilnahmeraten über 90% liegt die Teilnahme bei der J1 bei etwa 40%. Ein Grund für die mangelnde Teilnahme an der J1 ist die geringe Bekanntheit bei Eltern und Kindern. Mehrere Bundesländer haben Einladungswesen eingeführt, um Jugendliche zur Teilnahme an der J1 zu motivieren. Die Einladung „Dein Ticket zur J1“ wurde Mitte 2017 in Bayern eingeführt. Das „Ticket“ ist ein Informationsflyer über die J1 in einer jugendgerechten Gestaltung. Die vorliegende Analyse untersuchte, ob die regionale Informationskampagne zu einer Steigerung der Teilnahme an der J1 geführt hat, ob die Effekte mit dem sozioökonomischen Status der Familie (SES) variieren und welche Meso-Ebene-Merkmale des Gesundheitssystems mit der J1-Teilnahme korrelieren. Methoden Um die Wirkung der Intervention zu untersuchen, wurden bundesweite anonymisierte Routinedaten der Techniker Krankenkasse aus den Jahren 2016-2018 sowie ein Difference-in-Differences-Design auf individueller Ebene verwendet. Unter der Annahme eines parallelen Trends auf Bundesländerebene wurde die J1-Teilnahme von 13- und 14-Jährigen in Bayern mit anderen Bundesländern vor und nach der Intervention verglichen. Zusätzlich wurde die Analyse für die verschiedenen SES-Gruppen durchgeführt. Wir untersuchten auch, ob Faktoren auf Mesoebene des Gesundheitssystems mit der Teilnahme an der J1 korrelierten. Ergebnisse Die Einführung von „Dein Ticket zur J1“ erhöhte die Teilnahme an der J1 um 1 %. Obwohl eine höhere Bildung und berufliche Stellung der Eltern positiv mit der J1-Teilnahme korrelierten, war der Effekt der Intervention bei Kindern aus Familien mit niedrigerem SES stärker (Anstieg um 5 %). Die Kinderarztdichte auf Kreisebene korrelierte zudem positiv mit der Teilnahme an der J1. Schlussfolgerung Die Intervention hat das Potenzial, die sozioökonomische Ungleichheit bei der Inanspruchnahme von Gesundheitsleistungen zu verringern, da die Effekte für Kinder aus Familien mit niedrigerem SES stärker waren. Es bedarf jedoch weiterer Maßnahmen, um Jugendliche über die J1 und die damit verbundenen gesundheitlichen Vorteile zu informieren. Zukünftige Studien sollten untersuchen, von welchen weiteren Faktoren die Wirksamkeit der Intervention abhängt, wie z. B. die Art und Anzahl der Kommunikationskanäle. KW - regionale Gesundheitspolitik KW - sozioökonomische Ungleichheit KW - Inanspruchnahme KW - Gesundheitsleistungen Y1 - 2022 UR - https://www.thieme-connect.de/products/ejournals/abstract/10.1055/s-0042-1753865 U6 - https://doi.org/10.1055/s-0042-1753865 VL - 84 IS - 08/09 SP - 825 PB - Georg Thieme Verlag ER - TY - GEN A1 - Mayer, Alena A1 - Herr, Raphael A1 - Klein, Thomas A1 - Wiedemann, Eva A1 - Diehl, Katharina A1 - Hoffmann, Stephanie A1 - Blume, Miriam A1 - Jepsen, Dennis A1 - Sundmacher, Leonie A1 - Andreas, Marike A1 - Schneider, Sven T1 - Socio-economic inequalities in body mass index among preschool children: do sports programs in early childhood education and care centers make a difference? T2 - Frontiers in Public Health N2 - Background: Overweight in childhood is considered to be one of the most serious public health challenges. Many studies have investigated individual-level determinants of children's body mass index (BMI), yet studies exploring determinants at the meso-level are sparse. The aim of our study was to examine how a sports focus at early childhood education and care (ECEC) centers moderates the effect of parental socio-economic position (SEP) on children's BMI. Methods: We used data from the German National Educational Panel Study and included 1,891 children (955 boys and 936 girls) from 224 ECEC centers in our analysis. Linear multilevel regressions were used to estimate the main effects of family SEP and the ECEC center sports focus, as well as their interaction, on children's BMI. All analyses were stratified by sex and adjusted for age, migration background, number of siblings, and employment status of parents. Results: Our analysis confirmed the wellknown health inequalities in childhood overweight with a social gradient toward a higher BMI for children from lower SEP families. An interactive effect between family SEP and ECEC center sports focus was found. Boys with low family SEP not attending a sports-focused ECEC center had the highest BMI among all boys. In contrast, boys with low family SEP attending a sports-focused ECEC center had the lowest BMI. For girls, no association regarding ECEC center focus or interactive effects emerged. Girls with a high SEP had the lowest BMI, independent of the ECEC center focus. Conclusion: We provided evidence for the gender-specific relevance of sports-focused ECEC centers for the prevention of overweight. Especially boys from low SEP families benefited from a sports focus, whereas for girls the family's SEP was more relevant. As a consequence, gender differences in determinants for BMI at different levels and their interaction should be considered in further research and preventive measures. Our research indicates that ECEC centers may decrease health inequalities by providing opportunities for physical activity. KW - BMI KW - children KW - meso-level KW - sport KW - early childhood education and care center KW - pre-school KW - health equalities Y1 - 2023 U6 - https://doi.org/10.3389/fpubh.2023.1079871 SN - 2296-2565 VL - Vol. 11 ER - TY - GEN A1 - Schneider, Sven A1 - Lambers, Leen T1 - Evaluation diversity for graph conditions T2 - Journal of Logical and Algebraic Methods in Programming N2 - Graphs are used as a universal data structure in various domains. Sets of graphs (and likewise graph morphisms) can be specified using, e.g., the graph logic Image 1 of Graph Conditions (GCs). The evaluation of a graph against such a GC results in a Boolean satisfaction judgement on whether the graph is specified by the GC. The graph logic Image 1 is known to be as expressive as first-order logic on graphs. However, since infinitely many graphs exist, there are also infinitely many evaluations for each given GC. To support GC validation, testing, debugging, and repair, a suitable synthesis procedure generating a complete compact overview of how a given GC may be evaluated for possibly varying graphs is called for. In a previous paper, we generated such an overview for a given GC in the form of a complete finite set of diverse evaluations for varying associated graphs formally given by so called Evaluation Trees (ETs). Each of these ETs concretely describes how its associated graph is evaluated against the given GC by recording the executed evaluation steps. Moreover, these generated ETs and the given GC for which they are generated have the same underlying structure easing comprehensibility of the represented evaluation steps. The returned ETs are complete since each possible ET subsumes one of the returned ETs and diverse by not containing superfluous ETs subsuming smaller ETs. We now extend and refine this approach still solving the ET synthesis problem by (a) extending the graph logic GL allowing for the specification of a minimal number of graph patterns to be contained in specified graphs, (b) provide means to scale the size of the generated ETs up to a user-provided bound allowing for the generation of not just minimal ETs, (c) record the order of evaluations steps also for operators where the evaluation but not the operator itself defines such an order, and (d) generate ETs recording combinations of reasons for (non-)satisfaction of GCs where only single reasons were recorded before. KW - Graph logic KW - Logic coverage KW - Coverage criteria KW - Model generation KW - Validation KW - Debugging Y1 - 2023 UR - https://www.sciencedirect.com/science/article/pii/S2352220823000160?via%3Dihub U6 - https://doi.org/10.1016/j.jlamp.2023.100862 SN - 2352-2216 SN - 2352-2208 VL - 133 ER - TY - GEN A1 - Hoffmann, Stephanie A1 - Sander, Lydia A1 - Rattay, Petra A1 - Blume, Miriam A1 - Hövener, Claudia A1 - Schneider, Sven A1 - Richter, Matthias A1 - Pischke, Claudia R. A1 - Schüttig, Wiebke A1 - De Bock, Freia A1 - Spallek, Jacob T1 - Do family characteristics contribute to a socioeconomic gradient in overweight in early childhood? – Single mediation analyses of data from German preschool children T2 - Preventive Medicine Reports N2 - Children’s overweight is strongly associated with family socioeconomic position (SEP) and family characteristics (FC). There is limited research on the extent to which FC account for a socioeconomic gradient in childhood overweight. This study examined whether FC explain SEP differences in the prevalence of overweight. The study used baseline data of preschool-aged children from the German ‘PReschool INtervention Study’. The sample (n = 872, 48% girls) was recruited at kindergartens in Baden-Württemberg, Germany. Data included children’s measured weight status and parents’ reports on socioeconomic indicators (e.g., school education, vocational education, income) and FC. Variables represent main determinants of overweight (nutrition: sweets consumption in front of TV, soft drink consumption, regular breakfast, child sets table; physical activity: outdoor sports; parental role model). In single mediation analyses indirect effects of SEP on overweight were analysed (OR[95%CI]). Preschool girls and boys with low parental education had higher odds for overweight than children with high parental education. Among boys, low levels of parental education contributed to the odds of overweight via indirect effects by both factors ‘sweets consumption in front of TV’ (OR = 1.31[1.05–1.59]) and ‘no sports’ (OR = 1.14[1.01–1.38]). Among girls, FC measured did not explain SEP differences in overweight. Family nutrition and parental/family physical activity contribute to inequalities in overweight among preschool boys, but not girls. Research is needed to identify FC that explain inequalities in overweight for both. KW - Child KW - Family KW - Overweight KW - Socioeconomic factors KW - Socioeconomic health inequalities Y1 - 2023 U6 - https://doi.org/10.1016/j.pmedr.2023.102178 SN - 2211-3355 VL - 33 ER - TY - GEN A1 - Stoltenow, Lara A1 - König, Barbara A1 - Schneider, Sven A1 - Corradini, Andrea A1 - Lambers, Leen A1 - Orejas, Fernando T1 - Coinductive techniques for checking satisfiability of generalized nested conditions T2 - 35th International Conference on Concurrency Theory (CONCUR 2024), Leibniz International Proceedings in Informatics (LIPIcs) N2 - We study nested conditions, a generalization of first-order logic to a categorical setting, and provide a tableau-based (semi-decision) procedure for checking (un)satisfiability and finite model generation. This generalizes earlier results on graph conditions. Furthermore we introduce a notion of witnesses, allowing the detection of infinite models in some cases. To ensure completeness, paths in a tableau must be fair, where fairness requires that all parts of a condition are processed eventually. Since the correctness arguments are non-trivial, we rely on coinductive proof methods and up-to techniques that structure the arguments. We distinguish between two types of categories: categories where all sections are isomorphisms, allowing for a simpler tableau calculus that includes finite model generation; in categories where this requirement does not hold, model generation does not work, but we still obtain a sound and complete calculus. KW - satisfiability KW - graph conditions KW - coinductive techniques KW - category theory Y1 - 2024 U6 - https://doi.org/10.4230/LIPIcs.CONCUR.2024.39 IS - 311 SP - 39:1 EP - 39:20 PB - Leibniz-Zentrum für Informatik CY - Schloss Dagstuhl ER -