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

An Alternative Method for Thermal Plume-Induced Aerosol Release and Deposition Calculations in Large Geometries Using fireFoam

Nuclear technology, 2017-04, Vol.198 (1), p.43-52

2017

Volltextzugriff (PDF)

Vision-based localization for mobile robots

Robotics and autonomous systems, 2001-08, Vol.36 (2), p.103-119

2001

Volltextzugriff (PDF)

Design and evaluation of the T-Team of the University or Tuebingen for RoboCup'98

Lecture notes in computer science, 1999, p.464-472

1999

Volltextzugriff (PDF)

The Attempto RoboCup Robot Team

Lecture notes in computer science, 2000, p.424-433

2000

Volltextzugriff (PDF)

Can fly tangential neurons be used to estimate self-motion?

9th International Conference on Artificial Neural Networks: ICANN '99, 1999, p.994-998

1999

Volltextzugriff (PDF)

Very early migration of a calcar-guided short stem: a randomized study of early mobilization and the influence of a calcium phosphate coating with 60 patients

Scientific reports, 2024-02, Vol.14 (1), p.3837-3837, Article 3837

2024

Volltextzugriff (PDF)

Development of a Catalytic Enantioselective Conjugate Addition of 1,3-Dicarbonyl Compounds to Nitroalkenes for the Synthesis of Endothelin-A Antagonist ABT-546. Scope, Mechanism, and Further Application to the Synthesis of the Antidepressant Rolipram

Journal of the American Chemical Society, 2002-11, Vol.124 (44), p.13097-13105

2002

Volltextzugriff (PDF)

Validating Z Specifications Using the ProB Animator and Model Checker

Integrated Formal Methods, p.480-500

Volltextzugriff (PDF)

Outcomes of early switching from intravenous to oral antibiotics on medical wards

Journal of antimicrobial chemotherapy, 2009-07, Vol.64 (1), p.188-199

2009

Volltextzugriff (PDF)

Sunyaev-Zel'dovich Effect Observations of Strong Lensing Galaxy Clusters: Probing the Overconcentration Problem

The Astrophysical journal, 2011-08, Vol.737 (2), p.74-jQuery1323904835723='48'

2011

Volltextzugriff (PDF)

Validation of formal models by refinement animation

Science of computer programming, 2013-03, Vol.78 (3), p.272-292

2013

Volltextzugriff (PDF)

Variable allelic expression of imprinted genes at the Peg13 , Trappc9 , Ago2 cluster in single neural cells

Frontiers in cell and developmental biology, 2022-10, Vol.10, p.1022422-1022422

2022

Volltextzugriff (PDF)

Automated property verification for large scale B models with ProB

Formal aspects of computing, 2011-11, Vol.23 (6), p.683-709

2011

Volltextzugriff (PDF)

Clinical and radiographic outcomes with the Nanos™ short-stem hip implant at 24 months: A prospective, single-center study

Journal of orthopaedics, 2020-07, Vol.20, p.326-331

2020

Volltextzugriff (PDF)

Definition of the Post-COVID syndrome using a symptom-based Post-COVID score in a prospective, multi-center, cross-sectoral cohort of the German National Pandemic Cohort Network (NAPKON)

Infection, 2024-04

2024

Volltextzugriff (PDF)

LTL Model Checking under Fairness in ProB

Software Engineering and Formal Methods, p.204-211

Volltextzugriff (PDF)

A Comparison of Spectral and Spatial Graph Convolutional Neural Network Kernels Using GraphSAGE-Sparse

2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2023, p.189-198

2023

Volltextzugriff (PDF)

Refinement-Animation for Event-B — Towards a Method of Validation

Abstract State Machines, Alloy, B and Z, p.287-301

Volltextzugriff (PDF)

Deposition of functional cellulose films on titanium alloy surfaces

Thin solid films, 2008-02, Vol.516 (8), p.2130-2137

2008

Volltextzugriff (PDF)

Automated Property Verification for Large Scale B Models

FM 2009: Formal Methods, p.708-723

Volltextzugriff (PDF)

GNAS Haploinsufficiency Leads to Subcutaneous Tumor Formation With Collagen and Elastin Deposition and Calcification

Endocrine research, 2009, Vol.34 (1-2), p.1-9

2009

Volltextzugriff (PDF)

On Fitting a Formal Method into Practice

Formal Methods and Software Engineering, p.195-210

Volltextzugriff (PDF)

A study of the reproducibility of a fluorescence in situ hybridization bladder cancer detection assay

Analytical and quantitative cytology and histology, 2008-06, Vol.30 (3), p.145

2008

Volltextzugriff (PDF)

Single and Double Polymer Layer Arrangements of Acid Groups Containing Cellulose and Basic Groups Containing Polyethyleneimine on Steel

Macromolecular materials and engineering, 2007-12, Vol.292 (12), p.1245-1255

2007

Volltextzugriff (PDF)

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

Testing of Software and Communication Systems, p.179-194

Volltextzugriff (PDF)

1 – 25 von 26

Suche als RSS-Feed

Aktive Filter

ThemaScience & Technology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(24)
Mit Volltextzugriff
(23)

Publikationsform

Sprache

Englisch
(26)
Japanisch
(2)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

An Alternative Method for Thermal Plume-Induced Aerosol Release and Deposition Calculations in Large Geometries Using fireFoam

Vision-based localization for mobile robots

Design and evaluation of the T-Team of the University or Tuebingen for RoboCup'98

The Attempto RoboCup Robot Team

Can fly tangential neurons be used to estimate self-motion?

Very early migration of a calcar-guided short stem: a randomized study of early mobilization and the influence of a calcium phosphate coating with 60 patients

Development of a Catalytic Enantioselective Conjugate Addition of 1,3-Dicarbonyl Compounds to Nitroalkenes for the Synthesis of Endothelin-A Antagonist ABT-546. Scope, Mechanism, and Further Application to the Synthesis of the Antidepressant Rolipram

Validating Z Specifications Using the ProB Animator and Model Checker

Outcomes of early switching from intravenous to oral antibiotics on medical wards

Sunyaev-Zel'dovich Effect Observations of Strong Lensing Galaxy Clusters: Probing the Overconcentration Problem

Validation of formal models by refinement animation

Variable allelic expression of imprinted genes at the Peg13 , Trappc9 , Ago2 cluster in single neural cells

Automated property verification for large scale B models with ProB

Clinical and radiographic outcomes with the Nanos™ short-stem hip implant at 24 months: A prospective, single-center study

Definition of the Post-COVID syndrome using a symptom-based Post-COVID score in a prospective, multi-center, cross-sectoral cohort of the German National Pandemic Cohort Network (NAPKON)

LTL Model Checking under Fairness in ProB

A Comparison of Spectral and Spatial Graph Convolutional Neural Network Kernels Using GraphSAGE-Sparse

Refinement-Animation for Event-B — Towards a Method of Validation

Deposition of functional cellulose films on titanium alloy surfaces

Automated Property Verification for Large Scale B Models

GNAS Haploinsufficiency Leads to Subcutaneous Tumor Formation With Collagen and Elastin Deposition and Calcification

On Fitting a Formal Method into Practice

A study of the reproducibility of a fluorescence in situ hybridization bladder cancer detection assay

Single and Double Polymer Layer Arrangements of Acid Groups Containing Cellulose and Basic Groups Containing Polyethyleneimine on Steel

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

Aktive Filter

Suchergebnisse filtern