Results 71 to 80 of about 1,142,282 (251)
Identity, Power, and Hiring in a Feminized Profession [PDF]
, 1985 published or submitted for ...
Ivy, Barbara A.
core
Reproduction and respiration of a climate change indicator species: effect of temperature and variable food in the copepod Centropages chierchiae [PDF]
, 2013 The abundance of the calanoid copepod Centropages chierchiae has increased at the northern limits of its distribution in recent decades, mainly due to oceanic climate forcing, suggesting this as a key species in monitoring climate change.
A. Miguel P. Santos +78 more
core +1 more source
Molecular Oncology, EarlyView.HDAC4 is degraded by the E3 ligase FBXW7. In colorectal cancer, FBXW7 mutations prevent HDAC4 degradation, leading to oxaliplatin resistance. Forced degradation of HDAC4 using a PROTAC compound restores drug sensitivity by resetting the super‐enhancer landscape, reprogramming the epigenetic state of FBXW7‐mutated cells to resemble oxaliplatin ...
Vanessa Tolotto +13 more
wiley +1 more source
General Recursion via Coinductive Types [PDF]
Logical Methods in Computer Science, 2005 A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories.
Venanzio Capretta
doaj +1 more source
P‐3.1: Optical see‐through near‐eye 3D display based on holographic lens 4 f system [PDF]
, 2021 Min-Yang He +4 more
openalex +1 more source
Exploiting metabolic adaptations to overcome dabrafenib treatment resistance in melanoma cells
Molecular Oncology, EarlyView.We show that dabrafenib‐resistant melanoma cells undergo mitochondrial remodeling, leading to elevated respiration and ROS production balanced by stronger antioxidant defenses. This altered redox state promotes survival despite mitochondrial damage but renders resistant cells highly vulnerable to ROS‐inducing compounds such as PEITC, highlighting redox
Silvia Eller +17 more
wiley +1 more source
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani +2 more
doaj +1 more source
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Molecular Oncology, EarlyView.Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
Enriched MU-Calculi Module Checking [PDF]
Logical Methods in Computer Science, 2008 The model checking problem for open systems has been intensively studied in the literature, for both finite-state (module checking) and infinite-state (pushdown module checking) systems, with respect to Ctl and Ctl*. In this paper, we further investigate
Alessandro Ferrante +2 more
doaj +1 more source
Hypercomplex quantum mechanics
, 1995 The fundamental axioms of the quantum theory do not explicitly identify the algebraic structure of the linear space for which orthogonal subspaces correspond to the propositions (equivalence classes of physical questions).
A. A. Albert +23 more
core +2 more sources