Results 91 to 100 of about 168,416,722 (298)
Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells
FEBS Open Bio, EarlyView.Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim +4 more
wiley +1 more source
Proof-of-Work as a Stigmergic Consensus Algorithm
International Joint Conference on Autonomous Agents and Multiagent Systems, 2022 In this paper, we make a theoretical analysis from a coordination perspective and conclude that the Proof-of-Work (PoW) algorithm is a stigmergic consensus algorithm where the trace left by an action in the blockchain through indirect coordination of agents stimulates subsequent actions and eventually creates a single chain of blocks.
openaire +3 more sources
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Enacting Reasoning-and-Proving in Secondary Mathematics Classrooms through Tasks [PDF]
, 2013 Proof is the mathematical way of convincing oneself and others of the truth of a claim for all cases in the domain under consideration. As such, reasoning-and-proving is a crucial, formative practice for all students in kindergarten through twelfth ...
Switala, Michelle S
core
Working with first-order proofs and provers
CoRR, 2019 4 pages.
Raskin, Mikhail, Welzel, Christoph
openaire +3 more sources
FEBS Open Bio, EarlyView.We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen +5 more
wiley +1 more source
Adapting blockchain's proof-of-work mechanism for multiple traveling salesmen problem optimization. [PDF]
Sci Rep, 2023 Sabry N +3 more
europepmc +1 more source
Narrating Formal Proof (Work in Progress)
Electronic Notes in Theoretical Computer Science, 2012 AbstractBuilding on existing work in proxying interaction with proof assistants, we have previously developed a proof movie. We have now considered the problem of how to augment this movie data structure to support commentary on formal proof development. In this setting, we have studied extracting commentary from an online text by Pierce et al. [Pierce,
Tankink, C. +3 more
openaire +4 more sources
FEBS Open Bio, EarlyView.Research is strongest when conducted alongside patients, not just about them. Patient research organizations help integrate patient perspectives into research priorities, study design, and scientific meetings, leading to meaningful patient outcomes and development of relevant therapies.
Jenica H. Kakadia +9 more
wiley +1 more source
Toward Trusted IoT by General Proof-of-Work. [PDF]
Sensors (Basel), 2022 Hsueh CW, Chin CT.
europepmc +1 more source