Show
Sort by
-
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
-
8 valued non-deterministic semantics for modal logics
-
Detection of the selective androgen receptor modulator S‐23 and its metabolites in equine urine and plasma following oral administration
-
- Journal Article
- A1
- open access
Identification of equine in vitro metabolites of seven non-steroidal selective androgen receptor modulators for doping control purposes
-
Using voltage-sensor toxins and their molecular targets to investigate Nav1.8 gating
-
- Journal Article
- A2
- open access
Succinctness in subsystems of the spatial mu-calculus
-
Pharmacology of the Nav1.1 domain IV voltage sensor reveals coupling between inactivation gating processes
(2017) PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA. 114(26). p.6836-6841 -
Mutations in the S6 gate isolate a late step in the activation pathway and reduce 4-AP sensitivity in shaker Kv channel
-
Coupling of voltage sensing to channel opening reflects intrasubunit interactions in Kv channels