Results 61 to 70 of about 1,097 (101)

Space-bounded hierarchies and probabilistic computations

open access: yesSymposium on the Theory of Computing, 1982
W. L. Ruzzo, Janos Simon, M. Tompa
semanticscholar   +1 more source

Complications after Surgical Procedures in Patients with Cardiac Implantable Electronic Devices: Results of a Prospective Registry. [PDF]

open access: yesArq Bras Cardiol, 2016
Silva KR   +6 more
europepmc   +1 more source

Model Checking and Transitive-Closure Logic

open access: yesInternational Conference on Computer Aided Verification, 1997
N. Immerman, Moshe Y. Vardi
semanticscholar   +1 more source

o-Toluene-sulfonamide: a redetermination. [PDF]

open access: yesActa Crystallogr Sect E Struct Rep Online, 2009
Gowda BT, Foro S, Shakuntala K, Fuess H.
europepmc   +1 more source

Home - About - Disclaimer - Privacy