Results 61 to 70 of about 1,932,015 (306)
Molecular Oncology, EarlyView.Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla +9 more
wiley +1 more source
Frontiers in Computational Neuroscience, 2013 Fear conditioning, in which a cue is conditioned to elicit a fear response, and extinction, in which a previously conditioned cue no longer elicits a fear response, depend on neural plasticity occurring within the amygdala.
Thomas eAnastasio
doaj +1 more source
The 4SECURail Formal Methods Demonstrator
, 2022 The need for high-quality standard interfaces is widely rec- ognized as a mandatory step to reduce procurement costs and create safely operating complex railway infrastructures. That is why European initiatives like EULYNX have been set up precisely with the purpose of supporting standard interfaces development.
Mazzanti F, Belli D
openaire +2 more sources
Molecular Oncology, EarlyView.Targeted therapy was evaluated in SHH medulloblastoma using neuroepithelial stem cell (NES) and tumor‐derived NES‐like (tNES) models in 2D monolayers and 3D spheroids. PI3K, AKT, and CDK4/6 inhibitors had minimal effects in NES but markedly reduced viability and growth and induced apoptosis in tNES cells, revealing distinct therapeutic vulnerabilities.
Monika Lukoseviciute +4 more
wiley +1 more source
Frontiers in Pharmacology, 2013 According to the amyloid hypothesis, Alzheimer Disease results from the accumulation beyond normative levels of the peptide amyloid-β (Aβ). Perhaps because of its pathological potential, Aβ and the enzymes that produce it are heavily regulated by the ...
Thomas J. Anastasio
doaj +1 more source
Formal Methods for a Digital Industry: Industrial Track at ISoLA 2022
, 2023 337339The industrial track at ISoLA 2022 provides a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation from the perspective of where and how formal methods can ...
Hungar, Hardi +3 more
core +1 more source
Formal Methods and CyberSecurity
CoRR, 2019 Formal methods have been largely thought of in the context of safety-critical systems, where they have achieved major acceptance. Tens of millions of people trust their lives every day to such systems, based on formal proofs rather than ``we haven't found a bug'' (yet!).
openaire +2 more sources
Formal methods: promises and problems [PDF]
IEEE Software, 1997 Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.
Luqi, Goguen, Joseph A.
openaire +2 more sources
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Research challenges and future perspectives for e-assessment technologies in higher education
i-comE-assessment technologies have rapidly evolved in higher education, transforming the evaluation of learning outcomes and the delivery of feedback to students and educators.
Striewe Michael +2 more
doaj +1 more source