Results 171 to 180 of about 23,557 (297)

ERK‐Mediated Phosphorylation of YAP Defines a Noncanonical FGF Signaling Mechanism in Stem Cells

open access: yesAdvanced Science, EarlyView.
With a powerful combination of in vivo, ex vivo, and in vitro models, the authors highlight a novel FGF‐ERK signaling regulation of YAP at the S128 site in neural crest‐derived stem cells. This study opens exciting new directions in stem cell biology and craniofacial biology, paving the way for potential innovations in the treatment of craniofacial ...
Xiaolei Zhao   +16 more
wiley   +1 more source

Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees

open access: yes, 2016
Autonomous medical devices such as implantable cardiac pacemakers are capable of diagnosing the patient condition and delivering therapy without human intervention.
Mosterman, Pieter   +3 more
core  

Consensus Formation and Change are Enhanced by Neutrality

open access: yesAdvanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag   +3 more
wiley   +1 more source

Paternal Circadian Disruption Impairs Offspring Cognition via Sperm microRNAs

open access: yesAdvanced Science, EarlyView.
Paternal circadian disruption remodels the sperm small RNA payload, elevating miR‐92a‐3p/miR‐25‐3p levels and perturbing early embryonic gene regulatory programs. Microinjection experiments and single‐embryo transcriptomics reveal sex‐specific developmental vulnerabilities, ultimately impairing offspring hippocampal synaptic plasticity and cognition ...
Kexin Zou   +22 more
wiley   +1 more source

RNA as a genome architect: G-loops in G-quadruplex regulation. [PDF]

open access: yesMil Med Res
Wang J   +4 more
europepmc   +1 more source

Extreme model checking

open access: yes, 2003
To Zohar, for teaching me about logic and life. –Tom Abstract. One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development.
Marco A. A. Sanvido   +3 more
core  

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced Science, EarlyView.
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

Cyberchondria and complexity: a systems-level exploration of anxiety and informational instability in the digital age. [PDF]

open access: yesFront Psychol
Martino G   +6 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy