UB Paderborn / Katalog / Suche / in CDI

Computer Aided Verification. 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, 2018, p.523-541

2018

Link zum Volltext

Verfügbarkeit prüfen

Heterogeneous indications and the need for viability assessment: An international survey on the use of machine perfusion in liver transplantation

Artificial organs, 2022-02, Vol.46 (2), p.296-305

2022

Link zum Volltext

Verfügbarkeit prüfen

Z3str3: A String Solver with Theory-aware Heuristics

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.55-59

2017

Link zum Volltext
IEEE_Xplore

Template free identification of resting state networks based on independent component analysis

NeuroImage (Orlando, Fla.), 2009-07, Vol.47, p.S123-S123

2009

Link zum Volltext

Verfügbarkeit prüfen

The dependence on noise and inter-subject variability of different group analysis methods in dynamic causal modeling

NeuroImage (Orlando, Fla.), 2009-07, Vol.47, p.S167-S167

2009

Link zum Volltext

Verfügbarkeit prüfen

First order temporal logic monitoring with BDDs

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.116-123

2017

Link zum Volltext
IEEE_Xplore

Sampling invariants from frequency distributions

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.100-107

2017

Link zum Volltext
IEEE_Xplore

Mentoring and workplace-based assessments for final year medical students : An effective way to increase satisfaction and competence?

Der Anaesthesist, 2021-06, Vol.70 (6), p.486-496

2021

Link zum Volltext

Verfügbarkeit prüfen

Recipient and donor body mass index as important risk factors for delayed kidney graft function

Transplantation, 2012-03, Vol.93 (5), p.524

2012

Link zum Volltext

Verfügbarkeit prüfen

Column-wise verification of multipliers using computer algebra

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.23-30

2017

Link zum Volltext
IEEE_Xplore

P.1.028 Altered functional connectivity of the amygdala in social anxiety disorder

European neuropsychopharmacology, 2010, Vol.20, p.S24-S25

2010

Link zum Volltext

Verfügbarkeit prüfen

Theta: A framework for abstraction refinement-based model checking

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.176-179

2017

Link zum Volltext
IEEE_Xplore

Learning to prove safety over parameterised concurrent systems

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.76-83

2017

Link zum Volltext
IEEE_Xplore

1 – 25 von 850

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(682)
Mit Volltextzugriff
(661)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(498)
Life Sciences & Biomedicine
(370)
Humans
(286)
Female
(201)
Male
(137)
Animals
(136)
Technology
(121)
Adult
(106)
Computer Science
(85)
Biological And Medical Sciences
(81)
Middle Aged
(76)
Computer Science, Theory & Methods
(60)
Medical Sciences
(60)
Adolescent
(56)
Transplantation
(56)
Computer Science, Software Engineering
(55)
Physical Sciences
(54)
Infectious Diseases
(52)
Surgery
(51)
Virology
(46)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(4)
... seit 90 Tagen
(6)

Menü

Weitere Dienste

Einstellungen

Immune cell dynamics deconvoluted by single-cell RNA sequencing in normothermic machine perfusion of the liver

Significant Weight Loss and Rapid Resolution of Diabetes and Dyslipidemia During Short-Term Follow-Up After Laparoscopic Sleeve Gastrectomy

Benefits and limitations of belatacept in 4 hand‐transplanted patients

Static cold storage compared with normothermic machine perfusion of the liver and effect on ischaemic-type biliary lesions after transplantation: a propensity score-matched study

Clinical Significance of Alloantibodies in Hand Transplantation: Impact on Rejection and Functional Outcome

A new hybrid (polymer/inorganic) fibrous sorbent for arsenic removal from drinking water

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

First observations of fertilized eggs and preleptocephalus larvae of Rhinomuraena quaesita in the Vienna Zoo

Bullous Pemphigoid Eleven Years After Bilateral Hand Transplantation

Ten Principles for Interpreting Neuroscientific Pronouncements Regarding Human Nature

Conservation breeding of the Northern river terrapin Batagur baska at the Vienna Zoo, Austria, and in Bangladesh

Inner and Outer Approximating Flowpipes for Delay Differential Equations

Heterogeneous indications and the need for viability assessment: An international survey on the use of machine perfusion in liver transplantation

Z3str3: A String Solver with Theory-aware Heuristics

Template free identification of resting state networks based on independent component analysis

The dependence on noise and inter-subject variability of different group analysis methods in dynamic causal modeling

First order temporal logic monitoring with BDDs

Sampling invariants from frequency distributions

Mentoring and workplace-based assessments for final year medical students : An effective way to increase satisfaction and competence?

Recipient and donor body mass index as important risk factors for delayed kidney graft function

Column-wise verification of multipliers using computer algebra

P.1.028 Altered functional connectivity of the amygdala in social anxiety disorder

Theta: A framework for abstraction refinement-based model checking

Learning to prove safety over parameterised concurrent systems

Suchergebnisse filtern