A Temporal Logic for Hyperproperties
, 2013 Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd +2 more
core
Anisotropic optical properties induced by uniaxial strain of monolayer C3N: a first-principles study. [PDF]
RSC Adv, 2019 Chen QY, Liu MY, Cao C, He Y.
europepmc +1 more source
Full-root Aortic Valve Replacement by Stentless Aortic Xenografts in Patients with Small Aortic Roots. [PDF]
J Vis Exp, 2017 Tavakoli R, Jamshidi P, Gassmann M.
europepmc +1 more source
Reading-out task variables as a low-dimensional reconstruction of neural spike trains in single trials. [PDF]
PLoS One, 2019 Koren V +4 more
europepmc +1 more source
The challenge of big data in public health: an opportunity for visual analytics. [PDF]
Online J Public Health Inform, 2014 Ola O, Sedig K.
europepmc +1 more source
Complications after Surgical Procedures in Patients with Cardiac Implantable Electronic Devices: Results of a Prospective Registry. [PDF]
Arq Bras Cardiol, 2016 Silva KR +6 more
europepmc +1 more source
Space-bounded hierarchies and probabilistic computations
Symposium on the Theory of Computing, 1982 W. L. Ruzzo, Janos Simon, M. Tompa
semanticscholar +1 more source
Leaders of neuronal cultures in a quorum percolation model. [PDF]
Front Comput Neurosci, 2010 Eckmann JP +4 more
europepmc +1 more source
Tetra-aqua-bis-(2-methyl-1H-imidazole-κN)cobalt(II) naphthalene-1,5-disulfonate. [PDF]
Acta Crystallogr Sect E Struct Rep Online, 2011 Jin Y.
europepmc +1 more source
o-Toluene-sulfonamide: a redetermination. [PDF]
Acta Crystallogr Sect E Struct Rep Online, 2009 Gowda BT, Foro S, Shakuntala K, Fuess H.
europepmc +1 more source