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...

Initial results from geophysical surveys and shallow coring of the Northeast Greenland Ice Stream (NEGIS)

The cryosphere, 2014-07, Vol.8 (4), p.1275-1287

2014

Volltextzugriff (PDF)

Gender differences in randomised, controlled trials in intensive care units

Acta anaesthesiologica Scandinavica, 2014-08, Vol.58 (7), p.788-793

2014

Volltextzugriff (PDF)

Question-guided stubborn set methods for state properties

Formal methods in system design, 2006-11, Vol.29 (3), p.215-251

2006

Volltextzugriff (PDF)

Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services

Procedia computer science, 2021, Vol.184, p.186-193

2021

Volltextzugriff (PDF)

Occupational health outcomes among international migrant workers: a systematic review and meta-analysis

The Lancet global health, 2019-07, Vol.7 (7), p.e872-e882

2019

Volltextzugriff (PDF)

Behaviour of veteran sea trout Salmo trutta in a dangerous fjord system

Marine ecology. Progress series (Halstenbek), 2019-05, Vol.616, p.141-153

2019

Volltextzugriff (PDF)

Temperature and depth preferences of adult sea trout Salmo trutta during the marine migration phase

Marine ecology. Progress series (Halstenbek), 2018-07, Vol.599, p.209-224

2018

Volltextzugriff (PDF)

Exploiting equivalence reduction and the sweep-line method for detecting terminal states

IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2004-01, Vol.34 (1), p.23-37

2004

Volltextzugriff (PDF)

The New Pooled Cohort Equations Risk Calculator

Canadian journal of cardiology, 2015-05, Vol.31 (5), p.613-619

2015

Volltextzugriff (PDF)

Visualization and Abstractions for Execution Paths in Model-Based Software Testing

Integrated Formal Methods, p.474-492

Volltextzugriff (PDF)

Improved Question-Guided Stubborn Set Methods for State Properties

Application and Theory of Petri Nets 2000, 2000, p.282-302

2000

Volltextzugriff (PDF)

Metformin treatment does not affect the risk of ruptured abdominal aortic aneurysms

Journal of vascular surgery, 2017-09, Vol.66 (3), p.768-774.e2

2017

Volltextzugriff (PDF)

Finding Stubborn Sets of Coloured Petri Nets without Unfolding

Application and Theory of Petri Nets 1998, 1998, p.104-123

1998

Volltextzugriff (PDF)

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets

Application and Theory of Petri Nets 2000, 2000, p.346-366

2000

Volltextzugriff (PDF)

Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries

IEEE transactions on parallel and distributed systems, 1999-07, Vol.10 (7), p.714-732

1999

Volltextzugriff (PDF)

The practitioner's guide to coloured Petri nets

International journal on software tools for technology transfer, 1998, Vol.2 (2), p.98-132

1998

Volltextzugriff (PDF)

Relative Importance of History of Heart Failure Hospitalization and N-Terminal Pro–B-Type Natriuretic Peptide Level as Predictors of Outcomes in Patients With Heart Failure and Preserved Ejection Fraction

JACC. Heart failure, 2015-06, Vol.3 (6), p.478-486

2015

Volltextzugriff (PDF)

Antithrombotic Treatment in Patients With Heart Failure and Associated Atrial Fibrillation and Vascular Disease

Journal of the American College of Cardiology, 2014-06, Vol.63 (24), p.2689-2698

2014

Volltextzugriff (PDF)

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

Integration of Software Specification Techniques for Applications in Engineering, p.248-269

Volltextzugriff (PDF)

Efficient Path Finding with the Sweep-Line Method Using External Storage

Formal Methods and Software Engineering, 2003, p.319-337

2003

Volltextzugriff (PDF)

Verification of a Revised WAP Wireless Transaction Protocol

Application and Theory of Petri Nets 2002, 2002, p.182-202

2002

Volltextzugriff (PDF)

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method

Automated Technology for Verification and Analysis, 2005, p.187-201

1ère éd, 2005

Volltextzugriff (PDF)

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

Integrated Formal Methods, 2005, p.266-286

2005

Volltextzugriff (PDF)

An Approach to Distributed State Space Exploration for Coloured Petri Nets

Applications and Theory of Petri Nets 2004, 2004, p.474-483

2004

Volltextzugriff (PDF)

Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks

39th Annual Simulation Symposium (ANSS'06), 2006, p.12 pp.-79

2006

Volltextzugriff (PDF)

1 – 25 von 2.126

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(1.951)
Mit Volltextzugriff
(1.776)

Publikationsform

5 weitere anzeigen...

Weniger anzeigen...

Sprache

5 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(1.288)
Life Sciences & Biomedicine
(988)
Humans
(724)
Female
(546)
Male
(411)
Middle Aged
(294)
Biological And Medical Sciences
(289)
Adult
(266)
Physical Sciences
(250)
Aged
(243)
Medical Sciences
(210)
Medicin Och Hälsovetenskap
(206)
Animals
(183)
Risk Factors
(112)
Technology
(112)
Patients
(111)
Fundamental And Applied Biological Sciences. Psychology
(107)
Astronomy & Astrophysics
(105)
Oncology
(103)
Stars: Formation
(97)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(9)
... seit 90 Tagen
(11)

Menü

Weitere Dienste

Einstellungen

Initial results from geophysical surveys and shallow coring of the Northeast Greenland Ice Stream (NEGIS)

Gender differences in randomised, controlled trials in intensive care units

Question-guided stubborn set methods for state properties

Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services

Occupational health outcomes among international migrant workers: a systematic review and meta-analysis

Behaviour of veteran sea trout Salmo trutta in a dangerous fjord system

Temperature and depth preferences of adult sea trout Salmo trutta during the marine migration phase

Exploiting equivalence reduction and the sweep-line method for detecting terminal states

The New Pooled Cohort Equations Risk Calculator

Visualization and Abstractions for Execution Paths in Model-Based Software Testing

Improved Question-Guided Stubborn Set Methods for State Properties

Metformin treatment does not affect the risk of ruptured abdominal aortic aneurysms

Finding Stubborn Sets of Coloured Petri Nets without Unfolding

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets

Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries

The practitioner's guide to coloured Petri nets

Relative Importance of History of Heart Failure Hospitalization and N-Terminal Pro–B-Type Natriuretic Peptide Level as Predictors of Outcomes in Patients With Heart Failure and Preserved Ejection Fraction

Antithrombotic Treatment in Patients With Heart Failure and Associated Atrial Fibrillation and Vascular Disease

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

Efficient Path Finding with the Sweep-Line Method Using External Storage

Verification of a Revised WAP Wireless Transaction Protocol

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

An Approach to Distributed State Space Exploration for Coloured Petri Nets

Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks

Suchergebnisse filtern