Results 111 to 120 of about 99,447 (295)
How Germany shouldered the fiscal burden of the unification [PDF]
In the process of the German unification and especially after the formal unification in October 1990, Eastern Germany was supported by West Germany by a lot of measures.
Boss, Alfred
core
Formalization of First-Order Syntactic Unification [PDF]
, 2018 We present a new formalization in the Isabelle proof assistant of first-order syntactic unification, including a proof of termination. Our formalization follows, almost down to the letter, the ML-code from Baader and Nipkow's book "Term Rewriting and All
Brandt, Kasper Fabæch +2 more
core
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
Journal of Symbolic Computation, 1989 The normalization process has been developed in various logics but was lacking in equational logic. The main explanation of this fact is the lack of an elimination rule in equational logic. However, this elimination is omnipresent in computer science in form of unification.
openaire +2 more sources
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
Molecular Oncology, EarlyView.We identify USP29 as the only DUB mirroring CA9 expression, a marker of hypoxia and HIF pathway activation associated with PCA aggressiveness. USP29 stabilizes HIF‐1α and HIF‐2α via a noncanonical mechanism that is independent of PHD/pVHL activity yet relies on proteasomal regulation, establishing USP29 as a previously unrecognized regulator of hypoxic
Amelie S Schober +16 more
wiley +1 more source
"Hazardous Waste Management Policy in the European Union: Case of Germany and Unification Illustrates Need to Consider Principle of Subsidiarity" [PDF]
, 1995 Environmental legislation and especially that relating to hazardous waste management remains an area in which careful consideration has to be given to the nature of the problem before legislation is harmonized and standardized.
Simonsson, Eva.
core
İbn Sînâ ve Tûsî’ye Göre Tanrı’nın Bilgisi
Eskiyeni, 2016 Tanrı’nın bilgisi, Müslüman filozoflar tarafından bilgi teorisinin konusu olarak değil, metafizik kapsamında bir mesele olarak ele alınmıştır. İslam felsefesinde hususi bir epistemoloji başlığı açılmış olmamakla birlikte insanın bilmesi ve idraki hem ...
Murat Demirkol
doaj
Finding novel vulnerabilities of hypomorphic BRCA1 alleles
Molecular Oncology, EarlyView.Synthetic lethality screens performed to identify novel vulnerabilities often model complete gene loss, thereby overlooking patient‐derived hypomorphic mutations. In this study, we have performed genome‐wide CRISPR screens on BRCA1 hypomorphic mutations, showing BRCA1I26A behaves like wild‐type, while BRCA1R1699Q mimics deficiency. Furthermore, we have
Anne Schreuder +10 more
wiley +1 more source
Oncogenic DMTF1β promotes cancer cell motility by regulating autophagy through ULK1 stabilization
Molecular Oncology, EarlyView.In the current study, we demonstrate that the oncogene DMTF1β regulates ULK1 stability by reducing its proteasomal degradation in cancer cells. This stabilization enables ULK1 to induce autophagy, which in turn facilitates cancer cell migration. Consequently, reduced DMTF1β levels lead to decreased autophagy and impaired cancer cell migration.
Jun Xu +13 more
wiley +1 more source