In: International journal of molecular sciences, 2021, vol. 22, no. 9, p. 16
Despite the huge body of research on osteogenic differentiation and bone tissue engineering, the translation potential of in vitro results still does not match the effort employed. One reason might be that the protocols used for in vitro research have inherent pitfalls. The synthetic glucocorticoid dexamethasone is commonly used in protocols for trilineage differentiation of human bone marrow...
|
In: Vaccine: X, 2021, vol. 8, p. 7
Background: The Covid-19 pandemic is causing unprecedented disruption and suffering to people across the globe, with a disproportionate toll on the elderly. The development and equitable distribution of a vaccine seems to be the most promising and sustainable route ahead. The goal of this study was to explore older adults’ attitudes towards and beliefs regarding the Covid-19 vaccination in...
|
In: International journal of molecular sciences, 2021, vol. 22, no. 12, p. 24
Inflammation in the tumor microenvironment has been shown to promote disease progression in pancreatic ductal adenocarcinoma (PDAC); however, the role of macrophage metabolism in promoting inflammation is unclear. Using an orthotopic mouse model of PDAC, we demonstrate that macrophages from tumor-bearing mice exhibit elevated glycolysis. Macrophage- specific deletion of Glucose Transporter 1...
|
In: Journal of computational science, 2021, vol. 53, p. 13
The ℓ1-regularized Gaussian maximum likelihood method is a common approach for sparse precision matrix estimation, but one that poses a computational challenge for high-dimensional datasets. We present a novel ℓ1- regularized maximum likelihood method for performant large-scale sparse precision matrix estimation utilizing the block structures in the underlying computations. We identify the...
|
In: Vaccines, 2021, vol. 9, no. 9, p. 7
Since marketing authorization, cases of neuralgic amyotrophy (NA), facial paralysis/Bell’s palsy (FP/BP), and Guillain-Barré syndrome (GBS) were reported with COVID-19 vaccines of different technologies. This study aimed to assess whether NA, FP/BP, and GBS were more frequently reported in VigiBase with COVID-19 vaccines (of any technologies) than with other viral vaccines, over the full...
|
In: European journal of neurology, 2021, vol. 28, no. 9, p. 9
Background and purpose: Fatigue is amongst the most frequent and disabling symptoms of multiple sclerosis and a close relation between fatigue and sleep quality has been hypothesized. In this study the contribution of sleep disturbances measured by clinical and polysomnographic parameters to fatigue in multiple sclerosis was investigated. Methods: This was a prospective instrumental study...
|
In: International journal for numerical methods in biomedical engineering, 2021, vol. 37, no. 8, p. 30
The identification of the initial ventricular activation sequence is a critical step for the correct personalization of patient- specific cardiac models. In healthy conditions, the Purkinje network is the main source of the electrical activation, but under pathological conditions the so-called earliest activation sites (EASs) are possibly sparser and more localized. Yet, their number, location...
|
In: Sleep medicine, 2021, vol. 82, p. 61-64
|
In: International journal on software tools for technology transfer, 2021, p. 15
The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...
|
In: Journal of systems and software, 2021, vol. 181, p. 13
Software testing depends on effective oracles. Implicit oracles, such as checks for program crashes, are widely applicable but narrow in scope. Oracles based on formal specifications can reveal applicationspecific failures, but specifications are expensive to obtain and maintain. Metamorphic oracles are somewhere in-between. They test equivalence among different procedures to detect semantic...
|