CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
74 research outputs found
Model checking hierarchical probabilistic systems
Author
A. Hinton
A. Pnueli
+28 more
A. Pnueli
A.P. Sistla
A.W. Roscoe
B. Alpern
C. Baier
C. Hoare
C. Morgan
C. Morgan
D. Lehmann
F. Ciesinski
F. Somenzi
H. Zhu
J. Aspnes
J. Katoen
J. Sun
J. Sun
J.R. Burch
K. Havelund
M.Y. Vardi
O. Kupferman
P. Gastin
R. Alur
S. Chaki
S.S. Barold
T. Latvala
W.H. Maisel
X. Nicollin
Y. Chen
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2010
Field of study
Get PDF
Crossref
Institutional Knowledge at Singapore Management University
Partial Pacemaker Recycling of Implanted QRS-Inhibited Pulse Generators
Author
Barold S.S.
Barold S.S.
Hauser R.G.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Interpretation of complex demand pacemaker arrhythmias.
Author
Barold S.S.
Barold S.S.
+9 more
Barold S.S.
Barold S.S.
Barold S.S.
Friedberg H.D.
G I Litman
J J Gaidula
R L Banner
S G Barold
S Goldstein
Publication venue
'BMJ'
Publication date
Field of study
No full text
Crossref
Unusual response of demand pacemakers to magnets.
Author
Barold S.S.
Barold S.S.
+5 more
Barold S.S.
Castellanos A.
J J Gaidula
R Castillo
S S Barold
Publication venue
'BMJ'
Publication date
Field of study
No full text
Crossref
Self-Inhibition of an AV Sequential Demand (DVI) Pulse Generator Due to Polyurethane Lead Insulation Disruption
Author
Amikam S.
Barold S.S.
+7 more
Barold S.S.
Barold S.S.
Barold S.S.
Furman S.
Furman S.
Widlansky S.
Witte A.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Unusual Demand Pacemaker Arrhythmia Due to Partial Recycling in the Relative Refractory Period
Author
Barold S.S.
Barold S.S.
Falkoff M.
Sung R.J.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Methods for Recording Intermittent Contact Signals in Demand Pacemaker Arrhythmias (11 cases)
Author
Barold S.S.
Barold S.S.
Lasseter K.C.
Mussumi R.A.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Transient Early T Wave Sensing by Implanted Programmable Demand Pulse Generator
Author
Barold S.S
Barold S.S.
+21 more
Barold S.S.
Barold S.S.
Barold S.S.
Barold S.S.
Barold S.S.
Cheng T.
Diewitz M.
Diewitz M.
Fontaine G.
Godenir J.P.
Gould L.
Jacobson L.B.
Katsumoto K.
Massumi R.A.
Tabesh E.
Taniguchi K.
Tyers G.F.P.
Varriale P.
Vera Z.
Wiedmeyer J.
Wirtzfeld A.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Periodic Pacemaker Spike Attenuation with Preservation of Capture: An Unusual Electrocardiographic Manifestation of Partial Pacing Electrode Fracture
Author
Barold S.S.
Barold S.S.
+7 more
Barold S.S.
Falkoff M.
Fontaine G.
Furman S.
Lasseter K.C.
Mugica J.
Mugica J.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Suppression of an External Demand Pacemaker by Diaphragmatic Myopotentials: A Sign of Electrode Perforation?
Author
Baggioni G.F.
Barold S.S.
+5 more
Barold S.S.
Mond H.G.
Ohm O.J.
Peter T.
Wirtzfeld A.
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
1
2
3
…
last