Search CORE

86 research outputs found

Model checking hierarchical probabilistic systems

Author: A. Hinton
A. Pnueli
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

Institutional Knowledge at Singapore Management University

Chronic Right Ventricular Pacing in the Heart Failure Population

Author: A Barsheshet
AB Curtis
AE Albertsen
AJ Moss
Baldeep Sidhu
Benjamin Sieniewicz
BL Wilkoff
Bradley Porter
C-M Yu
C-M Yu
Christopher A. Rinaldi
CM Tracy
EI Skalidis
F Akerström
F Fang
F Fang
F Fang
FR Badke
FW Prinzen
FW Prinzen
G Lupi
G Maurer
GC Kaye
H Beck
HF Tse
J-B Thambo
JC Nielsen
JGF Cleland
Justin Gould
JY-S Chan
K Vernooy
KARPAWICH PP
LF Tops
M Brignole
M Brignole
M Kindermann
M St. John Sutton
M Stockburger
MB Kronborg
MF Oosterhout van
MM Filho
MO Sweeney
MR Bristow
MV Orlov
MVT Tantengco
N El-Sherif
P Deshmukh
P Ponikowski
PM Deshmukh
PS Sharma
R Barba-Pichardo
R Barba-Pichardo
R Lieberman
RC Funck
RN Doshi
S Stavrakis
SJ Connolly
SS Barold
SS Barold
W-H Liu
WT Abraham
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Influence of electromagnetic interference on implanted cardiac arrhythmia devices in and around a magnetically levitated linear motor car

Author: H Chikamatsu
H Elmqvist
Katsuhisa Waseda
Motoyuki Fukuta
N Goldschlager
Noboru Mizutani
S Furman
SL Pinsky
SL Pinsky
SS Barold
SS Barold
W Irnich
W Irnich
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Besondere Aspekte von Diathermieanwendungen beim Schrittmacherpatienten

Author: H Schlegel
Normempfehlung
OJ Ohm
SS Barold
ST Anderson
U Gebhardt
W Irnich
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1987
Field of study

Effect of methylene blue on cardiac output response to exercise in dogs

Author: C. S. Liang
H. S. Barold
J. I. Paley
N. Imai
Publication venue: 'American Physiological Society'
Publication date
Field of study

A New Pacemaker for Paroxysmal Atrial Fibrillation Treated with Radiofrequency Ablation of the AV Junction

Author: Barold S.
Higano ST
Mayumi H
Mond HG
Rosenquist M
Wyhe G
Publication venue: 'Wiley'
Publication date
Field of study

Escape Rhythm in Complete A-V Block. The Recovery Phase after Overdrive Suppression from Artificial Ventricular Pacing

Author: Barold S.S.
Furman S.
Grendahl H.
Krellenstein D.J.
Narula O.S.
Samet P.
Vasalle M.
Publication venue: 'Wiley'
Publication date
Field of study

Electrochemistry of After-Pacing Potentials on Electrodes.

Author: Barold S.
Elmquist H.
Furman S.
Hauser R.G.
Irnich W.
Taniguchi K.
Thull R.
Publication venue: 'Wiley'
Publication date
Field of study

A Randomized Controlled Clinical Trial Comparing Ventricular Fibrillation Detection Time Between Two Transvenous Defibrillator Models

Author: Barold SS.
Calkins H
Epstein AE
Geelen P
Grimm W
Lavergne T
Pocock SJ.
Wood MA
Publication venue: 'Wiley'
Publication date
Field of study

Prospective assessment of quality of life in patient with congestive heart failure receiving dual chamber pacing: bradycardia related impact

Author: A. Natale
A. Wolverton
E. Pisano
G. Tomassoni
H. Barold
K. Newby
L. Zimerman
R. Fanelli
S. Beheiry
Publication venue: 'Elsevier BV'
Publication date
Field of study

…

core

core