Results 71 to 80 of about 110,181 (267)
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
The aim of the current research is to explore and understand organizational policy and its relationship to the stages of crisis management emerging in the field of work of the General Authority for Dams and Reservoirs of the Iraqi Ministry of Water ...
Assistant teacher Rasha Ahmed Rajab
doaj +1 more source
Organizational policy model of employee performance based on justice [PDF]
The policy focuses on what the government is actually doing rather than merely proposing or intending to do, and separates the policy from a decision that is merely a special option among other options. The purpose of this study was to present a model of
mahdi moslehi +2 more
doaj
Doehl et al. discovered an adaptive neuroimmune mechanism that induces itch in tick‐exposed guinea pigs, enabling rapid tick removal. This itch‐induced tick removal (IITR) is mediated by an adaptive cellular immune response and is independent of IgG, IgE, or TRPV1.
Johannes S. P. Doehl +27 more
wiley +1 more source
Cellular Identity Crisis: RD3 Loss Fuels Plasticity and Immune Silence in Progressive Neuroblastoma
Researchers discovered that therapy‐induced loss of RD3 protein in neuroblastoma triggers a dangerous shift: cancer cells become more stem‐like, invasive, and resistant to treatment while evading immune detection. RD3 loss suppresses antigen presentation and boosts immune checkpoints, creating an immune‐silent environment.
Poorvi Subramanian +7 more
wiley +1 more source
Dysregulation of the PATZ1/CTCF Balance Silences ZBTB20 to Drive Melanoma Progression
This study uncovers a new oncogenic mechanism in melanoma. The transcription factor PATZ1 competes with the architectural protein CTCF for DNA binding, thereby disrupting a specific chromatin loop and silencing the tumor suppressor ZBTB20. This event unleashes the pro‐tumorigenic PMEPA1‐p38‐STAT1 signaling axis, promoting cancer progression.
Chaowei Deng +8 more
wiley +1 more source
Pointillist, cyclical, and overlapping: Multidimensional facets of time in online education
A linear, sequential time conception based on in-person meetings and pedagogical activities is not enough for those who practice and hope to enhance contemporary education, particularly where online interactions are concerned. In this article, we propose
Pekka Ihanainen, John Moravec
doaj +1 more source
Protein complexes like KIBRA‐PKMζ are crucial for maintaining memories, forming month‐long protein traces in memory‐tagged neurons, but conventional RNA‐seq analysis fails to detect their transcript changes, leaving memory molecules undetected in the shadows of abundantly‐expressed genes.
Jiyeon Han +10 more
wiley +1 more source
TRIM40 Drives Pathological Cardiac Hypertrophy and Heart Failure via Ubiquitination of PKN2
This study identifies the E3 ligase TRIM40 as a key driver of pathological cardiac hypertrophy. TRIM40 binds PKN2 via its B‐box domain and, through its C29‐dependent catalytic activity, mediates K63‐linked ubiquitination of PKN2. This modification enhances PKN2 phosphorylation at Ser815, thereby driving hypertrophy.
Risheng Zhao +12 more
wiley +1 more source
Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu +4 more
wiley +1 more source

