UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Autologous bone-marrow stem-cell transplantation for myocardial regeneration

The Lancet (British edition), 2003-01, Vol.361 (9351), p.45-46

2003

Volltextzugriff (PDF)

Impact of preoperative left ventricular function and time from infarction on the long-term benefits after intramyocardial CD133+ bone marrow stem cell transplant

The Journal of thoracic and cardiovascular surgery, 2011-12, Vol.142 (6), p.1530-1539.e3

2011

Volltextzugriff (PDF)

On Education and Training in Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems, p.85-103

Volltextzugriff (PDF)

On Complementing an Undergraduate Software Engineering Course with Formal Methods

2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T), 2020, p.1-10

Westphal, Bernd

2020

Volltextzugriff (PDF)

Conventional Surgery For Early and Late Symptomatic Mitral Valve Stenosis After MitraClip® Intervention: An Institutional Experience With Four Consecutive Patients

Heart, lung & circulation, 2017-12, Vol.26 (12), p.1330-1338

2017

Volltextzugriff (PDF)

Percutaneous vs Surgical Repair of Mitral Valve Regurgitation: Single Institution Early and Midterm Outcomes

Canadian journal of cardiology, 2013-04, Vol.29 (4), p.452-459

2013

Volltextzugriff (PDF)

Quasi-Equal Clock Reduction On-the-Fly

NASA Formal Methods, 2021, Vol.12673, p.375-391

2021

Volltextzugriff (PDF)

Awake Extracorporeal Membrane Oxygenation (ECMO) as Bridge to Recovery After Left Main Coronary Artery Occlusion: A Promising Concept of Haemodynamic Support in Cardiogenic Shock

Heart, lung & circulation, 2014-10, Vol.23 (10), p.e217-e221

2014

Volltextzugriff (PDF)

Culture-negative Infective Endocarditis of the Aortic Valve due to Aerococcus urinae : A Rare Aetiology

Heart, lung & circulation, 2012-04, Vol.21 (4), p.231-233

2012

Volltextzugriff (PDF)

The Model Checking Problem in Networks with Quasi-Equal Clocks

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.21-30

2016

Volltextzugriff (PDF)

Congenital Quadricuspid Aortic Valve: A Rare Valvular Pathology Leading to Aortic Valve Insufficiency

Heart, lung & circulation, 2012-03, Vol.21 (3), p.193-193

2012

Volltextzugriff (PDF)

Intramyocardial fate and effect of iron nanoparticles co-injected with MACS® purified stem cell products

Biomaterials, 2017-08, Vol.135, p.74-84

2017

Volltextzugriff (PDF)

Autologous bone marrow stem cell therapy for the ischemic myocardium during coronary artery bypass grafting

Minimally invasive therapy and allied technologies, 2008, Vol.17 (2), p.143-148

2008

Volltextzugriff (PDF)

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

Electronic proceedings in theoretical computer science, 2022, Vol.371, p.53-61

2022

Volltextzugriff (PDF)

On Implementable Timed Automata

Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.78-95

2020

Volltextzugriff (PDF)

Surgical revision after percutaneous mitral valve repair by edge‐to‐edge device in high‐risk patients

Journal of cardiac surgery, 2020-12, Vol.35 (12), p.3266-3275

2020

Volltextzugriff (PDF)

Surgical revision after percutaneous mitral valve repair by edge-to-edge device: when the strategy fails in the highest risk surgical population

European journal of cardio-thoracic surgery, 2014-07, Vol.46 (1), p.55-60

2014

Volltextzugriff (PDF)

Ready for testing: ensuring conformance to industrial standards through formal verification

Formal aspects of computing, 2016-05, Vol.28 (3), p.499-527

2016

Volltextzugriff (PDF)

Arthralgia and blood culture-negative endocarditis in middle Age Men suggest tropheryma whipplei infection: report of two cases and review of the literature

BMC infectious diseases, 2015-08, Vol.15 (1), p.339-339, Article 339

2015

Volltextzugriff (PDF)

Clinical outcomes of conventional surgery versus MitraClip® therapy for moderate to severe symptomatic mitral valve regurgitation in the elderly population: an institutional experience

BMC cardiovascular disorders, 2017-03, Vol.17 (1), p.85-85, Article 85

2017

Volltextzugriff (PDF)

Teaching software modelling in an undergraduate introduction to software engineering

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019, p.690-699

Westphal, Bernd

2019

Volltextzugriff (PDF)

Two Stage Interventional Management of Tube Thoracostomy Induced Pulmonary Artery Perforation in a Patient with Parapneumonic Pleural Effusion Associated With Oesophageal Squamous Cell Carcinoma

Heart, lung & circulation, 2017-12, Vol.26 (12), p.e121-e122

2017

Volltextzugriff (PDF)

Surgical double valve replacement after transcatheter aortic valve implantation and interventional mitral valve repair

Interactive cardiovascular and thoracic surgery, 2013-11, Vol.17 (5), p.909-911

2013

Volltextzugriff (PDF)

Transformations for Compositional Verification of Assumption-Commitment Properties

Reachability Problems, p.216-229

Volltextzugriff (PDF)

An Undergraduate Requirements Engineering Curriculum with Formal Methods

2018 IEEE 8th International Workshop on Requirements Engineering Education and Training (REET), 2018, p.1-10

Westphal, Bernd

2018

Volltextzugriff (PDF)

1 – 25 von 161

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(117)
Mit Volltextzugriff
(146)

Publikationsform

Sprache

Englisch
(145)
Deutsch
(14)
Türkisch
(2)
Japanisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(96)
Life Sciences & Biomedicine
(62)
Humans
(55)
Male
(38)
Technology
(33)
Cardiac & Cardiovascular Systems
(32)
Cardiovascular System & Cardiology
(32)
Computer Science
(28)
Female
(22)
Aged
(21)
Computer Science, Theory & Methods
(20)
Middle Aged
(20)
Treatment Outcome
(18)
Computer Science, Software Engineering
(14)
Surgery
(14)
Adult
(12)
Software
(12)
Aged, 80 And Over
(11)
Biological And Medical Sciences
(11)
Time Factors
(11)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Autologous bone-marrow stem-cell transplantation for myocardial regeneration

Impact of preoperative left ventricular function and time from infarction on the long-term benefits after intramyocardial CD133+ bone marrow stem cell transplant

On Education and Training in Formal Methods for Industrial Critical Systems

On Complementing an Undergraduate Software Engineering Course with Formal Methods

Conventional Surgery For Early and Late Symptomatic Mitral Valve Stenosis After MitraClip® Intervention: An Institutional Experience With Four Consecutive Patients

Percutaneous vs Surgical Repair of Mitral Valve Regurgitation: Single Institution Early and Midterm Outcomes

Quasi-Equal Clock Reduction On-the-Fly

Awake Extracorporeal Membrane Oxygenation (ECMO) as Bridge to Recovery After Left Main Coronary Artery Occlusion: A Promising Concept of Haemodynamic Support in Cardiogenic Shock

Culture-negative Infective Endocarditis of the Aortic Valve due to Aerococcus urinae : A Rare Aetiology

The Model Checking Problem in Networks with Quasi-Equal Clocks

Congenital Quadricuspid Aortic Valve: A Rare Valvular Pathology Leading to Aortic Valve Insufficiency

Intramyocardial fate and effect of iron nanoparticles co-injected with MACS® purified stem cell products

Autologous bone marrow stem cell therapy for the ischemic myocardium during coronary artery bypass grafting

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

On Implementable Timed Automata

Surgical revision after percutaneous mitral valve repair by edge‐to‐edge device in high‐risk patients

Surgical revision after percutaneous mitral valve repair by edge-to-edge device: when the strategy fails in the highest risk surgical population

Ready for testing: ensuring conformance to industrial standards through formal verification

Arthralgia and blood culture-negative endocarditis in middle Age Men suggest tropheryma whipplei infection: report of two cases and review of the literature

Clinical outcomes of conventional surgery versus MitraClip® therapy for moderate to severe symptomatic mitral valve regurgitation in the elderly population: an institutional experience

Teaching software modelling in an undergraduate introduction to software engineering

Two Stage Interventional Management of Tube Thoracostomy Induced Pulmonary Artery Perforation in a Patient with Parapneumonic Pleural Effusion Associated With Oesophageal Squamous Cell Carcinoma

Surgical double valve replacement after transcatheter aortic valve implantation and interventional mitral valve repair

Transformations for Compositional Verification of Assumption-Commitment Properties

An Undergraduate Requirements Engineering Curriculum with Formal Methods

Suchergebnisse filtern