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

Functional evaluation of a novel fibreglass-reinforced polyamide custom dynamic AFO for foot drop patients: A pilot study

Gait & posture, 2024-03, Vol.109, p.41-48

2024

Volltextzugriff (PDF)

Adipose-derived stem cells applied to ankle pathologies: a systematic review

Musculoskeletal surgery, 2024-03, Vol.108 (1), p.1-9

2024

Volltextzugriff (PDF)

Correction to: Adipose‑derived stem cells applied to ankle pathologies: a systematic review

Musculoskeletal surgery, 2024-06, Vol.108 (2), p.239-239

2024

Volltextzugriff (PDF)

To cast or not to cast? Postoperative care of ankle fractures: a meta-analysis of randomized controlled trials

Musculoskeletal surgery, 2024-05

2024

Volltextzugriff (PDF)

Keller’s arthroplasty for hallux rigidus: A systematic review

Foot and ankle surgery, 2022-06, Vol.28 (4), p.526-533

2022

Volltextzugriff (PDF)

First Metatarsal Headphones-Like Lesion: A Case of Unreducible Sesamoid Complex Dislocation

JBJS case connector, 2024-04, Vol.14 (2)

2024

Volltextzugriff (PDF)

Covid-19 orthopedic trauma patients characteristics and management during the first pandemic period: report from a single institution in Italy

Musculoskeletal surgery, 2022-12, Vol.106 (4), p.407-426

2022

Volltextzugriff (PDF)

Challenges of Software Verification

1, 2023

Volltextzugriff (PDF)

Changes in urinary PGE2 after ibuprofen treatment in preterm infants with patent ductus arteriosus

European journal of clinical pharmacology, 2009-03, Vol.65 (3), p.223-230

2009

Volltextzugriff (PDF)

Fixing'' the Specification of Widenings

Challenges of Software Verification, 2023, Vol.238, p.57-76

2023

Volltextzugriff (PDF)

Static Analysis for Data Scientists

Challenges of Software Verification, 2023, Vol.238, p.77-91

2023

Volltextzugriff (PDF)

LiSA: A Generic Framework for Multilanguage Static Analysis

Challenges of Software Verification, 2023, Vol.238, p.19-42

2023

Volltextzugriff (PDF)

Verification of Reaction Systems Processes

Challenges of Software Verification, 2023, Vol.238, p.243-264

2023

Volltextzugriff (PDF)

Completeness in Static Analysis by Abstract Interpretation: A Personal Point of View

Challenges of Software Verification, 2023, Vol.238, p.93-108

2023

Volltextzugriff (PDF)

How to Make Taint Analysis Precise

Challenges of Software Verification, 2023, Vol.238, p.43-55

2023

Volltextzugriff (PDF)

Local Completeness in Abstract Interpretation

Challenges of Software Verification, 2023, Vol.238, p.145-156

2023

Volltextzugriff (PDF)

Risk Estimation in IoT Systems

Challenges of Software Verification, 2023, Vol.238, p.221-242

2023

Volltextzugriff (PDF)

Lifting String Analysis Domains

Challenges of Software Verification, 2023, Vol.238, p.109-143

2023

Volltextzugriff (PDF)

Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software

Challenges of Software Verification, 2023, Vol.238, p.197-220

2023

Volltextzugriff (PDF)

How future surgery will benefit from SARS-COV-2-related measures: a SPIGC survey conveying the perspective of Italian surgeons

Updates in surgery, 2023-09, Vol.75 (6), p.1711-1727

2023

Volltextzugriff (PDF)

Changes in urinary PGE after ibuprofen treatment in preterm infants with patent ductus arteriosus

European journal of clinical pharmacology, 2009-03, Vol.65 (3), p.223-230

2009

Volltextzugriff (PDF)

Abstract Interpretation: From 0, 1, to ∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\infty $$\end{document}

Challenges of Software Verification, 2023, p.1-18

2023

Volltextzugriff (PDF)

The Top-Down Solver—An Exercise in A2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {A}^{2}$$\end{document}I

Challenges of Software Verification, 2023, p.157-179

2023

Volltextzugriff (PDF)

Regular Matching with Constraint Programming

Challenges of Software Verification, 2023, Vol.238, p.181-195

2023

Volltextzugriff (PDF)

13 Renal PGE2 in Preterm Infants: A Possible Role in the Adaptation to Extrauterine Life

Pediatric research, 2005-08, Vol.58 (2), p.356-356

2005

Volltextzugriff (PDF)

1 – 25 von 173

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(129)
Mit Volltextzugriff
(149)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(10)

Menü

Weitere Dienste

Einstellungen

Functional evaluation of a novel fibreglass-reinforced polyamide custom dynamic AFO for foot drop patients: A pilot study

Adipose-derived stem cells applied to ankle pathologies: a systematic review

Correction to: Adipose‑derived stem cells applied to ankle pathologies: a systematic review

To cast or not to cast? Postoperative care of ankle fractures: a meta-analysis of randomized controlled trials

Keller’s arthroplasty for hallux rigidus: A systematic review

First Metatarsal Headphones-Like Lesion: A Case of Unreducible Sesamoid Complex Dislocation

Covid-19 orthopedic trauma patients characteristics and management during the first pandemic period: report from a single institution in Italy

Challenges of Software Verification

Changes in urinary PGE2 after ibuprofen treatment in preterm infants with patent ductus arteriosus

Fixing'' the Specification of Widenings

Static Analysis for Data Scientists

LiSA: A Generic Framework for Multilanguage Static Analysis

Verification of Reaction Systems Processes

Completeness in Static Analysis by Abstract Interpretation: A Personal Point of View

How to Make Taint Analysis Precise

Local Completeness in Abstract Interpretation

Risk Estimation in IoT Systems

Lifting String Analysis Domains

Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software

How future surgery will benefit from SARS-COV-2-related measures: a SPIGC survey conveying the perspective of Italian surgeons

Changes in urinary PGE after ibuprofen treatment in preterm infants with patent ductus arteriosus

Abstract Interpretation: From 0, 1, to ∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\infty $$\end{document}

The Top-Down Solver—An Exercise in A2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {A}^{2}$$\end{document}I

Regular Matching with Constraint Programming

13 Renal PGE2 in Preterm Infants: A Possible Role in the Adaptation to Extrauterine Life

Suchergebnisse filtern