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

NMPC trajectory planner for urban autonomous driving

Vehicle system dynamics, 2023-05, Vol.61 (5), p.1387-1409

2023

Volltextzugriff (PDF)

A Deployment Framework for Formally Verified Human-Robot Interactions

IEEE access, 2021, Vol.9, p.136616-136635

2021

Volltextzugriff (PDF)

Real-life use of ropeg-interferon α2b in polycythemia vera: patient selection and clinical outcomes

Annals of hematology, 2024-07, Vol.103 (7), p.2347-2354

2024

Volltextzugriff (PDF)

Some Numerical Results on Chemotactic Phenomena in Stem Cell Therapy for Cardiac Regeneration

Mathematics (Basel), 2024-07, Vol.12 (13), p.1937

2024

Volltextzugriff (PDF)

Is the ETS an effective environmental policy? Undesired interaction between energy-mix, fuel-switch and electricity prices

Energy economics, 2022-06, Vol.110, p.105981, Article 105981

2022

Volltextzugriff (PDF)

In silico prediction of the interaction of legacy and novel per- and poly-fluoroalkyl substances (PFAS) with selected human transporters and of their possible accumulation in the human body

Archives of toxicology, 2024-09, Vol.98 (9), p.3035-3047

2024

Volltextzugriff (PDF)

Effect of graphene nanoplatelets structure on the properties of acrylonitrile–butadiene–styrene composites

Polymer composites, 2019-01, Vol.40 (S1), p.E285-E300

2019

Volltextzugriff (PDF)

PuRSUE -from specification of robotic environments to synthesis of controllers

Formal aspects of computing, 2020, Vol.32 (2-3), p.187-227

2020

Volltextzugriff (PDF)

Equilibria determination of elastic articulated duoskelion beams in 2D via a Riks-type algorithm

International journal of non-linear mechanics, 2021-01, Vol.128, p.103628, Article 103628

2021

Volltextzugriff (PDF)

Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior

IEEE intelligent systems, 2022-11, Vol.37 (6), p.1-10

2022

Volltextzugriff (PDF)

Experimental study by Secondary Ion Mass Spectrometry focused on the relationship between hardness and sputtering rate in hard coatings

Thin solid films, 2017-03, Vol.625, p.35-41

2017

Volltextzugriff (PDF)

A 3D mathematical model of coupled stem cell-nutrient dynamics in myocardial regeneration therapy

Journal of theoretical biology, 2022-03, Vol.537, p.111023-111023, Article 111023

2022

Volltextzugriff (PDF)

Using formal verification to evaluate theexecution time of Spark applications

Formal aspects of computing, 2020-02, Vol.32 (1), p.33-70

2020

Volltextzugriff (PDF)

An alternative approach to Michaelis–Menten kinetics that is based on the renormalization group

Mathematical biosciences, 2018-05, Vol.299, p.28-50

2018

Volltextzugriff (PDF)

Pollen discrimination and classification by Fourier transform infrared (FT-IR) microspectroscopy and machine learning

Analytical and bioanalytical chemistry, 2009-07, Vol.394 (5), p.1443-1452

2009

Volltextzugriff (PDF)

Liquid crystalline polymer nanocomposites reinforced with in-situ reduced graphene oxide

Express polymer letters, 2015-08, Vol.9 (8), p.709-720

2015

Volltextzugriff (PDF)

Functional adaptation of bone mechanical properties using a diffusive stimulus originated by dynamic loads in bone remodelling

Zeitschrift für angewandte Mathematik und Physik, 2024-06, Vol.75 (3), Article 85

2024

Volltextzugriff (PDF)

Surface plasmon resonance optical gas sensing of nanostructured ZnO films

Sensors and actuators. B, Chemical, 2008-03, Vol.130 (1), p.531-537

2008

Volltextzugriff (PDF)

Edge-Based Runtime Verification for the Internet of Things

IEEE transactions on services computing, 2022-09, Vol.15 (5), p.2713-2727

2022

Volltextzugriff (PDF)

Regione Lombardia: a tool for improving quality in hospitals

Journal of preventive medicine and hygiene, 2019-12, Vol.60 (4), p.E394-E399

2019

Volltextzugriff (PDF)

Verifying big data topologies by-design: a semi-automated approach

Journal of big data, 2019-05, Vol.6 (1), p.1-23, Article 40

2019

Volltextzugriff (PDF)

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

Software and systems modeling, 2024-04, Vol.23 (2), p.473-502

2024

Volltextzugriff (PDF)

Statistical Model Checking of Human-Robot Interaction Scenarios

Electronic proceedings in theoretical computer science, 2020, Vol.319, p.9-17

2020

Volltextzugriff (PDF)

Deuterium depth profile quantification in a ASDEX Upgrade divertor tile using secondary ion mass spectrometry

Applied surface science, 2014-10, Vol.315, p.459-466

2014

Volltextzugriff (PDF)

Event‐sourced, observable software architectures: An experience report

Software, practice & experience, 2022-10, Vol.52 (10), p.2127-2151

2022

Volltextzugriff (PDF)

1 – 25 von 786

Suche als RSS-Feed

Aktive Filter

ThemaMale

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(606)
Mit Volltextzugriff
(610)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(471)
Physical Sciences
(230)
Technology
(206)
Life Sciences & Biomedicine
(170)
Physics
(169)
Humans
(119)
Materials Science
(102)
Physics, Applied
(83)
Biological And Medical Sciences
(67)
Materials Science, Coatings & Films
(59)
Animals
(50)
Computer Science
(50)
Exact Sciences And Technology
(49)
Materials Science, Characterization & Testing
(47)
Engineering
(46)
Electrochemistry
(45)
Chemistry
(39)
Medical Sciences
(38)
Physics, Condensed Matter
(38)
Engineering, Electrical & Electronic
(35)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

NMPC trajectory planner for urban autonomous driving

A Deployment Framework for Formally Verified Human-Robot Interactions

Real-life use of ropeg-interferon α2b in polycythemia vera: patient selection and clinical outcomes

Some Numerical Results on Chemotactic Phenomena in Stem Cell Therapy for Cardiac Regeneration

Is the ETS an effective environmental policy? Undesired interaction between energy-mix, fuel-switch and electricity prices

In silico prediction of the interaction of legacy and novel per- and poly-fluoroalkyl substances (PFAS) with selected human transporters and of their possible accumulation in the human body

Effect of graphene nanoplatelets structure on the properties of acrylonitrile–butadiene–styrene composites

PuRSUE -from specification of robotic environments to synthesis of controllers

Equilibria determination of elastic articulated duoskelion beams in 2D via a Riks-type algorithm

Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior

Experimental study by Secondary Ion Mass Spectrometry focused on the relationship between hardness and sputtering rate in hard coatings

A 3D mathematical model of coupled stem cell-nutrient dynamics in myocardial regeneration therapy

Using formal verification to evaluate theexecution time of Spark applications

An alternative approach to Michaelis–Menten kinetics that is based on the renormalization group

Pollen discrimination and classification by Fourier transform infrared (FT-IR) microspectroscopy and machine learning

Liquid crystalline polymer nanocomposites reinforced with in-situ reduced graphene oxide

Functional adaptation of bone mechanical properties using a diffusive stimulus originated by dynamic loads in bone remodelling

Surface plasmon resonance optical gas sensing of nanostructured ZnO films

Edge-Based Runtime Verification for the Internet of Things

Regione Lombardia: a tool for improving quality in hospitals

Verifying big data topologies by-design: a semi-automated approach

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

Statistical Model Checking of Human-Robot Interaction Scenarios

Deuterium depth profile quantification in a ASDEX Upgrade divertor tile using secondary ion mass spectrometry

Event‐sourced, observable software architectures: An experience report

Aktive Filter

Suchergebnisse filtern