bluuebunny/crossref_metadata_2025_split huggingface dataset:
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Authors: Brieger Marvin , Mitsch Stefan , Platzer André 
Published: September 2023

AbstractThis paper introduces a uniform substitution calculus for $${\textsf {d{}L}} {}_{\text {CHP}}$$

d

L

CHP

, the dynamic logic of communicating hybrid programs. Uniform substitution enables parsimonious prover kernels by using axioms instead of axiom schemata. Instantiations can be recovered from a single proof rule responsible for soundness-critical instantiation checks rather than being spread across axiom schemata in side conditions. Even though communication and parallelism reasoning are notorious for necessitating subtle soundness-critical side conditions, uniform substitution when generalized to $${\textsf {d{}L}} {}_{\text {CHP}}$$

d

L

CHP

manages to limit and isolate their conceptual overhead. Since uniform substitution has proven to simplify the implementation of hybrid systems provers substantially, uniform substitution for $${\textsf {d{}L}} {}_{\text {CHP}}$$

d

L

CHP

paves the way for a parsimonious implementation of theorem provers for hybrid systems with communication and parallelism.
Gesunde und resiliente Quartiere für Kinder
Authors: Schicketanz Juliane 
Published: September 2023

ZusammenfassungUrbane Resilienz ist auch vor dem Hintergrund der Bewegungsmangelkrise eine globale Herausforderung, der sich Städte mit ihren Teilräumen stellen müssen. Wie gesunde und resiliente Quartiere für Kinder zu gestalten sind, ist die zentrale Frage dieses Beitrags. Dabei wird die Perspektive der Kinder auf ihr Quartier in den Mittelpunkt gerückt und anhand von zwei Fallstudien in Berlin und Leipzig diskutiert. In beiden Fallstudien schildern Kinder Orte, die Raum für Bewegung, Spiel und soziale Interaktionen bieten. Außerdem werden lokale Barrieren wie Geruchsbelästigung oder gefährliche Verkehrssituationen beschrieben. Diesen Blick der Kinder in konkrete stadtplanerische Maßnahmen zu übersetzen, fördert die Gesundheit der Kinder.
Hitzestress in Stadtquartieren – Methodik und empirische Belege unter Nutzung des Planetary-Health-Ansatzes
Authors: Hertel Daniel , Pößneck Janine , Kabisch Sigrun , Schlink Uwe 
Published: September 2023

ZusammenfassungFür urbane Resilienz gegenüber Hitzestress ist neben der gesamtstädtischen Perspektive die Betroffenheit auf Quartiersebene relevant, weil sich der Lebensalltag der Menschen überwiegend hier vollzieht. Die Erforschung der Rolle der Quartiersebene benötigt ein angemessenes methodisches Design. Dazu werden mikrometeorologische Simulationen (Modell PALM-4U) mit Bewohnerbefragungen und soziodemographischen Daten der Kommunalstatistik kombiniert. Empirisch werden zwei kontrastierende Quartiere in der Stadt Leipzig einschließlich der Ebene der statistischen Blöcke untersucht und verglichen. Die Analysen zeigen die räumliche Verteilung thermischer Hotspots. Mittels der Auswertung der verfügbaren Sozialdaten können gruppenspezifische Wahrnehmungen hinsichtlich des thermischen Komforts bestimmt werden. Damit wird ein interdisziplinärer Zugang zur Bewertung von Hitzestress auf Quartiersebene im Sinne des Planetary-Health-Ansatzes umgesetzt.
Sanierungsprozesse in Bestandsquartieren: Herausforderungen, Akteure, Lösungsansätze
Authors: Pößneck Janine , Kabisch Sigrun 
Published: September 2023

ZusammenfassungDer Beitrag beschäftigt sich mit Sanierungsprozessen in Bestandsquartieren, den Belastungen für die betroffenen Bewohner*innen und deren Beteiligungsmöglichkeiten sowie der Bezahlbarkeit des Wohnens nach Abschluss der Maßnahmen. Das Themenfeld Wohnen gewinnt in der Debatte um eine resiliente Stadt- und Quartiersentwicklung zunehmend an Bedeutung. Hierbei können sich jedoch Ziele der sozial gerechten Wohnraumversorgung und des Klimaschutzes im Gebäudesektor entgegenstehen. An einem Fallbeispiel aus der Großwohnsiedlung Leipzig-Grünau wird exemplarisch aufgezeigt, welche Herausforderungen mit einer Sanierung im bewohnten Zustand verbunden sind, welche Konflikte entstehen und welche Lösungsansätze es gibt.
Reliability of High-resolution Gadolinium-enhanced MR Cisternography and Gasket-seal Technique for Management of Anterior Skull Base Defects
Authors: Shah Mukesch Johannes , Beck Jürgen , Meckel Stephan , Urbach Horst , Duman Ikram Eda , Ketterer Manuel Christoph , Hildenbrand Tanja 
Published: September 2023

Abstract
Purpose
Precise preoperative localization of anterior skull base defects is important to plan surgical access, increase the success rate and reduce complications. A stable closure of the defect is vital to prevent recurrence of cerebrospinal fluid (CSF) rhinorrhea. The purpose of this retrospective case series was to evaluate the reliability of a new high-resolution gadolinium-enhanced compressed-sensing SPACE technique (CS T1 SPACE) for magnetic resonance (MR) cisternography to detect cerebrospinal fluid leaks of the anterior skull base and to assess the long-term success rate of the gasket-seal technique for closure of skull base defects.

Method
All patients with spontaneous or postoperative cerebrospinal fluid rhinorrhea and defects of the anterior skull base presenting to the Departments of Otorhinolaryngology and Neurosurgery between 2019 and 2020, receiving a computed tomography (CT) cisternography and MR cisternography (on a 3T whole-body MR scanner using a 64-channel head and neck coil) with CS T1 SPACE sequence and closure of the defect with the gasket-seal technique, were enrolled in the study. For the cisternography, iodinated contrast agent (15 ml Solutrast 250 M®), saline (4 mL) mixed with a 0.5 mL of gadoteridol was injected into the lumbar subarachnoid space.

Results
A total of four patients were included in the study and MR cisternography with CS T1 SPACE sequence was able to precisely localize CSF leaks in all patients. The imaging results correlated with intraoperative findings. All defects could be successfully closed with the gasket-seal technique. The mean follow-up was 35.25 months (range 33–37 months).

Conclusion
MR cisternography with CS T1 SPACE sequence could be a promising technique for precise localization of CSF leaks and the gasket-seal technique resulted in good closure of the CSF fistula in this case series.
Progeroide Syndrome
Authors: Koschitzki Kevin , Ivanova Irina , Berneburg Mark 
Published: August 2023

ZusammenfassungProgeroide Syndrome (PS) sind durch das vorzeitige Auftreten von altersbedingten Symptomen und Krankheiten gekennzeichnet. PSs sind klinisch heterogen und manifestieren sich unter anderem durch Seh- und Hörverlust, Hautatrophie, Haarausfall, Neurodegeneration, Knochendeformitäten und kardiovaskuläre Defekte. Jüngste Fortschritte in der Molekularpathologie haben zu einem besseren Verständnis der Pathomechanismen dieser Krankheiten geführt. Die verantwortlichen genetischen Mutationen, sind funktionell mit der Erhaltung und Reparatur des Genoms verknüpft, was die ursächliche Rolle der Anhäufung von DNA(Desoxyribonukleinsäure)-Schäden bei der Alterung untermauert. Während einige dieser Gene für Proteine kodieren, die direkt an der DNA-Reparaturmaschinerie beteiligt sind, wie z. B. die Nukleotidexzisionsreparatur (NER), destabilisieren andere das Genom, indem sie die Stabilität der Kernhülle beeinträchtigen, wie z. B. Lamin A beim Hutchinson-Gilford-Progerie-Syndrom (HGPS), oder regulieren die DNA-Schadensreaktion (DDR), wie z. B. das Ataxia-teleangiectasia-mutierte (ATM) Gen. Die Untersuchung der Pathophysiologie progeroider Krankheiten hat zur Entwicklung potenzieller Behandlungen beigetragen.
The many faces of nodal and splenic marginal zone lymphomas. A report of the 2022 EA4HP/SH lymphoma workshop
Authors: Zamò Alberto , van den Brand Michiel , Climent Fina , de Leval Laurence , Dirnhofer Stefan , Leoncini Lorenzo , Ng Siok-Bian , Ondrejka Sarah L. , Quintanilla-Martinez Leticia , Soma Lorinda , Wotherspoon Andrew 
Published: September 2023

AbstractSession 3 of the lymphoma workshop of the XXI joint meeting of the European Association for Haematopathology and the Society for Hematopathology took place in Florence, Italy, on September 22, 2022. The topics of this session were splenic and nodal marginal zone lymphomas, transformation in marginal zone lymphomas, and pediatric nodal marginal zone lymphomas and their differential diagnosis as well as related entities. Forty-two cases in these categories were submitted to the workshop, including splenic lymphomas (marginal zone and diffuse red pulp lymphomas), transformed marginal zone lymphomas (splenic and nodal), nodal marginal zone lymphomas with increased TFH-cells, and pediatric nodal marginal zone lymphomas. The case review highlighted some of the principal problems in the diagnosis of marginal zone lymphomas, including the difficulties in the distinction between splenic marginal zone lymphoma, splenic diffuse red pulp lymphoma, and hairy cell leukemia variant/splenic B-cell lymphoma with prominent nucleoli which requires integration of clinical features, immunophenotype, and morphology in blood, bone marrow, and spleen; cases of marginal zone lymphoma with markedly increased TFH-cells, simulating a T-cell lymphoma, where molecular studies (clonality and mutation detection) can help to establish the final diagnosis; the criteria for transformation of marginal zone lymphomas, which are still unclear and might require the integration of morphological and molecular data; the concept of an overlapping spectrum between pediatric nodal marginal zone lymphoma and pediatric-type follicular lymphoma; and the distinction between pediatric nodal marginal zone lymphoma and “atypical” marginal zone hyperplasia, where molecular studies are mandatory to correctly classify cases.
Effects of combined exercises on shoulder mobility and strength of the upper extremities in breast cancer rehabilitation: a 3-week randomized controlled trial
Authors: Michels Dominique , König Stefan , Heckel Alexandra 
Published: September 2023

Abstract
Purpose
The aim of this study was to analyze the effects of mobility training with FIVE® devices in combination with device-supported strength exercises for shoulder mobility and strength of the upper extremities in women with breast cancer.

Methods
We conducted a pretest-posttest intervention study with female breast cancer patients (n = 41) who were randomly assigned to two groups by lot during their stationary follow-up treatment at a rehabilitation clinic in the south of Germany between February and March 2020. As part of exercise therapy, the intervention group (n = 24) performed a mobility training with FIVE® devices combined with device-supported strength training, whereas the control group (n = 17) completed device-supported strength training. Before and after the 3-week intervention (3 training sessions/week), shoulder mobility and isokinetic maximal strength were tested.

Results
Both groups achieved significant improvements in shoulder mobility in the frontal and sagittal plane (between 3.8 and 15.35%; p < 0.05) and in strength performance (31.36% [IG] vs. 51.24% [CG]; p < 0.001). However, no robust evidence could be determined about potential interaction effects.

Conclusion
A combined device-supported strength and mobility training (FIVE®) showed no advantages. Therefore, a variety of exercise methods is possible in exercise therapy of breast cancer patients.

Clinical trial registration number
Since the University of Education Weingarten does not assign clinical trial registration numbers or ethical approval numbers, none could be assigned for this study.
Telemedicine-based inspiratory muscle training and walking promotion with lung cancer survivors following curative intent therapy: a parallel-group pilot randomized trial
Authors: Ha Duc M. , Comer Angela , Dollar Blythe , Bedoy Ruth , Ford Morgan , Gozansky Wendolyn S. , Zeng Chan , Arch Joanna J. , Leach Heather J. , Malhotra Atul , Prochazka Allan V. , Keith Robert L. , Boxer Rebecca S. 
Published: September 2023

Abstract
Purpose
Following curative-intent therapy of lung cancer, many survivors experience dyspnea and physical inactivity. We investigated the feasibility, acceptability, safety, and potential efficacy of inspiratory muscle training (IMT) and walking promotion to disrupt a postulated “dyspnea-inactivity” spiral.

Methods
Between January and December 2022, we recruited lung cancer survivors from Kaiser Permanente Colorado who completed curative-intent therapy within 1–6 months into a phase-IIb, parallel-group, pilot randomized trial (1:1 allocation). The 12-week intervention, delivered via telemedicine, consisted of exercise training (IMT + walking), education, and behavior change support. Control participants received educational materials on general exercise. We determined feasibility a priori: enrollment of ≥ 20% eligible patients, ≥ 75% retention, study measure completion, and adherence. We assessed acceptability using the Telemedicine-Satisfaction-and-Usefulness-Questionnaire and safety events that included emergency department visits or hospitalizations. Patient-centered outcome measures (PCOMs) included dyspnea (University-of-California-San-Diego-Shortness-of-Breath-Questionnaire), physical activity (activPAL™ steps/day), functional exercise capacity (mobile-based-six-minute-walk-test), and health-related quality of life (HRQL, St.-George’s-Respiratory-Questionnaire). We used linear mixed-effects models to assess potential efficacy.

Results
We screened 751 patients, identified 124 eligible, and consented 31 (25%) participants. Among 28 participants randomized (14/group), 22 (11/group) completed the study (79% retention). Intervention participants returned > 90% of self-reported activity logs, completed > 90% of PCOMs, and attended > 90% of tele-visits; 75% of participants performed IMT at the recommended dose. Participants had high satisfaction with tele-visits and found the intervention useful. There was no statistically significant difference in safety events between groups. Compared to control participants from baseline to follow-up, intervention participants had statistically significant and clinically meaningful improved HRQL (SGRQ total, symptom, and impact scores) (standardized effect size: -1.03 to -1.30).

Conclusions
Among lung cancer survivors following curative-intent therapy, telemedicine-based IMT + walking was feasible, acceptable, safe, and had potential to disrupt the “dyspnea-inactivity” spiral. Future efficacy/effectiveness trials are warranted and should incorporate IMT and walking promotion to improve HRQL.
Trial Registration: ClinicalTrials.gov NCT05059132.
Exploration of glycosyltransferases mutation status in cervical cancer reveals PARP14 as a potential prognostic marker
Authors: Wang Hui , Luo Shen , Wu Xin , Ruan Yuanyuan , Qiu Ling , Feng Hao , Zhu Shurong , You Yanan , Li Ming , Yang Wenting , Zhao Yanding , Tao Xiang , Jiang Hua 
Published: August 2023

AbstractThis study investigates the potential role of Glycosyltransferases (GTs) in the glycosylation process and their association with malignant tumors. Specifically, the study focuses on PARP14, a member of GTs, and its potential as a target for tumors in the diagnosis and treatment of cervical cancer. To gather data, the study used somatic mutation data, gene expression data and clinical information from TCGA-CESE dataset as well as tissue samples from cervical cancer patients. Further verification was conducted through RT-qPCR and immunohistochemistry staining on cervical cancer tissues to confirm the expression of PARP14. The study utilized Kaplan-Meier for survival analysis of cervical cancer patient and found significant mutational abnormalities in GTs. The high frequency mutated gene was identified as PARP14. RT-qPCR revealed significantly higher mRNA expression of PARP14 compared to precancerous tissue. Using IHC combined with Kaplan-Meier,patients in the PARP14 high expression group had a better prognosis than the low expression group. The study identified PARP14 as a frequently mutated gene in cervical cancer and proposed its potential role in diagnosis and treatment.
Corporate accelerators: design and startup performance
Authors: Seitz Nikolaus , Lehmann Erik E. , Haslanger Patrick 
Published: August 2023

AbstractCorporate accelerators (CAs) have emerged as a key component of entrepreneurship ecosystems, offering startups corporate guidance, industry connections, and resources for accelerated venture creation. Although their proliferation is evident, we still know little about the value they produce for startups across different contexts. This study investigates the organizational setup and program design of 15 CAs in Germany using a unique and hand-collected dataset of 223 alumni startups. Our findings reveal a tradeoff: Specialized and integrated programs positively impact startups’ speed to market and growth, while specialization and rising corporate control may hinder follow-up venture capital financing. This research contributes to our understanding of CAs and the startup acceleration process and provides insights for corporate and accelerator managers and startups alike. Startups can use these findings to identify the most suitable CA for their needs. Program managers and designers gain insights into the strategic orientation and organizational setup that positively impact startup acceleration.
Comparing the associations between muscle strength, walking speed, and mortality in community-dwelling older adults of two birth cohorts born 28 years apart
Authors: Koivunen Kaisa , Portegijs Erja , Karavirta Laura , Rantanen Taina 
Published: September 2023

AbstractReduced age-specific mortality and increased muscle strength and walking speed of current older adults may have altered the relationships between these factors as more people may be above the reserve capacity threshold. We compared the cross-sectional associations between muscle strength and walking speed, and the associations of muscle strength and walking speed with five-year mortality between two population-based cohorts of 75- and 80-year-old people born 28 years apart. Maximal isometric grip and knee extension strength and walking speed were measured in 2017–2018 (n = 726). Mortality was ascertained from registers. The associations were compared with data of same-aged people studied in 1989–1990 with identical protocols (n = 500). The knee extension strength-walking speed relationship showed plateauing at higher strength levels among the later-born men, whereas the earlier-born men and women of both cohorts with lower strength levels were on the linear part of the curve. In the later-born women with lower five-year mortality rate (1.16 vs. 5.88 per 100 person-years), the association between grip strength and mortality was markedly different from the earlier cohort (HR 1.13 [95% CI 0.47–2.70] vs. 0.57 [0.37–0.86]). For knee extension strength and walking speed, the mortality hazards were similar between the cohorts, although statistically non-significant in the later-born women. In men, the later-born cohort showed similar associations as observed in the earlier-born cohort despite having lower mortality rate (2.93 vs. 6.44). Current older adults have more functional reserve that will likely help them to maintain walking ability for longer while also contributing to better survival.
A QTRAP-based mass spectrometry method for the detection and confirmation of nine sweeteners in Chinese rice wine
Authors: Hu Jiangang , Mao Wei , Chen Wentao , Zhang Shiyun , Liu Zhen , He Yuxin , Fu Chunhui , Wang Caixia , Wu Jian , Zou Ping 
Published: September 2023

AbstractA rapid and sensitive QTRAP mass spectrometric method was developed for the detection and confirmation of nine sweeteners (acesulfame, saccharin sodium, sodium cyclamate, aspartame, alitame, sucralose, neotame, stevia extract, and advantage) in Chinese rice wine. The samples with different sugar contents were diluted with ultrapure water, and the standard working solution was prepared by adding 1.0 mL of Chinese rice wine blank matrix to the standard series solution. The target was separated by a Kinetex 2.6 μm F5 100 A LC Column 100 × 2.1 mm chromatographic column, MRM-IDA-EPA by applying QTRAP mass spectrometry composite mode acquisition was applied to obtain MRM data as well as highly sensitive secondary fragmentation full-spectrum data at the same time to establish a standard library of nine Chinese rice wine sweeteners for accurate characterization and MRM data peak area (external standard method) quantification by automatic comparison with the library of standards. The experiments showed that the correlation coefficients of the standard curves of the nine sweeteners were greater than 0.997 in the range of 10 ~ 500 µg/L standard working series solutions, and the limits of quantification of the method were in the range of 0.8–88.0 µg/kg, with spiked recoveries of 80.3%~118.8% and relative standard deviations (RSDs) of 0.74%~6.40%. QTRAP mass spectrometry was used for the determination of the nine sweeteners in Chinese rice wine with easy and fast pretreatment, simple operation, high accuracy, and sensitivity.
Structure of forest stands of alien tree Quercus rubra in Central Europe
Authors: Májeková Jana , Medvecká Jana , Mikulová Katarína , Slabejová Denisa , Šibíková Mária , Zaliberová Mária , Škodová Iveta 
Published: August 2023

AbstractThe diversity of planted forest stands of the alien species Quercus rubra L. in Central Europe was studied. The northern red oak is a neophyte that has been cultivated in Europe since the seventeenth century as an ornamental as well as a useful tree. In 38 phytosociological relevés from Slovakia, Poland and the Czech Republic, we recorded a total of 223 vascular plant taxa, of which 10% were alien (with 9 invasive species). The stands were species-poor compared to the most native forests, with an average of 17 species per relevé, and most of the species had a low coverage value (around 5% on average). The representation of endangered species was very low, only three species were recorded. The dense canopy of Q. rubra and large cover of litter consisting mainly of fallen old red oak leaves affected the richness of the undergrowth. The mean cover of the tree layer was 84%, the mean cover of the shrub layer was 9% and the mean cover of the herb layer was 22%. The EuroVegChecklist Expert System assigned the relevés to five classes: Carpino-Fagetea sylvaticae, Alno glutinosae-Populetea albae, Rhamno-Prunetea, Epilobietea angustifolii and Robinietea.
CVIT 2023 clinical expert consensus document on intravascular ultrasound
Authors: Saito Yuichi , Kobayashi Yoshio , Fujii Kenichi , Sonoda Shinjo , Tsujita Kenichi , Hibi Kiyoshi , Morino Yoshihiro , Okura Hiroyuki , Ikari Yuji , Kozuma Ken , Honye Junko 
Published: September 2023

AbstractIntravascular ultrasound (IVUS) provides precise anatomic information in coronary arteries including quantitative measurements and morphological assessment. To standardize the IVUS analysis in the current era, this updated expert consensus document summarizes the methods of measurements and assessment of IVUS images and the clinical evidence of IVUS use in percutaneous coronary intervention.