Refine
Year of publication
Document Type
- Article (15272)
- Part of Periodical (2807)
- Working Paper (2338)
- Doctoral Thesis (2017)
- Preprint (1745)
- Book (1737)
- Part of a Book (1056)
- Conference Proceeding (734)
- Report (471)
- Review (165)
Language
- English (28532) (remove)
Keywords
- taxonomy (719)
- new species (431)
- morphology (170)
- Deutschland (141)
- Syntax (125)
- Englisch (120)
- distribution (112)
- Deutsch (98)
- biodiversity (96)
- inflammation (95)
Institute
- Medizin (5172)
- Physik (3452)
- Wirtschaftswissenschaften (1884)
- Frankfurt Institute for Advanced Studies (FIAS) (1558)
- Biowissenschaften (1500)
- Center for Financial Studies (CFS) (1474)
- Informatik (1365)
- Biochemie und Chemie (1075)
- Sustainable Architecture for Finance in Europe (SAFE) (1049)
- House of Finance (HoF) (701)
Various concurrency primitives had been added to functional programming languages in different ways. In Haskell such a primitive is a MVar, joins are described in JoCaml and AliceML uses futures to provide a concurrent behaviour. Despite these concurrency libraries seem to behave well, their equivalence between each other has not been proven yet. An expressive formal system is needed. In their paper "On proving the equivalence of concurrency primitives", Jan Schwinghammer, David Sabel, Joachim Niehren, and Manfred Schmidt-Schauß define a universal calculus for concurrency primitives known as the typed lambda calculus with futures. There, equivalence of processes had been proved. An encoding of simple one-place buffers had been worked out. This bachelor’s thesis is about encoding more complex concurrency abstractions in the lambda calculus with futures and proving correctness of its operational semantics. Given the new abstractions, we will discuss program equivalence between them. Finally, we present a library written in Haskell that exposes futures and our concurrency abstractions as a proof of concept.
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the programming language Alice ML. We show that natural program optimizations, as well as partial evaluation with respect to deterministic rules, are correct for Lambda(fut). This relies on a number of fundamental properties that we establish for our observational semantics.
We assessed the prognostic value of hypoxia (carbonic anhydrase 9; CA9), vessel density (CD31), with macrophages (CD68) and B cells (CD20) that can interact and lead to immune suppression and disease progression using scanning and histological mapping of whole-mount FFPE pancreatectomy tissue sections from 141 primarily resectable pancreatic ductal adenocarcinoma (PDAC) samples treated with surgery and adjuvant chemotherapy. Their expression was correlated with clinicopathological characteristics, and overall survival (OS), progression-free survival (PFS), local progression-free survival (LPFS) and distant metastases free-survival (DMFS), also in the context of stroma density (haematoxylin-eosin) and activity (alpha-smooth muscle actin). The median OS was 21 months after a mean follow-up of 20 months (range, 2–69 months). The median tumor surface area positive for CA9 and CD31 was 7.8% and 8.1%, respectively. Although total expression of these markers lacked prognostic value in the entire cohort, nevertheless, high tumor compartment CD68 expression correlated with worse PFS (p = 0.033) and DMFS (p = 0.047). Also, high CD31 expression predicted for worse OS (p = 0.004), PFS (p = 0.008), LPFS (p = 0.014) and DMFS (p = 0.004) in patients with moderate density stroma. High stromal and peripheral compartment CD68 expression predicted for significantly worse outcome in patients with loose and moderate stroma density, respectively. Altogether, in contrast to the current notion, hypoxia levels in PDAC appear to be comparable to other malignancies. CD31 and CD68 constitute prognostic markers in patient subgroups that vary according to tumor compartment and stromal density. Our study provides important insight on the pathophysiology of PDAC and should be exploited for future treatments.
Purpose: The role of obesity in glioblastoma remains unclear, as previous analyses have reported contradicting results. Here, we evaluate the prognostic impact of obesity in two trial populations; CeTeG/NOA-09 (n = 129) for MGMT methylated glioblastoma patients comparing temozolomide (TMZ) to lomustine/TMZ, and GLARIUS (n = 170) for MGMT unmethylated glioblastoma patients comparing TMZ to bevacizumab/irinotecan, both in addition to surgery and radiotherapy.
Methods: The impact of obesity (BMI ≥ 30 kg/m2) on overall survival (OS) and progression-free survival (PFS) was investigated with Kaplan–Meier analysis and log-rank tests. A multivariable Cox regression analysis was performed including known prognostic factors as covariables.
Results: Overall, 22.6% of patients (67 of 297) were obese. Obesity was associated with shorter survival in patients with MGMT methylated glioblastoma (median OS 22.9 (95% CI 17.7–30.8) vs. 43.2 (32.5–54.4) months for obese and non-obese patients respectively, p = 0.001), but not in MGMT unmethylated glioblastoma (median OS 17.1 (15.8–18.9) vs 17.6 (14.7–20.8) months, p = 0.26). The prognostic impact of obesity in MGMT methylated glioblastoma was confirmed in a multivariable Cox regression (adjusted odds ratio: 2.57 (95% CI 1.53–4.31), p < 0.001) adjusted for age, sex, extent of resection, baseline steroids, Karnofsky performance score, and treatment arm.
Conclusion: Obesity was associated with shorter survival in MGMT methylated, but not in MGMT unmethylated glioblastoma patients.
ON THE INTERNET, SEARCH ENGINES INFLUENCE THE BEHAVIOR OF AN INCREASING PART OF CUSTOMERS. BANKS MAKE USE OF SEARCH ENGINES TO PROMOTE PRODUCTS BY USING KEYWORD AUCTIONS TO PURCHASE A PLACE OF THEIR ADVERTISEMENTS IN THE SPONSORED SEARCH LISTINGS. WE DESCRIBE HOW TO BID IN KEYWORD AUCTIONS AND HOW TO MEASURE THE SUCCESS OF SEARCHENGINE MARKETING.
SUMOylation is a reversible posttranslational modification pathway catalyzing the conjugation of small ubiquitin-related modifier (SUMO) proteins to lysine residues of distinct target proteins. SUMOylation modifies a wide variety of cellular regulators thereby affecting a multitude of key processes in a highly dynamic manner. The SUMOylation pathway displays a hallmark in cellular stress-adaption, such as heat or redox stress. It has been proposed that enhanced cellular SUMOylation protects the brain during ischemia, however, little is known about the specific regulation of the SUMO system and the potential target proteins during cardiac ischemia and reperfusion injury (I/R). By applying left anterior descending (LAD) coronary artery ligation and reperfusion in mice, we detect dynamic changes in the overall cellular SUMOylation pattern correlating with decreased SUMO deconjugase activity during I/R injury. Further, unbiased system-wide quantitative SUMO-proteomics identified a sub-group of SUMO targets exhibiting significant alterations in response to cardiac I/R. Notably, transcription factors that control hypoxia- and angiogenesis-related gene expression programs, exhibit altered SUMOylation during ischemic stress adaptation. Moreover, several components of the ubiquitin proteasome system undergo dynamic changes in SUMO conjugation during cardiac I/R suggesting an involvement of SUMO signaling in protein quality control and proteostasis in the ischemic heart. Altogether, our study reveals regulated candidate SUMO target proteins in the mouse heart, which might be important in coping with hypoxic/proteotoxic stress during cardiac I/R injury.
Bloodstream infections (BSI) are a frequent complication in patients with hematological and oncological diseases. However, the impact of different bacterial species causing BSI and of multiple BSI remains incompletely understood. We performed a retrospective study profiling 637 bacterial BSI episodes in hematological and oncological patients. Based on the 30-day (30d) overall survival (OS), we analyzed different types of multiple BSI and grouped BSI-associated bacteria into clusters followed by further assessment of clinical and infection-related characteristics. We discovered that polymicrobial BSI (different organisms on the first day of a BSI episode) and sequential BSI (another BSI before the respective BSI episode) were associated with a worse 30d OS. Different bacterial groups could be classified into three BSI outcome clusters based on 30d OS: favorable (FAV) including mainly common skin contaminants, Escherichia spp. and Streptococcus spp.; intermediate (INT) including mainly Enterococcus spp., vancomycin-resistant Enterococcus spp., and multidrug-resistant gram-negative bacteria (MDRGN); and adverse (ADV) including MDRGN with an additional carbapenem-resistance (MDRGN+CR). A polymicrobial or sequential BSI especially influenced the outcome in the combination of two INT cluster BSI. The presence of a polymicrobial BSI and the assignment into the BSI outcome clusters were identified as independent risk factors for 30d mortality in a Cox multivariate regression analysis. The assignment to a BSI outcome cluster and the differentiated perspective of multiple BSI open new insights into the prognosis of patients with BSI and should be further validated in other patient cohorts.
The recent approval by the US Food and Drug Administration of ocriplasmin for the treatment of symptomatic vitreomacular adhesion (VMA), often associated with vitreomacular traction (VMT) and macular hole (MH), has brought new attention to the field of pharmacologic vitreolysis. The need for an enzyme to split the vitreomacular interface, which is formed by a strong adhesive interaction between the posterior vitreous cortex and the internal limiting membrane, historically stems from pediatric eye surgery. This review summarizes the different anatomic classifications of posterior vitreous detachment or anomalous posterior vitreous detachment and puts these in the context of clinical pathologies commonly observed in clinical practice of the vitreoretinal specialist, such as MH, VMT, age-related macular degeneration, and diabetic macular edema. We revisit the outcome of the Phase II studies that indicated ocriplasmin was a safe and effective treatment for selected cases of symptomatic VMA and MH. Release of VMA at day 28 was achieved by 26.5% of patients in the ocriplasmin group versus 10.1% in the placebo group (P<0.001). Interestingly, for MHs, the numbers were more remarkable. Predictive factors for successful ocriplasmin treatment were identified for VMT (VMA diameter smaller than 1,500 µm) and MH (smaller than 250 µm). In comparison with the highly predictable outcome after vitrectomy, the general success rate of ocriplasmin not under clinical trial conditions has not fully met expectations and needs to be proven in real-world clinical settings. The ocriplasmin data will be compared in the future with observational data on spontaneous VMA release, will help retina specialists make more accurate predictions, and will improve outcome rates.
Professionalization of service-learning in higher education – an academic development approach
(2018)
In an attempt to professionalize service-learning in higher education, teachers and their teaching skills are considered a determining factor and require particular attention. To promote the teaching skills necessary for service-learning courses, an academic development approach addressing these specific requirements has been implemented at Goethe University Frankfurt as part of the academic development program for teaching staff. This article presents the particularities of this approach and illustrates one of its central elements, i.e., the concept of a workshop on planning service-learning courses. Both practical and research implications are discussed.
Prevalent poverty and related problems in the East African region call for substantial action from various stakeholders, including social workers. This book, based on comprehensive empirical research, portrays an emerging yet powerful profession that has a significant role to play in the endeavour towards social development, social justice, human rights and gender equality. The book is the first of its kind to provide first-hand theoretical and empirical evidence about social work in East Africa.