UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 434

Sortiert nach

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

AMERICAN JOURNAL OF TRANSPLANTATION, 2017, Vol.17 (S3), p.240

2017

Volltextzugriff (PDF)

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

Reactive & functional polymers, 2007-03, Vol.67 (3), p.184-201

2007

Volltextzugriff (PDF)

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

1st Edition 2018, 2018

Volltextzugriff (PDF)

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

2018

Volltextzugriff (PDF)

Ten Principles for Interpreting Neuroscientific Pronouncements Regarding Human Nature

Dialog : a journal of theology, 2015-03, Vol.54 (1), p.40-50

Weissenbacher, A.C.

2015

Volltextzugriff (PDF)

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

International zoo yearbook, 2015-01, Vol.49 (1), p.31-41

2015

Volltextzugriff (PDF)

Inner and Outer Approximating Flowpipes for Delay Differential Equations

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

Volltextzugriff (PDF)

Z3str3: A String Solver with Theory-aware Heuristics

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

2017

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

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

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

2009

Volltextzugriff (PDF)

First order temporal logic monitoring with BDDs

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

2017

Volltextzugriff (PDF)

Sampling invariants from frequency distributions

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

2017

Volltextzugriff (PDF)

Theta: A framework for abstraction refinement-based model checking

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

2017

Volltextzugriff (PDF)

Column-wise verification of multipliers using computer algebra

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

2017

Volltextzugriff (PDF)

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

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

2010

Volltextzugriff (PDF)

Learning to prove safety over parameterised concurrent systems

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

2017

Volltextzugriff (PDF)

Normothermic liver machine perfusion at a large European center – real life insights following 238 applications

HPB (Oxford, England), 2024, Vol.26, p.S20-S20

2024

Volltextzugriff (PDF)

P.1.e.026 Resting state connectivity between amygdala and orbitofrontal cortex reflects state anxiety in social phobia

European neuropsychopharmacology, 2009, Vol.19, p.S315-S315

2009

Volltextzugriff (PDF)

Factored boolean functional synthesis

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.124-131

2017

Volltextzugriff (PDF)

Efficient generation of all minimal inductive validity cores

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.31-38

2017

Volltextzugriff (PDF)

On sound relative error bounds for floating-point arithmetic

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.15-22

2017

Volltextzugriff (PDF)

Property directed reachability with word-level abstraction

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.132-139

2017

Volltextzugriff (PDF)

Hardware model checking competition 2017

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

2017

Volltextzugriff (PDF)

Parameterized verification of algorithms for oblivious robots on a ring

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.212-219

2017

Volltextzugriff (PDF)

How formal analysis and verification add security to blockchain-based systems

2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.1-4

Matsuo, Shin'Ichiro

2017

Volltextzugriff (PDF)

1 – 25 von 434

Suche als RSS-Feed

Aktive Filter

KollektionMEDLINE

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(309)
Mit Volltextzugriff
(412)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(196)
Technology
(98)
Life Sciences & Biomedicine
(80)
Computer Science
(76)
Computer Science, Theory & Methods
(58)
Computer Science, Software Engineering
(54)
Physical Sciences
(39)
Model Checking
(24)
Physics
(21)
Materials Science
(19)
Chemistry
(16)
Software
(15)
Transplantation
(14)
Engineering
(13)
Exact Sciences And Technology
(13)
Materials Science, Multidisciplinary
(13)
Safety
(13)
Cognition
(12)
Physics, Particles & Fields
(12)
Surgery
(12)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(1)
... seit 90 Tagen
(7)

Menü

Weitere Dienste

Einstellungen

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

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

Z3str3: A String Solver with Theory-aware Heuristics

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

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

First order temporal logic monitoring with BDDs

Sampling invariants from frequency distributions

Theta: A framework for abstraction refinement-based model checking

Column-wise verification of multipliers using computer algebra

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

Learning to prove safety over parameterised concurrent systems

Normothermic liver machine perfusion at a large European center – real life insights following 238 applications

P.1.e.026 Resting state connectivity between amygdala and orbitofrontal cortex reflects state anxiety in social phobia

Factored boolean functional synthesis

Efficient generation of all minimal inductive validity cores

On sound relative error bounds for floating-point arithmetic

Property directed reachability with word-level abstraction

Hardware model checking competition 2017

Parameterized verification of algorithms for oblivious robots on a ring

How formal analysis and verification add security to blockchain-based systems

Aktive Filter

Suchergebnisse filtern