An Unusual Transorbital Penetrating Injury by House-key (lock): A Case Report with a Small Review of Literature. [PDF]
Sarkar S, Modi S, Seth AK, Panja S.
europepmc +1 more source
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose checking is PSPACE-complete. This paper suggests to use \emph{branching} bisimulation instead.
Katoen, Joost-Pieter +2 more
core
Breaking Lock-ins to Enable a Green Pharmacy. [PDF]
Shalin A, Diamond ML, Wang Z.
europepmc +1 more source
Protocol for Fabrication and Utilization of a Novel Chairside Technique for Interception of Tongue Thrusting Habit. [PDF]
Wali DV +3 more
europepmc +1 more source
Logic-gated fluorescent biosensor integrating aptamer recognition and oxidative cleavage-responsive DNA circuit for myeloperoxidase detection. [PDF]
Shi BY +4 more
europepmc +1 more source
Dynamic simulation of gas-lock instability in an electrical submersible pump induced by annulus valve closure. [PDF]
Abu Bakri J, Jafari A, Khazraee SM.
europepmc +1 more source
A rapid test for protein-DNA interactions. [PDF]
Toft CJ +3 more
europepmc +1 more source
Visualizing intraorganellar ultrastructures, dynamics, and interactions with open-access background-free Lock-in-SIM. [PDF]
Liu W +17 more
europepmc +1 more source
Bewitching the host: Striga disrupts host stomatal ABA signaling by impairing the tryptophan lock. [PDF]
Rodriguez PL, Albert A.
europepmc +1 more source
Molecular Dynamics Insights into TAS1R2 Transmembrane Domain Activation. [PDF]
Lu Y, Ma X, Meng Z, Cui M.
europepmc +1 more source

