Results 81 to 90 of about 31,656 (296)
Architectural specification, exploration and simulation through rewriting-logic
In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description
Mauricio Ayala Rincón +4 more
doaj
Survivin and Aurora Kinase A control cell fate decisions during mitosis
Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir +2 more
wiley +1 more source
CDK11 inhibition stabilises the tumour suppressor p53 and triggers the production of an alternative p21WAF1 splice variant p21L, through the inactivation of the spliceosomal protein SF3B1. Unlike the canonical p21WAF1 protein, p21L is localised in the cytoplasm and has reduced cell cycle‐blocking activity.
Radovan Krejcir +12 more
wiley +1 more source
Current trends in single‐cell RNA sequencing applications in diabetes mellitus
Single‐cell RNA sequencing is a powerful approach to decipher the cellular and molecular landscape at a single‐cell resolution. The rapid development of this technology has led to a wide range of applications, including the detection of cellular and molecular mechanisms and the identification and introduction of novel potential diagnostic and ...
Seyed Sajjad Zadian +6 more
wiley +1 more source
Phenotypic plasticity in a newly established set of EGFR inhibitor‐adapted NSCLC cell lines during adaptation and in established cell lines. Here, we introduce novel sublines of the EGFR‐mutant non‐small cell lung cancer (NSCLC) cell lines HCC827 and HCC4006 adapted to the EGFR kinase inhibitors gefitinib (HCC827rGEFI2μm, HCC4006rGEFI1μm), erlotinib ...
Tharsagini V. Nanthaprakash +6 more
wiley +1 more source
In this article we propose an extension of term rewriting techniques to automate the deduction in monotone pre-order theories. To prove an inclusionabfrom a given setIof them, we generate fromI, using a completion procedure, abi-rewrite system, that is, a pair of rewrite relations and , and seek a common termcsuch thatacandbc.
Levy, Jordi, Agustí-Cullel, Jaume
openaire +4 more sources
IqgC is a RasGAP from Dictyostelium discoideum. IqgC binds RasG via its RasGAP domain and deactivates it on macroendocytic cups, thereby suppressing the uptake of fluid and particles. IqgC has a positive effect on cell‐substratum adhesion, and its RGCt domain is required for recruitment to ventral foci.
Vedrana Filić +3 more
wiley +1 more source
TTT and R2TP chaperone complexes are required for the assembly and activation of mTORC1. WAC directly interacts with components of TTT, R2TP, and mTORC1, and these interactions are affected by the availability of glucose and glutamine, correlating with changes in mTORC1 activity.
Sofía Cabezudo +11 more
wiley +1 more source
Xanthan gum has been rewriting the book on water control. Now Kelco has written the book on xanthan gum. [PDF]
openalex +1 more source

