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

The effect of growth differentiation factor-5–coated sutures on tendon repair in a rat model

Journal of shoulder and elbow surgery, 2007-09, Vol.16 (5), p.S215-S221

2007

Volltextzugriff (PDF)

In vitro degradation of polymeric networks of poly(propylene fumarate) and the crosslinking macromer poly(propylene fumarate)-diacrylate

Biomaterials, 2003-02, Vol.24 (4), p.571-577

2003

Volltextzugriff (PDF)

Analysis of Timed and Long-Run Objectives for Markov Automata

Logical methods in computer science, 2014-09, Vol.10, Issue 3

2014

Volltextzugriff (PDF)

In vitro degradation of porous poly(propylene fumarate)/poly( dl-lactic- co-glycolic acid) composite scaffolds

Biomaterials, 2005-06, Vol.26 (16), p.3215-3225

2005

Volltextzugriff (PDF)

Nanoreinforcement of Poly(propylene fumarate)-Based Networks with Surface Modified Alumoxane Nanoparticles for Bone Tissue Engineering

Biomacromolecules, 2004-09, Vol.5 (5), p.1990-1998

2004

Volltextzugriff (PDF)

In Vitro Cytotoxicity of Injectable and Biodegradable Poly(propylene fumarate)-Based Networks: Unreacted Macromers, Cross-Linked Networks, and Degradation Products

Biomacromolecules, 2003-07, Vol.4 (4), p.1026-1033

2003

Volltextzugriff (PDF)

Evaluation of thermal- and photo-crosslinked biodegradable poly(propylene fumarate)-based networks

Journal of biomedical materials research, 2003-09, Vol.66A (4), p.811-818

2003

Volltextzugriff (PDF)

Fabrication of poly(propylene fumarate)-based orthopaedic implants by photo-crosslinking through transparent silicone molds

Biomaterials, 2003-11, Vol.24 (25), p.4707-4714

2003

Volltextzugriff (PDF)

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

Theoretical computer science, 2014-06, Vol.538, p.103-123

2014

Volltextzugriff (PDF)

Characterization of the Cross-Linked Structure of Fumarate-Based Degradable Polymer Networks

Macromolecules, 2002-05, Vol.35 (11), p.4373-4379

2002

Volltextzugriff (PDF)

Sound statistical model checking for MDP using partial order and confluence reduction

International journal on software tools for technology transfer, 2015-08, Vol.17 (4), p.429-456

2015

Volltextzugriff (PDF)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Electronic proceedings in theoretical computer science, 2012-02, Vol.80 (Proc. MBT 2012), p.73-87

2012

Volltextzugriff (PDF)

Photoinitiated Cross-Linking of the Biodegradable Polyester Poly(propylene fumarate). Part I. Determination of Network Structure

Biomacromolecules, 2003-09, Vol.4 (5), p.1327-1334

2003

Volltextzugriff (PDF)

Kinetics of poly(propylene fumarate) synthesis by step polymerization of diethyl fumarate and propylene glycol using zinc chloride as a catalyst

Journal of biomaterials science. Polymer ed., 2002-01, Vol.13 (1), p.95-108

2002

Volltextzugriff (PDF)

Evaluation of the in Vitro Degradation of Macroporous Hydrogels Using Gravimetry, Confined Compression Testing, and Microcomputed Tomography

Biomacromolecules, 2002-11, Vol.3 (6), p.1263-1270

2002

Volltextzugriff (PDF)

Confluence reduction for Markov automata

Theoretical computer science, 2016-12, Vol.655, p.193-219

2016

Volltextzugriff (PDF)

Effect of physiological temperature on the mechanical properties and network structure of biodegradable poly(propylene fumarate)-based networks

Journal of biomaterials science. Polymer ed., 2003-01, Vol.14 (4), p.369-382

2003

Volltextzugriff (PDF)

Testing Divergent Transition Systems

Models, Algorithms, Logics and Tools, 2017, Vol.10460, p.339-366

2017

Volltextzugriff (PDF)

On-the-Fly Confluence Detection for Statistical Model Checking

NASA Formal Methods, 2013, p.337-351

2013

Volltextzugriff (PDF)

A linear process-algebraic format with data for probabilistic automata

Theoretical computer science, 2012-01, Vol.413 (1), p.36-57

2012

Volltextzugriff (PDF)

A linear process-algebraic format with data for probabilistic automata: Quantitative Aspects of Programming Languages (QAPL 2010)

Theoretical computer science, 2012, Vol.413 (1), p.36-57

2012

Volltextzugriff (PDF)

Modelling and Analysis of Markov Reward Automata

Automated Technology for Verification and Analysis, 2014, Vol.8837, p.168-184

2014

Volltextzugriff (PDF)

Modelling, Reduction and Analysis of Markov Automata

Quantitative Evaluation of Systems, 2013, p.55-71

2013

Volltextzugriff (PDF)

Tissue Engineering and Biodegradable Equivalents: Scientific and Clinical Applications

Journal of controlled release, 2003-10, Vol.92 (3), p.399-400

2003

Volltextzugriff (PDF)

Confluence Reduction for Markov Automata

Formal Modeling and Analysis of Timed Systems, 2013, Vol.8053, p.243-257

2013

Volltextzugriff (PDF)

1 – 25 von 160

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

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

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Englisch
(157)
Deutsch
(3)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

The effect of growth differentiation factor-5–coated sutures on tendon repair in a rat model

In vitro degradation of polymeric networks of poly(propylene fumarate) and the crosslinking macromer poly(propylene fumarate)-diacrylate

Analysis of Timed and Long-Run Objectives for Markov Automata

In vitro degradation of porous poly(propylene fumarate)/poly( dl-lactic- co-glycolic acid) composite scaffolds

Nanoreinforcement of Poly(propylene fumarate)-Based Networks with Surface Modified Alumoxane Nanoparticles for Bone Tissue Engineering

In Vitro Cytotoxicity of Injectable and Biodegradable Poly(propylene fumarate)-Based Networks: Unreacted Macromers, Cross-Linked Networks, and Degradation Products

Evaluation of thermal- and photo-crosslinked biodegradable poly(propylene fumarate)-based networks

Fabrication of poly(propylene fumarate)-based orthopaedic implants by photo-crosslinking through transparent silicone molds

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

Characterization of the Cross-Linked Structure of Fumarate-Based Degradable Polymer Networks

Sound statistical model checking for MDP using partial order and confluence reduction

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Photoinitiated Cross-Linking of the Biodegradable Polyester Poly(propylene fumarate). Part I. Determination of Network Structure

Kinetics of poly(propylene fumarate) synthesis by step polymerization of diethyl fumarate and propylene glycol using zinc chloride as a catalyst

Evaluation of the in Vitro Degradation of Macroporous Hydrogels Using Gravimetry, Confined Compression Testing, and Microcomputed Tomography

Confluence reduction for Markov automata

Effect of physiological temperature on the mechanical properties and network structure of biodegradable poly(propylene fumarate)-based networks

Testing Divergent Transition Systems

On-the-Fly Confluence Detection for Statistical Model Checking

A linear process-algebraic format with data for probabilistic automata

A linear process-algebraic format with data for probabilistic automata: Quantitative Aspects of Programming Languages (QAPL 2010)

Modelling and Analysis of Markov Reward Automata

Modelling, Reduction and Analysis of Markov Automata

Tissue Engineering and Biodegradable Equivalents: Scientific and Clinical Applications

Confluence Reduction for Markov Automata

Suchergebnisse filtern