Results 211 to 220 of about 1,699,178 (242)

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

Normative Values for Prosaccade and Antisaccade Eye Movements in Adolescents Using a New Saccadometry Test. [PDF]

open access: yesJ Am Acad Audiol
Baquerizo-Burgos J   +3 more
europepmc   +1 more source

Gonadotropin‐Inhibitory Hormone (GnIH) and Its Receptor GPR147 Mediates Acute Stress‐Induced Activation of the Locus Coeruleus‐SAM Axis

open access: yesAdvanced Science, EarlyView.
ABSTRACT Gonadotropin‐inhibitory hormone (GnIH, also known as RFamide‐related peptide‐3, RFRP‐3) is a hypothalamic neuropeptide that regulates vertebrate reproduction via its receptor GPR147. Although GnIH is known to mediate stress‐induced reproductive suppression, its role in broader stress responses remains unclear.
Jiani Zhang   +18 more
wiley   +1 more source

The Effect of Relevance on Children's Multiple Text Reading: Evidence From Eye Movements. [PDF]

open access: yesScand J Psychol
Häikiö T   +4 more
europepmc   +1 more source

GABAergic Modulation of Brain Function During Prosaccade and Antisaccade Eye Movements: Evidence From Ultra-High-Field fMRI. [PDF]

open access: yesHum Brain Mapp
Quint P   +13 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy