Results 61 to 70 of about 4,198,145 (291)
Hippo pathway at the crossroads of stemness and therapeutic resistance in breast cancer
Molecular Oncology, EarlyView.Dysregulation of the Hippo pathway drives nuclear accumulation of YAP/TAZ, activating stemness‐related transcriptional programs that sustain breast cancer stemness and fuel therapeutic resistance across subtypes, underscoring Hippo signaling as a targetable vulnerability. Figure created and edited with BioRender.com.
Giulia Schiavoni +11 more
wiley +1 more source
Frontiers in BioinformaticsIntroductionRenal transplantation is the treatment of choice for kidney failure, but most transplants fail prematurely and barely half of recipients survive with a functioning graft for more than a decade.
Oliver P. Günther +18 more
doaj +1 more source
FEBS Open Bio, EarlyView.RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
The Review of Symbolic Logic, 2020 AbstractThis paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are ...
openaire +4 more sources
Proof Normalization Modulo [PDF]
Journal of Symbolic Logic, 1999 AbstractWe define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theories having a so-called pre-model. As a corollary, we retrieve cut elimination for several axiomatic theories, including Church's simple type theory.
Dowek, Gilles, Werner, Benjamin
openaire +3 more sources
Proof Relevant Corecursive Resolution
, 2015 Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood ...
D Ancona +14 more
core +1 more source
Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae
FEBS Open Bio, EarlyView.Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj +3 more
wiley +1 more source
ReligionsJames Sterba recently presented arguments against theories which ground morality in God and attempted “to provide an account of the norms on which an ethics without God can be appropriately grounded ….” In particular, Sterba noted that “Robert Adams is ...
Adam Lloyd Johnson
doaj +1 more source
DIGITAL TECHNOLOGIES AND ENVIRONMENTAL CRIMES
Revista Eletrônica de Direito Processual, 2019 This paper deals with drones as evidence, according to the Spanish law, and the procedure for valuating the proof.
Lorenzo Mateo Bujosa Vadell
doaj +1 more source
Proof in Mathematics Education, 1980-2020: An Overview
Journal of Educational Research in Mathematics, 2020 This paper looks at the evolution of ideas on the role of proof in mathematics education from 1980 to 2020, examining in particular the contributions of both theoretical and empirical research to the teaching of mathematical proof.
Gila Hanna, Christine Knipping
doaj +1 more source